Официальная страница на сайте исследований MS:
Singularity - похоже , что проект заморожен. По крайней мере с 2010 года не было каких то движений. Видимо после выхода Win8 продолжат..
» Спойлер (нажмите, чтобы прочесть) «
Сингулярность
ОС и инструментов для создания надежных систем
"... Невозможно предсказать, как особенность повлияет на объекты в причинное будущее". - NCSA Cyberia Глоссарий
Что нового?
Особенность исследования Development Kit (RDK) 2.0 теперь доступен для академических некоммерческого использования. Вы можете скачать его с CodePlex, с открытым исходным кодом от Microsoft проектом хостинга веб-сайт, здесь .
Наша недавняя статья в операционных системах обзора , Singularity: переосмысление Software Stack , представляет собой краткое введение в Singularity проекта. Он приведены результаты научных исследований в текущих версиях Singularity и подчеркивает текущие исследования Singularity.
Обзор
Сингулярность исследовательского проекта сосредоточено на строительстве надежных систем на основе инноваций в области систем, языков и инструментов. Мы строим исследование операционной системы прототип (называемый Singularity), расширения языков программирования, а также разработка новых методов и инструментов для определения и проверки поведения программ.
Достижения в области языка, компиляторы и инструменты открывают возможность существенного улучшения программного обеспечения. Например, Singularity использует типизированные языки и абстрактным набором команд чтобы то, что мы называем Software изолированных процессов (SIP). СИП обеспечивает надежные гарантии изоляции процессов ОС (изолированное пространство объекта, отдельный ГК, отдельные автономной работы) без накладных расходов на аппаратное насильственные области защиты. В текущем СИП прототип Singularity очень дешево, они работают в кольце 0 в адресном пространстве ядра.
Singularity использует эти достижения для создания более надежных систем и приложений. Например, поскольку СИП стоят так дешево создать и применять, Singularity работает каждой программы, драйверы устройств, или расширение системы в своем SIP. СИП не могут совместно использовать память и изменять свой код. В результате, мы можем сделать надежные гарантии надежности о код, работающий на SIP. Мы можем проверить гораздо более широкие свойства о SIP при компиляции или установки времени, чем может быть сделано для кода, выполняемого в традиционных процессов операционной системы. Более широкое применение статической проверки имеет решающее значение для прогнозирования поведения системы и предоставляет пользователям надежные гарантии о надежности.
Публикации..
Интересно, что руководителем проекта является
Galen Hunt - мормон в 7 поколении..
» Спойлер (нажмите, чтобы прочесть) «
Гален Хант
Исследования См / ОСНОВНЫЕ RES
.
Я веду Microsoft Research Operating Systems группы в качестве главного научного сотрудника. Я в настоящее время проводят много времени, думая о компромиссах между виртуальной машиной и мониторы OS ядра как способ создания новых вычислительных систем использовании Подъемный мост . Раньше я веду проект Menlo и Singularity проекта.
В 2001 году я стал одним из основателей проекта MSR BIG. Ну впереди нашего времени, мы впервые многих принципов облачных вычислений. Более 30 американских патентов, выданных для облачных вычислений, технологии, которые мы разработали, последняя была подана в течение 2 лет , прежде чем Amazon объявила EC2. Во время отпуска от MSR, чтобы переместить эти идеи в продукты Microsoft, я был менеджер группы программ для Windows, услуги автоматизированного развертывания . Моя группа, созданная в двух основных технологий компании Microsoft Dynamic Systems Initiative : динамических центров обработки данных и модели определения системы .
До BIG, я был научный в системы и сети группы . Я работал над проектом тысячелетия , Continuum, распределенной версии NET Common Language Runtime (CLR). и внешний угол , система, которая преобразуется существующие COM-приложения рабочего стола в клиент-серверной распределенные приложения без доступа к исходному коду приложения. Я работал на запуск DCOM над системой Area Networks (SAN), Detours пакет инструментальных Windows, файлы и прокси-драйвер для Windows NT создание пользовательского режима водителями.
В летний стажер MSR , я разработал прототип протокола и осуществления того, что стало, после переработки на приведение сотни, Advanced Streaming от Microsoft Format ( ASF ) и Windows Media Player .
У меня есть кандидат (1998) и MS (1996) степени в области компьютерных наук из Университета Рочестера , BS (1992) степень по физике в университете штата Юта , и AS (1987), диплом колледжа Dixie .
В то время как в университете Рочестера, я был частью Майкла Скотта кашемира команда быстро развивается программное обеспечение распределенной разделяемой памяти (SDSM) систем внешней памяти сети. Я также изменил коллекции компиляторов GNU Objective-C Runtime для полной поддержки многопоточности.
Перед аспирантуре, я веду разработку программного обеспечения в небольшой запуске программы миграции, Inc. Мое самое большое достижение в СМИ была DPX, передовые структура-карт и данных инструмент миграции. Мы потрясли налогов подготовка рынка программного обеспечения, создавая программы, которые автоматически перенесены налогового учета от одного налогового пакета в другой. С помощью всего лишь 5 человек, мы произвели более 100 отдельных программ передачи каждый год, и съел обед из всех остальных в этом бизнесе. Это был отличный опыт в привлечении автоматизированных средств разработки программного обеспечения.
Будучи студентом, я внес в Linux 0,11 водитель текстовой консоли. До этого я начал программировать на C, будучи подростком.
Личный
Помимо научных исследований, моя самая большая интересы моя жена, моя дочь, мой сын, и церковь . Я седьмого поколения мормонов . Моя жена думает, что я трачу слишком много времени с компьютерами, моя дочь и сын, как правило, соглашаются. Они все улыбки, когда я прихожу домой с работы, и что заставляет меня улыбаться.
Будучи студентом, увлекался Linux : "
As an undergraduate, I contributed to the Linux 0.11 text console driver. Before that, I started programming in C as a teenager."