Нова дослідницька стаття містить не надто приховану згадку про секретний проект Microsoft із розробки операційної системи та середовища програмування, відмінних від Windows.
Midori — проект операційної системи Microsoft skunkworks — все ще живий і рухається вперед.
Midori — це нова операційна система розробляється команда зіркових програмістів Microsoft. Midori не базується на поточному ядрі NT; натомість його оригінальне коріння можна простежити до Singularity, мікроядерної операційної системи, розробленої Microsoft-Research. Вважається, що Midori, яку очолює (принаймні в один момент) старший віце-президент із технічної стратегії Ерік Руддер, є розподіленою паралельною операційною системою. Продукт і відповідні результати (пов’язана мова програмування/фреймворк тощо) знаходяться на стадії технічної інкубації.
Останнє, не надто завуальоване посилання на Midori прийшло через презентацію на конференції OOPSLA 2012 минулого місяця. На цьому заході кілька співробітників Microsoft представили документ під назвою
«Унікальність і незмінність посилань для безпечного паралелізму». У документі описано розширення прототипу до C#, яке розширює C# таким чином, що він підтримує безпечний паралелізм завдань і даних.З того паперу:
«Наша система типів моделює прототип розширення для C#, який активно використовується командою Microsoft. Ми описуємо їхній досвід створення великих систем за допомогою цього розширення...
«Варіант вихідного рівня цієї системи, як розширення C#, використовується великим проектом Microsoft як основна мова програмування».
Цей «великий проект» — проект Мідорі.
Посадова інструкція Microsoft для архітектора програмного забезпечення на допомогу «керувати розробкою нашої моделі безпечного паралельного програмування» для команди Midori посилається на деякі з тих самих робіт, викладених у документі OOPSLA:
«Ця модель програмування є основним компонентом нової нової операційної системи, 99% якої написано на C#, безпечному для типів і пам’яті. Основний принцип, який ми додаємо до керованого коду, полягає в тому, що статично примусова безпека паралельного доступу 1-го класу має стати одноранговою безпекою типу та пам’яті. Ця роль вимагає інновацій на кожному рівні стеку програмного забезпечення: абстракції моделі програмування, планування (ядро та режим користувача/виконання), передавання повідомлень та асинхронність у цілому, спільна пам’ять, паралелізм даних і завдань, розподілений паралелізм, неоднорідність (включаючи векторизація та GPGPU), взаємодія з архітектурою процесора, оптимізація, спрямована на зворотний зв’язок, і навіть дизайн мови та компілятор впровадження».
Я знайшов посилання на статтю OOPSLA (завдяки інформатору, який побажав не називати його ім’я) через дописи на обох Роб Джеллінгхаус' і Блоги Джо Даффі. Відомо, що Джеллінгхаус і Даффі працюють над Мідорі.
Говорячи про хто працює/не працює над Midori у ці дні, завдяки деяким розшукам "Felix9" із слави Microsoft Channel 9, ми знаємо, що колишній член команди Midori Рік Леду покинув команду та зараз працює в Buzzhorn. Метью Мур, Softie, який працював над фреймворком компілятора "Phoenix", розробленим Microsoft Research і командами компіляторів продуктів Microsoft, нещодавно залишив Microsoft, щоб приєднатися до Google. (Фенікс рекламували як "універсальний сервер компілятора для майбутніх мов і інструментів розробки Microsoft».)
Тим часом до поточного списку команди Midori можна додати ще одне ім’я Шон Каценбергер, партнер-архітектор програмного забезпечення Microsoft який працював над інший інкубаційний проект Microsoft (Tangram), а також Microsoft Solver Foundation, компілятор C# і дизайн мови.
Не кожен інкубаційний проект Microsoft зрештою побачить світ. Але дано як довго Softies працювали над Midori, я думаю, що в якийсь момент це стане комерційним.