• Summary
• Related Documents
  • Active Bibliography
  • Co-citation
• Version History

Popular Tags

Add a tag:

No tags have been applied to this document.

BibTeX | Add To MetaCart

@INPROCEEDINGS{Mit97continuationsand,
    author = {Olin Shivers Mit and Olin Shivers},
    title = {Continuations and threads: Expressing machine concurrency directly in advanced languages},
    booktitle = {In Proceedings of the Second ACM SIGPLAN Workshop on Continuations},
    year = {1997},
    pages = {2--1},
    publisher = {ACM Press}
}

Bookmarks

         

OpenURL

 

Abstract:

It is well known [Wand] that concurrency can be expressed within languages that provide a continuation type. However, a number of misconceptions persist regarding the relationship between threads and continuations. I discuss the proper relationship between these two objects, and present a model for directly expressing concurrency using continuations. The model is designed to support systems programming, and has several novel features: it is synchronous, preemptable, and fully virtualisable, allowing schedulers to be written by unprivileged users that are indistinguishable from top-level schedulers that actually control access to the hardware resources. 1 Introduction An operating system exports to its client programs protected interfaces to the machine resources, such as memory, persistent storage, network connections, and processors. An important part of the OS design is the model of these resources that the OS presents to the client program. For example, one of the benefits...

Citations