Ответ на »сообщение 1301« (Aleg Azarousky)
___________________________

Ответ на »сообщение 1300« (RBV)
___________________________
Еще один http://l4linux.org/
Или это тот же?
Пока мы тут запрягаем, пингвин уже поехал. :)
Скажем так, из той же серии.

Ответ на »сообщение 1300« (RBV)
___________________________
Еще один http://l4linux.org/
Или это тот же?
Пока мы тут запрягаем, пингвин уже поехал. :)

Ещё вот это добавить можно: http://os.inf.tu-dresden.de/L4/LinuxOnL4/

Ответ на »сообщение 1289« (Geniepro)
___________________________

Последнее время читал разные статейки по микроядрам, и всё больше и больше положительного встретил по микроядрам семейства L4, в частности - L4/Fiasco от Дрезденского Технического Университета.

Из интервью Ричарда Столлмена (отец-основатель проекта GNU и Free Software Foundation) декабря 2004 г.
FB: На каком этапе находится работа с Hurd?
RMS: Hurd работает, но недостаточно надежна. Разработчики работают сейчас медленно, хотя один из них подыскивает  финансирование, чтобы посвятить этой работе существенную часть своего времени. Разработчики пришли к единому мнению, гласящему, что Mach ненадежна в качестве микроядра и нужно вместо этого перенести Hurd на ядро L4. Но это потребует существенных переделок.

См. http://www.tigran.am/stallman.htm#int1

Проект переориентации ядра Hurd на L4: http://www.gnu.org/software/hurd/hurd-l4.html


Само микроядро L4 (ранее L3) разрабатывается с середины 1990-х годов. Делалось сначала в IBM Йоханом Лидтке, а потом им с коллегами в ведущем исследовательском подразделении IBM: T.J.Watson Research Center. Когда он вернулся на родину, в Германию, началась фрагментация работ (в Карслруэ и в Дрездене). Потом к переносу микроядра на другие процессорные архитектуры подключились американцы.

Первоистоки идей отражены в этой работе Лидтке (1995): http://i30www.ira.uka.de/research/publications/papers/index.php?lid=en&docid=642

...а на форте пишем Оберон... Вот только как быть с автоматической параллельностью? Это ж скорее для функциональных языков...

Ответ на »сообщение 1296« (Руслан Богатырев)
___________________________

Ответ на »сообщение 1295« (al_mt)
___________________________

Forth ???

Возможный кандидат. Но ранее (»сообщение 871«) уже говорил о том, что видится в основе базового языка: специально разработанный диалект Оберона.
Нет я имею в виду как язык нижнего уровня. Вместо asm`а

Ответ на »сообщение 1295« (al_mt)
___________________________

Forth ???

Возможный кандидат. Но ранее (»сообщение 871«) уже говорил о том, что видится в основе базового языка: специально разработанный диалект Оберона.

Forth ???

Кто из процев > 1 стека поддерживает? Ни когда не забуду, проблемы "Как запихнуть BASIC в 4Кб"... Запихнули сначала Форт, а потом написанный на нём BASIC  :)))))))))))))))

Те, кто изучал многочисленные диссертации ETH Zurich, наверняка обратили внимание, что конкуретной разведке и предварительным исследованиям аналогов уделялось большое внимание. Это отличительная черта швейцарской школы. Более-менее в деталях зная, как это делалось, и видя результаты, могу с определенной уверенностью говорить, что относительно небольшими ресурсами можно создать очень мощную группу мониторинга новейших исследований с прогнозами продвижения конкурирующих работ. Эта та часть, где не требуется кодинг. Но мозги и умение мониторить информацию и извлекать разумное зерно очень важны.

Собственно формирование такого подразделения "конкуретной разведки" не требуется в полном объеме для проекта создания перспективной ОС, хотя последняя охватывает довольно большую область. Не исключаю, что могут появиться и другие группы, для которых разведка будет создавать необходимую основу проведения работ. Сам проект перспективной ОС (при том, что получение первых заметных результатов возможно через 2-3 года) -- это удобный зонтик для других работ.

Публичная информационная инфраструктура (результаты изысканий) будет сделана на базе пока все еще замороженного europrog.ru. Это один из элементов новой инициативы -- Open Research (взамен Open Source).

Ответ на »сообщение 1289« (Geniepro)
___________________________

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

Подобные вещи достаточно хорошо известны. Особенно в сфере разработки специального ПО для рынка телкоммуникационного оборудования. На этом поприще, кстати, продолжительное время работала новосибирская группа Недори с канадским гигантом Nortel -- http://ru.wikipedia.org/wiki/Nortel_Networks

Та же SWITCH-технология проф. Шалыто (С.-Петербург, СПбГУ ИТМО, один из соорганизаторов большого турне Вирта), построенная на Си и аппарате конечных автоматов (разновидности), применяется в нашем ВПК. Военно-морской флот, включая подводные лодки, ФГУП "Аврора" -- http://www.avrorasystems.com/