Singularity của Microsoft - Một hệ điều hành không phải Windows

Singularity là một dự án nghiên cứu của Microsoft để xây dựng một hệ điều hành microkernel có độ tin cậy cao, trong đó hạt nhân, trình điều khiển thiết bị và các ứng dụng đều được viết trong mã được quản lý. Hơn 90% hạt nhân OS được viết bằng Sing #, phần mở rộng của ngôn ngữ lập trình bậc cao C #.

Singularity của Microsoft Research Singularity

Singularity là một dự án nghiên cứu tập trung vào việc xây dựng các hệ thống đáng tin cậy thông qua sự đổi mới trong các khu vực của hệ thống, ngôn ngữ và công cụ. Chúng tôi đang xây dựng một nguyên mẫu hệ điều hành nghiên cứu (gọi là Singularity), mở rộng các ngôn ngữ lập trình và phát triển các kỹ thuật và công cụ mới để xác định và xác minh hành vi của chương trình. Ví dụ, Singularity sử dụng các ngôn ngữ kiểu an toàn và một tập lệnh trừu tượng được thiết lập để cho phép những gì chúng ta gọi là các quy trình phần mềm riêng biệt (SIP). SIP cung cấp sự bảo đảm cách ly mạnh mẽ cho các quy trình OS (không gian đối tượng bị cô lập, các GC riêng biệt, các thời gian chạy riêng biệt) mà không có các miền bảo vệ được thi hành bởi phần cứng. Trong SIP nguyên mẫu Singularity hiện tại cực kỳ rẻ; chúng chạy trong vòng 0 trong không gian địa chỉ của hạt nhân.

Singularity sử dụng những tiến bộ này để xây dựng các hệ thống và ứng dụng đáng tin cậy hơn. Ví dụ, vì SIPs quá rẻ để tạo và thực thi, Singularity chạy từng chương trình, trình điều khiển thiết bị hoặc mở rộng hệ thống trong SIP của riêng nó. SIP không được phép chia sẻ bộ nhớ hoặc sửa đổi mã của riêng chúng. Kết quả là, chúng tôi có thể đảm bảo độ tin cậy cao về mã chạy trong SIP. Chúng tôi có thể xác minh nhiều thuộc tính rộng hơn về SIP tại thời gian biên dịch hoặc cài đặt hơn có thể được thực hiện cho mã chạy trong các quy trình hệ điều hành truyền thống. Ứng dụng rộng hơn của xác minh tĩnh là rất quan trọng để dự đoán hành vi hệ thống và cung cấp cho người dùng sự bảo đảm chắc chắn về độ tin cậy.

Microsoft Research đã có sẵn để tải xuống,

Bộ phát triển nghiên cứu Singularity (RDK) . Bạn có thể tải xuống từ CodePlex, trang web lưu trữ dự án mã nguồn mở của Microsoft. Bạn cũng có thể tải xuống Tổng quan về Singularity Project , bằng cách nhấp vào đây. Các nhà phát triển chính của Singularity, Galen Hunt và Jim Larus, hasve nói rằng tất cả các hệ điều hành hiện tại như Windows, Linux và Mac OS có thể được truy trở lại một hệ điều hành được gọi là Multics, có nguồn gốc từ những năm 1960. Trên thực tế, các hệ điều hành hiện tại vẫn dựa trên những suy nghĩ và tiêu chí từ 40 năm trước. Multiplexed Information and Computing Service, hoặc Multics là hệ điều hành timesharing mainframe bắt đầu vào năm 1965 và được sử dụng cho đến năm 2000.

Microsoft Singularity Research đã được nhìn nhận vào năm 2003 như một cách tiếp cận hoàn toàn mới cho hệ điều hành.