See this document in CiteSeerX!

Non-Blocking Synchronization and Object-Oriented Operating System Design  (Make Corrections)  
C. Scott Ananian Computer Science and Artificial Intelligence Laboratory...



  Home/Search   Context   Related

 
View or download:
mit.edu/~cananian/Publica...areaexam.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  mit.edu/~cananian/Publications... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Mutual exclusion is typically employed for multiprocess synchronization. However, Massalin and Pu [MP91], and Greenwald and Cheriton [GC96] have implemented complete operating systems using non-blocking synchronization instead of mutual exclusion. Although most operating systems are implemented using procedural languages, both of these systems have significant object-oriented characteristics. We show the interaction of non-blocking synchronization and object-oriented language design for... (Update)

Active bibliography (related documents):   More   All
5.6:   Non-Blocking Synchronization and Object-Oriented Operating System .. - Ananian   (Correct)
0.5:   Dynamic Optimization through the use of Automatic Runtime.. - Whaley (1999)   (Correct)
0.3:   A Brief Survey of Systems Providing Process Or Object Migration.. - Nuttall (1994)   (Correct)

Similar documents based on text:   More   All
0.2:   TigerSHARK: A Hardware Accelerated Ray-tracing Engine - Humphreys, Ananian (1996)   (Correct)
0.2:   TigerSHARK: A Hardware Accelerated Ray-Tracing Engine - Humphreys, Ananian   (Correct)
0.1:   Data Size Optimizations for Java Programs - Ananian, Rinard (2003)   (Correct)

BibTeX entry:   (Update)

@misc{ computer-nonblocking,
  author = "Scott Ananian Computer",
  title = "Non-Blocking Synchronization and Object-Oriented Operating System Design",
  url = "citeseer.ist.psu.edu/641396.html" }
Citations (may not include all citations):
186   A methodology for implementing highly concurrent data object.. - Herlihy - 1993
181   ACM Transactions on Programming Languages and Systems (context) - Herlihy - 1991
148   Object structure in the Emerald system (context) - Black, Hutchinson et al. - 1986
74   Transactional memory: Architectural support for lockfree dat.. - Herlihy, Eliot et al. - 1993
63   Concurrent reading and writing (context) - Lamport - 1977
61   A lock-free multiprocessor OS kernel - Massalin, Pu - 1991
57   Impossibility and universality results for wait-free synchro.. (context) - Herlihy - 1988
42   A method for implementing lockfree shared data structures (context) - Barnes - 1993
39   Practical considerations for non-blocking concurrent objects - Bershad - 1993
35   Lock-free linked lists using compare-and-swap - Valois - 1995
27   Performance issues in non-blocking synchronization on shared.. (context) - Alemany, Felten - 1992
21   A study of dynamic optimization techniques: Lessons and dire.. - Pu, Walpole - 1993
20   Obstruction-free synchronization: Doubleended queues as an e.. (context) - Herlihy, Luchangco et al. - 2003
17   Purely functional random-access lists - Okasaki - 1995
16   A caching model of operating system kernel functionality - Cheriton, Duda - 1994
16   Protection is a software issue - Bershad, Savage et al. - 1995
16   and John Ioannidis (context) - Pu, Massalin - 1988
15   Shallow binding in Lisp - Baker - 1978
15   ect system for atomicity (context) - Flanagan, Qadeer et al. - 2003
13   Programming languages as operating systems (context) - Flatt, Findler et al. - 1999
10   Shallow binding makes functional arrays fast - Baker - 1991
10   Thread and InputOutput Synthesi kernel - Massalin, Threads et al. - 1989
8   Quaject composition in the Synthesis kernel - Pu, Massalin - 1991
8   or httpd: the next generation operating system (context) - Black, Walpole et al. - 1995
8   A performance evaluation of lock-free synchronization protoc.. (context) - LaMarca - 1994
6   Multi-version structures in Prolog (context) - Cohen - 1984
6   A new method for functional arrays - O'Neill, Burton - 1997
6   Specializing object-oriented RPC for functionality and perfo.. - Zelesko, Cheriton - 1996
4   Reimplementing the Synthesis kernel on the Sony NeWS worksta.. - Massalin, Pu - 1992
4   A survey of customizability in operating systems research (context) - Denys, Piessens et al. - 2002
3   Implementation of distributed objects in Emerald (context) - Jul, Steensgaard - 1991
2   A randomized implementation of multiple functional arrays - Chuang - 1994
2   Compiling Java for low-end embedded systems (context) - Schultz, Burgaard et al. - 2003
2   What really happened on Mars (context) - Jones - 1997
2   Lisaac: The power of simplicity at work for operating system - Sonntag, Colnet - 2002
2   Overview of TOS: A distributed educational operating system .. (context) - Nicholas, Barchanski - 2000

Documents on the same site (http://cag.lcs.mit.edu/~cananian/Publications/):   More
Perceptual Salience in English Reduplication - Ananian   (Correct)
Turning Java into Hardware: Caffinated Compiler Construction - Ananian (2002)   (Correct)
Data Size Optimizations for Java Programs - Ananian, Rinard (2003)   (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