LINUX.ORG.RU

Microsoft открыла исходный код Singularity

 ,


0

0

Microsoft выложила в свободный доступ (под академической лицензий) исходный код Singularity.

Singularity - это прототип микроядерной операционной системы, созданной на основе управляемого кода. Большая часть системы, включая драйвера устройств, написана на языке С#. Исключение составляет обработчик прерываний (ассемблер и С) и HAL (С++ в защищенном режиме).

Основой Singularity являются SIP - Software-Isolated Processes. SIP представляют собой обычные процессы (код и сопутствующие данные), но работающие в едином адресном пространстве, что позволяет исключить необходимость переключения задач, как в классическом микроядре.

>>> Подробности

★★

Проверено: svu ()

Ответ на: комментарий от robot12

>Inferno под лицензией GNU :)

И давно уже ? Раньше он был открыт для изучения, но какие то ограничения на использования были .

argin ★★★★★
()
Ответ на: комментарий от WindowsUser

>> свободный доступ, академическая лицензия, и лицензия, под которой открыта часть исходников Singularity - три большие разницы >Читать внимательнее - имеется уточнение

какое к лешему уточнение, где ? где в новости сказано о том, что открыта только часть исходников ? где сказано, что лицензия позволяет только посмотреть на код, но запрещает любое его использование ? это не Public Domain, и не AFL. хоть с уточнениями хоть без

>> ни разу она не микроядерная

>http://research.microsoft.com/os/singularity/publications/OSR2007_RethinkingS...

>The Singularity kernel is a microkernel; all device drivers, network protocols, file systems, and user replaceable services execute in SIPs outside the kernel. Functionality that remains in the kernel includes scheduling, mediating privileged access to hardware resources, managing system memory, managing threads and thread stacks, and creating and destroying SIPs and channels.

хорошо, раз её авторы так считают - соглашусь, им виднее. но с учётом SIP'ов назвать архитектуру Singularity микроядерной - большая натяжка. впрочем не важно, пусть это будет моё личное мнение

>> ни строчки там кода на C# - она на Sing# написана, диалекте Spec#. он вообще декларативный, кстати

>Скачай и посмотри.

Counting lines of code, over 90% of the Singularity kernel is written in Sing#. While most of the kernel is type-safe Sing#, a significant portion of the kernel code is written in the unsafe variant of the language. The most significant unsafe code is the garbage collector, which accounts for 48% of the unsafe code in Singularity. Other major sources of unsafe Sing# code include the memory management and I/O access subsystems. Singularity includes small pockets of assembly language code in the same places it would be used in a kernel written in C or C++, for example, the thread context switch, interrupt vectors, etc. Approximately 6% of the Singularity kernel is written in C++, consisting primarily of the kernel debugger and low-level system initialization code

исходников я ещё не смотрел, но даже если там есть что-то на C#, то оно относится к оставшимся 4%. по-твоему 4% кода на языке C# позволяют говорить о том что система написана на C# ? чудесно, чудесно

>> вывод - автора за такую "новость" кастрировать. во избежание

>кастрируй себя сам. Во избежание.

себя неудобно очень, можно я не буду ? ну пожалуйста ?

jtootf ★★★★★
()
Ответ на: комментарий от jtootf

> ни разу она не микроядерная

Похоже, что все-таки микроядерная: http://ru.wikipedia.org/wiki/Ядро_(операционной_системы)

А контроль за разделением доступа к ресурсам типа NET-платформа осуществляет... Интересно, неужели они считают что так быстрее нежели поручать такую работу ЦПУ?!

anonymous
()
Ответ на: комментарий от jtootf

>> кастрируй себя сам. Во избежание. > себя неудобно очень, можно я не буду ? ну пожалуйста ?

Нет, всё-таки сделай это.

anonymous
()

А при чем тут Open Source?

Собственно, $SUBJ.

> You may not use or distribute this Software or any derivative works in any
> form for commercial purposes. Examples of commercial purposes would be
> running business operations, licensing, leasing, or selling the Software,
> distributing the Software for use with commercial products, using the
> Software in the creation or use of commercial products or any other activity
> which purpose is to procure a commercial gain to you or others.

