Microsoft Singularity - подробности

да, и комментарии к статье там весьма интересные.

Программисты под их новую ось будут только в microsoft, других программистов (третьих фирм) не будет.

Их поделия не сертифицируют и все :( Пускать в такую систему несертифицированный код --- самоубийство.

Программ на с/с++ не будет тоже, кстати, совсем. Будет только .Net

Идея Microsoft в целом понятна...

R. I. P.

Да ну...
Не могут они быть настолько самоуверены

это всё пока исключительно исследовательская разработка.

>У вас нет для этого матюков в языке. Поэтому и делать какие-то дополнительные границы виртуальных адресных пространств между процессами не нужно.

Прально! Кроме new System.Windows.Forms.Button("Do all the stuff!") ничё не надо!

Тупое копирование идей из Plan9 и Inferno. С разницей в том, что Plan9 и Inferno УЖЕ работают, а Сингулярити находится в стадии эксперимента. "Yesterday innovations tomorrow! (c) Microsoft."

> Кроме new System.Windows.Forms.Button("Do all the stuff!") ничё не надо!

это тоже баян, кнопка "сделать все" уже есть в freebsd

cd /usr/ports && make all

> Весь код работает что называется "в режиме ядра", или как ещё говорят "в кольце защиты ноль".

Ring 0 ?

Это значит что если сейчас ошибка в проге вызывает seg fault, то в Singularity она будет вызывать hardware reset.

>Ring 0 ?

>Это значит что если сейчас ошибка в проге вызывает seg fault, то в Singularity она будет вызывать hardware reset.

дебилы, что с них взять

> Программ на с/с++ не будет тоже, кстати, совсем. Будет только .Net

Плохо читал. .NET как раз не будет. А на C/C++ можно будет воротить все, что душе заблагорассудится. Компиляться-то программы должны в native ДО загрузки, а там поди разберись из чего их компиляли.

>других программистов (третьих фирм) не будет.

>Их поделия не сертифицируют и все :( Пускать в такую систему несертифицированный код --- самоубийство.

К этому давно Microsoft все ведет

"Microsoft: Yestarday techology - tomorrow! Reinventing the wheels since 1980 year"

"Microsoft: Yestarday techology - tomorrow! Reinventing the wheels since 1980 year" эээ по моему я ... цитировал :)

>Ring 0 ?

>Это значит что если сейчас ошибка в проге вызывает seg fault, то в Singularity она будет вызывать hardware reset.

Какая еще ошибка в коде, когда языковое средство сингулярити не имеет опасных инструкций в принципе?

Это деза! Мелкосакс запустил её умышленно, чтобы направить опенсорц по заведомо ложного пути, где он растратит силы и ничего не добьётся!

>Какая еще ошибка в коде, когда языковое средство сингулярити не имеет опасных инструкций в принципе?

Ну во-первых, языка, в котором нет опасных инсрукций не бывает.

На любом языке можно произвести следующие exceptions :

Page Fault

Stack Fault

General Protection Fault

И ВСЕ они на Ring 0 могут привести к hardware reset

> Какая еще ошибка в коде, когда языковое средство сингулярити не имеет опасных инструкций в принципе?

А, типа, в мозге создавших конкретную имплементацию идеального языкового средства тоже ошибок нет? ;)

> Плохо читал. .NET как раз не будет.

А я с самого начала говорил, что .Net - это обманный манёвр, что оттянуть силы сообщества на всякую ерунду

В native будут компилять на этапе _инсталяции_ программы, я так понял.

Система таким образом сама делает для себя бинарники, и подсунуть ей "левый" бинарник затруднительно.

При всем этом процессе используется .Net, что как бы служит залогом надежности системы.

На С++ воротить не получится, так как .Net такого в "управляемом" режиме не предусмотрено.

Хм.

>Да, всё написано на C#. Но это не значит, что в Singularity есть JIT. Его нет. Код C# компилируется заранее и в момент загрузки системы все приложения уже скомпилированы в машинных кодах.

Или я чегото непонимаю, или это ничто иное чем извращенный компилятор, который вместо того чтобы откомпилить и собрать бинарник в мащинных кодах будет каждый раз все наново компилить. Мде что курят програмисты майкрософт?

>В native будут компилять на этапе _инсталяции_ программы, я так понял.

Так вот чем оказывается Daniel Robbins в некрософте занимается... А emerge в singularity будет? :)

Жжешь )

Вобщем ждут нас новые вирусы, которые будут брать под контроль весь комп -- вирусный искусственный интелект скоро настанет =))) В МС хотя бы раз задумывались о последствиях? Ладна в ХРени они уже встроили черновую модель защиты от несовместимых драйверов, а тут? Если драйвер не подписан МС, то он никогда не заработает?

2 Dimentiy, xnix:

>А, типа, в мозге создавших конкретную имплементацию идеального языкового средства тоже ошибок нет? ;)

Виртуальная машина - это одна программа, а не сотня и тысяча. Сделать надежной одну единственную потенциально опасную программу, которая не имеет каких-то графических интерфейсов, а только является виртуальной машиной - не такая сложная задача. Если появилась ошибка в VM, то она исправляется сразу для всех приложений ее использующих. А если для приложений нет явных запросов на выделение памяти, а также Garbage Collector, то вообще все получается не столь мрачно.

2 xnix: какие segmentation? Приложение в принципе не может полезть туда, куда не следует. Оно просто не сможет вызвать такую ошибку. А если уж VM написано с ошибкой, то это, считай, что у тебя процессор сломался и дальнейшее функционирование системы, выдало она ошибку или нет, смысла просто не имеет.

> Приложение в принципе не может полезть туда, куда не следует. Оно просто не сможет вызвать такую ошибку. А если уж VM написано с ошибкой, то это, считай, что у тебя процессор сломался и дальнейшее функционирование системы, выдало она ошибку или нет, смысла просто не имеет.

Какая VM ? Там же русским языком написано, что все проги на Ring 0

Я так понял, что в этом языковом средстве нет поддержки строчек ? Или при каждой операции ее длина проверяется? Как тогда все будет тормозить..

>А если уж VM написано с ошибкой

Представь себе, работаешь ты за компом, ничего особенного не делаешь, и вдруг комп перезагрузился! Никаких сообщений о kernel panic нет.

>Приложение в принципе не может полезть туда, куда не следует.

Значит нельзя будет в прогах делать ассемблерные вставки ?

А как же с производительностью ?

>Если драйвер не подписан МС, то он никогда не заработает?
И вот тут с поддержкой железа у винды настанет сингулярность :-)
Корпорации наносят еще один удар :-)

>Какая еще ошибка в коде, когда языковое средство сингулярити не имеет опасных инструкций в принципе?
Это по принципу "иммунитет не нужен, потому, что вирус в организм не попадет"? Агащазблин :-)

>Сделать надежной одну единственную потенциально опасную программу, которая не имеет каких-то графических интерфейсов, а только является виртуальной машиной - не такая сложная задача.
А система верификации кода - не потенциально опасна? А компиллятор? А установщик?

>Сделать надежной одну единственную потенциально опасную программу, которая не имеет каких-то графических интерфейсов, а только является виртуальной машиной - не такая сложная задача.

Угу, несложная. Только никому пока такого не удалось ;)

А насчёт "исправляется для всех приложений" - так и проявляется потенциально на всех приложениях...

>А если уж VM написано с ошибкой, то это, считай, что у тебя процессор сломался

Вах, у меня сломался процессор! [Глядя на размер сервиспака с .Net Framework ...]

Мдя .. читаю ... тред .. и что только люди не делают, что бы не распространять программы в исходных текстах ... кашмарЪ