Delimited continuations in operating systems

Oleg Kiselyov; Chung Chieh Shan

doi:10.1007/978-3-540-74255-5_22

Delimited continuations in operating systems

Oleg Kiselyov, Chung Chieh Shan

INF - Computer and Mathematical Sciences

Rutgers - The State University of New Jersey, New Brunswick

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 language	English
Title of host publication	Modeling and Using Context - 6th International and Interdisciplinary Conference, CONTEXT 2007, Proceedings
Publisher	Springer Verlag
Pages	291-302
Number of pages	12
ISBN (Print)	9783540742548
DOIs	https://doi.org/10.1007/978-3-540-74255-5_22
Publication status	Published - 2007
Event	6th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2007 - Roskilde, Denmark Duration: 2007 Aug 20 → 2007 Aug 24

Publication series

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

Conference

Conference	6th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2007
Country/Territory	Denmark
City	Roskilde
Period	07/8/20 → 07/8/24

Access to Document

10.1007/978-3-540-74255-5_22

Cite this

Kiselyov, O., & Shan, C. C. (2007). Delimited continuations in operating systems. In Modeling and Using Context - 6th International and Interdisciplinary Conference, CONTEXT 2007, Proceedings (pp. 291-302). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4635 LNAI). Springer Verlag. https://doi.org/10.1007/978-3-540-74255-5_22

@inproceedings{18e610d7f0be49869ce35d486b73c669,

title = "Delimited continuations in operating systems",

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.",

author = "Oleg Kiselyov and Shan, {Chung Chieh}",

year = "2007",

doi = "10.1007/978-3-540-74255-5_22",

language = "English",

isbn = "9783540742548",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "291--302",

booktitle = "Modeling and Using Context - 6th International and Interdisciplinary Conference, CONTEXT 2007, Proceedings",

address = "Germany",

note = "6th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2007 ; Conference date: 20-08-2007 Through 24-08-2007",

}

Kiselyov, O & Shan, CC 2007, Delimited continuations in operating systems. in Modeling and Using Context - 6th International and Interdisciplinary Conference, CONTEXT 2007, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4635 LNAI, Springer Verlag, pp. 291-302, 6th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2007, Roskilde, Denmark, 07/8/20. https://doi.org/10.1007/978-3-540-74255-5_22

Delimited continuations in operating systems. / Kiselyov, Oleg; Shan, Chung Chieh.
Modeling and Using Context - 6th International and Interdisciplinary Conference, CONTEXT 2007, Proceedings. Springer Verlag, 2007. p. 291-302 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4635 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Delimited continuations in operating systems

AU - Kiselyov, Oleg

AU - Shan, Chung Chieh

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=37249046927&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=37249046927&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-74255-5_22

DO - 10.1007/978-3-540-74255-5_22

M3 - Conference contribution

AN - SCOPUS:37249046927

SN - 9783540742548

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 291

EP - 302

BT - Modeling and Using Context - 6th International and Interdisciplinary Conference, CONTEXT 2007, Proceedings

PB - Springer Verlag

T2 - 6th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2007

Y2 - 20 August 2007 through 24 August 2007

ER -

Kiselyov O, Shan CC. Delimited continuations in operating systems. In Modeling and Using Context - 6th International and Interdisciplinary Conference, CONTEXT 2007, Proceedings. Springer Verlag. 2007. p. 291-302. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-74255-5_22

Delimited continuations in operating systems

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this