Исходное сообщение
"LiveCD с демонстрацией работы открытой микроядерной ОС Genode " Отправлено dq0s4y71, 18-Ноя-10 16:13
> Когда C/C++ используют в силу исторических причин, я могу понять. Когда на этих языках создают новые ОС и заявляют о их безопасности - это не только самообман разработчиков, но и публичная ложь. > Но тут главное не язык (и я не фанат оберонов), а принципы и качество их воплощения. Вы бы для начала сами определились бы, что важнее - язык, на котором написана операционка, или все-таки качество воплощения. Что касается безопасности, то суровая правда жизни в том, что безопасность обратно пропорциональна уровню контроля. То есть, чем безопаснее система, тем больше она "думает за вас" и тем меньше позволяет вам выполнить нетривиальных действий, которые она будет считать "ошибочными". Именно поэтому самые востребованные операционки написаны на Си (даже не на Си++, который уже много делает без вашего ведома, "под капотом"), самом гибком и, вместе с тем, самым "небезопасном" из высокоуровневых языков. А уж если говорить о микроядерных ОС, то реализовывать их на "небезопасных" языках сам бог велел, потому что: 1) при меньшем количестве кода меньше вероятность допустить ошибку и 2) микроядро должно быть высокооптимизированным, чего трудно добиться с "безопасными" языками, которые неизбежно будут генерить лишний код.