On this page:
DOS:   Delimited-continuation-based Operating-system Simulator
7.1

DOS: Delimited-continuation-based Operating-system Simulator

Jay McCarthy

This library provides a set of operating-system-like kernels, where the user can decide what the kernel’s internal state is and how user processes interact with that state. There are three kernels that make concrete common kernel implementation choices.

The big picture of this library is that the dos/win module makes 2htdp/universe-style programs more compositional by (a) using continuations to hide the internal state (including control state) of components and (b) using environments as a standard monoid-based inter-component communication channel. A monoid is used to ensure that the components can be evaluated in any order.

    1 DOS: bare-bones kernel

    2 OS2: bare-banes kernel with process creation system-call

    3 WIN: kernel with processes and shared registry

    4 WIN and big-bang integration