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 rất đáng tin cậy, 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 hệ điều hành được viết bằng Sing #, một phần mở rộng của ngôn ngữ lập trình bậc cao C #.
Microsoft Singularity Research
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 lĩnh 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 (được 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.
Những tiến bộ về ngôn ngữ, trình biên dịch và công cụ mở ra khả năng cải thiện đáng kể phần mềm. 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 của hệ thống và cung cấp cho người dùng sự bảo đảm mạnh mẽ 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ề dự án Singularitybằ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 hệ điều hành 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à một hệ thống điều hành timesharing máy tính lớn bắt đầu vào năm 1965 và được sử dụng cho đến năm 2000.
Microsoft Singularity Research đã được nhìn vào năm 2003 như là một cách tiếp cận hoàn toàn mới cho việc xây dựng hệ điều hành.
