Rob Pike, Dave Presotto, Ken Thompson, Gerard Holzmann  Home/Search
Context Related
| unc.edu/pub/academ...sleepwakeup.ps.Z umd.edu/courses/enee647/pa...pike91a.ps belllabs.com/cm/cs/cstr/158f.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: unc.edu (more) From: umd.edu/courses/enee647/papers... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The problem of enabling a `sleeping' process on a shared-memory multiprocessor is a difficult one, especially if the process is to be awakened by an interrupt-time event. We present here the code for sleep and wakeup primitives that we use in our multiprocessor system. The code has been exercised by months of active use and by a verification system. Our problem is to synchronise processes on a symmetric shared-memory multiprocessor. Processes suspend execution, or sleep, while awaiting an... (Update)
Context of citations to this paper: More
.... error control protocols [66] requirements analysis [4] controllers for reactive systems [10] distributed process scheduling algorithms [59], fault tolerant systems [1] hardware software codesign [80] asynchronous hardware designs [62] multiprocessor designs [76] local...
...are relatively stable compared with frequent changes of their implementation. The synchronisation primitives in the Plan9 operating system [Pike91] for Silicon Graphics multiprocessor systems has also been specified with a computer protocol specification language Spin...
Cited by: More
Using Model Checking to Debug Device Firmware - Kumar (2002) (Correct)
ESP: A Language for Programmable Devices - Kumar (2002) (Correct)
Using Model Checking to Debug Network Interface Firmware - Kumar, Li (2002) (Correct)
Active bibliography (related documents): More All
0.5: Synchronization Primitives for a Multiprocessor: A.. - Birrell, Guttag.. (1987) (Correct)
0.3: A New C Compiler - Thompson (Correct)
0.3: Behavioural Abstraction and Composition for User Interface.. - Wilkinson (1998) (Correct)
Similar documents based on text: More All
0.5: Instruction Wake-Up in Wide Issue Superscalars - Önder, Gupta (2001) (Correct)
0.4: Efficient Wake-up in Anonymous Oriented Complete Graphs - Dobrev (Correct)
0.4: Half-Price Architecture - Kim, Lipasti (2003) (Correct)
Related documents from co-citation: More All
5: Communicating Sequential Processes (context) - Hoare - 1985
4: Teapot: Language support for writing memory coherence protocls (context) - Chandra, Richards et al. - 1995
4: Modeling and Verification of a Multiprocessor RealTime OS Kernel (context) - Cattel - 1994
BibTeX entry: (Update)
Pike R., Presotto D., Thompson K. & Holzmann G., Process Sleep and Wakeup on Sharedmemory Multiprocessor, EurOpen'91 - Tromso http://citeseer.ist.psu.edu/55102.html More
@techreport{ pike00process,
author = "Rob Pike and Dave Presotto and Ken Thompson and Gerard Holzmann",
title = "Process Sleep and Wakeup on a Shared-memory Multiprocessor",
address = "Murray Hill, NJ, USA",
year = "2000",
url = "citeseer.ist.psu.edu/55102.html" }
Citations (may not include all citations):265 The Design of the UNIX Operating System (context) - Maurice, Bach - 1986
102 Design and Validation of Computer Protocols (context) - Gerard, Holzmann - 1991
3 Plan 9 from Bell Labs (context) - Rob, Dave et al. - 1990
2 Traffic Control in a Multiplexed Computer System (context) - Jerome, Saltzer - 1966
1 The Humble Programmer --- 1972 Turing Award Lecture (context) - Edsger, Dijkstra - 1972
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/sunsite.unc.edu.html): More
Beyond Multiprocessing - Multithreading the SunOS Kernel - Eykholt, Kleiman.. (1992) (Correct)
Service Models and Pricing Policies for an Integrated Services.. - Shenker (1995) (Correct)
A User Agent Configuration Mechanism For Multimedia Mail Format .. - Borenstein (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC