LINUX.ORG.RU

Redox — операционная система, написанная на Rust

 ,


5

7

Redox — новая UNIX-подобная операционная система с открытым исходным кодом, написанная на Rust.

Основные особенности:

  • микроядерная архитектура;
  • основная часть кода написана на Rust;
  • имеется опционально включаемый GUI Orbital;
  • библиотека Newlib для программ на C (аналог glibc);
  • лицензия MIT;
  • драйверы работают в пространстве пользователя;
  • доступны распространенные команды UNIX;
  • поддержка ZFS (пока в разработке).

Скриншот

Образы для QEMU и VirtualBox, ISO с установщиком

>>> Подробности

Deleted

Проверено: JB ()
Последнее исправление: cetjs2 (всего исправлений: 14)
Ответ на: комментарий от anonymous

Когда вы уже начнёте гуглом пользоваться, прежде чем выкатывать свои измышлизмы сообществу?

В следующем абзаце цитируемой Вами статьи

В общем случае драйвер не обязан взаимодействовать с аппаратными устройствами, он может их только имитировать (например, драйвер принтера, который записывает вывод из программ в файл), предоставлять программные сервисы, не связанные с управлением устройствами (например, /dev/zero в Unix, который только выдаёт нулевые байты), либо не делать ничего (например, /dev/null в Unix и NUL в DOS/Windows).

Когда Вы уже научитесь читать цитируемые статьи? :))

anonymous
()
Ответ на: комментарий от anonymous

я думаю, что самым лучшим решением было бы сделать наноядро на провереном Фортране.

А юзерспейс на Коболе.

anonymous
()
Ответ на: комментарий от anonymous

Не знаю, что ты называешь «программным эмулятором устройства», но таковые в qemu (и их аналоги в OS/2) драйверами не являются и их никто так не называет.

Правда что-ли? :)

Да.

OpenGL, Postscript, GDI тоже не драйверы?

А OpenGL и Postscript кто-то называет драйверами устройств? GDI - это вообще Graphics Device Interface, где там про драйверы?

Виртуальные com-порты, cd-rom и т.п.?

Виртуальные CD-ROM - совершенно точно не драйверы устройств. Именно поэтому их называют «виртуальными».

tailgunner ★★★★★
()
Ответ на: комментарий от anonymous

Вдумайтесь. Уязвимость в какой-то мелкой подсистеме приводит к получению полного доступа к всему ЭВМ!

если эта ЭВМ персональная - всем пофиг

Космические станции используя программы на Фортране десятки лет борознят просторы большого театра.

можете морзянкой перфокарты тасовать - тоже нехилая надежность

anonymous
()
Ответ на: комментарий от zaz

Тоесть драйвер файловой системы драйвером не является ?

Является. Как и всякая виртуальная фигня. Я же ссылку кинул, почитай чуть дальше.

anonymous
()
Ответ на: комментарий от anonymous

Все эти возгласы о надежности - простой шум и не болие того. Когда последний раз ктото понес какието убытки/потери из-за проблем с ошибкой в ядре ОС (linux, windows, FreeBSD) ?

И как часто случаются проблемы с безопасностью из за человеческого фактора ? (халатности пользователей и/или админов)

И как часто виновником проблемы является прикладное ПО (дырявый сайт или сетевая служба) ?

Такчто текущий уровень надежности Linux пусть и не идеальный но вполне приемлемый для продакшен решений. И потребность его повышения не перекрывает стоимость написания новой ОС.

PS. Я вообще не против микроядра и Redox просто отношусь к этому с некоторым скептицизмом, а так пусть люди занимаются - посмотрим через год-два что у них получится ...

zaz ★★★★
()
Ответ на: комментарий от tailgunner

Виртуальные CD-ROM - совершенно точно не драйверы устройств. Именно поэтому их называют «виртуальными».

Хорошо. Как отличить виртуальное устройство от не виртуального?

anonymous
()
Ответ на: комментарий от anonymous

