바톡(컴파일러)
Bartok (compiler)원저작자 | 마이크로소프트 리서치 |
---|---|
개발자 | 마이크로소프트 |
운영 체제 | 창문들 |
유형 | 컴파일러 |
Bartok은 Common Intermediate Language(공통 중간 언어)를 위한 최적화 컴파일러 및 관리 런타임 시스템입니다.Microsoft Research에 의해 개발되고 있는 NET 언어.
개요
Bartok은 운영체제를 쓸 수 있을 만큼 효율적인 것을 목표로 하고 있다.자동 메모리 관리, 가비지 수집, 스레드화, 네이티브코드와의 마샬링 등의 서비스와 CIL 코드 검증이 제공됩니다.Bartok은 가비지 컬렉터를 포함하여 C#로 쓰여 있습니다.Bartok은 Microsoft Research에서 거의 전적으로 관리 [1]코드로 작성된 매우 신뢰할 수 있는 운영 체제인 Singularity를 구현하기 위해 사용되고 있습니다.
Bartok은 가비지 컬렉터, 베이스 클래스 라이브러리 및 기타 컴포넌트의 다양한 구현을 애플리케이션별로 런타임에 선택할 수 있도록 합니다.이 기능은 커널, 디바이스 드라이버, 애플리케이션 등 Singularity의 다양한 컴포넌트를 기술하기 위해 사용되며, 각각 개별 클래스 라이브러리를 사용하여 특정 용도에 필요한 기능을 제공합니다.
「 」를 참조해 주세요.
레퍼런스
추가 정보
- Jeremy Condit, Juan Chen, Chris Hawblitzel, Derrick Coetzee (2008). "Type-Preserving Compilation for Large-Scale Optimizing Object-Oriented Compilers" (PDF). Association for Computing Machinery.
{{cite web}}
: CS1 maint: 작성자 파라미터 사용(링크) - Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi (2006). "Optimizing Memory Transactions" (PDF). Association for Computing Machinery.
{{cite web}}
: CS1 maint: 작성자 파라미터 사용(링크)