anonymous@RULINUX.NET~# Last login: 2024-12-23 08:10:32
Регистрация Вход Новости | Разметка | Пользователи | Галерея | Форум | Статьи | Неподтвержденное | Трекер | Правила форума | F.A.Q. | Ссылки | Поиск
[#] [Добавить метку] [Редактировать]
Скрыть

L4, codezero, seL4 и иже с ними

Как говорится, нет такого программиста, который никогда не хотел бы написать свою ОС. Это я к чему, что-то захотелось старого доброго срача монолит vs микроядро. Вот и думаю, что L4 очень хорошее ядро, только написано на богомрезком C++. А вот если периписать его на православном С, да добавить динамические capabilities (хз как это по русски), чего нет в не менее православном codezero, было бы это хорошо?

ЗЫ: Как, думаю, понятно из заголовка, о seL4 я знаю, но несколько не устраивает лицензия по которой эта штука распространяется. Ко всему несколько смущает паранойя, которой страдают его авторы. В частности, запрет на выделение памяти в пространстве ядра и однонаправленность каналов передачи сообщений между нитями.

ЗЗЫ: Я знаю, что ни L4, ни seL4 не нужен, ибо есть linux. Но...

anonymous(*) (2011-10-29 00:45:32)

Mozilla/5.0 (X11; U; Linux x86_64; ru; rv:1.9.1.16) Gecko/20110929 Iceweasel/3.5.16 (like Firefox/3.5.16)

[Ответить на это сообщение]
[#] [Добавить метку] [Редактировать] Ответ на: L4, codezero, seL4 и иже с ними от anonymous 2011-10-29 00:45:32
avatar
Скрыть

Re:L4, codezero, seL4 и иже с ними

>только написано на богомрезком C++.
А чем так плох с++, если без фанатизма?

SystemV(*)(2011-10-29 01:58:29)

Emacs-w3m/1.4.414 w3m/0.5.3
[#] [Добавить метку] [Редактировать] Ответ на: Re:L4, codezero, seL4 и иже с ними от SystemV 2011-10-29 01:58:29
avatar
Скрыть

Re:L4, codezero, seL4 и иже с ними

Он стимулирует фанатиков ООП писать непонятный код, и они к тому же обычно не склонны думать о чём-либо, что находится ниже их красивых абстракций..

anonymous(*)(2011-10-29 02:35:19)

[#] [Добавить метку] [Редактировать] Ответ на: Re:L4, codezero, seL4 и иже с ними от anonymous 2011-10-29 02:35:19
avatar
Скрыть

Re:L4, codezero, seL4 и иже с ними

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

SystemV(*)(2011-10-29 03:08:39)

Emacs-w3m/1.4.414 w3m/0.5.3
[#] [Добавить метку] [Редактировать] Ответ на: L4, codezero, seL4 и иже с ними от anonymous 2011-10-29 00:45:32
avatar
Скрыть

Re:L4, codezero, seL4 и иже с ними

Ничего интересного в классических ОС уже не будет. Нужен принципиальный архитектурный прорыв и новая парадигма.

Hokum(*)(2011-10-29 05:45:21)

Mozilla/5.0 (X11; Linux x86_64; rv:7.0.1) Gecko/20100101 Firefox/7.0.1
[#] [Добавить метку] [Редактировать] Ответ на: Re:L4, codezero, seL4 и иже с ними от SystemV 2011-10-29 01:58:29
avatar
Скрыть

Re:L4, codezero, seL4 и иже с ними

>А чем так плох с++, если без фанатизма?
Отсутствием стандартизованного ABI?

anonymous(*)(2011-10-29 15:12:47)

Mozilla/5.0 (X11; U; Linux x86_64; ru; rv:1.9.1.16) Gecko/20110929 Iceweasel/3.5.16 (like Firefox/3.5.16)
[#] [Добавить метку] [Редактировать] Ответ на: Re:L4, codezero, seL4 и иже с ними от Hokum 2011-10-29 05:45:21
avatar
Скрыть

Re:L4, codezero, seL4 и иже с ними

> Нужен принципиальный архитектурный прорыв и новая парадигма.
Я, конечно, могу понять что такое "архитектурный прорыв". Но что значит "парадигма" касаемо ОС или их ядер?

Вопрос исключительно терминологический - не слышал, чтобы слово парадигма употреблялось в одном предложении с ОС.

anonymous(*)(2011-10-29 15:17:28)

Mozilla/5.0 (X11; U; Linux x86_64; ru; rv:1.9.1.16) Gecko/20110929 Iceweasel/3.5.16 (like Firefox/3.5.16)
[#] [Добавить метку] [Редактировать] Ответ на: Re:L4, codezero, seL4 и иже с ними от SystemV 2011-10-29 03:08:39
avatar
Скрыть

Re:L4, codezero, seL4 и иже с ними

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


С плюсовиками, все таки всё гораздо хуже. Когда ты наконец разобрался что такое шаблоны и как их правильно готовить; когда ты наконец научился использовать BOOST не только для повышения уровня ЧСВ, но и реально для чего-то полезного; хочется сделать мир лучше.

А именно заебенить свой, правильный и понятный BOOST или на крайняк STL. И пох, что применяешь ты это всё в программе вычисления факториала, главное что ты сделал мир лучше.

Ax-Xa-Xa(*)(2011-10-29 15:27:46)

Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/535.1 (KHTML, like Gecko) Chrome/14.0.835.202 Safari/535.1
[#] [Добавить метку] [Редактировать] Ответ на: Re:L4, codezero, seL4 и иже с ними от Ax-Xa-Xa 2011-10-29 15:27:46
avatar
Скрыть

Re:L4, codezero, seL4 и иже с ними

>когда ты наконец научился использовать BOOST не только для повышения уровня ЧСВ, но и реально для чего-то полезного; хочется сделать мир лучше.
Так это проблема всех программистов, а не каких-то определённых плюсовиков.

SystemV(*)(2011-10-29 15:34:30)

Emacs-w3m/1.4.414 w3m/0.5.3
[#] [Добавить метку] [Редактировать] Ответ на: Re:L4, codezero, seL4 и иже с ними от SystemV 2011-10-29 15:34:30
avatar
Скрыть

Re:L4, codezero, seL4 и иже с ними

>> когда ты наконец научился использовать BOOST не только для повышения уровня ЧСВ, но и реально для чего-то полезного; хочется сделать мир лучше.
> Так это проблема всех программистов, а не каких-то определённых плюсовиков.


ХЗ, ХЗ, на меня такое накатывало только из-под С++. Из под Питона если какие-то мысли и возникают, то как-то его расширить, захерачить что-то новое, неведомо-интересное; а уж никак переделать существующее. Из под Пыха, возникает одно желание, послать всех нахуй и поковыряться с Питоном или Эрлангом.

Ax-Xa-Xa(*)(2011-10-29 15:41:24)

Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/535.1 (KHTML, like Gecko) Chrome/14.0.835.202 Safari/535.1
[#] [Добавить метку] [Редактировать] Ответ на: Re:L4, codezero, seL4 и иже с ними от Ax-Xa-Xa 2011-10-29 15:41:24
avatar
Скрыть

Re:L4, codezero, seL4 и иже с ними

>ХЗ, ХЗ, на меня такое накатывало только из-под С++. Из под Питона если какие-то мысли и возникают, то как-то его расширить, захерачить что-то новое, неведомо-интересное; а уж никак переделать существующее.
Что доказывает, что С++ - сборище костылей, которые никому не нравятся, кроме их создателей:) Да и тем, наверное, тоже уже не нравятся.

Но желание что-то сделать всё равно есть, а уж в чём конкретно оно проявляется - это уже мелочи. Откуда и родятся тысячи велосипедов и прочего.

SystemV(*)(2011-10-29 15:59:38)

Emacs-w3m/1.4.414 w3m/0.5.3
[#] [Добавить метку] [Редактировать] Ответ на: Re:L4, codezero, seL4 и иже с ними от anonymous 2011-10-29 15:17:28
avatar
Скрыть

Re:L4, codezero, seL4 и иже с ними

А в чём проблема использовать термин "парадигма" применительно к дизайну ОС? Означает примерно то же, что и в других случаях, а именно совокупность походов, правил и вообще знаний, образующих общую непротиворечивую систему.

Hokum(*)(2011-10-29 17:28:30)

Mozilla/5.0 (X11; Linux x86_64; rv:7.0.1) Gecko/20100101 Firefox/7.0.1
[#] [Добавить метку] [Редактировать] Ответ на: Re:L4, codezero, seL4 и иже с ними от Hokum 2011-10-29 17:28:30
avatar
Скрыть

Re:L4, codezero, seL4 и иже с ними

Кстати а чё ценителей с++ у нас нет, даже среди анонимусов? Я конечно не расстанусь с вебдевом пока не разлучит нас ...

Но всёже интересно. Никто не анализировал C++11, у меня такое впечатление, после беглого просмотра темы, сто все таки предпринимаются шаки, что бы у девелоперов не было желания переписать основные либы языка с нуля.)))

У каго какие мысли по поводу?

Ax-Xa-Xa(*)(2011-10-30 16:01:29)

Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/535.1 (KHTML, like Gecko) Chrome/14.0.835.202 Safari/535.1
[#] [Добавить метку] [Редактировать] Ответ на: Re:L4, codezero, seL4 и иже с ними от Ax-Xa-Xa 2011-10-30 16:01:29
avatar
Скрыть

Re:L4, codezero, seL4 и иже с ними

> Кстати а чё ценителей с++ у нас нет, даже среди анонимусов? Я конечно не расстанусь с вебдевом пока не разлучит нас ...
Пользуюсь C++, считаю его лучше C, и как продукт эволюции он лучше, да и код выглядит более упорядочным. Время от времени пишу на на нём математические алгоритмы. Когда-то интересовался L4, но после того как профессор Liedtke умер, развития замедлилось. С Hurd-ом к сожалению тоже не получилось. Но идея микрокернелов нравится, может minix-3-3 будет хорошо развиваться.

anonymous(*)(2011-10-30 16:59:01)

Mozilla/5.0 (X11; Linux x86_64; rv:7.0.1) Gecko/20100101 Firefox/7.0.1
[#] [Добавить метку] [Редактировать] Ответ на: Re:L4, codezero, seL4 и иже с ними от anonymous 2011-10-30 16:59:01
avatar
Скрыть

Re:L4, codezero, seL4 и иже с ними

> может minix-3-3 будет хорошо развиваться
Это едва ли. Дядька Таненбаум не даст, ибо хочет держать его настолько простым, насколько возможно, чтобы учить студентов.

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

anonymous(*)(2011-10-31 17:00:29)

Mozilla/5.0 (Windows NT 5.1; rv:7.0.1) Gecko/20100101 Firefox/7.0.1
Этот тред читают 1 пользователь:
Анонимных: 1
Зарегистрированных: 0




(c) 2010-2020 LOR-NG Developers Group
Powered by TimeMachine

Valid HTML 4.01 Transitional Правильный CSS!