| Publication Type |
technical report |
| School or College |
College of Engineering |
| Department |
Computing, School of |
| Creator |
Hibler, Michael J. |
| Other Author |
Ford, Bryan; Lepreau, Jay; McGrath, Roland; Tullmann, Patrick |
| Title |
Interface and execution models in the fluke kernel |
| Date |
1998 |
| Description |
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 kerncl internal state. |
| Type |
Text |
| Publisher |
University of Utah |
| First Page |
1 |
| Last Page |
15 |
| Subject |
Fluke kernel; Interruptibility |
| Subject LCSH |
Interrupts (Computer systems) |
| Language |
eng |
| Bibliographic Citation |
Ford, B., Hibler, M. J., Lepreau, J., McGrath, R., & Tullmann, P. (1998). Interface and execution models in the fluke kernel. 1-15. UUCS-98-013. |
| Series |
University of Utah Computer Science Technical Report |
| Relation is Part of |
ARPANET |
| Rights Management |
©University of Utah |
| Format Medium |
application/pdf |
| Format Extent |
4,786,307 bytes |
| Identifier |
ir-main,15974 |
| ARK |
ark:/87278/s6891q6v |
| Setname |
ir_uspace |
| ID |
704567 |
| Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6891q6v |
