Singularity A research OS written in C#
Spisu treści:
Singularity to projekt Microsoft Research, który tworzy wysoce niezawodny system operacyjny mikrojądra, w którym jądro, sterowniki urządzeń i aplikacje są napisane w zarządzanym kodzie. Ponad 90% jądra systemu operacyjnego jest napisane w Sing #, rozszerzeniu języka programowania wysokiego poziomu C #
Microsoft Research Singularity
Singularity to projekt badawczy skoncentrowany na budowie niezawodnych systemów poprzez innowacje w obszary systemów, języków i narzędzi. Budujemy prototyp systemu operacyjnego badań (zwany osobliwością), rozszerzając języki programowania i opracowując nowe techniki i narzędzia do określania i weryfikowania zachowania programu.
Postępy w językach, kompilatorach i narzędziach otwierają możliwość znacznej poprawy oprogramowania. Na przykład, Singularity używa języków bezpiecznych dla typu i abstrakcyjnego zestawu instrukcji, aby umożliwić to, co nazywamy Procesami Izolowanymi Programowo (SIP). Protokoły SIP zapewniają silne gwarancje izolacji procesów OS (izolowana przestrzeń obiektów, oddzielne GC, oddzielne środowiska wykonawcze) bez nakładów wymuszanych sprzętowo domen ochrony. W obecnych prototypowych prototypach SIP są niezwykle tanie; działają w pierścieniu 0 w przestrzeni adresowej jądra.
Singularity wykorzystuje te postępy do budowania bardziej niezawodnych systemów i aplikacji. Na przykład, ponieważ SIP są tak tanie w tworzeniu i egzekwowaniu, Singularity uruchamia każdy program, sterownik urządzenia lub rozszerzenie systemu we własnym SIP. SIP nie mogą współdzielić pamięci ani modyfikować własnego kodu. W rezultacie możemy zapewnić solidną gwarancję niezawodności kodu działającego w SIP. Możemy zweryfikować znacznie szersze właściwości dotyczące SIP podczas kompilacji lub instalacji, niż można to zrobić dla kodu działającego w tradycyjnych procesach systemu operacyjnego. Szersze zastosowanie weryfikacji statycznej ma kluczowe znaczenie dla przewidywania zachowania systemu i zapewnienia użytkownikom silnych gwarancji niezawodności.
Firma Microsoft Research udostępniła do pobrania zestaw Zestaw rozwojowy Singularity Research Development (RDK) . Możesz pobrać go z CodePlex, strony projektu hostingowego Microsoft Open Source. Możesz także pobrać Przegląd projektu Singularity , klikając tutaj.
Kluczowi programiści Singularity, Galen Hunt i Jim Larus, powiedział, że wszystkie obecne systemy operacyjne, takie jak Windows, Linux i Mac OS mogą wywodzi się z systemu operacyjnego o nazwie Multics, który ma swoje korzenie w latach sześćdziesiątych. W efekcie obecne systemy operacyjne wciąż opierają się częściowo na myślach i kryteriach sprzed 40 lat. Multiplexed Information and Computing Service lub Multics to system operacyjny oparty na timeshame timesharing, zapoczątkowany w 1965 roku i używany do 2000 roku.
Microsoft Research Singularity był patronem w 2003 roku jako zupełnie nowe podejście do budowania systemu operacyjnego.
PCmover Image Assistant: łatwiejsza niż ręczna migracja, mniej wydajna niż pełna wersja
Drogie narzędzie PCmover Image Assistant transfery programy i ustawienia z wirtualnych lub fizycznych dysków twardych na nowy komputer.
Użycie systemu Windows 8: gorzej niż Vista, lepiej niż OS X Mountain Lion
Użycie systemu Windows 8 może pozostawać w tyle za poprzednikami , ale jeśli uważasz, że to porażka, musisz powiedzieć to samo o OS X Mountain Lion.
Windows Phone 7, bez dostępu do Rynku, to jak, każdy inny telefon!
Windows Telefon 7 został oficjalnie udostępniony przez producentów OEM w sklepach w Indiach w dniu 28 grudnia 2010 roku. Niedługo minie miesiąc, a jednak nie mamy dostępu do Windows Phone Marketplace, Zune Marketplace ani XBox Live.