Рик Рашид, глава исследовательского подразделения Microsoft Research, пояснил, что Singularity соотносится с массовыми операционными системами примерно так же, как концепт-кары с автомобилями потребительского класса. Microsoft бесплатно предложила прототип этой системы для академического и исследовательского сообществ в надежде на то, что они будут использовать ее для разработки новых видов компьютерных архитектур.

Рашид заметил, что академическому сообществу трудно экспериментировать с компьютерными архитектурами. А Singularity как раз предназначена для того, чтобы исследователям было проще тестировать, как операционные системы и приложения взаимодействуют друг с другом.

«Это совершенно новая система, которую изначально создавали таким образом, чтобы она была надежнее», — подчеркнул Рашид.

Проект Singularity нацелен на расширение языков программирования и разработку новых методологий и инструментальных средств задания и верификации поведения программ. В частности, в Singularity используются языки со строгим контролем типов и абстрактный набор команд, позволяющие без участия аппаратных средств разбиения создавать надежно изолированные друг от друга программные процессы (Software Isolated Processes, SIP) — каждый со своим объектным пространством, «сборщиком мусора» и средой периода исполнения. В прототипе Singularity создание таких процессов предельно упрощено, и они работают на нулевом кольце адресного пространства ядра ОС. В Singularity каждая программа, драйвер устройства и системное расширение представляет собой SIP. Для таких процессов не допускается совместное использование памяти, и они не имеют возможности модифицировать свой код, что усиливает гарантии надежности работы программы в SIP.

Код Singularity и вспомогательных средств доступен для изучения и использования на сайте Microsoft CodePlex. В корпорации предлагают его исследователям в качестве платформы для экспериментов с новыми видами компьютерных архитектур. Корпорация представила проект на TechFest, ежегодной конференции, где она демонстрирует проекты, которые ведутся в Microsoft Research.

Разработчики также представили BEE3, проект Microsoft по созданию платформы, который корпорация ведет совместно с учеными Университета Калифорнии в Беркли. Цель проекта — дать исследователям возможность экспериментировать с компьютерными архитектурами.

Подчиненные Рашида продемонстрировали технологии, над которыми работает Microsoft Research. Одни проекты в конечном итоге будут использованы для создания самостоятельных коммерческих продуктов Microsoft, а другие, например касающиеся антивирусной архитектуры или квантовых вычислений, в ряде случаев напрямую не соотносятся с основными направлениями деятельности корпорации.

 

Поделитесь материалом с коллегами и друзьями

Купить номер с этой статьей в PDF