Dselect ★★★
()
Ответ на: А при чем тут Open Source? от Dselect

By installing, copying, or otherwise using this Software, you agree to be bound by the terms of this MSR-LA. If you do not agree, do not install, copy, or use the Software. The Software is protected by copyright and other intellectual property laws and is licensed, not sold.

в архиве singularity-6601.zip по ссылке http://www.codeplex.com/singularity/SourceControl/DownloadSourceCode.aspx?cha... смотреть Singularity RDK 1.1 License.pdf

anonymous
()
Ответ на: комментарий от anonymous

>Похоже, что все-таки микроядерная: http://ru.wikipedia.org/wiki/Ядро_(операционной_системы)

оттуда же : "...большая часть работы осуществляется с помощью специальных пользовательских процессов, называемых сервисами..." - в Singularity нет процессов в классическом смысле (там SIP'ы), потому данное определение к ней неприменимо

jtootf ★★★★★
()
Ответ на: комментарий от anonymous

>Нет, всё-таки сделай это

вы таки настаиваете ?

jtootf ★★★★★
()
Ответ на: комментарий от jtootf

>в Singularity нет процессов в классическом смысле (там SIP'ы), потому данное определение к ней неприменимо

бред. Достаточно расшифровать буковки SIP.

anonymous
()
Ответ на: комментарий от redgremlin

>Это нагромождение костылей или действительно здравая идея?

Это если у тя какаянить приблуда повиснит, вся осина в синий экран уйдет.

vada ★★★★★
()
Ответ на: комментарий от anonymous

>> Заманивают, демоны... Сначала покажут,-народ оттуда идеи потырит, а потом запатентируют всё н.х, и будут всех драть метлой...

> Нам это не грозит, пускай в омерике об этом беспокоятся.

Палатки пиратские тоже нерушимыми казались...

gods-little-toy ★★★
()
Ответ на: комментарий от anonymous

>бред. Достаточно расшифровать буковки SIP

знакомое слово в расшифровке увидел ? а определения сравнить - слишком сложно, да ?

jtootf ★★★★★
()
Ответ на: комментарий от vada

>Это если у тя какаянить приблуда повиснит, вся осина в синий экран уйдет

вообще-то наоборот. статьи из принципа не читаем ?

jtootf ★★★★★
()
Ответ на: комментарий от r

>>звучит примерно так же , как ось , на писанная на жабе

>То есть лично ты думаешь что человечество все свое оставшееся время будет ипацца с портабельны ассемблером? За что ж ты так человечество не любишь?

* Неужели всему человечеству надо будет писать программы непосредственно взаимодействующие с ОС?

* Посмотрите на PHP -там функции передраны из C. Это при том что PHP-херы обычно годами C-программирования не обременены. Вывод - делание вещей на манер C иногда просто удобнее всех ваших объехтов да интерфейсов.

* Ассемблер - ТРУ, потому что это то, что выполняют процессоры. Уберете из проца адресную арифметику и добавите сборщик мусора - возьмем вашу жаву или дотнет как полную замену ассемблера.

gods-little-toy ★★★
()
Ответ на: комментарий от anonymous

>какая буква в слове software isolated PROCESSES тебе не понятна?

ешь больше йодированной соли, анонимус. от дебилизма помогает. и посмотри на досуге определение процесса - например у Таненбаума. а затем сравни с определением SIP'а

jtootf ★★★★★
()
Ответ на: комментарий от jtootf

>>Это если у тя какаянить приблуда повиснит, вся осина в синий экран уйдет

>вообще-то наоборот. статьи из принципа не читаем ?

Не, ну микроядро останется! Только голое. Даже бех шела.

vada ★★★★★
()
Ответ на: комментарий от girla

>Именно С#, или может быть очень похожий на него язык?

если файл проекта имеет расширение csproj файлы имеют расширение cs сам код выглядит вот так http://www.codeplex.com/singularity/SourceControl/FileView.aspx?itemId=140473...

конечно может я даун, но рискну предположить, что это все-таки именно си шарп

izekia
()
Ответ на: комментарий от argin

Inferno > Singularity

>> Inferno под лицензией GNU :)

> И давно уже ? Раньше он был открыт для изучения, но какие то ограничения на использования были .

The Fourth Edition is available as Free Software under a mixture of Free Software licences (GPL, LGPL, Lucent Public or MIT-template, depending on the component).

A more conventional Commercial Licence is also available if the Free Software scheme does not suit.

http://www.vitanuova.com/inferno/downloads.html

http://code.google.com/p/inferno-os/

anonymous
()
Ответ на: комментарий от anonymous

> Заголовок не верен. Ничего MS не открывала, а лишь показала часть исходников.

СВИМ! :)

