Article

Free access

A NonStop kernel

Author:

Joel F. BartlettAuthors Info & Claims

SOSP '81: Proceedings of the eighth ACM symposium on Operating systems principles

Pages 22 - 29

https://doi.org/10.1145/800216.806587

Published: 01 December 1981 Publication History

PDF eReader

Abstract

The Tandem NonStop System is a fault-tolerant [1], expandable, and distributed computer system designed expressly for online transaction processing. This paper describes the key primitives of the kernel of the operating system. The first section describes the basic hardware building blocks and introduces their software analogs: processes and messages. Using these primitives, a mechanism that allows fault-tolerant resource access, the process-pair, is described. The paper concludes with some observations on this type of system structure and on actual use of the system.

References

[1]

Avizennis, A., Architecture of Fault-Tolerant Computing Systems, FTC-5, IEEE and F.N.I.E., Paris, (June 1975), pp 3-16.

Google Scholar

[2]

Katzman, J. A., A Fault-Tolerant Computing System, Eleventh Hawaii International Conference on System Sciences, (January 1978), pp 85-102.

Google Scholar

[3]

Siewiorek, D. P, Bell, C. G., and Newell, A., Computer Structures: Readings and Examples, McGraw-Hill, Inc., (1982).

Digital Library

Google Scholar

[4]

Bartlett, J. F., A NonStop Operating System, Eleventh Hawaii International Conference on System Sciences, (January 1978), pp 103-117.

Google Scholar

[5]

Dijkstra, E. W., The Structure of the "THE" Multiprogramming System, Comm. ACM 11, (May 1968), pp 341-346.

Digital Library

Google Scholar

[6]

Brinch Hansen, P., The Nucleus of a Multi-programming System, Comm. ACM 13, (April 1970), pp 238-241, 250.

Digital Library

Google Scholar

[7]

Liskov, B., Report on the Workshop on Fundamental Issues in Distributed Computing, Operating Systems Review, (July 1981), pp 9-38.

Google Scholar

[8]

CCITT, recommendation X.25, Level 2, Geneva,(1976).

Google Scholar

[9]

Gleser, Malcolm A., Bayard, J., and Lang, D. D., Benchmarking for the Best, Datamation, (May 1981).

Google Scholar

[10]

Tom, G. F., Checkpointing Techniques for Fault-Tolerant Process-Pairs, BS Thesis at MIT, (June 1981).

Google Scholar

[11]

Enslow, P. H. Jr., Multiprocessor Organization - A Survey, Computing Surveys, Vol 9, Number 1, (March 1977), pp 103-129.

Digital Library

Google Scholar

[12]

Borr, A. J., Transaction Monitoring in ENCOMPASS: Reliable Distributed Transaction Processing, 7th International Conference on Very Large Data Bases, (September 1981).

Google Scholar

[13]

Blake, Russ, Tailor: A Simple Model That Works, Proc. of Conf. on Simulation, Measurement, and Modelling of Computer Systems, ACM SIGMETRICS, Boulder, (August 1979).

Digital Library

Google Scholar

[14]

Blake, Russ, XRAY: Instrumentation for Multiple Computers, Proc. Int'l. Symp. on Computer Performance, Modelling, Measurement, and Evaluation, ACM SIGMETRICS and IFIP WG7.3, Toronto, (May 1980).

Digital Library

Google Scholar

Cited By

View all

Ayoub JYang XZhou F(2021)Combat COVID-19 infodemic using explainable natural language processing modelsInformation Processing and Management: an International Journal10.1016/j.ipm.2021.10256958:4Online publication date: 1-Jul-2021
https://dl.acm.org/doi/10.1016/j.ipm.2021.102569
Das JMajumder SGupta PDatta S(2021)Scalable recommendations using decomposition techniques based on Voronoi diagramsInformation Processing and Management: an International Journal10.1016/j.ipm.2021.10256658:4Online publication date: 1-Jul-2021
https://dl.acm.org/doi/10.1016/j.ipm.2021.102566
Shi KWang YLu HZhu YNiu Z(2021)EKGTFInformation Processing and Management: an International Journal10.1016/j.ipm.2021.10256458:4Online publication date: 1-Jul-2021
https://dl.acm.org/doi/10.1016/j.ipm.2021.102564
Show More Cited By

Index Terms

A NonStop kernel
1. Computer systems organization
  1. Dependable and fault-tolerant systems and networks
2. Software and its engineering
  1. Software organization and properties
    1. Contextual software domains
      1. Operating systems
        Communications management
        Message passing
    2. Software system structures
      1. Distributed systems organizing principles

