Threads and input/output in the synthesis kernal

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Threads and input/output in the synthesis kernal

Full text

Pdf (1.34 MB)

Source

ACM Symposium on Operating Systems Principles archive
Proceedings of the twelfth ACM symposium on Operating systems principles table of contents

Pages: 191 - 201

Year of Publication: 1989

ISBN:0-89791-338-8

Also published in ...

Authors

H. Massalin	Department of Computer Science, Columbia University, New York, NY
C. Pu	Department of Computer Science, Columbia University, New York, NY

Sponsor

SIGOPS: ACM Special Interest Group on Operating Systems

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 121, Downloads (12 Months): 210, Citation Count: 38

Additional Information:

abstract 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/74850.74869 What is a DOI?

ABSTRACT

The Synthesis operating system kernel combines several techniques to provide high performance, including kernel code synthesis, fine-grain scheduling, and optimistic synchronization. Kernel code synthesis reduces the execution path for frequently used kernel calls. Optimistic synchronization increases concurrency within the kernel. Their combination results in significant performance improvement over traditional operating system implementations. Using hardware and software emulating a SUN 3/160 running SUNOS, Synthesis achieves several times to several dozen times speedup for UNIX kernel calls and context switch times of 21 microseconds or faster.

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	Anonymolls el. al. SUNOS release 3.5 source code. SUN Mierosystenls Source License, 1988.
	2	Douglas R. Hofstadter, Godel, Escher, Bach: An Eternal Golden Braid, Basic Books, Inc., New York, NY, 1979
	3	II. Mas.salin alld (',. Pu. Fi,ie-graili scltecltalillg. lit P;'ocecdings of the Workshop on Experience in Buildi,g Distrib'~tled,fystems, Asilotnar, Calilforlia., October 1989.
	4	(:. Pu and l}. Massalixl. 51odel of' computation ill Synthesis. Tecl}nical R. eport CUCS-383-88, Department of Computer Science, C:olumbia University, In preparation.
	5	C. Pu, It. Massalin, a.nd J. ioannidis. Covq~uli,g ,.qysteT;ls, 1 (1):11-32, Winter 1988.
	6	C.J. St, el:>lietlsoll. Fast, fit,.s. In Proceedings of'lht Ninth A CM S~tmposium on Operati, g .5'ysteT,.s Principles, pages 30-32, Oct, oher 1983.
	7	W. Wulf , E. Cohen , W. Corwin , A. Jones , R. Levin , C. Pierson , F. Pollack, HYDRA: the kernel of a multiprocessor operating system, Communications of the ACM, v.17 n.6, p.337-345, June 1974 [doi>10.1145/355616.364017]

CITED BY 38

	M. Frans Kaashoek , Dawson R. Engler , Gregory R. Ganger , Deborah A. Wallach, Server operating systems, Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications, September 09-11, 1996, Connemara, Ireland
	Peter Lee , Mark Leone, Optimizing ML with run-time code generation, ACM SIGPLAN Notices, v.31 n.5, p.137-148, May 1996
	Chandramohan A. Thekkath , Henry M. Levy, Limits to low-latency communication on high-speed networks, ACM Transactions on Computer Systems (TOCS), v.11 n.2, p.179-203, May 1993
	J. Adam Butts , Gurindar S. Sohi, A static power model for architects, Proceedings of the 33rd annual ACM/IEEE international symposium on Microarchitecture, p.191-201, December 2000, Monterey, California, United States
	Todd B. Knoblock , Erik Ruf, Data specialization, ACM SIGPLAN Notices, v.31 n.5, p.215-225, May 1996
	C. Pu , T. Autrey , A. Black , C. Consel , C. Cowan , J. Inouye , L. Kethana , J. Walpole , K. Zhang, Optimistic incremental specialization: streamlining a commercial operating system, ACM SIGOPS Operating Systems Review, v.29 n.5, p.314-321, Dec. 3, 1995
	Andrew P. Black , Jonathan Walpole, Objects to the rescue!: or httpd: the next generation operating system, Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs, September 12-14, 1994, Wadern, Germany
	Martin C. Rinard, Effective fine-grain synchronization for automatically parallelized programs using optimistic synchronization primitives, ACM Transactions on Computer Systems (TOCS), v.17 n.4, p.337-371, Nov. 1999
	Gregory R. Ganger , Dawson R. Engler , M. Frans Kaashoek , Hector M. Briceño , Russell Hunt , Thomas Pinckney, Fast and flexible application-level networking on exokernel systems, ACM Transactions on Computer Systems (TOCS), v.20 n.1, p.49-83, February 2002
	Martin Rinard, Effective fine-grain synchronization for automatically parallelized programs using optimistic synchronization primitives, ACM SIGPLAN Notices, v.32 n.7, p.112-123, July 1997
	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
	Charles Consel , François Noël, A general approach for run-time specialization and its application to C, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.145-156, January 21-24, 1996, St. Petersburg Beach, Florida, United States
	Michael M. Gorlick , Rami R. Razouk, Using weaves for software construction and analysis, Proceedings of the 13th international conference on Software engineering, p.23-34, May 13-17, 1991, Austin, Texas, United States
	David Keppel, A portable interface for on-the-fly instruction space modification, ACM SIGARCH Computer Architecture News, v.19 n.2, p.86-95, Apr. 1991
	Chandramohan A. Thekkath , Henry M. Levy, Hardware and software support for efficient exception handling, ACM SIGPLAN Notices, v.29 n.11, p.110-119, Nov. 1994
	D. R. Engler , M. F. Kaashoek , J. O'Toole, Jr., Exokernel: an operating system architecture for application-level resource management, ACM SIGOPS Operating Systems Review, v.29 n.5, p.251-266, Dec. 3, 1995
	Ahmed Gheith , Karsten Schwan, CHAOSarc: kernel support for multiweight objects, invocations, and atomicity in real-time multiprocessor applications, ACM Transactions on Computer Systems (TOCS), v.11 n.1, p.33-72, Feb. 1993
	Thomas E. Anderson , Henry M. Levy , Brian N. Bershad , Edward D. Lazowska, The interaction of architecture and operating system design, ACM SIGPLAN Notices, v.26 n.4, p.108-120, Apr. 1991
	Anthony LaMarca, A performance evaluation of lock-free synchronization protocols, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.130-140, August 14-17, 1994, Los Angeles, California, United States
	Dylan McNamee , Jonathan Walpole , Calton Pu , Crispin Cowan , Charles Krasic , Ashvin Goel , Perry Wagle , Charles Consel , Gilles Muller , Renauld Marlet, Specialization tools and techniques for systematic optimization of system software, ACM Transactions on Computer Systems (TOCS), v.19 n.2, p.217-251, May 2001
	Orran Krieger , Michael Stumm, HFS: a performance-oriented flexible file system based on building-block compositions, ACM Transactions on Computer Systems (TOCS), v.15 n.3, p.286-321, Aug. 1997
	Chandramohan A. Thekkath , Thu D. Nguyen , Evelyn Moy , Edward D. Lazowska, Implementing network protocols at user level, IEEE/ACM Transactions on Networking (TON), v.1 n.5, p.554-565, Oct. 1993
	Philip Wickline , Peter Lee , Frank Pfenning, Run-time code generation and modal-ML, ACM SIGPLAN Notices, v.33 n.5, p.224-235, May 1998
	Chandramohan A. Thekkath , Thu D. Nguyen , Evelyn Moy , Edward D. Lazowska, Implementing network protocols at user level, ACM SIGCOMM Computer Communication Review, v.23 n.4, p.64-73, Oct. 1993
	C. Bryce , V. Issarny , G. Muller , I. Puaut, Towards safe and efficient customization in distributed systems, Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs, September 12-14, 1994, Wadern, Germany
	Robert C. Bedichek, Talisman: fast and accurate multicomputer simulation, ACM SIGMETRICS Performance Evaluation Review, v.23 n.1, p.14-24, May 1995
	Peter Lee , Mark Leone, Optimizing ML with run-time code generation, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Peter Lee , Mark Leone, Optimizing ML with run-time code generation, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Charles Consel , Julia L. Lawall , Anne-Françoise Le Meur, A tour of tempo: a program specializer for the C language, Science of Computer Programming, v.52 n.1-3, p.341-370, August 2004
	Luis-Felipe Cabrera, Technical summary of the second IEEE workshop on workstation operating systems, ACM SIGMETRICS Performance Evaluation Review, v.18 n.4, p.25-32, April 1991
	Guojing Cong , David A. Bader, Designing irregular parallel algorithms with mutual exclusion and lock-free protocols, Journal of Parallel and Distributed Computing, v.66 n.6, p.854-866, June 2006
	Curtis Yarvin , Richard Bukowski , Thomas Anderson, Anonymous RPC: low-latency protection in a 64-bit address space, Proceedings of the USENIX Summer 1993 Technical Conference on Summer technical conference, p.1-12, June 21-25, 1993, Cincinnati, Ohio
	Hyun-Wook Jin , Chuck Yoo, Impact of protocol overheads on network throughput over high-speed interconnects: measurement, analysis, and improvement, The Journal of Supercomputing, v.41 n.1, p.17-40, July 2007
	Daniel Stodolsky , J. Bradley Chen , Brian N. Bershad, Fast interrupt priority management in operating system kernels, USENIX Symposium on USENIX Microkernels and Other Kernel Architectures Symposium, p.9-9, September 20-23, 1993, San Diego, California
	Andrew P. Black , Jonathan Walpole, Objects to the rescue! or httpd: the next generation operating system, ACM SIGOPS Operating Systems Review, v.29 n.1, p.91-95, Jan. 1995
	Luis-Felipe Cabrera, Technical summary of the second IEEE workshop on workstation operating systems, ACM SIGOPS Operating Systems Review, v.24 n.3, p.7-21, July 1990
	John Giacomoni , Tipp Moseley , Manish Vachharajani, FastForward for efficient pipeline parallelism: a cache-optimized concurrent lock-free queue, Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming, February 20-23, 2008, Salt Lake City, UT, USA
	John Giacomoni , John K. Bennett , Antonio Carzaniga , Douglas C. Sicker , Manish Vachharajani , Alexander L. Wolf, Frame shared memory: line-rate networking on commodity hardware, Proceedings of the 3rd ACM/IEEE Symposium on Architecture for networking and communications systems, December 03-04, 2007, Orlando, Florida, USA