Управляемые платформы и ОС - форум 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/ |