OSDev

Собственно, вопрос в названии темы, но хочу немного уточнить. Меня интересует, не то, как ОСРВ отличается от ОС общего назначения по своему устройству, архитектуре и т.д., а то, какие функции предоставляет прикладному программисту типичная ОСРВ и чем они отличаются от тех же функций, предоставляемых ОС общего назначения. Я пока понял только одно, что ОСРВ позволяет формировать точные выдержки времени (ну или не очень точные, если ОС мягкого реального времени). А что еще она предоставляет?

ОСРВ должна предоставлять средства для работы со временем в широком смысле: не только получать текущее время с приличной точностью, но и вырабатывать события по времени (вызывать заданную процедуру, устанавливать семафор, запускать процесс -- в общем, разные возможности). Ну и не менее важно то, что для заданного заранее набора программ и прочих компонентов должно быть точно предсказуемо время получения управления тем или иным компонентом при наступлении определённого события. Грубо говоря, если некое устройство вырабатывает прерывание, то драйвер этого устройства получит управление не позже, чем через такой-то промежуток времени от момента возникновения запроса.

Точно! И вот поэтому "Реальная" ОС Реального времени "чисто конкретно" ;-) должна поддерживать ПРИОРИТЕТЫ потоков/процессов. Если сказано что у процесса приоритет 5, значит все кто имеет приоритет 0,1,2,3,4 идут куда подальше пока этот не отработает как ему надо!

А вы если не секрет зачем интересуетесь? Сами писать захотели? У меня тут есть Бооольщой материал по этому поводу ну и сам пишу кое что!

Ну, необязательно столь строго и категорично во всех случаях ;) Задача задаче рознь :) Например, у RSX-11 выставлялся приоритет, выше которого задачи вели себя именно так, как написано. Но все, кто ниже, делили процессор между собой на основе квантования времени.

сами же написали - "предсказуемое время исполнения", ради предсказуемости так и делают

Дайте пожалуйста формальный рассчёт предсказуемости задач 1 и 4 приоритета, когда они беспорядочно блокируются задачами более высокого приоритета.

Предсказуемость у ОСРВ имеет одну маленькую оговорку: система обеспечивает предсказуемость для любого _заранее заданного_ набора программ и конфигурации оборудования. А при управлении процессами в реальном времени дело обстоит именно так: всегда заранее известно, каким оборудованием управляем, какие программы им управляют и как управляют. Посему никакой _беспорядочной_ блокировки задачами более высокого приоритета нет, все блокировки совершенно упорядочены.

Формальный расчёт требует формальных данных. А то что вы тут написали, извините, как-то слабо похоже на формальную постановку задачи. Я конечно тут не профи но гуглите по теме RMA.

А кто сказал, что здесь формально ставится задача?