Параметры оценки архитектуры ОС, предлагаю Опции

[TMX]

Хочу обзор сделать, по существующим на рынке ОС для мк.
Не просто краткую аннотацию, такие уже есть,
например:
http://www.realtime-info.be/encyc/buyersgu...tos/Dir228.html
http://www.dspconsulting.com/rtos.html
(это просто первые в моем URL-album)
, а хочу обзирать именно конкретные подходы к построению архитектур.

Предлагаю сокращенный набор параметров для оценки архитектуры:
(их больше, просто, чтобы показать принципы)

-. Многозадачность (есть, нет, кооперативная, вытесняющая, набор примитивов для cycl.exec и т.д.)
-. Приоритеты задач (стат, динам, несравниваемые и др.)
-. Особенности переключения задач (контекст, стеки и т.д.)
-. Реализация планировщика.
-. Реализация диспетчера.
-. Оценка преимуществ и недостатков методов планирования/диспетчеризации для конкретных задач.
-. Предотвращение инверсии приоритетов (есть, нет, методы)
-. Реализация искл. доступа к ресурсам.
-. Контроль задач (события, таймеры и др.)
-. Запуск системных и доп. процессов (методы для таймеров, ISR и т.д.)
-. Реализация HAL.
-. API - предоставляемые возможности.
-. Доп. средства (GUI, TCP/IP и т.д.)
-. Общая оценка.

Результаты желаю выложить в интернет.
Примерная производительность - 4 ОС/мес, если не попрет.
Предлагаю это из шкурных соображений:
1. закончились новые идеи, а спросить не у кого.
2. последняя моя ОС получилась хороша, но вдруг изобрел велосипед?

Поэтому объявление:
Приму в дар исходники коммерческих ОС для исследовательских целей, (это не пиратство, это промышленный шпионаж).
Особо интересуют:
-. Integrity - как реализовано переключение задач без выкл. прерываний,
-. PORTOS - реализация приоритетных функций,
-. smx - реализация связных стеков задач
-. все остальные.

[Kopa]

По моему убеждению,
интересной идеей реализации RTОS может стать
ее написание на высокоуровневом языке максимально
близком к ассемблеру и который легко портируется для целевого процессора.

Претендентом на роль таекого языка, длительное время разрабатываемого в МГУ, может стать например ДССП ( DSSP )
диалоговый язык структурного программирования.

Ссылка ( ориентировочно) http://www.forth.org.ru/~dssp

Идеи заложенные в нем пересекаются с идеями Форт ( Forth ) языка.

При этом портировать RTОS на конкретный процессор можно отдельной програмкой-компилятором ЯВУ данного проца.( Также написанной на этом же ЯВУ) Получаем бинарный файл

А прикладным программам можно передать, интерфейс использования
сервисов!:)
-------------------------------------------------------------------------------------
P.S. При реализации поддержки данного языка в кремнии (Форт, байт код виртуальной java машины - поддержаны, по DSSP работы возможно
ведутся получаем готовую операционку максимально эффекnивно
использующую процессор.
Если это стековый процессор, то одной из прелестей использования двух стековой архитектуры для быстрого переключения контекста задачи очевидны.

Попытки написать RTOS на языке Форт существуют. Порты Форта
часто пишут на Cи. Есть программы использования Форта для
разработки кода для JVM. ANSI стандарт 94-го года переведен
на русский язык. Форт, по определению, инструментальный язык.


Удачи,
( И просьба о результатах сообщить!!!!! )