Delimited continuations in operating systems

Oleg Kiselyov, Chung Chieh Shan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationModeling and Using Context - 6th International and Interdisciplinary Conference, CONTEXT 2007, Proceedings
PublisherSpringer Verlag
Pages291-302
Number of pages12
ISBN (Print)9783540742548
DOIs
Publication statusPublished - 2007 Jan 1
Externally publishedYes
Event6th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2007 - Roskilde, Denmark
Duration: 2007 Aug 202007 Aug 24

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4635 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other6th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2007
CountryDenmark
CityRoskilde
Period07/8/2007/8/24

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Delimited continuations in operating systems'. Together they form a unique fingerprint.

Cite this