Recommendations

Linux kernel
Kernel - computing: Monolithic kernel, Microkernel, Hybrid kernel, Exokernel, History of operating systems, Time-sharing, Unix, History of Mac OS, AmigaOS, History of Microsoft Windows
Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation
ASPLOS '15: Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems

Monolithic operating system designs undermine the security of computing systems by allowing single exploits anywhere in the kernel to enjoy full supervisor privilege. The nested kernel operating system architecture addresses this problem by "nesting" a ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SOSP '81: Proceedings of the eighth ACM symposium on Operating systems principles

December 1981

189 pages

ISBN:0897910621

DOI:10.1145/800216

Chairmen:
John Howard,
David P. Reed

ACM SIGOPS Operating Systems Review Volume 15, Issue 5
December 1981
189 pages
ISSN:0163-5980
DOI:10.1145/1067627
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 December 1981

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

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

250
Total Citations
View Citations
1,619
Total Downloads

Downloads (Last 12 months)151
Downloads (Last 6 weeks)32

Reflects downloads up to 10 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ayoub JYang XZhou F(2021)Combat COVID-19 infodemic using explainable natural language processing modelsInformation Processing and Management: an International Journal10.1016/j.ipm.2021.10256958:4Online publication date: 1-Jul-2021
https://dl.acm.org/doi/10.1016/j.ipm.2021.102569
Das JMajumder SGupta PDatta S(2021)Scalable recommendations using decomposition techniques based on Voronoi diagramsInformation Processing and Management: an International Journal10.1016/j.ipm.2021.10256658:4Online publication date: 1-Jul-2021
https://dl.acm.org/doi/10.1016/j.ipm.2021.102566
Shi KWang YLu HZhu YNiu Z(2021)EKGTFInformation Processing and Management: an International Journal10.1016/j.ipm.2021.10256458:4Online publication date: 1-Jul-2021
https://dl.acm.org/doi/10.1016/j.ipm.2021.102564
Yu CLee CTsao PLin YChiueh T(2020)Efficient Group Fault Tolerance for Multi-tier Services in Cloud EnvironmentsICC 2020 - 2020 IEEE International Conference on Communications (ICC)10.1109/ICC40277.2020.9149253(1-7)Online publication date: Jun-2020
https://doi.org/10.1109/ICC40277.2020.9149253
Mozaffari-Kermani MAzarderakhsh RSarker AJalali A(2018)Efficient and Reliable Error Detection Architectures of Hash-Counter-Hash Tweakable Enciphering SchemesACM Transactions on Embedded Computing Systems10.1145/315917317:2(1-19)Online publication date: 23-Jan-2018
https://dl.acm.org/doi/10.1145/3159173
Harrison DSeah WRayudu R(2017)Coverage Preservation with Rapid Forwarding in Energy-Harvesting Wireless Sensor Networks for Critical Rare EventsACM Transactions on Embedded Computing Systems10.1145/314096117:2(1-25)Online publication date: 7-Dec-2017
https://dl.acm.org/doi/10.1145/3140961
Burtsev AJohnson DHibler MEide ERegehr J(2016)Abstractions for Practical Virtual Machine ReplayACM SIGPLAN Notices10.1145/3007611.289225751:7(93-106)Online publication date: 25-Mar-2016
https://dl.acm.org/doi/10.1145/3007611.2892257
Burtsev AJohnson DHibler MEide ERegehr JGupta-Cledat VPorter DSarkar V(2016)Abstractions for Practical Virtual Machine ReplayProceedings of the12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments10.1145/2892242.2892257(93-106)Online publication date: 25-Mar-2016
https://dl.acm.org/doi/10.1145/2892242.2892257
Pamboris APietzuch P(2016)C-RAMIEEE Transactions on Mobile Computing10.1109/TMC.2015.251304015:11(2692-2705)Online publication date: 1-Nov-2016
https://dl.acm.org/doi/10.1109/TMC.2015.2513040
Chen YZhang SGuo QLi LWu RChen T(2015)Deterministic ReplayACM Computing Surveys10.1145/279007748:2(1-47)Online publication date: 24-Sep-2015
https://dl.acm.org/doi/10.1145/2790077
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

Linux kernel

Kernel - computing: Monolithic kernel, Microkernel, Hybrid kernel, Exokernel, History of operating systems, Time-sharing, Unix, History of Mac OS, AmigaOS, History of Microsoft Windows

Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation