Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in systems programming, such as a request for a system service, an event handler for input/output, a snapshot of a process, a file system being read and updated, and a Web page. Explicitly recognizing these uses of delimited continuations helps us design a system of concurrent, isolated transactions where desirable features such as snapshots, undo, copy-on-write, reconciliation, and interposition fall out by default. It also lets us take advantage of efficient implementation techniques from programming-language research. The Zipper File System prototypes these ideas. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Kiselyov, O., & Shan, C. C. (2007). Delimited continuations in operating systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4635 LNAI, pp. 291–302). Springer Verlag. https://doi.org/10.1007/978-3-540-74255-5_22
Mendeley helps you to discover research relevant for your work.