Microsoft Research Singularity - Sebuah OS Non-Windows

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

Microsoft Research Singularity

Singularity adalah proyek penelitian yang berfokus pada pembangunan sistem yang dapat diandalkan melalui inovasi dalam 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. Sebagai contoh, Singularity menggunakan bahasa yang aman-jenis dan satu set instruksi abstrak untuk mengaktifkan apa yang kita sebut Software Isolated Processes (SIPs). SIP menyediakan jaminan isolasi yang kuat dari proses OS (ruang objek yang terisolasi, GC terpisah, runtimes terpisah) tanpa overhead domain perlindungan yang diberlakukan perangkat keras. Dalam prototipe SIP Singularity saat ini 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 ditegakkan, Singularity menjalankan setiap program, driver perangkat, atau ekstensi sistem dalam SIP-nya sendiri. SIP tidak diizinkan untuk berbagi memori atau memodifikasi kode mereka sendiri. Sebagai 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 saat kompilasi atau waktu instalasi daripada yang dapat dilakukan untuk kode yang berjalan dalam proses OS tradisional. Aplikasi verifikasi statis yang lebih luas sangat penting untuk memprediksi perilaku sistem dan memberikan pengguna dengan jaminan kuat tentang keandalan.

Microsoft Research telah tersedia untuk diunduh, Singularity Research Development Kit (RDK) . Anda dapat mengunduhnya dari CodePlex, situs web hosting proyek kode sumber terbuka Microsoft. Anda juga dapat mengunduh Ikhtisar Of Singularity Project , dengan mengklik di sini.

Pengembang utama Singularity, Galen Hunt dan Jim Larus, hasve 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 masih didasarkan, sebagian, pada pemikiran dan kriteria dari 40 tahun yang lalu. Layanan Informasi dan Komputasi Multipleks, atau Multics adalah sistem operasi timesharing mainframe yang dimulai pada tahun 1965 dan digunakan hingga tahun 2000.

Microsoft Research Singularity ditatap pada tahun 2003 sebagai pendekatan yang benar-benar baru untuk gedung OS.