Azərbaycanca AzərbaycancaБеларускі БеларускіDansk DanskDeutsch DeutschEspañola EspañolaFrançais FrançaisIndonesia IndonesiaItaliana Italiana日本語 日本語Қазақ ҚазақLietuvos LietuvosNederlands NederlandsPortuguês PortuguêsРусский Русскийසිංහල සිංහලแบบไทย แบบไทยTürkçe TürkçeУкраїнська Українська中國人 中國人United State United StateAfrikaans Afrikaans
Підтримка
www.wikidata.uk-ua.nina.az

Singularity розпочатий в 2003 року проект дослідницького підрозділу корпорації Майкрософт по створенню високонадійної ОС

Microsoft Singularity

Microsoft Singularity

Singularity — розпочатий в 2003 року проект дослідницького підрозділу корпорації Майкрософт по створенню високонадійної ОС, в якій мікроядро, драйвери пристроїв і програми написані на керованому коді.

Singularity
РозробникMicrosoft
Робочий станрозробка припинена
Вихідна модельShared Source
Останній випуск2.0 / 14 листопада 2008 г.
Тип ядраМікроядро
ЛіцензіяMicrosoft Research License
research.microsoft.com/en-us/projects/singularity/

Відмінною особливістю даної ОС є використання ідеології програмно-ізольованих процесів (Software Isolated Processes, SIP), схожих на легкі процеси мови Erlang, спілкування між якими відбувається виключно за допомогою повідомлень. На відміну від традиційних ОС, захист таких процесів у Singularity проводиться не завдяки організації апаратно-захищених адресних просторів, а шляхом використання типобезпечної підмножини проміжної мови () і її верифікації перед компіляцією в рідній код процесора. Кожен SIP володіє своїм об'єктним простором, «збирачем сміття» і середовищем періоду виконання. Для таких процесів не допускається спільне використання пам'яті, і вони не мають можливість модифікувати свій код, що посилює гарантії надійності роботи програми в SIP.

