The Essence of Multitasking

William L. Harrison

doi:10.1007/11784180_14

The Essence of Multitasking

William L. Harrison

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

22 Scopus citations

Abstract

This article demonstrates how a powerful and expressive abstraction from concurrency theory---monads of resumptions---plays a dual rôle as a programming tool for concurrent applications. The article demonstrates how a wide variety of typical OS behaviors may be specified in terms of resumption monads known heretofore exclusively in the literature of programming language semantics. We illustrate the expressiveness of the resumption monad with the construction of an exemplary multitasking kernel in the pure functional language Haskell. Code available at link.

Original language	English
Title of host publication	11th International Conference on Algebraic Methodology and Software Technology (AMAST 2006)
Pages	158-172
Number of pages	15
DOIs	https://doi.org/10.1007/11784180_14
State	Published - Jul 1 2006
Externally published	Yes

Access to Document

10.1007/11784180_14

Cite this

@inproceedings{98e6ba809b0d462ea67c4041c77bc681,

title = "The Essence of Multitasking",

abstract = "This article demonstrates how a powerful and expressive abstraction from concurrency theory---monads of resumptions---plays a dual r{\^o}le as a programming tool for concurrent applications. The article demonstrates how a wide variety of typical OS behaviors may be specified in terms of resumption monads known heretofore exclusively in the literature of programming language semantics. We illustrate the expressiveness of the resumption monad with the construction of an exemplary multitasking kernel in the pure functional language Haskell. Code available at link.",

author = "Harrison, \{William L.\}",

year = "2006",

month = jul,

day = "1",

doi = "10.1007/11784180\_14",

language = "English",

pages = "158--172",

booktitle = "11th International Conference on Algebraic Methodology and Software Technology (AMAST 2006)",

}

TY - GEN

T1 - The Essence of Multitasking

AU - Harrison, William L.

PY - 2006/7/1

Y1 - 2006/7/1

N2 - This article demonstrates how a powerful and expressive abstraction from concurrency theory---monads of resumptions---plays a dual rôle as a programming tool for concurrent applications. The article demonstrates how a wide variety of typical OS behaviors may be specified in terms of resumption monads known heretofore exclusively in the literature of programming language semantics. We illustrate the expressiveness of the resumption monad with the construction of an exemplary multitasking kernel in the pure functional language Haskell. Code available at link.

AB - This article demonstrates how a powerful and expressive abstraction from concurrency theory---monads of resumptions---plays a dual rôle as a programming tool for concurrent applications. The article demonstrates how a wide variety of typical OS behaviors may be specified in terms of resumption monads known heretofore exclusively in the literature of programming language semantics. We illustrate the expressiveness of the resumption monad with the construction of an exemplary multitasking kernel in the pure functional language Haskell. Code available at link.

U2 - 10.1007/11784180_14

DO - 10.1007/11784180_14

M3 - Conference contribution

SP - 158

EP - 172

BT - 11th International Conference on Algebraic Methodology and Software Technology (AMAST 2006)

ER -

The Essence of Multitasking

Abstract

Access to Document

Fingerprint

Cite this