Почитал про эту Singularity в Википедии.

> These rules are checked during the installation phase of the application, and must be fulfilled in order for Singularity to allow the installation (note: in Singularity, installation is managed by the operating system).

Перевод: можно будет ставить только сертифицированные приложения из Доверенных Источников (тм), в которые, разумеется, не могут входить приложения под "потенциально вирусоопасными лицензиями" (тм). Всё для вашего блага, дорогие пользователи, ешьте кактус и дальше!

Sikon ★★★
()
Ответ на: комментарий от vada

>Не, ну микроядро останется! Только голое. Даже бех шела

тебе йодированная соль тоже явно не помешает

SIPs rely on programming language type and memory safety for isolation, instead of memory management hardware. Through a combination of static verification and runtime checks, Singularity verifies that user code in a SIP cannot access memory regions outside the SIP. With process isolation provided by software rather than hardware, multiple SIPs can reside in a single physical or virtual address space. In the simplest Singularity systems, the kernel and all SIPs share a single kernel-mode address space

перевести или так поймёшь ?

jtootf ★★★★★
()

Сингуляритифтопкубалмерлох!

anonymous
()
Ответ на: комментарий от izekia

>>Именно С#, или может быть очень похожий на него язык?

>если файл проекта имеет расширение csproj файлы имеют расширение cs сам код выглядит вот так http://www.codeplex.com/singularity/SourceControl/FileView.aspx?itemId=140473.. .

>конечно может я даун, но рискну предположить, что это все-таки именно си шарп

internal static void WriteLine(string format, __arglist)

public ExtensionDevice(Driver! driver, DeviceNode! device)

это НЕ C# - что ты там писал про дауна?

anonymous
()
Ответ на: комментарий от Sikon

> Ой, какой потенциал для уязвимостей!!!

Каких уязвимостей, если там можно выполнять только байт-код?

anonymous
()

Исходный код Бесконечности! Мдя так вот кто Биг Банг устроил!

anonymous
()
Ответ на: комментарий от anonymous

> Причем не абы какой байт-код - а подписнный и полученный из доверенных источников.

Ну, не знаю, как у мекросовта, а в православной Inferno такого фашизма никогда не было. И при всём при этом уязвимости там маловероятны: Dis простой, маленький, ломаться нечему.

anonymous
()
Ответ на: комментарий от anonymous

Ещё бы на AMD64 её портировали.

anonymous
()

Почитал pdfки из архива ... капец ... sdn11 name server.pdf - и после этого кто то скажет что в M$ Research работают не дауны ?

robot12 ★★★★★
()
Ответ на: комментарий от robot12

>Почитал pdfки из архива ... капец ... sdn11 name server.pdf - и после этого кто то скажет что в M$ Research работают не дауны ?

там например Тони Хоар работает, умник

jtootf ★★★★★
()
Ответ на: комментарий от robot12

> Почитал pdfки из архива ... капец ... sdn11 name server.pdf - и после этого кто то скажет что в M$ Research работают не дауны ?

И что там неправильного?

anonymous
()
Ответ на: комментарий от jtootf

>там например Тони Хоар работает, умник

и что теперь молится на него ? :)

