สำนักงาน

Microsoft Singularity การศึกษา - A ไม่ใช่ Windows OS

Singularity RDK 2.0 non-Windows Microsoft OS

Singularity RDK 2.0 non-Windows Microsoft OS

สารบัญ:

Anonim

เอกพจน์เป็นโครงการวิจัยของไมโครซอฟต์ที่จะสร้างระบบปฏิบัติการไมโครไมโครซูล์ที่เชื่อถือได้อย่างมากซึ่งเคอร์เนลไดรเวอร์อุปกรณ์และแอพพลิเคชั่นทั้งหมดจะเขียนขึ้นในโค้ดที่ได้รับการจัดการ มากกว่า 90% ของเคอร์เนลของระบบปฏิบัติการถูกเขียนขึ้นใน Sing # ซึ่งเป็นส่วนขยายของภาษาการเขียนโปรแกรมระดับสูง C #

Singularity การวิจัยของ Microsoft

Singularity เป็นโครงการวิจัยที่มุ่งเน้นการสร้างระบบที่เชื่อถือได้ด้วยนวัตกรรมใน พื้นที่ของระบบภาษาและเครื่องมือ เรากำลังสร้างต้นแบบระบบปฏิบัติการวิจัย (เรียกว่า Singularity) การขยายภาษาโปรแกรมและการพัฒนาเทคนิคและเครื่องมือใหม่สำหรับการระบุและการตรวจสอบความถูกต้องของโปรแกรม

ความก้าวหน้าในภาษาคอมไพเลอร์และเครื่องมือเปิดโอกาสในการปรับปรุงซอฟต์แวร์ได้อย่างมีนัยสำคัญ ตัวอย่างเช่น Singularity ใช้ภาษาที่ปลอดภัยและเป็นชุดคำสั่งที่เป็นนามธรรมเพื่อให้สามารถใช้งานซอฟต์แวร์ที่เรียกว่า Software Isolated Processes (SIPs) SIP ให้การรับประกันการแยกระบบ OS (พื้นที่วัตถุแยก, GCs แยกต่างหาก, ระยะเวลาการทำงานแยกต่างหาก) โดยไม่มีค่าใช้จ่ายในการป้องกันด้วยฮาร์ดแวร์ ในต้นแบบ Singularity ปัจจุบัน SIPs มีราคาถูกมาก; พวกเขาทำงานในแหวน 0 ในพื้นที่ที่อยู่ของเคอร์เนล

เอกพจน์ใช้ความก้าวหน้าเหล่านี้เพื่อสร้างระบบที่เชื่อถือได้มากขึ้นและการประยุกต์ใช้ ตัวอย่างเช่นเนื่องจาก SIPs มีราคาถูกเพื่อสร้างและบังคับใช้ Singularity จึงรันโปรแกรมแต่ละโปรแกรมควบคุมอุปกรณ์หรือส่วนขยายระบบใน SIP ของตัวเอง SIP ไม่สามารถแชร์หน่วยความจำหรือแก้ไขรหัสของตนเองได้ เป็นผลให้เราสามารถรับประกันความเชื่อถือได้อย่างมากเกี่ยวกับโค้ดที่รันใน SIP เราสามารถตรวจสอบคุณสมบัติที่กว้างขึ้นเกี่ยวกับ SIP ที่รวบรวมหรือติดตั้งเวลากว่าที่สามารถทำได้สำหรับโค้ดที่ทำงานในกระบวนการของระบบปฏิบัติการแบบเดิม การประยุกต์ใช้การตรวจสอบแบบคงที่ที่กว้างขึ้นมีความสำคัญต่อการทำนายพฤติกรรมของระบบและให้การรับประกันที่ดีเกี่ยวกับความน่าเชื่อถือ

Microsoft Research ได้จัดทำขึ้นพร้อมสำหรับการดาวน์โหลด Singularity Research Development Kit (RDK) คุณสามารถดาวน์โหลดได้จาก CodePlex, โครงการโฮสติ้งเว็บไซต์โฮสติ้งของ Microsoft คุณสามารถดาวน์โหลด Overview of Singularity Project โดยคลิกที่นี่

นักพัฒนาหลักของ Singularity, Galen Hunt และ Jim Larus กล่าวว่าระบบปฏิบัติการปัจจุบันทั้งหมดเช่น Windows, Linux และ Mac OS สามารถทำได้ ตรวจสอบย้อนกลับไปยังระบบปฏิบัติการที่เรียกว่า Multics ซึ่งมีต้นกำเนิดในทศวรรษที่ 1960 ผลที่ตามมาระบบปฏิบัติการในปัจจุบันยังคงมีพื้นฐานมาจากความคิดและหลักเกณฑ์ 40 ปีที่ผ่านมา Multiplexed Information and Computing Service หรือ Multics เป็นระบบปฏิบัติการหลักของระบบเมนเฟรมที่เริ่มใช้ในปีพ. ศ. 2508 และใช้จนถึงปี 2543

Microsoft Research Singularity ได้รับการติดตั้งในปีพ. ศ. 2546 เป็นแนวทางใหม่ในการสร้างระบบปฏิบัติการ