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

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

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