Рик Рашид, глава исследовательского подразделения 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, а другие, например касающиеся антивирусной архитектуры или квантовых вычислений, в ряде случаев напрямую не соотносятся с основными направлениями деятельности корпорации.