LINUX.ORG.RU

Майский отчёт по разработке микроядерной ОС Redox на Rust

 , ,


0

2

3 июня разработчики ОС Redox опубликовали ежемесячный публичный отчёт о прогрессе в разработке за май 2024.

  • COSMIC. Джереми Соллера (разработчик из System76, а так же разработчик COSMIC в Redox, ссылка на персональный гитхаб) занимался заменой компонентов с Orbital на собственные COSMIC-аналоги, и теперь COSMIC-файлы, COSMIC-редактор и COSMIC-терминал являются постоянной частью рабочего стола Redox:

    У нас все еще есть несколько ошибок при выходе из приложений, но в остальном они работают без сбоев и выглядят великолепно!

  • Обновление инструментария. Собственная ветка Rust была обновлена ​​до версии от 11 мая 2024 г. Исправлено множество проблем с программами, требующими последней версии Rust.
  • Улучшения самостоятельного хостинга. Порт компилятора Rust был обновлен для соответствия версии собственного кросс-компилятора Rust.
  • Обновлён собственный порт LLVM.
  • Обновление Mesa3D. Собственная ветка Mesa3D была обновлена ​​до последней стабильной версии 24.0.8.
  • Программная часть. Одним из участников разработки, Риббоном (Ribbon, ссылка на персональный гитхаб), упаковано больше программ, утилит и инструментов Cargo.

Для справки: Redox это unix-подобная микроядерная операционная система, написанная на языке программирования Rust с акцентом на безопасность и высокую производительность. При разработке использовался опыт таких ядер и операционных систем, как SeL4, Minix, Plan 9 и BSD. В качестве цели ставится создание экосистемы, похожей на GNU или BSD, но создаваемой на безопасном для памяти языке и с использованием актуальных для 2010-х годов технологий. Среди сопутствующих компонентов особо выделяются:

  • микроядро, выполненное по типу ядра MINIX;
  • библиотека Newlib для программ на Си (аналог glibc);
  • драйверы работают в пространстве пользователя;
  • имеется опционально включаемый GUI — Orbital;
  • Ion shell — базовая библиотека для оболочек и выполнения команд в Redox, а также оболочка по умолчанию;
  • файловая система TFS, аналог ZFS;
  • пакетный менеджер Magnet;
  • менеджер памяти Ralloc.

Проект существует и активно развивается с 2015 года, распространяется по лицензии MIT.

>>> Подробности на официальном ресурсе разработчиков

★★★★

Проверено: hobbit ()
Последнее исправление: hobbit (всего исправлений: 3)

Ответ на: комментарий от kirill_rrr

Оно жирное.

В смысле? Оно для наручных часов предназначено, или что? Я просто не знаю, для чего это ненужно делается, уже девятый год.

Virtuos86 ★★★★★
()
Последнее исправление: Virtuos86 (всего исправлений: 1)

У кого нибудь запустилось? Я сколько скачивал, ни на железе, ни на виртуалке не смог запустить…

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

я запускал в VirtualBox. Но по-моему в прошлом году последний раз.

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

Ну, 440М на голом WM с 3-я апплетами панели при 30с аптайма. Это аналог условного fluxbox'а через startx в каком нибудь alpine.

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

Есть ещё такие процессорные архитектуры, где можно программы от данных жёстко отделить. Но почему-то бардачный x86 они до сих пор не убили и даже конкуренцию на рынке особо не могут составить…

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

Так, Rust и не является безопасным для памяти языком

tiinn ★★★★★
()

Собственная ветка Rust была

собственного кросс-компилятора Rust.

А чего им в оригинальном расте не хватило?

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

Злые языки скажут, что где два опенсорсника, там три командных оболочки, три несовместимых ДЕ и три недоделанных ФС.

token_polyak ★★★★
()
Последнее исправление: token_polyak (всего исправлений: 2)
Ответ на: комментарий от hobbit

И вас это ни на какие выводы не наводит? Насчет совершенства x86 и несостоятельности стройных небардачных архитектур, например?

