Четкое определение ОС? Опции

[a9d]

Здравствуйте.

Существует ли четкое определение, что есть ОС?
Какие признаки определяют, что это ОС а не программа?

Например очевидно, что всегда есть загрузчик. Он может быть очевиден или нет. Но даже в кооперативках, что-то должно запустить систему.
HAL должен присутствовать всегда? Например в RTOS да, а вот в коперативка уже непонятно.
Ядро? Это обязательный признак ОС? Есть проекты в которых есть диспетчер, но они себя не причисляют к ОС. Например protothread.

[a9d]

у меня критерий простой - если есть возможность в работающее устройство загрузить стороннюю программу, выполнить пользуясь сервисами ОС, и выгрузить - значит там ОС, самая настоящая. даже пусть однозадачная. а если запускаются только задачи собранные в одном образе - то это банальный менеджер задач. как бы его не называли.
вот FreeRTOS - никакая не ОС, а самая простая библиотечка многозадачности.

Если в будущем вся память станет энергонезависимой, то программы уже не будут загружаться. Они будут выполнятся напрямую с блока памяти.
Также по факту в больших ОС происходит тоже самое, что и в FreeRTOS. Просто задачи иногда загружаются и выгружаются.

В соседней теме идет разговор о нужности ОС. Эта темя получается бессмысленной. Если человек под ОС понимает цикл while и пару if в нем, то он подобный вопрос сочтет нелепым и будет говорить "Конечно нужна". Также и разговоры о надежности ОС не имеют смысла. Если народ в каждом if видит ОС.