Experience with processes and monitors in Mesa

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Experience with processes and monitors in Mesa

Full text

Pdf (1.22 MB)

Source

Communications of the ACM archive
Volume 23 , Issue 2 (February 1980) table of contents

Pages: 105 - 117

Year of Publication: 1980

ISSN:0001-0782

Authors

Butler W. Lampson	Xerox Palo Alto Research Center, Palo Alto, CA
David D. Redell	Xerox Business System, Palo Alto, CA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 205, Downloads (12 Months): 551, Citation Count: 97

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/358818.358824 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	American National Standard Programming Language PL/L X3.53, American Nat. Standards Inst., New York, 1976.
	2	Boggs, D.R., et+ al. Pup: An internetwork architecture. IEEE Trans, on Communications 28, 4 (April 1980).
	3	Per Brinch Hansen, Operating System Principles, Prentice Hall PTR, Upper Saddle River, NJ, 1973
	4	Brinch Hansen, P. The programming language Concurrent Pascal. IEEE Trans. on Software Eng. 1, 2 (June 1975), 199-207.
	5	Dijkstra, E.W. Hierarchical ordering of sequential processes. In Operating Systems Techniques, Academic Press, New York, 1972.
	6	Gifford, D.K. Weighted voting for replicated data. Operating Systs. Rev. 13, 5 (Dec. 1979), 150-162.
	7	Gifford, D.K. Violet, an experimental decentralized system. Integrated Office Syst, Workshop, IRIA, Rocquencourt, France, Nov. 1979 (also available as CSL Rep. 79-12, Xerox Res. Ctr., Palo Alto, Calif.).
	8	C. A. R. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, v.17 n.10, p.549-557, Oct. 1974 [doi>10.1145/355620.361161]
	9	C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
	10	John H. Howard, Signaling in monitors, Proceedings of the 2nd international conference on Software engineering, p.47-52, October 13-15, 1976, San Francisco, California, United States
	11	Israel, J.E., Mitchell, J.G., and Sturgis, H.E. Separating data from function in a distributed file system. Second Int. Symp. on Operating Systs., IRIA, Rocquencourt, France, Oct. 1978.
	12	J. L. Keedy, On structuring operating systems with monitors, ACM SIGOPS Operating Systems Review, v.13 n.1, p.5-9, January 1979 [doi>10.1145/850652.850654]
	13	Butler W. Lampson , J. G. Mitchell , E. H. Satterthwhaite, On the transfer of control between contexts, Programming Symposium, Proceedings Colloque sur la Programmation, p.181-203, April 09-11, 1974
	14	Hugh C. Lauer , Roger M. Needham, On the duality of operating system structures, ACM SIGOPS Operating Systems Review, v.13 n.2, p.3-19, April 1979 [doi>10.1145/850657.850658]
	15	Lister, A.M., and Maynard, K.J. An implementation of monitors. Software--Practice and Experience 6, 3 (July 1976), 377-386.
	16	Robert M. Metcalfe , David R. Boggs, Ethernet: distributed packet switching for local computer networks, Communications of the ACM, v.19 n.7, p.395-404, July 1976 [doi>10.1145/360248.360253]
	17	Mitchell, J.G., Maybury, W., and Sweet, R. Mesa Language Manual. Xerox Res. Ctr., Palo Alto, Calif., 1979.
	18	David D. Redell , Yogen K. Dalal , Thomas R. Horsley , Hugh C. Lauer , William C. Lynch , Paul R. McJones , Hal G. Murray , Stephen C. Purcell, Pilot: an operating system for a personal computer, Communications of the ACM, v.23 n.2, p.81-92, Feb. 1980 [doi>10.1145/358818.358822]
	19	J. H. Saltzer, TRAFFIC CONTROL IN A MULTIPLEXED COMPUTER, Massachusetts Institute of Technology, Cambridge, MA, 1966
	20	Ashok R. Saxena , Thomas H. Bredt, A structured specification of a hierarchical operating system, ACM SIGPLAN Notices, v.10 n.6, p.310-318, June 1975
	21	Wirth, N. Modula: A language for modular multiprogramming. Software--Practice and Experience 7, 1 (Jan. 1977), 3-36.

