Microsoft Research Singularity

A Singularity egy olyan Microsoft Research projekt, amelynek célja egy nagyon megbízható mikrorendszerű operációs rendszer felépítése, amelyben a rendszermag, az eszközillesztők és az alkalmazások kezelt kóddal vannak megírva. Az operációs rendszer kernelének több mint 90% -a Sing # nyelven íródott, amely a C # magas szintű programozási nyelv kiterjesztése.

A szingularitás egy olyan kutatási projekt, amely a megbízható rendszerek felépítésére összpontosít, innováció révén a rendszerek, a nyelvek és az eszközök területén. Építünk egy kutatási operációs rendszer prototípust (az úgynevezett Singularity-t), kibővítjük a programozási nyelveket, valamint új technikákat és eszközöket fejlesztünk a program viselkedésének meghatározására és ellenőrzésére.

A nyelvek, a fordítók és az eszközök fejlődése lehetőséget kínál a szoftverek jelentős fejlesztésére. Például a Singularity típusbiztonságos nyelveket és elvont utasításkészletet használ annak érdekében, hogy az úgynevezett Szoftver Elszigetelt Folyamatokat (SIP). A SIP-k biztosítják az operációs rendszer folyamatok (izolált objektumtér, külön GC-k, külön futásidők) szigorú elkülönítését, a hardver által kényszerített védelmi tartományok általános költségei nélkül. A jelenlegi Singularity prototípusban a SIP-k rendkívül olcsók; a 0 gyűrűben futnak a kernel címterében.

A szingularitás ezeket az előrelépéseket megbízhatóbb rendszerek és alkalmazások kiépítéséhez használja fel. Például, mivel a SIP-k létrehozása és végrehajtása olyan olcsó, a Singularity minden programot, eszközillesztőt vagy rendszerbővítményt a saját SIP-jében futtat. A SIP-k nem használhatnak memóriát vagy módosíthatják saját kódjukat. Ennek eredményeként erős megbízhatósági garanciákat vállalhatunk az SIP-ben futó kóddal kapcsolatban. SIP szélesebb tulajdonságait ellenőrizhetjük fordításkor vagy telepítéskor, mint a hagyományos operációs rendszer folyamatokban futó kódok esetében. A statikus hitelesítés szélesebb körű alkalmazása kritikus fontosságú a rendszer viselkedésének előrejelzéséhez és a felhasználók megbízható garanciáinak biztosításához.

A Microsoft Research letölthetővé tette a Szingularitáskutatás-fejlesztőkészlet (RDK). Letöltheti a CodePlex-ről, a Microsoft nyílt forráskódú projekt-hosting webhelyéről. Letöltheti A szingularitás projekt áttekintése, ide kattintva.

A Singularity fő fejlesztői, Galen Hunt és Jim Larus elmondták, hogy az összes jelenlegi operációs rendszer, mint például a Windows, a Linux és a Mac OS, a Multics nevű operációs rendszerre vezethető vissza, amelynek eredete az 1960-as évekből származik. Valójában a jelenlegi operációs rendszerek továbbra is részben a 40 évvel ezelőtti gondolatokon és kritériumokon alapulnak.A Multiplexed Information and Computing Service, vagy a Multics egy 1965-ben elindított, 2000-ig használt mainframe időmegosztó operációs rendszer.

A Microsoft Research Singularity-t 2003-ban teljesen új megközelítésként figyelték az operációs rendszer felépítésére.