Singularity A research OS written in C#
Isi kandungan:
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 dari 90% kernel OS ditulis dalam Sing #, lanjutan dari bahasa pengaturcaraan peringkat tinggi C #
Microsoft Research Singularity
Singularity adalah projek penyelidikan yang difokuskan pada pembinaan sistem yang boleh dipercayai melalui inovasi dalam kawasan sistem, bahasa, dan alat. Kami sedang membina prototaip sistem operasi penyelidikan (dipanggil Singularity), memperluaskan bahasa pengaturcaraan, dan membangunkan teknik dan alat baru untuk menentukan dan mengesahkan tingkah laku program.
Kemajuan dalam bahasa, penyusun, dan alat membuka peluang untuk meningkatkan perisian secara signifikan. Sebagai contoh, Singularity menggunakan bahasa yang selamat jenis dan set arahan abstrak untuk membolehkan apa yang kita sebut Proses Perisian Terasing (SIP). SIP menyediakan jaminan pengasingan kuat proses OS (ruang objek terpencil, GC berasingan, runtimes berasingan) tanpa overhead perlindungan domain yang dikuatkuasakan perkakasan. Dalam protokolip SIP semasa Singularity sekarang sangat murah; mereka menjalankan dalam cincin 0 di ruang alamat kernel.
Singularity menggunakan kemajuan ini untuk membina sistem dan aplikasi yang lebih dipercayai. Sebagai contoh, kerana SIP sangat murah untuk membuat dan menguatkuasakan, Singularity mengendalikan setiap program, pemandu peranti, atau pelanjutan sistem dalam SIPnya sendiri. SIP tidak dibenarkan berkongsi memori atau mengubah suai kod mereka sendiri. Akibatnya, kita boleh membuat jaminan kebolehpercayaan yang kuat mengenai kod yang berjalan dalam SIP. Kami boleh mengesahkan lebih banyak sifat yang lebih luas mengenai SIP pada saat mengkompilasi atau memasang waktu daripada yang dapat dilakukan untuk kod yang berjalan dalam proses OS tradisional. Penggunaan lebih luas pengesahan statik adalah penting untuk meramalkan tingkah laku sistem dan menyediakan pengguna dengan jaminan yang kuat tentang kebolehpercayaan.
Microsoft Research telah tersedia untuk dimuat turun, Kit Pembangunan Penyelidikan Singularity (RDK) . Anda boleh memuat turun dari CodePlex, laman web hosting projek sumber terbuka Microsoft. Anda juga boleh memuat turun Gambaran Keseluruhan Project Singularity , dengan mengklik di sini
Pemaju utama Singularity, Galen Hunt dan Jim Larus, hasve berkata bahawa semua sistem operasi semasa seperti Windows, Linux dan Mac OS boleh dikesan kembali ke sistem operasi yang dipanggil Multics, yang mempunyai asal-usulnya pada tahun 1960-an. Pada dasarnya, sistem operasi semasa masih berdasarkan, pada bahagian, mengenai pemikiran dan kriteria dari 40 tahun yang lalu. Perkhidmatan Maklumat dan Pengkomputeran Multiplexed, atau Multics adalah sistem pengendalian jarak jauh utama yang dimulakan pada tahun 1965 dan digunakan sehingga tahun 2000.
Microsoft Research Singularity dilihat pada tahun 2003 sebagai pendekatan yang sama sekali baru ke bangunan OS
Windows 7's IE 'Off' Switch: What Took So Long? memfailkan beberapa minggu yang lalu. Baiklah, mungkin-mungkin-bukan-bukan.
Pada Windows yang pertama, Microsoft telah mengesahkan bahawa anda boleh mengeluarkan Internet Explorer dan program bersepadu yang lain sebelum ini dari sistem operasi Windows 7. Internet Explorer 8 akan menjadi salah satu daripada sembilan pilihan baru pada panel kawalan "Ciri Windows" yang disesuaikan. Windows Media Player dan Carian Windows adalah antara perkhidmatan lain yang ditambahkan ke dalam senarai.
Microsoft Memerlukan Strategi Tablet, Bukan Tablet
Steve Ballmer berdegil menekankan bahawa tablet Windows 7 akan datang, tetapi Microsoft harus memberi tumpuan kepada pembangunan aplikasi untuk platform mudah alih yang lain.
Interoperability Mencetuskan jurang antara teknologi Microsoft dan bukan Microsoft
Jambatan Interoperabilitas Pusat didedikasikan untuk kerja-kerja kerjasama teknikal untuk meningkatkan operasi antara Microsoft dan teknologi bukan Microsoft.