Phenquestions
Singularity adalah projek Microsoft Research untuk membina sistem operasi mikrokernel yang sangat boleh dipercayai di mana kernel, pemacu peranti, dan aplikasi semuanya ditulis dalam kod terurus. Lebih daripada 90% kernel OS ditulis dalam Sing #, lanjutan dari bahasa pengaturcaraan peringkat tinggi C #.
Singulariti Penyelidikan Microsoft
Singularity adalah projek penyelidikan yang tertumpu pada pembinaan sistem yang boleh dipercayai melalui inovasi dalam bidang sistem, bahasa, dan alat. Kami sedang membangun prototaip sistem operasi penyelidikan (disebut Singularity), memperluas bahasa pengaturcaraan, dan mengembangkan teknik dan alat baru untuk menentukan dan mengesahkan tingkah laku program.
Kemajuan dalam bahasa, penyusun, dan alat membuka kemungkinan peningkatan perisian dengan ketara. Sebagai contoh, Singularity menggunakan bahasa selamat jenis dan set arahan abstrak untuk membolehkan apa yang kita panggil Proses Terasing Perisian (SIP). SIP memberikan jaminan pengasingan yang kuat terhadap proses OS (ruang objek terpencil, GC yang terpisah, jangka masa yang terpisah) tanpa overhead domain perlindungan yang dikuatkuasakan oleh perkakasan. Dalam prototaip Singularity semasa SIP sangat murah; mereka berlari di gelang 0 di ruang alamat kernel.
Singularity menggunakan kemajuan ini untuk membina sistem dan aplikasi yang lebih dipercayai. Sebagai contoh, kerana SIP sangat murah untuk dibuat dan dilaksanakan, Singularity menjalankan setiap program, pemacu peranti, atau pelanjutan sistem dalam SIPnya sendiri. SIP tidak dibenarkan berkongsi memori atau mengubah kod mereka sendiri. Hasilnya, kami dapat memberikan jaminan kebolehpercayaan yang kuat mengenai kod yang berjalan di SIP. Kami dapat mengesahkan sifat yang lebih luas mengenai SIP pada masa penyusunan atau pemasangan daripada yang dapat dilakukan untuk kod yang berjalan dalam proses OS tradisional. Aplikasi pengesahan statik yang lebih luas sangat penting untuk meramalkan tingkah laku sistem dan memberi pengguna jaminan yang kuat mengenai kebolehpercayaan.
Microsoft Research telah disediakan untuk dimuat turun, Kit Pembangunan Penyelidikan Singularity (RDK). Anda boleh memuat turunnya dari CodePlex, laman web hosting projek kod sumber terbuka Microsoft. Anda juga boleh memuat turun Gambaran Keseluruhan Projek Singularity, dengan mengklik di sini.
Pembangun utama Singularity, Galen Hunt dan Jim Larus, mengatakan bahawa semua sistem operasi semasa seperti Windows, Linux dan Mac OS dapat ditelusuri kembali ke sistem operasi yang disebut Multics, yang berasal dari tahun 1960-an. Akibatnya, sistem operasi semasa masih berdasarkan, sebahagiannya, pada pemikiran dan kriteria dari 40 tahun yang lalu.Multiplexed Information and Computing Service, atau Multics adalah sistem operasi perkongsian masa kerangka utama yang dimulakan pada tahun 1965 dan digunakan hingga tahun 2000.
Microsoft Research Singularity ditatap pada tahun 2003 sebagai pendekatan yang sama sekali baru untuk pembinaan OS.