Виртуальные CD-ROM - совершенно точно не драйверы устройств. Именно поэтому их называют «виртуальными».

Хорошо. Как отличить виртуальное устройство от не виртуального?

Под виртуальным устройством нет физического.

А теперь давай ты скажешь, какое отношение имеют виртуальные устройства к драйверам через libusb.

tailgunner ★★★★★
()
Ответ на: комментарий от matumba

К слову, сейчас смотрю код Раста - да почти тот же Си, только без маразмов с памятью - сишникам будет оч легко переключиться на новую платформу. Время тухлых Сей и пухлых линупсов прошло, из форточки повеяло переменами! :)

К слову, сейчас смотрю код на расте, и вижу паскаль с сишными ключевыми словами и фигурными скобками.

И я хотел бы узнать поподробнее про «маразмы с памятью» с С. Вроде, для душевно травмированных при работе с памятью есть managed языки. Лучше тихо выберете себе язык по душе, а не учите сишников как правильно жить.

segfault ★★★★★
()
Ответ на: комментарий от anonymous

Когда Вы уже научитесь читать цитируемые статьи

Да мне вообще плевать на обсуждаемый вопрос. Просто раздражают на ЛОРе бессмысленные терминологические споры, в которых участники дискуссии не потрудились глянуть обсуждаемые определения хотя бы в википедии.

anonymous
()
Ответ на: комментарий от segfault

К слову, сейчас смотрю код на расте, и вижу паскаль с сишными ключевыми словами и фигурными скобками

Ты не видишь ADT и дженериков? Или в твоем Паскале они были?

tailgunner ★★★★★
()
Ответ на: комментарий от tailgunner

Под виртуальным устройством нет физического.

Не всегда. Эмулироваться может только часть функционала, обычное дело. Опять же, «проброс» через тот же usb, например com-порта.

А теперь давай ты скажешь, какое отношение имеют виртуальные устройства к драйверам через libusb.

Наверное потому, что через usb можно управлять устройством аппаратным или виртуальным.

anonymous
()
Ответ на: комментарий от segfault

вижу паскаль

А пацаны и не знают. Расскажи, что же ты там увидел от поцкаля?

anonymous
()
Ответ на: комментарий от tailgunner

Я так понял вы утверждаете что драйвер не может существовать без устройства ?

И для вас понятие «драйвер» и «драйвер устройства» тождественно равны ?

zaz ★★★★
()
Ответ на: комментарий от zaz

А если это любое ПО, которое действует через, например, сокеты, это будет драйвером?

А если через файл?

А если псевдофайл, сделанный fuse?

А какая разница?

shkolnick-kun ★★★★★
()
Ответ на: комментарий от zaz

И для вас понятие «драйвер» и «драйвер устройства» тождественно равны ?

Это масло масляное. Суть в том, что устройство может быть физическим или виртуальным или полувиртуальным (когда эмулируется часть функций физического устройства).

anonymous
()
Ответ на: комментарий от tailgunner

Ты не видишь ADT и дженериков? Или в твоем Паскале они были?

Покажи мне их в С и я возьму свои слова обратно.

segfault ★★★★★
()
Ответ на: комментарий от zaz

И как часто виновником проблемы является прикладное ПО (дырявый сайт или сетевая служба) ?
stuxnet
duqu

shkolnick-kun ★★★★★
()
Ответ на: комментарий от anonymous

https://developer.nvidia.com/opengl-driver

Там написано: «NVIDIA's Windows driver version 355.97 and Linux drivers version 355.00.09 provide beta support for OpenGL». Не вижу там утверждения, что OpenGL - это драйвер.

И просто для протокола, от К.О. - естественно, в конкретную реализацию OpenGL может входить драйвер, но это не значит, что сам OpenGL - это драйвер.

tailgunner ★★★★★
()
Ответ на: комментарий от segfault

слову, сейчас смотрю код на расте, и вижу паскаль с сишными ключевыми словами и фигурными скобками

