Управляемые платформы и ОС - форум

Форум об управляемых платформах и операционных системах
Текущее время: 29 мар 2024, 11:10

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ 1 сообщение ] 
Автор Сообщение
СообщениеДобавлено: 14 янв 2011, 10:25 
Не в сети
Администратор

Зарегистрирован: 11 янв 2011, 08:04
Сообщения: 16
В связи с тем, что некоторые товарищи хотят (по недомыслию ли, или по злому умыслу), чтобы на данном форуме обсуждались всяческие "албанские" шедевры Линуксовского дистростроения, причем на форуме они по каким-то причинам регистрироваться не
желают, хотелось бы дать пояснение, что есть "управляемые платформы и ОС" в моем понимании. :)
Для этого позволю себе привести цитату из моей еще не опубликованной статьи:
Цитата:
Строго говоря, в Computer Science такой термин отсутствует. Есть термин "Управляемый код". Этот термин означает, что среда выполнения может остановить исполнение этого кода и получить всю информацию о его выполнении. Применительно к операционным системам это (в идеале) означает, что все программы, драйвера и даже большая часть ядра написаны с использованием управляемого кода, а та часть, которая не является управляемой - формально верифицирована. Желательно бы было, конечно, произвести верификацию всей системы, но из-за сложности существующих систем это невозможно. Более того, автору этой статьи неизвестны примеры ядер, которые прошли формальную верификацию, хотя таковые ядра, насколько нам известно, имеются.

К управляемому коду обычно относят байт-код; но не всегда байт-код является управляемым, так же как и управляемый код - не всегда байт-код. Хотя да, писать управляемый код на обычных, неуправляемых языках - занятие то еще..

Таким образом, управляемые ОС и платформы не являются поделками наподобие BolgenOS.
Правда, в связи с тем, что их очень мало, на форуме обсуждаются (будут обсуждаться - во всяком случае, хотелось бы на это надеяться) и, если можно так выразиться, "полууправляемые" ОС - QNX, например. Linux же, при всем моем к ней уважении, не подпадает ни к той, ни к иной категории (впрочем, как и Windows) - но если понадобится, можно обсудить и его
И да - приветствуются и просто хорошие люди.
Разумная критика также всячески приветствуется.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ 1 сообщение ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  
cron
POWERED_BY
Русская поддержка phpBB