Цитата(zltigo @ Jun 13 2008, 14:41)

Потому, что они обслуживают вполне себе одинаковые/равноправные каналы.
Почему бы тогда не реализовать обслуживание в одной нити? Как минимум, сэкономим немного ресурсов.
Также можно реализовать FIFO на одном приоритете (кооператив другими словами) без квантов. И для этого совсем не нужно вырубать таймер.
Наконец, можно назначить разные приоритеты даже одинаковым каналам. Да, среднее время реакции на них будет разное, но если оно укладывается в дедлайн - какая разница?
Причины отказа от использования time-slice Вы сами и же назвали (зачем усложнять систему без надобности).
Цитата
А вот в реальности, когда обеспечить абсолютно достаточные ресурсы за разумные деньги просто невозможно, тогда и начинается.
Что начинается? Решать недостаток денег подобными способами (архитектурой системы) просто глупо. Когда аналитически получается загрузка 1.5 ничего не поделаешь

Но система должна работать, хоть и с худшими параметрами

Приходилось проектировать системы как с абсолютно достаточными ресурсами, так и штатно работающими в перегрузке. Но это редко приходилось (2 раза), обычно нечто среднее.
Цитата(Evgeny_CD @ Jun 13 2008, 16:41)

Разговаривал я тут по душам с разработчкиком одного телемаического сервака. Который принимает данные от 1к+ GSM девайсиков. Первое действие его сервера при запуске - отожрать у ОСи кучу памяти (задается) и запустить поток собственного менеджера памяти
Именно. Только у многих эмбеддед осей это можно сделать на этапе компиляции. Т.е. задать карту памяти

А если нельзя - отжираем, лочим и т.д.
Цитата
Приводимые здесь примеры с сервером базы данных тоже не совсем корректны - программа, обслуживабющая эту БД одна, и ничего левого в произвольный момент времени там не стартует.
Так ничего стартовать не должно вообще. А вот макс загрузку тут заранее нельзя знать, только оценить.
Формальные способы верификации есть, только на практике удобнее делать ее [верификацию] мозгом и другими вероятностными методами

Цитата(AlexandrY @ Jun 13 2008, 16:58)

Я как понял эти Петри - просто способ рисовать модели стрелочками, кружочками и квадратиками.
Потом изголяться и искать там какие-то закономерности. Это бред.
Квадратиками!

Впрочем, если Вы действительно так поняли, то это бред, да. Кстати, CD/DVD диски Вы используете? Знаете что там применяются коды Рида-Соломона для исправления ошибок? И рассчитываются они в полях Галуа. Только не гуглиле на предмет этих полей, ибо они абстрактнее чем 100 сетей Петри

Цитата
В ваших же книжках написано, что эти сети в основном только для анализа применяются.
Т.е., допустим, уже когда ось готова и хреново работает.
Анализ должен проводиться до того, как ось началА писАться, имхо.
Цитата
В MATLAB SIMULINK более 1000 функциональных блоков на все случаи жизни. И c дискретным времененм, и с непрерывным, и со смешанным и без времени и вообще че хош.
Это инструмент, который, как не странно, базируется на матаппарате. Т.е. на бреде (?)
Цитата
А про ресурсы же мы вроде договорились.
Для продвинутой RTOS надо 8 Meг RAM-а и 1/4 от этого для FLASH-а.
Для Линукса на порядок больше.
Не договорились. Правильнее, имхо, так: Для Линукса в эмбеддед обычно надо 8 Meг RAM-а и 4 Meг FLASH-а. Для продвинутой RTOS бывает достаточно на порядок меньше.
Хотя тут есть нюанс; вопрос на засыпку - Windows XP Professional SP2 являтся RTOS?