Ты не видишь ADT и дженериков? Или в твоем Паскале они были?

Покажи мне их в С

Ты смотришь на Rust, видишь Pascal, и требуешь показать дженерики в Си? Окей.

tailgunner ★★★★★
()
Ответ на: комментарий от tailgunner

Я считаю, что нужно определиться с тем, что называть «драйвер», «драйвер XXX», или «драйвер XXX через YYY».

по крайней мере в Linux драйвер виртуального устройства это такой же драйвер как и драйвер физического устройства. В винде драйвер ФС - это драйвер

http://www.ext2fsd.com

так что тебе просто надо кругозор расширять и не трахать мозг окружающим

anonymous
()
Ответ на: комментарий от segfault

Покажи мне их в С и я возьму свои слова обратно.

Не виляй, демагог. Ты утверждал, что Раст - гибрид Паскаля и Си, так что это ты должен показывать. Или ты что-то другое хотел доказать?

anonymous
()
Ответ на: комментарий от shkolnick-kun

А какая разница?

Разница в том, что с таким широким подходом, как у тебя, драйвером можно назвать что угодно, хоть curl, хоть браузер.

tailgunner ★★★★★
()
Ответ на: комментарий от tailgunner

А как вам определение что драйвер это реализация некоторой системной абстракции ?

Например есть абстракция «Block Device» и куча драйверов его реализующих (SATA, NBD, ATA, SCSI)

Есть абстракция - символьное устройство и драйвера (/dev/null, /dev/zero, /dev/random и тд)

Есть абстракция V4L - и тоже есть драйвера ее реализующие (USB Video, или юзерспейс демон через libusb)

zaz ★★★★
()
Ответ на: комментарий от anonymous

по крайней мере в Linux драйвер виртуального устройства это такой же драйвер как и драйвер физического устройства

Ага, только без физического устройства. А женщина - это такой же мужчина, только без... нутыпонел,

tailgunner ★★★★★
()
Ответ на: комментарий от tailgunner

в конкретную реализацию OpenGL может входить драйвер, но это не значит, что сам OpenGL - это драйвер

да ты упорот - в Linux OpenGL без драйвера не бывает, по сути это сложный драйвер часть которого в ядре а часть в юзерспейсе.

anonymous
()
Ответ на: комментарий от zaz

А как вам определение что драйвер это реализация некоторой системной абстракции ?

Вполне. Но всё же надо указывать, какую именно абстракцию реализует драйвер - вон анонимус топит за «драйвер ФС».

tailgunner ★★★★★
()
Ответ на: комментарий от zaz

А как вам определение что драйвер это реализация некоторой системной абстракции ?

Например есть абстракция «Block Device» и куча драйверов его реализующих (SATA, NBD, ATA, SCSI)

Есть абстракция - символьное устройство и драйвера (/dev/null, /dev/zero, /dev/random и тд)

Есть абстракция V4L - и тоже есть драйвера ее реализующие (USB Video, или юзерспейс демон через libusb)

Абсолютно точно. Драйвер это просто черный ящик, абстракция. Что там внутри абсолютно не важно.

anonymous
()
Ответ на: комментарий от tailgunner

вон анонимус топит за «драйвер ФС».

А ФС это не абстракция?

anonymous
()
Ответ на: комментарий от tailgunner

Гаша, самозабанься за оффтоп. Задолбал уже разводить терминологическую демагогию на пол-темы.

anonymous
()
Ответ на: комментарий от tailgunner

Были реализации тупо поверх иксов. Сейчас есть software renderer.

Т.е если дравер эмулирует часть функционала, то он не дравер? :))

anonymous
()
Ответ на: комментарий от tailgunner

А чем вам не нравится драйвер файловой системы ?

Есть четкая системная абстракция «файловая система» у нее есть универсальное стандартизированое API, и есть куча драйверов которое это API реализует (EXT2, EXT4, XFS и тд). Вам никто не запрещает написать свой собственный драйвер для вашей собственной FS и все компоненты системы будут нормально с ним работать.

