Bartok (compilador)

Bartok es un compilador optimizador y un sistema de tiempo de ejecución administrado para el Common Intermediate Language (al que se compilan los lenguajes .NET ), desarrollado por Microsoft Research .

Bartok aspira a ser lo suficientemente eficiente como para ser útil en la escritura de sistemas operativos . Proporciona servicios como la gestión automática de memoria y la recolección de basura , la gestión de subprocesos y la serialización de datos hacia y desde código nativo , así como la verificación de código CIL. Bartok está escrito en C# , incluyendo el recolector de basura. Microsoft Research está utilizando Bartok para la implementación de Singularity , un sistema operativo altamente confiable escrito casi en su totalidad en código administrado . ^{[ 1 ]}

Bartok permite seleccionar en tiempo de ejecución, para cada aplicación, diversas implementaciones del recolector de basura, la biblioteca de clases base y otros componentes. Esta característica se utiliza para escribir los diferentes componentes de Singularity ( núcleo , controladores de dispositivos y aplicaciones ), cada uno con su propia biblioteca de clases que expone la funcionalidad requerida (y optimizada) para su uso específico.

• Roslyn (compiladora)
• Lista de compiladores

• Jeremy Condit; Juan Chen; Chris Hawblitzel; Derrick Coetzee (2008). "Compilación que preserva tipos para compiladores orientados a objetos de optimización a gran escala" (PDF) . Association for Computing Machinery .
• Tim Harris; Mark Plesko; Avraham Shinnar; David Tarditi (2006). "Optimización de transacciones de memoria" (PDF) . Association for Computing Machinery .

• Investigación de Microsoft