Проверка на типобезопасность кода каждой программы возможна только тогда, когда чётко доказана корректность работы всех компонентов системы управляемого выполнения кода. В настоящее время в Singularity для процессоров Intel x86 код MSIL компилируется в машинные инструкции компилятором Bartok, разработанным в той же Microsoft Research. При этом команда Singularity исходит из предположения, что Bartok не содержит ошибок и гарантированно создаёт типобезопасный машинный код.
В будущем должен быть создан специальный типизированный ассемблер TAL (Typed Assembly Language), который потребует от каждой программы доказательств её типобезопасности.
Читайте далее:Система строгого режима: Microsoft Singularity (часть 2)
Василий Щепетнёв: Мерзость запустения
Автор: Василий Щепетнев
Опубликовано 22 июня 2011 года
Воронежский парк отдыха и культуры в иные времена славился и сельскохозяйственной выставкой с показом быков, соболей и яйценоских кур, и шахматным павильоном, и прудом с цветущими лилиями (впрочем, лилии существовали преимущественно в воображении), и лягушками, которых малолетние обыватели ловили и за медные деньги сдавали в медицинский институт для опытов, и пивными ларьками, где продавали жигулёвское пиво гранёными полулитровыми кружками. Где оно теперь, то пиво, двадцать четыре копейки с пеной, теоретически по ГОСТу содержавшее два и семь десятых градуса спирта, а на деле нещадно разбавленное водой (и какой водой!), дарившее не столько хмель, сколько форсированный диурез?..
И была в парке лыжная база. Зимой физически активные личности брали лыжи и сдавали нормы ГТО на страх агрессору, летом же работники базы готовили спортинвентарь к зиме. А ещё базу украшала памятная доска, извещавшая всякого грамотного человека: на этом месте в июне одна тысяча восемьсот семьдесят девятого года состоялся съезд противоправительственной организации "Земля и воля". Регулярного парка тогда не существовало, съезжались прямо в лесочке, среди деревьев, с выпивкой и закускою - для конспирации. Плеханов, Михайлов, Желябов, Фигнер, Перовская, Морозов изображали беспечных гуляк, а на деле решали вопрос, каким путём пойдёт демократическое движение.
Тогда не было камер скрытого и явного наблюдения, даже моментальной фотографии не существовало, а фотографии обыкновенные, студийные считались делом сложным, канительным и затратным. Потому соответствующие службы обходились словесными портретами и полагались не на технику, а на собственные глаза, уши и ноги. На каждом этапе сыскного процесса рассчитывать приходилось только на людей. Но штат жандармского управления губернии при Александре Николаевиче не шёл ни в какое сравнение с современным. А в уездных городах профессионалов политического сыска не было вовсе, именно поэтому, а не из любви к минеральным водам народовольцы собирались в местах красивых, но безнадёжно провинциальных - Воронеж, Липецк...
Однако провинция провинцией, а и здесь зевать не приходилось. Жандарм был редок, но самый обыкновенный дворник обладал глазом, зорким на всякую подозрительную затею. Институт дворников, исправно служивший престолу в дореволюционной России и печально деградировавший сегодня, стоил дорогого. Дворники знали всё! Род занятий жильцов, размер дохода, что едят на завтрак в пятой квартире, кого бранят в седьмой... Замечали прибытие и убытие гостей и родственников, покупку колб и реторт, шумы, стуки и химические запахи из форточки. И при этом дворники убирали дом, затворяли ворота и совершали массу других малозаметных, но необходимых действий.
Собраться скрытно, не вызывая подозрения, даже втроём-вчетвером было непросто. Вот и устраивали именины, смотрины, крестины с водкою и без, но и при капитальных стенах дворник слышал достаточно. Потому приходилось изучать старые и открывать новые законы конспирации. Легко сказать - изучать, но где взять учебник? Даже во времена всеобщего увлечения биографией Ленина много ли было известно широким массам трудящихся о том, какими именно приёмами конспирации пользовался Ильич, как уходил от слежки, по какой системе шифровала письма Надежда Константиновна, чем обеспечивалась связь центра и периферии революционной организации? Ну да, в четвёртом классе читали хрестоматийный рассказ, как Ленин из тюрьмы писал молоком между строк, но вдруг это делалось для отвода глаз, а истинные приказы и распоряжения шли между строк молочных?