BibTeX
@MISC{Leslie_,
author = {Rebekah Leslie and Andrew Tolmach},
title = {},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract We describe a monadic interface to low-level hardware features thatis a suitable basis for building operating systems in Haskell. The interface includes primitives for controlling memory managementhardware, user-mode process execution, and low-level device I/O. The interface enforces memory safety in nearly all circumstances.Its behavior is specified in part by formal assertions written in a programming logic called P-Logic. The interface has been imple-mented on bare IA32 hardware using the Glasgow Haskell Compiler (GHC) runtime system. We show how a variety of simple O/Skernels can be constructed on top of the interface, including a simple separation kernel and a demonstration system in which the ker-nel, window system, and all device drivers are written in Haskell.
Citations
| 213 | Monad transformers and modular interpreters - Liang, Hudak, et al. - 1995 |
| 8 | Exploring the barrier to entry — incremental generational garbage collection for Haskell - Cheadle, Field, et al. - 2004 |
| 5 | A network protocol stack in Standard ML. Higher Order Symbol - Biagioni, Harper, et al. - 2004 |
| 1 | A brief walk thourgh KAOS. Techical Report 58,Computing Laboratory, Univ. of Kent at Canterbury, February 1989. [7] Cyclone. http://www.research.att.com/projects/cyclone/.[8 - Cupitt - 1999 |
| 1 | Metal: A Programatica model of hardware. InHigh Confidence Software and Systems Conference - Bare |