Низькорівневий код обробки переривань x86 написаний на мові асемблера і C. Бібліотеки часу виконання (англ. runtime) і збирач сміття написані на (спеціально доопрацьованому для даного проекту діалекті Spec#, який в свою чергу був діалектом C#) з використанням небезпечного режиму (англ. unsafe mode). Також присутній код на C, що використовується в цілях налагодження. BIOS комп'ютера викликається тільки на етапі завантаження в 16-розрядному реальному режимі роботи процесора. Після переходу в 32-розрядний режим, BIOS більше ніколи не викликається, замість нього використовуються драйвери, написані на . При установці ядра, оп-коди CIL компілюються в інструкції x86 за допомогою компілятора .

Bartok — це дослідницький проект по створенню на мові C# оптимізувального компілятора із CIL в x86.

Singularity 1.0 була завершена в 2007 році. Дослідницький пакет Singularity 1.1 Research Development Kit (RDK) був випущений під ліцензією Shared Source і допускає академічне некомерційне використання; пакет доступний на . 14 листопада 2008 був випущений Singularity RDK 2.0. Подальша розробка припинена.

Код Singularity та допоміжних засобів доступний для вивчення та використання [ 9 березня 2010 у Wayback Machine.] на сайті [1] [ 27 січня 2010 у Wayback Machine.].

Посилання

  • Офіційна сторінка Singularity [ 5 листопада 2005 у Wayback Machine.](англ.)
  • Сторінка з вихідним кодом на сайті CodePlex [ 9 березня 2010 у Wayback Machine.](англ.)
  • Проект Singularity: обзор [ 8 травня 2013 у Wayback Machine.](рос.)
  • Починаємо працювати з ОС Singularity [ 3 квітня 2008 у Wayback Machine.](рос.)
  • Російськомовний форум по ОС Singularity [ 5 березня 2016 у Wayback Machine.](рос.)
  • The C# Multiverse — the Singularity of Programming Languages
  1. Gubskiy, Andrew (4 квітня 2023). The C# Multiverse — the Singularity of Programming Languages. Medium (англ.). Процитовано 22 червня 2023.
  2. . web.archive.org. 6 квітня 2006. Архів оригіналу за 6 квітня 2006. Процитовано 22 червня 2023.

Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет

Singularity rozpochatij v 2003 roku proekt doslidnickogo pidrozdilu korporaciyi Majkrosoft po stvorennyu visokonadijnoyi OS v yakij mikroyadro drajveri pristroyiv i programi napisani na kerovanomu kodi SingularityRozrobnikMicrosoftRobochij stanrozrobka pripinenaVihidna modelShared SourceOstannij vipusk2 0 14 listopada 2008 g Tip yadraMikroyadroLicenziyaMicrosoft Research Licenseresearch microsoft com en us projects singularity Vidminnoyu osoblivistyu danoyi OS ye vikoristannya ideologiyi programno izolovanih procesiv Software Isolated Processes SIP shozhih na legki procesi movi Erlang spilkuvannya mizh yakimi vidbuvayetsya viklyuchno za dopomogoyu povidomlen Na vidminu vid tradicijnih OS zahist takih procesiv u Singularity provoditsya ne zavdyaki organizaciyi aparatno zahishenih adresnih prostoriv a shlyahom vikoristannya tipobezpechnoyi pidmnozhini promizhnoyi movi i yiyi verifikaciyi pered kompilyaciyeyu v ridnij kod procesora Kozhen SIP volodiye svoyim ob yektnim prostorom zbirachem smittya i seredovishem periodu vikonannya Dlya takih procesiv ne dopuskayetsya spilne vikoristannya pam yati i voni ne mayut mozhlivist modifikuvati svij kod sho posilyuye garantiyi nadijnosti roboti programi v SIP Nizkorivnevij kod obrobki pererivan x86 napisanij na movi asemblera i C Biblioteki chasu vikonannya angl runtime i zbirach smittya napisani na specialno doopracovanomu dlya danogo proektu dialekti Spec yakij v svoyu chergu buv dialektom C z vikoristannyam nebezpechnogo rezhimu angl unsafe mode Takozh prisutnij kod na C sho vikoristovuyetsya v cilyah nalagodzhennya BIOS komp yutera viklikayetsya tilki na etapi zavantazhennya v 16 rozryadnomu realnomu rezhimi roboti procesora Pislya perehodu v 32 rozryadnij rezhim BIOS bilshe nikoli ne viklikayetsya zamist nogo vikoristovuyutsya drajveri napisani na Pri ustanovci yadra op kodi CIL kompilyuyutsya v instrukciyi x86 za dopomogoyu kompilyatora Bartok ce doslidnickij proekt po stvorennyu na movi C optimizuvalnogo kompilyatora iz CIL v x86 Singularity 1 0 bula zavershena v 2007 roci Doslidnickij paket Singularity 1 1 Research Development Kit RDK buv vipushenij pid licenziyeyu Shared Source i dopuskaye akademichne nekomercijne vikoristannya paket dostupnij na 14 listopada 2008 buv vipushenij Singularity RDK 2 0 Podalsha rozrobka pripinena Kod Singularity ta dopomizhnih zasobiv dostupnij dlya vivchennya ta vikoristannya 9 bereznya 2010 u Wayback Machine na sajti 1 27 sichnya 2010 u Wayback Machine PosilannyaOficijna storinka Singularity 5 listopada 2005 u Wayback Machine angl Storinka z vihidnim kodom na sajti CodePlex 9 bereznya 2010 u Wayback Machine angl Proekt Singularity obzor 8 travnya 2013 u Wayback Machine ros Pochinayemo pracyuvati z OS Singularity 3 kvitnya 2008 u Wayback Machine ros Rosijskomovnij forum po OS Singularity 5 bereznya 2016 u Wayback Machine ros The C Multiverse the Singularity of Programming LanguagesGubskiy Andrew 4 kvitnya 2023 The C Multiverse the Singularity of Programming Languages Medium angl Procitovano 22 chervnya 2023 web archive org 6 kvitnya 2006 Arhiv originalu za 6 kvitnya 2006 Procitovano 22 chervnya 2023

Дата публікації:
Топ