Вы путаете однозадачную os rt и многозадачную.

Однозадачные os rt имели смысл во времена dec rt11fb. Даже простенькая turbo task времён z80 умела round-robin. В современных osrt (например CMX-RTS ) priority arbiter раздаёт io, а вот task switching всего rt на round robin'е. Собственно для 1750A что в idris'е, что в mate насколько я помню тоже robin (не помню у кого именно он с микроциклами). Так что отдаст и уступит. Я разве что на творчестве Юлия Шварца не смотрел, уж очень паскалеобразы не любю ;-)

(Reply to this) (Parent) (Thread)

( Устало ) В последний раз объясняю: свойством, отличающим ОС реального времени от иных ОС, являетсе следующее: задача более высокого приоритета никогда не уступает задаче более низкого. Вот выполнение задач одинакового приоритета действительно может быть организовано на основе round-robbin, а может и не быть.

(Reply to this) (Parent)