Управляемые платформы и ОС - форум
http://forum.managed-os.ru/

Управляемые платформы и ОС - что это есть и с чем их есть?
http://forum.managed-os.ru/viewtopic.php?f=12&t=8
Страница 1 из 1

Автор:  Gray [ 14 янв 2011, 10:25 ]
Заголовок сообщения:  Управляемые платформы и ОС - что это есть и с чем их есть?

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

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

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

Страница 1 из 1 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
http://www.phpbb.com/