VxWorks, пофлудим немного... Опции

[beer_warrior]

Доброго времени суток господа!
Вот уже неделю, как изучаю сабжевую систему, а к пониманию не приблизился.
Нет, конечно прикладной софт на нее я уже писать смогу, но без понимания философии системы это дурное дело.
Вот приблизительный список нескладух:
1.Переключение задач или вытесняющее или раунд-робин. Если есть вытеснение, зачем карусель?
2.Отсутсвует защита памяти, но зато есть управление виртуальной.
3.Изумительные вызовы типа taskLock() и taskSafe(), чтобы если уже залочить задачу навеки, чтобы никто ее не снял и не вытеснил. Это особо интересно в контексте использования этой оси в критических приложениях.
4.Собственные вызовы типа taskSpawn() перемежаются со стандартными POSIX, тоже самое с объектами синхронизации.

Вобщем выглядит это похоже на ранние поделки Мелкософт. Но ведь система сертифицирована как супер-пупер надежная и устойчивая.
Кто-то может объяснить в чем тут дело?

[beer_warrior]

1. А возможно такое - вытеснение по приоритетам, а если задачи на одном приоритете, то между ними карусель?

Возможно и так, но тогда зачем эту карусель включать-выключать?

2. А не наоборот? Т.е. единое адресное пространство, но с возможностью защиты задач друг от друга.
(просто интересно)

In VxWorks, one important resource that is not part of a task's context is memory address space: all code executes in a single common address space. Giving each task its own memory space requires virtual-to-physical memory mapping, which is available only with the optional product VxVMI;

А как еще защитить, если не на уровне MMU? Софтварные защиты весьма условны.

[Andrew2000]

Возможно и так, но тогда зачем эту карусель включать-выключать?

Выключать, чтоб задачи сами контролировали когда отдавать управление, или через Time Slicing (если такое есть).

In VxWorks, ..., which is available only with the optional product VxVMI;
А как еще защитить, если не на уровне MMU? Софтварные защиты весьма условны.

Ясно, ключевое слово "optional product VxVMI" - не знал про такой.
А некоторые микроконтроллеры не имеют аппаратных блоков MMU, зато имеют что-то типа memory overlay control (как например в моем "любимом" Tricore).

А такая просьба - скинте куда-нить доки на VxWorks (это вроде не секрет) - давно хотел посмотреть - что это за система.