Article

Free access

Threads and input/output in the synthesis kernal

Authors:

H. Massalin,

C. PuAuthors Info & Claims

SOSP '89: Proceedings of the twelfth ACM symposium on Operating systems principles

Pages 191 - 201

https://doi.org/10.1145/74850.74869

Published: 01 November 1989 Publication History

PDF eReader

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

[1]

Anonymolls el. al. SUNOS release 3.5 source code. SUN Mierosystenls Source License, 1988.

Google Scholar

[2]

Dotlglas tlofst, adt. er. Giidei, Escher, Bach: an eternal golden braid. Basic Books, 1979.

Digital Library

Google Scholar

[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.

Google Scholar

[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.

Google Scholar

[5]

C. Pu, It. Massalin, a.nd J. ioannidis. Covq~uli,g,.qysteT;ls, 1 (1):11-32, Winter 1988.

Google Scholar

[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.

Google Scholar

[7]

W.A. Wulf', E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack. Hydra: The kernel of a multiprocessing operating system. Com~n. unications of A CM, 17(6):337-345, June 1974.

Digital Library

Google Scholar

Cited By

View all

Ma JLong Z(2021)Methods of Trim and Transplantation of Embedded Linux Kernel2021 IEEE International Conference on Power Electronics, Computer Applications (ICPECA)10.1109/ICPECA51329.2021.9362577(641-644)Online publication date: 22-Jan-2021
https://doi.org/10.1109/ICPECA51329.2021.9362577
Heinloth BAmmon MNguyen DHönig TSieh VSchröder-Preikschat W(2019)CocoonProceedings of the 10th Workshop on Programming Languages and Operating Systems10.1145/3365137.3365398(1-7)Online publication date: 27-Oct-2019
https://dl.acm.org/doi/10.1145/3365137.3365398
Rommel FDietrich CRodin MLohmann D(2019)MultiverseProceedings of the Fourteenth EuroSys Conference 201910.1145/3302424.3303959(1-13)Online publication date: 25-Mar-2019
https://dl.acm.org/doi/10.1145/3302424.3303959
Show More Cited By

Index Terms

Threads and input/output in the synthesis kernal
1. General and reference
  1. Cross-computing tools and techniques
    1. Performance
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Operational analysis
  2. Software organization and properties
    1. Contextual software domains
      1. Operating systems
        Communications management
        Input / output
        Process management
        Process synchronization
    2. Software system structures
      1. Distributed systems organizing principles

Recommendations

Interrupts as threads

Most operating system implementations contain two fundamental forms of asynchrony; processes (or equivalently, internal threads) and interrupts. Processes (or threads) synchronize using primitives such as mutexes and condition variables, while ...
First-class user-level threads
SOSP '91: Proceedings of the thirteenth ACM symposium on Operating systems principles

It is often desirable, for reasons of clarity, portability, and efficiency, to write parallel programs in which the number of processes is independent of the number of available processors. Several modern operating systems support more than one process ...
Threads and input/output in the synthesis kernal

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 ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SOSP '89: Proceedings of the twelfth ACM symposium on Operating systems principles

November 1989

224 pages

ISBN:0897913388

DOI:10.1145/74850

Chairman:
Greg Andrews
Univ. of Arizona, Tucson

ACM SIGOPS Operating Systems Review Volume 23, Issue 5
Dec. 3–6, 1989
223 pages
DOI:10.1145/74851
Editor:
Roy Levin
Digital Equimpment Corp, Palo Alto, CA
Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1989

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SOSP89

Sponsor:

SIGOPS

SOSP89: 12th ACM Symposium on Operating Systems Principles

Acceptance Rates

Overall Acceptance Rate 174 of 961 submissions, 18%

Upcoming Conference

SOSP '25

Sponsor:
sigops

ACM SIGOPS 31st Symposium on Operating Systems Principles

October 13 - 16, 2025

Seoul , Republic of Korea

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

89
Total Citations
View Citations
1,630
Total Downloads

Downloads (Last 12 months)148
Downloads (Last 6 weeks)30

Reflects downloads up to 27 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ma JLong Z(2021)Methods of Trim and Transplantation of Embedded Linux Kernel2021 IEEE International Conference on Power Electronics, Computer Applications (ICPECA)10.1109/ICPECA51329.2021.9362577(641-644)Online publication date: 22-Jan-2021
https://doi.org/10.1109/ICPECA51329.2021.9362577
Heinloth BAmmon MNguyen DHönig TSieh VSchröder-Preikschat W(2019)CocoonProceedings of the 10th Workshop on Programming Languages and Operating Systems10.1145/3365137.3365398(1-7)Online publication date: 27-Oct-2019
https://dl.acm.org/doi/10.1145/3365137.3365398
Rommel FDietrich CRodin MLohmann D(2019)MultiverseProceedings of the Fourteenth EuroSys Conference 201910.1145/3302424.3303959(1-13)Online publication date: 25-Mar-2019
https://dl.acm.org/doi/10.1145/3302424.3303959
Dietrich CLohmann D(2017)OSEK-V: application-specific RTOS instantiation in hardwareACM SIGPLAN Notices10.1145/3140582.308103052:5(111-120)Online publication date: 21-Jun-2017
https://dl.acm.org/doi/10.1145/3140582.3081030
Dietrich CLohmann DNagarajan VShao Z(2017)OSEK-V: application-specific RTOS instantiation in hardwareProceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems10.1145/3078633.3081030(111-120)Online publication date: 21-Jun-2017
https://dl.acm.org/doi/10.1145/3078633.3081030
Cerrato IMarchetto GRisso FSisto RVirgilio M(2014)An efficient data exchange algorithm for chained network functions2014 IEEE 15th International Conference on High Performance Switching and Routing (HPSR)10.1109/HPSR.2014.6900888(98-105)Online publication date: Jul-2014
https://doi.org/10.1109/HPSR.2014.6900888
Marlet R(2013)BibliographyProgram Specialization10.1002/9781118576984.biblio(487-522)Online publication date: 5-Feb-2013
https://doi.org/10.1002/9781118576984.biblio
Rossbach CCurrey JSilberstein MRay BWitchel EWobber TDruschel P(2011)PTaskProceedings of the Twenty-Third ACM Symposium on Operating Systems Principles10.1145/2043556.2043579(233-248)Online publication date: 23-Oct-2011
https://dl.acm.org/doi/10.1145/2043556.2043579
Giacomoni JMoseley TVachharajani MChatterjee SScott M(2008)FastForward for efficient pipeline parallelismProceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming10.1145/1345206.1345215(43-52)Online publication date: 20-Feb-2008
https://dl.acm.org/doi/10.1145/1345206.1345215
Giacomoni JBennett JCarzaniga ASicker DVachharajani MWolf AYavatkar RGrunwald DRamakrishnan K(2007)Frame shared memoryProceedings of the 3rd ACM/IEEE Symposium on Architecture for networking and communications systems10.1145/1323548.1323553(27-36)Online publication date: 3-Dec-2007
https://dl.acm.org/doi/10.1145/1323548.1323553
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Interrupts as threads

First-class user-level threads

Threads and input/output in the synthesis kernal