Bartok (compiler)

BartokOriginal author(s)| Microsoft Research

|

Developer(s)| Microsoft
Operating system| Windows
Type| Compiler

Bartok is an optimizing compiler and managed runtime system for Common Intermediate Language (which .NET languages compile to), being developed by Microsoft Research.

## Contents

* 1 Overview
* 2 See also
* 3 References
* 4 Further reading
* 5 External links

## Overview

Bartok aims to be efficient enough to be usable for writing operating systems. It provides services such as automatic memory management and garbage collection, threading, and marshalling data to and from native code, as well as verification of CIL code. Bartok is written in C#, including the garbage collector. Bartok is being used by Microsoft Research for the implementation of Singularity, a highly-dependable operating system written almost entirely in managed code.[1]

Bartok allows various implementations of the garbage collector, base class library and other components to be chosen at runtime on a per-application basis. This feature is being used to write the different components of Singularity – kernel, device drivers, and applications – each using a separate class library that exposes functionality required by (and optimized for) the specific usage.

## See also

* Roslyn (compiler)
* List of compilers

## References

1. ↑ Singularity: Microsoft's research OS available for download

## Further reading

* Jeremy Condit; Juan Chen (2008). "Type-Preserving Compilation for Large-Scale Optimizing Object-Oriented Compilers". Association for Computing Machinery. https://www.microsoft.com/en-us/research/wp-content/uploads/2008/06/pldi165-chen.pdf.
* Tim Harris; Mark Plesko (2006). "Optimizing Memory Transactions". Association for Computing Machinery. https://courses.cs.washington.edu/courses/cse549/07wi/files/p14-harris.pdf.

## External links

* Microsoft Research

* v
* t
* e

Microsoft Research (MSR)

Main
projects|

| Languages and compilers|

* Polyphonic C#
* Cω
* Spec#
* Sing#
* Bartok
* F*
* Phoenix

|

Distributed/grid computing|

* Bigtop
* Gridline
* BitVault
* Orleans

Internet and networking|

* AjaxView
* Avalanche
* Conference XP
* Gazelle
* HoneyMonkey
* Penny Black
* Wallop

Other projects|

* Cognitive Toolkit
* IllumiRoom
* Image Composite Editor
* MyLifeBits
* LiveStation
* SLAM
* Terminator
* WorldWide Telescope
* PhotoDNA
* Z3 Theorem Prover

Operating systems|

* Barrelfish
* HomeOS
* Midori
* Singularity
* Verve

APIs|

* Joins
* Accelerator
* Dryad
* SXM

Launched as products|

* C#
* Comic Chat
* Detours
* F#
* Sideshow
* PixelSense (TouchLight)
* SenseCam
* ClearType
* Group Shot
* Allegiance
* TrueSkill
* Songsmith
* Xbox
* Kinect

MSR Labs
applied
research|

| Live Labs|

| Current|

* Pivot
* Seadragon
* Deep Zoom
* DeepZoomPix

|

Discontinued|

* Deepfish
* Listas
* Live Clipboard
* Photosynth
* Volta

FUSE Labs|

* Bing Twitter
* Docs.com
* Kodu

Other labs|

* Academic Search
* adCenter Labs
* Office Labs

0.00

(0 votes)

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Software:Bartok_(compiler)&oldid=803043"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template