Singularitas Riset Microsoft

Singularity adalah proyek Microsoft Research untuk membangun sistem operasi mikrokernel yang sangat andal di mana kernel, driver perangkat, dan aplikasi semuanya ditulis dalam kode terkelola. Lebih dari 90% kernel OS ditulis dalam Sing#, perpanjangan dari bahasa pemrograman tingkat tinggi C#.

Singularity adalah proyek penelitian yang berfokus pada pembangunan sistem yang dapat diandalkan melalui inovasi di bidang sistem, bahasa, dan alat. Kami sedang membangun prototipe sistem operasi penelitian (disebut Singularity), memperluas bahasa pemrograman, dan mengembangkan teknik dan alat baru untuk menentukan dan memverifikasi perilaku program.

Kemajuan dalam bahasa, kompiler, dan alat membuka kemungkinan untuk meningkatkan perangkat lunak secara signifikan. Misalnya, Singularity menggunakan bahasa yang aman untuk tipe dan set instruksi abstrak untuk mengaktifkan apa yang kami sebut Proses Terisolasi Perangkat Lunak (SIP). SIP memberikan jaminan isolasi yang kuat untuk proses OS (ruang objek terisolasi, GC terpisah, runtime terpisah) tanpa overhead domain perlindungan yang didukung perangkat keras. Dalam prototipe Singularitas saat ini, SIP sangat murah; mereka berjalan di ring 0 di ruang alamat kernel.

Singularity menggunakan kemajuan ini untuk membangun sistem dan aplikasi yang lebih andal. Misalnya, karena SIP sangat murah untuk dibuat dan diterapkan, Singularity menjalankan setiap program, driver perangkat, atau ekstensi sistem dalam SIP-nya sendiri. SIP tidak diizinkan untuk berbagi memori atau memodifikasi kode mereka sendiri. Hasilnya, kami dapat membuat jaminan keandalan yang kuat tentang kode yang berjalan di SIP. Kami dapat memverifikasi properti yang jauh lebih luas tentang SIP pada waktu kompilasi atau penginstalan daripada yang dapat dilakukan untuk kode yang berjalan dalam proses OS tradisional. Penerapan verifikasi statis yang lebih luas sangat penting untuk memprediksi perilaku sistem dan memberikan jaminan yang kuat kepada pengguna tentang keandalan.

Microsoft Research telah tersedia untuk diunduh, Kit Pengembangan Penelitian Singularitas (RDK). Anda dapat mengunduhnya dari CodePlex, situs web hosting proyek kode sumber terbuka Microsoft. Anda juga dapat mengunduh Ikhtisar Proyek Singularitas, dengan mengeklik di sini.

Pengembang utama Singularity, Galen Hunt dan Jim Larus, telah mengatakan bahwa semua sistem operasi saat ini seperti Windows, Linux dan Mac OS dapat ditelusuri kembali ke sistem operasi yang disebut Multics, yang berasal dari tahun 1960-an. Akibatnya, sistem operasi saat ini sebagian masih didasarkan pada pemikiran dan kriteria dari 40 tahun yang lalu.Multiplexed Information and Computing Service, atau Multics adalah sistem operasi mainframe timesharing yang dimulai pada tahun 1965 dan digunakan hingga tahun 2000.

Microsoft Research Singularity dipandang pada tahun 2003 sebagai pendekatan yang sama sekali baru untuk pembuatan OS.