token_polyak ★★★★
()
Последнее исправление: token_polyak (всего исправлений: 1)
Ответ на: комментарий от token_polyak

совершенства x86

Это вряд ли. То есть во времена 8086 оно, вероятно, было близко к совершенству (а ещё круче был 8-разрядный 8080), но сейчас, обросши тоннами легаси, оно от неё очень сильно ушло. Наши недостатки — продолжение наших достоинств.

несостоятельности стройных небардачных архитектур

Это – возможно. Но тогда вопрос «почему»? Почему небардачные безопасные архитектуры оказываются несостоятельными? Собственно, собеседнику выше я на этот вопрос и намекал.

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

А чего им в оригинальном расте не хватило?

Видимо по той-же причине, что линукс разрабатывается только под gcc. Специфические требования при разработке ОС. Например, поддержка naked functions, -fpatchable-function-entry и тому подобное.

red75prim ★★★
()

файловая система TFS, аналог ZFS;

А разве оно не сдохло, когда автор заявил, что ему больше нравится быть концептолухом-математиком, а не кодером?

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

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

Такой совершенный, что Intel хочет его упростить. Не то чтобы я был против этой идеи - скорее «давно пора»

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

да и вообще какая разница сколько там база занимает в памяти. 1 таб в браузере съедает ненамного меньше любого wm.

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

Есть такой язык, ассемблер называется. Там можно переменные в регистрах держать. Немного, правда.

Если у твоей архитектуры они есть :DDDDD

А то всякое бывало. Один интелловский iAPX432 чего стоил.

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

даже конкуренцию на рынке особо не могут составить

Так-то на гарвардской архитектуре построенны например микроконтроллеры AVR.

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

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

Там можно переменные в регистрах держать. Немного, правда.

Реально немного. Там ведь как таковых и переменных нет, только сами значения в регистрах.

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

Да, но его здесь нет! И кстати не сотню а поменьше.

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

Там можно переменные в регистрах держать.

А если подумать, то и компилятор какого-нибудь языка высокого уровня типа Си или раста каким-нибудь алгоритмом раскраски графов распределяет доступные регистры и у тебя переменная может в одном из них оказаться. Просто не ты это контролируешь.

Раньше в Си ещё ключевое слово register было, но оно сейчас никак особо не влияет.

Artsi0m
()

Собственная ветка Rust была обновлена ​​до версии от 11 мая 2024 г. Исправлено множество проблем с программами, требующими последней версии Rust.

Порт компилятора Rust был обновлен для соответствия версии собственного кросс-компилятора Rust.

Что же там с эпохами? Почему не работают?

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

Скачал новый образ, закинул на флешку, запустил через Ventoy - нифига. Виснет в фазе терминала, отругавшись что какие-то устройства не распознал. При этом, когда он висит процессор греется как чёрт. Очень жаль.

svyatozar ★★
()
Последнее исправление: svyatozar (всего исправлений: 1)
Ответ на: комментарий от Artsi0m

Оно влияет, просто используются как подсказка для оптимизирующего компилятора, а не напрямую.

Tark ★★
()

Собственная ветка Rust
Обновлён собственный порт LLVM.
Собственная ветка Mesa3D

Не уж то у них 1000 разработчиков, что есть силы и время на такую огромную работу?

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

И тут FreeBSD такая: ну да, ну да, пошла я нахер.

А вообще из неё можно легко сделать ещё один коммерческий проект, какой-нить DuckOSX(DOSX) и закопает всех...

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

да и вообще какая разница сколько там база занимает в памяти. 1 таб в браузере съедает ненамного меньше любого wm.

Да, браузеры - это издёвка корпорастов, когда GNU / Linux Debian с KDE 5 занимает 400-500МБ, а любой браузер с 3 вкладками сжирает 600-800МБ...

xwicked ★★☆
()
Последнее исправление: xwicked (всего исправлений: 1)

выполненное по типу ядра MINIX;

Ну хоть бы L4 взяли. Ну шо за люди?

Dark_SavanT ★★★★★
()
Для того чтобы оставить комментарий войдите или зарегистрируйтесь.