Ofis

Microsoft Araştırma Tekilliği - Windows Olmayan Bir İşletim Sistemi

FreeDos'lu Monster Notebook'a Windows 10'u Nasıl Kurabilirim?

FreeDos'lu Monster Notebook'a Windows 10'u Nasıl Kurabilirim?

İçindekiler:

Anonim

Tekillik, çekirdeğin, aygıt sürücülerinin ve uygulamaların yönetilen kodda yazıldığı, son derece güvenilir bir mikro çekirdek işletim sistemi oluşturmak için bir Microsoft Araştırma projesidir. OS çekirdeğinin% 90`ından fazlası C # yüksek seviyeli programlama dilinin bir uzantısı olan Sing # içinde yazılmıştır.

Microsoft Research Singularity

Tekillik, inovasyon yoluyla güvenilir sistemlerin inşasına odaklanan bir araştırma projesidir. sistem, dil ve araç alanları. Bir programlama işletim sistemi prototipini (Singularity olarak adlandırılıyor), programlama dillerini genişletiyor ve program davranışını belirlemek ve doğrulamak için yeni teknikler ve araçlar geliştiriyoruz.

Dil, derleyici ve araçlardaki gelişmeler yazılımı önemli ölçüde geliştirebiliyor. Örneğin, Singularity, Type-Safe dilleri ve Software Yalıtımlı Süreçler (SIp`ler) olarak adlandırdığımız şeyi etkinleştirmek için bir soyut yönerge seti kullanır. SIp`ler, donanım tarafından zorlanan koruma alanlarının yükü olmadan, OS süreçlerinin (yalıtılmış nesne alanı, ayrı Gc`ler, ayrı çalışma süreleri) güçlü izolasyon garantileri sağlar. Mevcut Tekillik prototipinde SIp`ler son derece ucuzdur; Çekirdek 0`da çekirdeğin adres alanında çalışırlar.

Singularity daha güvenilir sistemler ve uygulamalar oluşturmak için bu gelişmeleri kullanır. Örneğin, SIp`lerin oluşturulması ve uygulanması çok ucuz olduğundan, Singularity her bir programı, aygıt sürücüsünü veya sistem uzantısını kendi SIp`sinde çalıştırır. SIp`lerin hafızayı paylaşmasına veya kendi kodunu değiştirmesine izin verilmez. Sonuç olarak, SIp`de çalışan kod hakkında güçlü güvenilirlik garantileri verebiliriz. Geleneksel işletim sistemlerinde çalışan kodlar için gerçekleştirilebilecek derleme veya kurulum süresinde SIP hakkında daha geniş özellikleri doğrulayabiliriz. Statik doğrulamanın daha geniş bir şekilde uygulanması, sistem davranışını tahmin etmek ve kullanıcılara güvenilirlik konusunda güçlü garantiler sağlamak için kritik öneme sahiptir.

Microsoft Research, Tekillikli Araştırma Geliştirme Kiti (RDK) `dan indirmeye hazırdır. Microsoft`un açık kaynaklı kod projesi barındırma sitesi olan CodePlex`ten indirebilirsiniz. Ayrıca Tekillik Projesine Genel Bakış `u tıklayarak buradan indirebilirsiniz.

Singularity, Galen Hunt ve Jim Larus`un önemli geliştiricileri, Windows, Linux ve Mac OS gibi tüm mevcut işletim sistemlerinin 1960`larda kökenleri olan Multics adında bir işletim sistemine geri dönülebilir. Aslında, şu andaki işletim sistemleri, kısmen 40 yıl önceki düşünceler ve ölçütlere dayanmaktadır. Multiplexed Bilgi ve Bilgi İşlem Servisi veya Multics, 1965`te başlatılan ve 2000 yılına kadar kullanılan bir ana bilgisayar zamanlama işletim sistemidir.

Microsoft Research Singularity, 2003 yılında OS binasına tamamen yeni bir yaklaşım olarak bakılmıştır.