Bartok (kompilator)

Bartok

Oryginalni autorzy	Badania Microsoftu
Deweloperzy	Microsoftu
System operacyjny	Okna
Typ	Kompilator

Bartok to optymalizujący kompilator i zarządzany system środowiska uruchomieniowego dla Common Intermediate Language (do którego kompilowane są języki .NET ), opracowywany przez Microsoft Research .

Przegląd

Bartok ma być wystarczająco wydajny, aby nadawał się do pisania systemów operacyjnych . Zapewnia usługi, takie jak automatyczne zarządzanie pamięcią i wyrzucanie elementów bezużytecznych , tworzenie wątków i kierowanie danych do iz kodu natywnego , a także weryfikacja kodu CIL. Bartok jest napisany w języku C# , w tym moduł wyrzucania elementów bezużytecznych. Bartok jest używany przez Microsoft Research do implementacji Singularity , wysoce niezawodnego systemu operacyjnego napisanego prawie w całości w zarządzanym kodzie .

Bartok umożliwia wybór różnych implementacji modułu wyrzucania elementów bezużytecznych, biblioteki klas bazowych i innych komponentów w czasie wykonywania dla poszczególnych aplikacji. Ta funkcja jest używana do pisania różnych komponentów Singularity – jądra , sterowników urządzeń i aplikacji – z których każdy korzysta z oddzielnej biblioteki klas, która udostępnia funkcjonalność wymaganą (i zoptymalizowaną pod kątem) określonego zastosowania.

Zobacz też

• Roslyn (kompilator)
• Lista kompilatorów

Dalsza lektura

• Jeremy Condit, Juan Chen, Chris Hawblitzel, Derrick Coetzee (2008). „Kompilacja z zachowaniem typów dla optymalizujących kompilatory obiektowe na dużą skalę” (PDF) . Stowarzyszenie Maszyn Komputerowych . {{ cite web }} : CS1 maint: używa parametru autorów ( link )
• Tim Harris, Mark Plesko, Abraham Shinnar, David Tarditi (2006). „Optymalizacja transakcji pamięciowych” (PDF) . Stowarzyszenie Maszyn Komputerowych . {{ cite web }} : CS1 maint: używa parametru autorów ( link )

Linki zewnętrzne

• Badania Microsoftu