robot12 ★★★★★
()

Какое потрясающее должно быть говно...

anonymous
()
Ответ на: комментарий от anonymous

> Причем не абы какой байт-код - а подписнный и полученный из доверенных источников.

Про что я и говорю. Из доверенных источников, любезно предоставленных шестё^Wпартнёрами MS, подписанных на выборочной основе по признаку наличия/отсутствия неугодных лицензий.

Sikon ★★★
()

Да, лицензионное соглашение все прочитали ? Надпись "Microsoft Confidential" в документах никого не смущает ? :)

robot12 ★★★★★
()
Ответ на: комментарий от robot12

>sdn11 name server.pdf

боян из plan9 или хурдовских трансляторов..

вот это жесть, это они так union bindы делают? вообще dllки напоминает. А если зарегестрируем 100 nameservers, что, будет цепочка из 100 проверок?

Since a name service can register itself inside the hierarchy of another name server, the entire path from root to leaf nodes must be protected. Otherwise, a rogue name server might register itself at a higher point in the path and then allow arbitrary operations to be performed farther down

anonymous
()

да они да же make ниасилили ... какое то кривоподелье с названием msb тупо игнорирующее ошибки сборки ...

robot12 ★★★★★
()
Ответ на: комментарий от gods-little-toy

> Посмотрите на PHP -там функции передраны из C.

Приводить в пример язык, ставший синонимом хренового стиля программирования - это сильный ход в дискуссии.

> Ассемблер - ТРУ, потому что это то, что выполняют процессоры.

Может, сразу уж в микрокоде начнем ваять? Асм - оставим для лохов? И заодно законодательно запретим процы Крузо, кросс-платформенную виртуализацию и пр. А если Вам показать AS400 - Вам вообще небось плохо станет...

Кого интересует, что там выполняет процессор? Нужна надежная, простая и удобная модель программирования, с минимальными (необязательно нулевыми) накладными расходами по производительности.

svu ★★★★★
()

Что эта мелкомягкая новость о проприетарщине с ложным заголовком здесь делает?

anonymous
()
Ответ на: комментарий от anonymous

>Что эта мелкомягкая новость о проприетарщине с ложным заголовком здесь делает?

M$ выдала на публику творение своего R&D департамента. Народ обсуждает, читает, тратит время на компиляцию .. в обще не Ъшничает ...

robot12 ★★★★★
()
Ответ на: комментарий от izekia

>конечно может я даун, но рискну предположить, что это все-таки именно си шарп

Из поставляемой документации "Written in SpeC# Superset of C# (formerly A#)"

Ещё вопросы ?

robot12 ★★★★★
()

>Основой Singularity являются SIP - Software-Isolated Processes. SIP представляют собой обычные процессы (код и сопутствующие данные), но работаюшие в едином адресном пространстве, что позволяет исключить необходимость переключения задач, как в классическом микроядре.

В джаве используется такой же принцип реализации многопоточночти. По крайней мере в gcj. java-треды могут работать в виде 1 физического процесса, переключение на уровне самой жабы, а не ядра оси:)

А идея драйверов с управляемым кодом интересна.

mynck
()
Ответ на: комментарий от robot12

>> И что там неправильного? > Сравнить хотя бы с - http://cm.bell-labs.com/magic/man2html/2/ndb

Ну и? И там и там описание (второе еще и хуже, потому как API reference - нет описания, как использовать_). Мне интересно, что такого нашлось в pdf, что дало основание приклеить лэйбу "даун"? Может, вот это: "Copyright © Microsoft Corporation. All Rights Reserved."?

anonymous
()
Ответ на: комментарий от anonymous

>Ну и? И там и там описание (второе еще и хуже, потому как API reference - нет описания, как использовать_). Мне интересно, что такого нашлось в pdf, что дало основание приклеить лэйбу "даун"? Может, вот это: "Copyright © Microsoft Corporation. All Rights Reserved."?

Вы лейблы глядите или суть читаете ?

robot12 ★★★★★
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.