Interface and Execution Models in the Fluke Kernel

Interface and Execution Models in the Fluke Kernel (1998)

Cached

Download Links

[www.cs.utah.edu]
[www.cs.utah.edu]
[www2.cs.utah.edu]
[www.cs.utah.edu]

Other Repositories/Bibliography

DBLP

Save to List
Add to Collection
Correct Errors
Monitor Changes

by Bryan Ford Mike , Mike Hibler , Jay Lepreau , Roland Mcgrath , Patrick Tullmann

BibTeX

@MISC{Mike98interfaceand,
    author = {Bryan Ford Mike and Mike Hibler and Jay Lepreau and Roland Mcgrath and Patrick Tullmann},
    title = {Interface and Execution Models in the Fluke Kernel},
    year = {1998}
}

OpenURL

Abstract

We have defined and implemented a new kernel API that makes every exported operation either fully interruptible and restartable, thereby appearing atomic to the user. To achieve interruptibility, all possible states in which a thread may become blocked for a "long" time are completely representable as valid kernel API calls, without needing to retain any kernel internal state.