zaz ★★★★
()
Ответ на: комментарий от tailgunner

Нет, не сам с собой. Но ты чудесным образом всё время оказываешься вовлечён в такие вот споры.

anonymous
()
Ответ на: комментарий от anonymous

Т.е если дравер эмулирует часть функционала, то он не дравер? :))

Приведи используемое тобой определение термина «драйвер» или GTFO.

tailgunner ★★★★★
()
Ответ на: комментарий от anonymous

Ты утверждал, что Раст - гибрид Паскаля и Си

Нет. Я утверждал что у этого языка нет ничего общего с С, кроме нескольких зарезервированных слов. А синтаксически это вылитый паскаль.

В данном случае я обратил внимание на:
1) объявление переменных - тип данных следует за именем.
2) То же самое с возвращаемым значением из функций
3) 2 стандартных способа передачи аргументов - по значению и ссылке
4) Стандартный «println» просто содран из паскаля.

Возможно, это характерно для целого семейства языков, но из популярных в голову приходит только паскаль.

segfault ★★★★★
()
Ответ на: комментарий от shkolnick-kun

10 секунд в известной поисковой системе и вуаля: https://os.inf.tu-dresden.de/pubs/sosp97/
133 MHz Pentium

Спасибо - посмеялся.

Ради тебя даже попытался я его запустить за тачке - несмоглось. Наверное за пределы виртуалки оно никогда не выходило.

В конечном итоге твоя ссылки так ничего и не показала(кроме того, что оно тормазит в дерьмо) на допотопной хреноте, а ни на чём новом оно не запускается.

Насколько я понимаю - прогресс он должен быть к более быстрому и иллитному, а не к более убогому и не работающему.

registrant27492
()
Ответ на: комментарий от shkolnick-kun

А если это любое ПО, которое действует через, например, сокеты, это будет драйвером?

А если через файл?

Нет не будет, вы путаете понятие «использует» и «реализует». ПО которое использует сокеты никакой системной абстракции не реализует, оно даже ее не использует (потомучто в линукс нету абстракции «cокет» - «cокет» с точки зрения ядра линукс имеет четкую реализацию которую вы не можете изменить по средствам загрузки/выгрузки некоего драйвера - всякие хаки с хуками не учитываем).

А если псевдофайл, сделанный fuse?

Это тоже не драйвер, так как не является системной абстракцией (в самой системе нету стандарта на такого рода псевдо файл, и стороннее прикладное ПО не может его использовать).

А какая разница?

Основная разница в том что результатом работы драйвера может пользоватся любое ПО (без необходимости его модификации). Например если вы написали сервис для работы с вебкамерой в юзерспейсе на libusb но при этом РЕАЛИЗОВАЛИ абстракцию V4L то в результате любое ПО получит возможность работать с этой камерой (Skype, Chrome, Firefox и тд) и ваше ПО можно назвать драйвером. Если же вы V4L не реализовывали и для использования камыры темже Skype нужны будут отдельные телодвижения (модификация кода или прелоадинг специальных библиотек) - то это уже драйвером назвать нельзя.

PS Чисто мое мнение

zaz ★★★★
()
Ответ на: комментарий от anonymous

Сферические кони в вакууме на полузабытом недоязычке 70х

И что это всё даст? И какое там соотношение затраченные ресурсы/профит?

печки, которые генерируют мусорный контент

Молодец, выкатил очевидный и фундаментальный дефект нынешнего общества (впрочем, дефект ли?). Какое отношение он имеет к твоим проектам переустройства всея IT?

anonymous
()
Ответ на: комментарий от tailgunner

Выше zaz уже привел. Если коротко, то это абстракция на уровне ОС.

anonymous
()
Ответ на: комментарий от segfault

Жаль С-like синтаксис не выкинули.

anonymous
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.