사무실

마이크로 소프트 리서치 특이점 - 비 윈도우 OS

EXID이엑스아이디 '위아래' UP&DOWN MV

EXID이엑스아이디 '위아래' UP&DOWN MV

차례:

Anonim

Singularity는 커널, 장치 드라이버 및 응용 프로그램이 모두 관리 코드로 작성되는 매우 신뢰할 수있는 마이크로 커널 운영 체제를 구축하기위한 Microsoft Research 프로젝트입니다. OS 커널의 90 % 이상이 C # 고급 프로그래밍 언어의 확장 인 Sing #으로 작성되었습니다.

Microsoft Research Singularity

Singularity는 혁신을 통해 신뢰할 수있는 시스템을 구축하는 데 초점을 맞춘 연구 프로젝트입니다. 시스템, 언어 및 도구 분야. 우리는 연구 운영 체제 프로토 타입 (Singularity라고 불리는)을 구축하고, 프로그래밍 언어를 확장하며, 프로그램 동작을 지정하고 검증하는 새로운 기술과 도구를 개발합니다. 언어, 컴파일러 및 도구의 발전으로 소프트웨어가 크게 향상 될 수 있습니다. 예를 들어, Singularity는 유형별로 안전한 언어와 추상 명령 집합을 사용하여 소프트웨어 분리 프로세스 (SIP)라고 불리는 것을 활성화합니다. SIP는 하드웨어 적용 보호 도메인의 오버 헤드없이 OS 프로세스 (격리 된 객체 공간, 별도의 GC, 별도의 런타임)의 강력한 격리 보장을 제공합니다. 현재의 Singularity 프로토 타입 SIP에서는 매우 저렴합니다. 이들은 커널의 주소 공간에서 링 0으로 실행됩니다.

Singularity는 이러한 진보를 사용하여보다 안정적인 시스템 및 응용 프로그램을 빌드합니다. 예를 들어, SIP는 생성 및 적용하기에 너무 저렴하기 때문에 Singularity는 각 SIP 프로그램에서 각 프로그램, 장치 드라이버 또는 시스템 확장을 실행합니다. SIP는 메모리를 공유하거나 자체 코드를 수정할 수 없습니다. 결과적으로 우리는 SIP에서 실행되는 코드에 대한 강력한 안정성을 보장 할 수 있습니다. 기존 OS 프로세스에서 실행되는 코드보다 컴파일 또는 설치시 SIP에 대한 훨씬 더 광범위한 특성을 검증 할 수 있습니다. 정적 테스트의 폭 넓은 적용은 시스템 동작을 예측하고 사용자에게 안정성에 대한 강력한 보장을 제공하는 데 중요합니다.

Microsoft Research는

Singularity Research Development Kit (RDK) 를 다운로드 할 수있게되었습니다. Microsoft의 오픈 소스 코드 프로젝트 호스팅 웹 사이트 인 CodePlex에서 다운로드 할 수 있습니다. Singularity, Galen Hunt 및 Jim Larus의 주요 개발자는 Windows, Linux 및 Mac OS와 같은 현재의 모든 운영 체제에서 다음과 같은 기능을 수행 할 수 있다고 말했습니다. Singularity Project 개요 1960 년대에 시작된 Multics라는 운영 체제로 거슬러 올라감. 실제로 현재 운영 체제는 40 년 전부터 생각과 기준에 부분적으로 기반을두고 있습니다. 멀티 플렉스 정보 및 컴퓨팅 서비스 또는 멀티 웍스는 1965 년에 시작되어 2000 년까지 사용 된 메인 프레임 시분할 운영 체제입니다. Microsoft Research Singularity는 2003 년 OS 구축에 대한 완전히 새로운 접근 방식으로 주목받습니다.