Доступен (https://github.com/redox-os/redox/releases/tag/0.3.0) выпуск операционной системы Redox 0.3 (http://www.redox-os.org), разработанной с использованием языка Rust и концепции микроядра. Наработки проекта распространяются (https://github.com/redox-os/redox) под свободной лицензией MIT. После сборки систему можно опробовать при помощи VirtualBox или QEMU.Пользовательское окружение в Redox построено на базе графической оболочки Orbital. Операционная система использует концепцию микроядра, при котором на уровне ядра обеспечивается только взаимодействие между процессами и управление ресурсами, а вся остальная функциональность вынесена в библиотеки, которые могут использоваться как ядром, так и пользовательскими приложениями. Все драйверы выполняются в пространстве пользователя в изолированных sandbox-окружениях. Для совместимости с существующими приложениями предоставляется специальная POSIX-прослойка, позволяющая запускать многие программы без портирования.
Redox развивается в соответствии с философией Unix c заимствованием некоторых идей из SeL4, Minix и Plan 9. В системе применяется принцип "все есть URL". Например, для записи в лог может использоваться URL "log://", для взаимодействия между процессами "bus://", для сетевого взаимодействия "tcp://" и т.п. Модули, которые могут быть реализованы в форме драйверов, расширений ядра и пользовательских приложений, могут регистрировать свои обработчики URL, например, можно написать модуль обращения к портам ввода/вывода и привязать его к URL "port_io://", после чего можно использовать его для доступа к 60 порту через открытие URL "port_io://60".
Проектом также развивается собственный пакетный менеджер (https://github.com/redox-os/pkgutils), набор стандартных утилит (binutils, coreutils, netutils, extrautils), командная оболочка ion (https://github.com/redox-os/ion), vim-подобный текстовый редактор sodium (https://github.com/redox-os/sodium) и файловая система TFS (https://github.com/redox-os/tfs), развиваемая на основе идей ZFS (модульный вариант ZFS на языке Rust). Конфигурация задаётся на языке Toml (https://github.com/toml-lang/toml). Система поддерживает запуск на процессорах с архитектурой x86_64 c VBE-совместимой графической картой (nvidia, intel, amd), AHCI-дисками и сетевыми картами на базе чипов E1000 или RTL8168.
Из новшеств, добавленных в выпуске Redox 0.3, можно отметить:- Сборочная система переведена на cookbook (https://github.com/redox-os/cookbook), коллекцию shell-скриптов с инструкциями по сборке различных компонентов Redox и патчами для обеспечения совместимости. Основным преимуществом новой системы является использования одного набора типовых рецептов (скриптов) для сборки как отдельных пакетов, так и установочных образов. Каждый файл в предлагаемом по умолчанию установочном наборе теперь устанавливается как пакет и управляется пакетным менеджером. В настоящее время пользователям предлагается около 40 пакетов (https://static.redox-os.org/pkg/x86_64-unknown-redox/);
- Вместо скрипта-обвязки (https://github.com/redox-os/libc-artifacts) вокруг GCC теперь применяется полноценный кросс-компилятор, что позволяет значительно поднять уровень поддержки программ на языке Си и обеспечить возможность самосборки системы (Self-hosting, сборка redox из кружения redox). В настоящее время для Redox уже портированы binutils, newlib, gcc, nasm, llvm и rustc, ведётся портирование git. По мере портирования стороннего ПО параллельно всплывают и исправляются многочисленные проблемы с совместимостью с POSIX и добавляется неодостающая функциональность;- Продолжено усовершенствование ядра системы: добавлен новый стек ACPI, включающий парсер AML. Поддержка ACPI позволила наладить обработку сигнала завершения работы, спящий режим и поддержку HPET (High Precision Event Timer);
- В командную оболочку ion внесено 139 изменений, добавлена поддержка новых возможностей и элементов синтаксиса, например, появилась возможность использования арифметических выражений в блоках let/export, переработана реализация циклов while, добавлены операторы "&&" и "||", реализованы псевдонимы (alias);
- Добавлена поддержка драйверов для гостевых систем VirtualBox;
- Добавлен драйвер для etherne-адаптеров Atheros ALX;
- Продолжена работа над файловой системой TFS (https://github.com/redox-os/tfs#resources-on-design), в которую перенесена очередная порция возможностей ZFS;
- Внесены многочисленные улучшения в реализации утилит на языке Rust, в том числе добавлены недостающие опции в утилиты mv, dd, ls, ln, tail, wc, sort. Добавлены команды shutdown и unique.
URL: https://github.com/redox-os/redox/releases/tag/0.3.0
Новость: https://www.opennet.ru/opennews/art.shtml?num=46919
Эффект плэнайн - идеи хорошие, но не работает. MacOs единственная микроядерная десктопная ось пока.
Она не микроядерная.
Она гибридная, как и Nt в Windows.
Она микроядерная, зайдите на сайт,хотя бы.
Я так и не пойму, эта система Posix совместима или нет?
> Для совместимости с существующими приложениями предоставляется специальная POSIX-прослойка, позволяющая запускать многие программы без портирования.Скорее бы сентябрь, хоть читать научишься.
Т.е. можно без этой прослойки получается писать какой-то нативный софт?
> специальная POSIX-прослойка, позволяющая запускать многие программы без портирования.Фтoпкy не-POSIX. Ещё один велосипед с квадратными колёсами.
Так POSIX это сишные хеадер файлы и контракты т.е. сишное api. Как бы си там не first-class citizen, потому и прослойка.
Спецификация на стандартную сишную либу это лишь малая часть POSIX. А все остальное спокойно можно использовать из других ЯП, в том числе и тех, что собираются своим собственным компилятором и не включают libc как в себя, так и в компилированные программы.
Как я знаю POSIX служит для переносимости программ на уровне исходных кодов на языке СИ между операционными системами.> А все остальное спокойно можно использовать из других ЯП
Все остальное, что именно?
В первую очередь это набор системных вызовов и соответствующих механизмов в ядре ОС. И эти сисколы можно использовать даже из короткой ассемблерной программы без всякого С. Когда говорят про наличие слоя POSIX совместимости в ядре ОС, то речь идет об этой его части. Потом уже накладывается набор функций, макросов, констант и структур в основной С либе, что и позволяет портировать С программы на уровне исходного кода. А завершается спецификация вообще CLI утилитами.
Чем "набор функций си" отличается от этих ваших системных вызовов? Посикс не определяет номера сисколов, соглашения о вызовах и прочее зависящее от архитектуры и реализации. Посикс определяет программный интерфейс в виде набора сишных функций, часть из которых *вы* относите к системным вызовам, а часть нет, не более.
Не быть же вечно со старыми костылями. Нужны и новые.
> Фтoпкy не-POSIX. Ещё один велосипед с квадратными колёсами.Я б сказал ровно наоборот: POSIX себя исчерпал, нужно двигаться к современным реалиям.
Это не означает, что "весь посикс - фуфло", но это означает, что не нужно догматично молиться на стандарты прошлого века - живём-то мы уже в новом!Например, учитывая "легкодоступность" нескольких ядер, имеет смысл развить идею многонитевости - лёгкие трэды, тяжёлые, семафоры всякие, IPC... Я знаю, что часть этого есть, но нет единого стандарта (на венде же тоже есть целый пласт API для трэдов!). А уж маразм типа fork() вообще уже смешно упоминать!
BarrelfishOS уже есть.
ты хотел сказать был.
потом оно стало arrakis - а потом и он сдох.
Годнота. Надеюсь, что взлетит.
Init FPU
Init SSE
Init PIT
Startup ArchИ висит.
Да чему там "висеть"-то?! ане(к) :))
А как вообще искать все эти необычные концепции? Ну, все есть URL я помню было в php, там можно было вроде file_get_contents("udp://127.0.0.1/vasya"); А вот эти всякие там другие еще... ну вот кто-то пытался отказаться от концепции файла, например?
Ох сколько сайтов поломано из-за этой возможности использовать url'ы в fopen и file_get_contents...Нет уж, лучше пусть будет явный способ работы с локальными файлами и отдельно - с сетью.
Вообще-то, если по уму, надо другого рода абстракции добавлять - "домены доверия" какие-нибудь. И наверняка это сто лет, как сделано где-то. Между файлом, скачанным невесть откуда, и сетью - разница, в сущности, минимальна. Как и между заведомо хорошим файлом и заведемо надёжным урлом.
Да-да, разница минимальна. Особенно, если сеть дорогая.
> Между файлом, скачанным невесть откуда, и сетью - разница, в сущности, минимальна.А если не качать файл невесть откуда? Речь то шла про открытие файлов, которые уже есть. Для атаки через локальный файл надо сначала этот файл как-то создать, то бишь провести предварительно отдельную атаку.
> Как и между заведомо хорошим файлом и заведемо надёжным урлом.
Угу, разве что для титеретиков. Практики понимают, что MITM в случае сети организовать несколько проще.
Как со скоростью? Всё так же рвёт линуск как и раньше?
>Will Redox replace Linux?
>No.https://doc.redox-os.org/book/introduction/will_redox_replac... Redox replace Linux?
Линукс много у кого из контейнера не вылазит, так что поддержка реального железа и не нужна (по ссылке не ходил)
> (по ссылке не ходил)Сходи, там надо осилить всего две буквы.
> Сходи, там надо осилить всего две буквы.Ну неосилятор как раз ты. Там между строчек и написано что редокс не заменит линух тк поддержки реального железа нет и не будет. Это не означает что через 10 лет в вирт окружении не будет 95% редокса
> Как со скоростью? Всё так же рвёт линуск как и раньше?Вы там как, уже квалифицировались до осиления grepа на уровне "не тратить час работы и все гигабайзы памяти сервака на то, что можно сделать таким же грепом на ноуте за десяток секунд и пол-гигза памяти"? =)
А так да, жабку рвет как тузик грелку ))
http://benchmarksgame.alioth.debian.org/u64q/compare.php?lan...
>квалифицировались до осиления grepа на уровнеНе тормози, если grep с некоторыми ключами умирает на сервере с 98ГБ ОЗУ, виноваты не "неправильные ключи", а консерватория...
Во-во.
Гвозди же не могут быть неправильными. Это микроскоп виноват!
Что такое gz в одноименном столбце?
> Что такое gz в одноименном столбце?Там ссылочка сразу внизу:
http://benchmarksgame.alioth.debian.org/how-programs-are-mea...
> How source code size is measured
> We start with the source-code markup you can see, remove comments, remove duplicate
> whitespace characters, and then apply minimum GZip compression. The measurement is the
> size in bytes of that GZip compressed source-code file.
> А так да, жабку рвет как тузик грелку ))И то не везде:
k-nucleotide
source | secs
Rust | 16.80 | 7.16s to complete and log all make actions
Java | 7.93 | 1.14s to complete and log all make actions
C gcc | 5.38 | 0.41s to complete and log all make actions
C++ g++ | 7.18 | 3.40s to complete and log all make actionsВ этом тесте у Rust-а полный провал -- работает в 2+ раза медленнее жабы, компилируется в 2+ раза дольше плюсов (для C они сразу бинарник собирали, для C++ разделили компиляцию и линковку, так что провал мог быть ещё чуть более эпичным).
Прога на жабе которая завершается за 1.4 сек? Бугага, там jvm секунду стартовала. Давайте задачу где надо 50гб данных в озу перелопатить, посмотрим где будут ваши си и раст
> Прога на жабе которая завершается за 1.4 сек? Бугага, там jvm секунду
> стартовала. Давайте задачу где надо 50гб данных в озу перелопатить, посмотрим
> где будут ваши си и растНу возьми и придумай, что-ли. Только смотри, чтобы как тогда с грепом не вышло :)
> Ну возьми и придумай, что-ли. Только смотри, чтобы как тогда с грепом не вышло :)придумывать ничего не надо, у меня работа в этом заключается, чтобы писать на жабе прожки, которые сишники не осилили. это вы смотрите, в прошлый раз сишный греп сфэйлил где жаба не сфэйлила. Чем дальше (и больше ОЗУ в серверах), тем ненужнее эти ваши бинутилз из 1955-го года.
> это вы смотрите, в прошлый раз сишный греп сфэйлил где жаба не сфэйлила.Это там, где отметились все кому не лень, с авк, перолом, питоном и разными вариантами грепа? Но только у жабистов оно вместо пары десятков секунд и от силы полутра гигабайт рамы, выполнялось час и сожрало все достпуные 96ГБ ОЗУ? Ну да, это не фейл )
Вспоминается классика
https://aadrake.com/command-line-tools-can-be-235x-faster-th...
> This find | xargs mawk | mawk pipeline gets us down to a runtime of about 12 seconds, or about 270MB/sec, which is around 235 times faster than the Hadoop implementation.
> В этом тесте у Rust-а полный провал -- работает в 2+ разаНе провал, а недоработка, тем более первой строкой в жабке идет
it.unimi.dsi.fastutil.longs.Long2IntOpenHashMap
генерированные с помощью подпорок и сишного препроцессора - а так да, доминирование жабы почти на лицо )
С точки зрения прогера, насколько знаю, мегауниверсальные решения это путь вфтоппку. А жалко, ос на безопасном языке - это интересно
Да он только на бумаге безопасней. Ну да выстрелить в ногу сложней, чем в плюсах, но это только лишь увеличивает шансы, что программист не будет задумываться об этом -> будут проблемы
> Да он только на бумаге безопасней. Ну да выстрелить в ногу сложней,
> чем в плюсах, но это только лишь увеличивает шансы, что программист
> не будет задумываться об этом -> будут проблемыне говоря уже о том, что дедлок он и в африке дедлок
>> только лишь увеличивает шансы, что программист
>> не будет задумываться об этом -> будут проблемы
> не говоря уже о том, что дедлок он и в африке дедлокА аноним, ни#рена не знающий, но мнение имеющий - он и в африке аноним, так ведь?
Про deadlock нечего возразить?
> Про deadlock нечего возразить?Зачем возражать, если уже первая часть
>> увеличивает шансы, что программист
>> не будет задумываться об этом -> будут проблемыбред полнейший?
Компилятор будет бить по рукам и отказываться собирать код, а погроммист, такой-сякой, даже задумываться об этом не будет!
Сразу видно человека в теме.Потом еще дедлоки приплел. Еще бы вспомнил, что от фейлов ФС там тоже страховки нет, да и вообще, имея код и типы входных данных, ржавчина не осилит определить, завершиться программа вообще или зависнет в бесконечности!
очень интересное экспертное мнение
> С точки зрения прогераКого именно? Или ты так тонко пошутил, имея ввиду себя?
> мегауниверсальные решения это путь вфтоппку.
Да, как точно про жабу подмечено...
> В системе применяется принцип "все есть URL".Бедолаги - застряли в 20 веке! Неужели непонятно, что "плоская" подель уже давно себя исчерпала? Да и примитивна она, чо уж там!
Систему надо строить на концепции модулей, доступных через СИСТЕМНУЮ ИЕРАРХИЮ.
Загружаешь, например, драйвер звуканов, у тебя в системе появляется иерархия:
/sound/play /sound/record и т.п. Это если упрощённо. Такая система позволяет вообще не париться по поводу типов устройств (как у них log:// ) или чём-то ещё. Просто корень и из него растёт API для всей системы.
Странная попытка подражать новой коре?
> Систему надо строить на концепции модулей, доступных через СИСТЕМНУЮ ИЕРАРХИЮ.Иерархию чего?
Это болезнь какая-то, что мысли обрываются?
Да
Flat is better than nested.
At this time, Redox supports:All x86_64 CPUs.
Graphics cards with VBE support (all nvidia, intel, and amd cards from the past decade have this).
AHCI disks.
E1000 or RTL8168 network cards.
Mouse and keyboard with PS/2 emulation.
Первая в мире операционная система чисто для QEMU x86. Это событие!
> Первая в мире операционная система чисто для QEMU x86. Это событие!Первая на rust, это действительно событие, а для qemu не первая.
url:// - утопия.. с предрекаемым концом.
это на API- а телеграмм но стряпанная концепция. При любой атаке практически не дающая шанса закрыться. PHP подобие...
Кстати, вот вам пример в продолжение темы "рефакторить или переписать". Чувак в одно рыло и полтора куска коммитов запилил операционку на безопасном, а не пытался отрефакторить очередное системдэ в очередном линуксе.
Даёте обезжиренные аналоги Qt и KDE на Rust!?