CITED BY 97

	Greg Johnson, APL in operating systems research, ACM SIGAPL APL Quote Quad, v.12 n.1, p.160-166, September 1981
	Andrew P. Tolmach , Andrew W. Appel, Debuggable concurrency extensions for standard ML, ACM SIGPLAN Notices, v.26 n.12, p.120-131, Dec. 1991
	Butler W. Lampson, Hints for computer system design, ACM SIGOPS Operating Systems Review, v.17 n.5, p.33-48, October 1983
	A. Birrell , J. Guttag , J. Horning , R. Levin, Synchronization primitives for a multiprocessor: a formal specification, ACM SIGOPS Operating Systems Review, v.21 n.5, p.94-102, Nov. 1987
	Brian N. Bershad , Edward D. Lazowska , Henry M. Levy , David B. Wagner, An open enviornment for building parallel programming systems, ACM SIGPLAN Notices, v.23 n.9, p.1-9, Sept. 1988
	Andrew D. Birrell , Roy Levin , Michael D. Schroeder , Roger M. Needham, Grapevine: an exercise in distributed computing, Communications of the ACM, v.25 n.4, p.260-274, April 1982
	David C. Steere , Ashvin Goel , Joshua Gruenberg , Dylan McNamee , Calton Pu , Jonathan Walpole, A feedback-driven proportion allocator for real-rate scheduling, Proceedings of the third symposium on Operating systems design and implementation, p.145-158, February 1999, New Orleans, Louisiana, United States
	Daniel C. Swinehart , Polle T. Zellweger , Robert B. Hagmann, The structure of Cedar, ACM SIGPLAN Notices, v.20 n.7, p.230-244, July 1985
	Martin C. Rinard , Pedro C. Diniz, Commutativity analysis: a new analysis framework for parallelizing compilers, ACM SIGPLAN Notices, v.31 n.5, p.54-67, May 1996
	Per Brinch Hansen, Monitors and concurrent Pascal: a personal history, ACM SIGPLAN Notices, v.28 n.3, p.1-35, March 1993
	Beverly Schwartz , Alden W. Jackson , W. Timothy Strayer , Wenyi Zhou , R. Dennis Rockwell , Craig Partridge, Smart packets: applying active networks to network management, ACM Transactions on Computer Systems (TOCS), v.18 n.1, p.67-88, Feb. 2000
	William Weihl , Barbara Liskov, Specification and implementation of resilient, atomic data types, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.53-64, June 27-29, 1983, San Francisco, California, United States
	Martin C. Rinard , Pedro C. Diniz, Commutativity analysis: a new analysis technique for parallelizing compilers, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.6, p.942-991, Nov. 1997
	Nicholas Carriero , David Gelernter, How to write parallel programs: a guide to the perplexed, ACM Computing Surveys (CSUR), v.21 n.3, p.323-357, Sep. 1989
	Gene McDaniel, An analysis of a mesa instruction set using dynamic instruction frequencies, ACM SIGARCH Computer Architecture News, v.10 n.2, p.167-176, March 1982
	Per Brinch Hansen, The invention of concurrent programming, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
	T. E. Anderson , D. D. Lazowska , H. M. Levy, The performance implications of thread management alternatives for shared-memory multiprocessors, ACM SIGMETRICS Performance Evaluation Review, v.17 n.1, p.49-60, May 1989
	Paul J. Leach , Bernard L. Stumpf , James A. Hamilton , Paul H. Levine, UIDs as internal names in a distributed file system, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.34-41, August 18-20, 1982, Ottawa, Canada
	David D. Redell , Yogen K. Dalal , Thomas R. Horsley , Hugh C. Lauer , William C. Lynch , Paul R. McJones , Hal G. Murray , Stephen C. Purcell, Pilot: an operating system for a personal computer, Communications of the ACM, v.23 n.2, p.81-92, Feb. 1980
	Edward D. Lazowska , Henry M. Levy , Guy T. Almes , Michael J. Fischer , Robert J. Fowler , Stephen C. Vestal, The architecture of the Eden system, ACM SIGOPS Operating Systems Review, v.15 n.5, p.148-159, December 1981
	Mark R. Brown , Roderic G. G. Cattell , Norihisa Suzuki, The cedar DBMS: a preliminary report, Proceedings of the 1981 ACM SIGMOD international conference on Management of data, April 29-May 01, 1981, Ann Arbor, Michigan
	Paul David Stotts, A comparative survey of concurrent programming languages, ACM SIGPLAN Notices, v.17 n.9, p.76-87, September 1982
	Yasuhiko Yokote , Mario Tokoro, Experience and evolution of concurrent Smalltalk, ACM SIGPLAN Notices, v.22 n.12, p.406-415, Dec. 1987
	Robert Fitzgerald , Richard F. Rashid, The integration of virtual memory management and interprocess communication in Accent, ACM Transactions on Computer Systems (TOCS), v.4 n.2, p.147-177, May 1986
	William Weihl , Barbara Liskov, Implementation of resilient, atomic data types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.2, p.244-269, April 1985
	B. Liskov , D. Curtis , P. Johnson , R. Scheifer, Implementation of Argus, ACM SIGOPS Operating Systems Review, v.21 n.5, p.111-122, Nov. 1987
	Martin Rinard , Pedro Diniz, Eliminating synchronization bottlenecks in object-based programs using adaptive replication, Proceedings of the 13th international conference on Supercomputing, p.83-92, June 20-25, 1999, Rhodes, Greece
	Brian D. Marsh , Michael L. Scott , Thomas J. LeBlanc , Evangelos P. Markatos, First-class user-level threads, ACM SIGOPS Operating Systems Review, v.25 n.5, p.110-121, Oct. 1991
	Richard K. Johnsson , John D. Wick, An overview of the mesa processor architecture, ACM SIGARCH Computer Architecture News, v.10 n.2, p.20-29, March 1982
	James Philbin , Jan Edler , Otto J. Anshus , Craig C. Douglas , Kai Li, Thread scheduling for cache locality, ACM SIGOPS Operating Systems Review, v.30 n.5, p.60-71, Dec. 1996
	Per Brinch Hansen, Efficient parallel recursion, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
	Ming T. Liu , Sandra A. Mamrak , Jayshree Ramanathan, The Distributed Double-Loop Computer Network (DDLCN), Proceedings of the ACM 1980 annual conference, p.164-178, January 1980
	Peter A. Buhr , Michel Fortier , Michael H. Coffin, Monitor classification, ACM Computing Surveys (CSUR), v.27 n.1, p.63-107, March 1995
	Gregory R. Andrews , Fred B. Schneider, Concepts and Notations for Concurrent Programming, ACM Computing Surveys (CSUR), v.15 n.1, p.3-43, March 1983
	Steven Robbins, Starving philosophers: experimentation with monitor synchronization, ACM SIGCSE Bulletin, v.33 n.1, p.317-321, March 2001
	Minwen Ji , Edward W. Felten , Kai Li, Performance measurements for multithreaded programs, ACM SIGMETRICS Performance Evaluation Review, v.26 n.1, p.161-170, June 1998
	George W. Cox , William M. Corwin , Konrad K. Lai , Fred J. Pollack, Interprocess communication and processor dispatching on the Intel 432, ACM Transactions on Computer Systems (TOCS), v.1 n.1, p.45-66, Feb. 1983
	Thomas E. Anderson , Brian N. Bershad , Edward D. Lazowska , Henry M. Levy, Scheduler activations: effective kernel support for the user-level management of parallelism, ACM SIGOPS Operating Systems Review, v.25 n.5, p.95-109, Oct. 1991
	David K. Gifford , Nathan Glasser, Remote pipes and procedures for efficient distributed communication, ACM Transactions on Computer Systems (TOCS), v.6 n.3, p.258-283, Aug. 1988
	Kenneth P. Birman, Replication and fault-tolerance in the ISIS system, ACM SIGOPS Operating Systems Review, v.19 n.5, p.79-86, Dec. 1-4, 1985
	Jonathan Aldrich , Emin Gün Sirer , Craig Chambers , Susan J. Eggers, Comprehensive synchronization elimination for Java, Science of Computer Programming, v.47 n.2-3, p.91-120, May 2003
	Nicholas Carriero , David Gelernter, Linda in context, Communications of the ACM, v.32 n.4, p.444-458, April 1989
	Loretta Guarino Reid , Philip L. Karlton, A file system supporting cooperation between programs, ACM SIGOPS Operating Systems Review, v.17 n.5, p.20-29, October 1983
	James Donahue, Integration mechanisms in Cedar, ACM SIGPLAN Notices, v.18 n.6, p.245-251, June 1983
	Butler Lampson, Personal distributed computing: the Alto and Ethernet software, Proceedings of the ACM Conference on The history of personal workstations, p.101-131, January 09-10, 1986, Palo Alto, California, United States
	Stefan Savage , Michael Burrows , Greg Nelson , Patrick Sobalvarro , Thomas Anderson, Eraser: a dynamic data race detector for multi-threaded programs, ACM SIGOPS Operating Systems Review, v.31 n.5, p.27-37, Dec. 1997
	Tamiya Onodera , Kiyokuni Kawachiya, A study of locking objects with bimodal fields, ACM SIGPLAN Notices, v.34 n.10, p.223-237, Oct. 1999
	Chyuan Samuel Hsieh , Elizabeth A. Unger, Resource scheduling: specification and proof techniques, Proceedings of the 1988 ACM sixteenth annual conference on Computer science, p.429-437, February 1988, Atlanta, Georgia, United States
	David F. Bacon , Ravi Konuru , Chet Murthy , Mauricio Serrano, Thin locks: featherweight synchronization for Java, ACM SIGPLAN Notices, v.33 n.5, p.258-268, May 1998
	Stefan Savage , Michael Burrows , Greg Nelson , Patrick Sobalvarro , Thomas Anderson, Eraser: a dynamic data race detector for multithreaded programs, ACM Transactions on Computer Systems (TOCS), v.15 n.4, p.391-411, Nov. 1997
	George W. Cox , William M. Corwin , Konrad K. Lai , Fred J. Pollack, A unified model and implementation for interprocess communication in a multiprocessor environment, ACM SIGOPS Operating Systems Review, v.15 n.5, p.125-126, December 1981
	Richard E. Sweet, The Mesa programming environment, ACM SIGPLAN Notices, v.18 n.6, p.216-229, June 1983
	Thomas E. Anderson , Brian N. Bershad , Edward D. Lazowska , Henry M. Levy, Scheduler activations: effective kernel support for the user-level management of parallelism, ACM Transactions on Computer Systems (TOCS), v.10 n.1, p.53-79, Feb. 1992
	R. C. B Cooper , K. G. Hamilton, Preserving Abstraction in Concurrent Programming, IEEE Transactions on Software Engineering, v.14 n.2, p.258-263, February 1988
	Mehul A. Shah , Michael J. Franklin , Samuel Madden , Joseph M. Hellerstein, Java support for data-intensive systems: experiences building the telegraph dataflow system, ACM SIGMOD Record, v.30 n.4, December 2001
	L. Sha , R. Rajkumar , J. P. Lehoczky, Priority Inheritance Protocols: An Approach to Real-Time Synchronization, IEEE Transactions on Computers, v.39 n.9, p.1175-1185, September 1990
	Per Brinch Hansen, Joyce: a programming language for distributed systems, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
	Michael Lee Scott, Messages vs. remote procedures is a false dichotomy, ACM SIGPLAN Notices, v.18 n.5, p.57-62, May 1983
	Dawson Engler , Ken Ashcraft, RacerX: effective, static detection of race conditions and deadlocks, Proceedings of the nineteenth ACM symposium on Operating systems principles, October 19-22, 2003, Bolton Landing, NY, USA
	M. R. Brown , K. N. Kolling , E. A. Taft, The Alpine file system, ACM Transactions on Computer Systems (TOCS), v.3 n.4, p.261-293, Nov. 1985
	Suresh Jagannathan , Jim Philbin, A foundation for an efficient multi-threaded scheme system, ACM SIGPLAN Lisp Pointers, v.V n.1, p.345-357, Jan. 1992
	Paul J. Leach , Paul H. Levine , James A. Hamilton , Bernard L. Stumpf, The file system of an integrated local network, Proceedings of the 1985 ACM thirteenth annual conference on Computer Science, p.309-324, March 1985, New Orleans, Louisiana, United States
	N. H. Gehani, Capsules: A Shared Memory Access Mechanism for Concurrent C/C++, IEEE Transactions on Parallel and Distributed Systems, v.4 n.7, p.795-811, July 1993
	L. Cardelli , J. Donahue , M. Jordan , B. Kalsow , G. Nelson, The Modula–3 type system, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.202-212, January 11-13, 1989, Austin, Texas, United States
	Carl Hauser , Christian Jacobi , Marvin Theimer , Brent Welch , Mark Weiser, Using threads in interactive systems: a case study, ACM SIGOPS Operating Systems Review, v.27 n.5, p.94-105, Dec. 1993
	Chyuan Samuel Hsieh , Elizabeth A. Unger, Manifolds: a very high-level conceptual framework of interprocess synchronization and communication, Proceedings of the 15th annual conference on Computer Science, p.196-204, February 1987, St. Louis, Missouri, United States
	Hugh C. Lauer, Observations on the development of an operating system, ACM SIGOPS Operating Systems Review, v.15 n.5, p.30-36, December 1981
	Paul David Stotts, A comparative survey of concurrent programming languages, ACM SIGPLAN Notices, v.17 n.10, p.50-61, October 1982
	Mike Carlton , Peter Van Roy, A Distributed Prolog System with And Parallelism, IEEE Software, v.5 n.1, p.43-51, January 1988
	Lui Sha , Sang Hyuk Son , Ragunathan Rajkumar , Chun-Hyon Chang, A Real-Time Locking Protocol, IEEE Transactions on Computers, v.40 n.7, p.793-800, July 1991
	W. Gu , N. A. Burns , M. T. Collins , W. Y. P. Wong, The evolution of a high-performing Java virtual machine, IBM Systems Journal, v.39 n.1, p.135-150, January 2000
	Rohit Chandra , Anoop Gupta , John L. Hennessy, COOL: An Object-Based Language for Parallel Programming, Computer, v.27 n.8, p.13-26, August 1994
	Lui Sha , Tarek Abdelzaher , Karl-Erik Årzén , Anton Cervin , Theodore Baker , Alan Burns , Giorgio Buttazzo , Marco Caccamo , John Lehoczky , Aloysius K. Mok, Real Time Scheduling Theory: A Historical Perspective, Real-Time Systems, v.28 n.2-3, p.101-155, November-December 2004
	Per Brinch Hansen, Monitors and Concurrent Pascal: a personal history, History of programming languages---II, ACM Press, New York, NY, 1996
	Martin C. Rinard , Pedro C. Diniz, Eliminating synchronization bottlenecks using adaptive replication, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.3, p.316-359, May 2003
	Lars Eggert , Joseph D. Touch, Idletime scheduling with preemption intervals, ACM SIGOPS Operating Systems Review, v.39 n.5, December 2005
	Jason Nieh , Monica S. Lam, A SMART scheduler for multimedia applications, ACM Transactions on Computer Systems (TOCS), v.21 n.2, p.117-163, May 2003
	Peter A. Buhr , Ashif S. Harji, Implicit-signal monitors, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.6, p.1270-1343, November 2005
	David F. Bacon , Ravi Konuru , Chet Murthy , Mauricio J. Serrano, Thin locks: featherweight Synchronization for Java, ACM SIGPLAN Notices, v.39 n.4, April 2004
	T. E. Anderson , E. D. Lazowska , H. M. Levy, The Performance Implications of Thread Management Alternatives for Shared-Memory Multiprocessors, IEEE Transactions on Computers, v.38 n.12, p.1631-1644, December 1989
	R. K. Shyamsundar , J. W. Thatcher, Language Constructs for Specifying Concurrency in CDL, IEEE Transactions on Software Engineering, v.15 n.8, p.977-993, August 1989
	Daniel C. Swinehart , Polle T. Zellweger , Richard J. Beach , Robert B. Hagmann, A structural view of the Cedar programming environment, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.4, p.419-490, Oct. 1986
	Irene Greif , Robert Seliger , William Weihl, A Case Study of CES: A Distributed Collaborative Editing System Implemented in Argus, IEEE Transactions on Software Engineering, v.18 n.9, p.827-839, September 1992
	John Reumann , Ashish Mehra , Kang G. Shin , Dilip Kandlur, Virtual services: a new abstraction for server consolidation, Proceedings of the Annual Technical Conference on 2000 USENIX Annual Technical Conference, p.10-10, June 18-23, 2000, San Diego, California
	Austin Donnelly, Lightweight thread tunnelling in network applications, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.50 n.14, p.2462-2474, 5 October 2006
	Haoqiang Zheng , Jason Nieh, SWAP: a scheduler with automatic process dependency detection, Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation, p.14-14, March 29-31, 2004, San Francisco, California
	Michael Hohmuth , Hermann Härtig, Pragmatic Nonblocking Synchronization for Real-Time Systems, Proceedings of the General Track: 2002 USENIX Annual Technical Conference, p.217-230, June 25-30, 2001
	Wayne A. Christopher , Steven J. Procter , Thomas E. Anderson, The Nachos instructional operating system, Proceedings of the USENIX Winter 1993 Conference Proceedings on USENIX Winter 1993 Conference Proceedings, p.4-4, January 25-29, 1993, San Diego, California
	Sanjeev Kumar , Carl Bruggeman , R. Kent Dybvig, Threads Yield Continuations, Lisp and Symbolic Computation, v.10 n.3, p.223-236, May 1998
	Stanislaw Chrobot, Sharing Variables in Distributed Memory, Fundamenta Informaticae, v.44 n.1-2, p.63-81, January 2000
	Mark Sullivan , Michael Stonebraker, Using Write Protected Data Structures To Improve Software Fault Tolerance in Highly Available Database Management Systems, Proceedings of the 17th International Conference on Very Large Data Bases, p.171-180, September 03-06, 1991
	Per Brinch Hansen, Efficient parallel recursion, ACM SIGPLAN Notices, v.30 n.12, p.9-16, Dec. 1995
	Xinyu Feng , Zhong Shao , Yuan Dong , Yu Guo, Certifying low-level programs with hardware interrupts and preemptive threads, ACM SIGPLAN Notices, v.43 n.6, June 2008
	Paul E. McKenney , Maged M. Michael , Jonathan Walpole, Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory, Proceedings of the 4th workshop on Programming languages and operating systems, October 18-18, 2007, Stevenson, Washington
	Yannis Smaragdakis , Anthony Kay , Reimer Behrends , Michal Young, Transactions with isolation and cooperation, ACM SIGPLAN Notices, v.42 n.10, October 2007
	Joshua Auerbach , David F. Bacon , Perry Cheng , David Grove , Ben Biron , Charlie Gracie , Bill McCloskey , Aleksandar Micic , Ryan Sciampacone, Tax-and-spend: democratic scheduling for real-time garbage collection, Proceedings of the 7th ACM international conference on Embedded software, October 19-24, 2008, Atlanta, GA, USA
	Xinyu Feng , Zhong Shao , Yu Guo , Yuan Dong, Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads, Journal of Automated Reasoning, v.42 n.2-4, p.301-347, April 2009

INDEX TERMS

Keywords:
concurrency, condition, deadlock, module, monitor, operating system, process, synchronization, task, variable

Collaborative Colleagues:

Butler W. Lampson: colleagues

David D. Redell: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player