Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
article
Free access

The Spring kernel: a new paradigm for real-time operating systems

Published: 01 July 1989 Publication History

Abstract

Next generation real-time systems will require greater flexibility and predictability than is commonly found in today's systems. These future systems include the space station, integrated vision/robotics/AI systems, collections of humans/robots coordinating to achieve common objectives (usually in hazardous environments such as undersea exploration or chemical plants), and various command and control applications. The Spring kernel is a research oriented kernel designed to form the basis of a flexible, hard real-time operating system for such applications. Our approach challenges several basic assumptions upon which most current real-time operating systems are built and subsequently advocates a new paradigm based on the notion of predictability and a method for on-line dynamic guarantees of deadlines. The Spring kernel is being implemented on a network of (68020 based) multiprocessors called SpringNet.

Cited By

View all
  • (2023)DREAM: A Dynamic Scheduler for Dynamic Real-time Multi-model ML WorkloadsProceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 410.1145/3623278.3624753(73-86)Online publication date: 25-Mar-2023
  • (2021)Mining guidelines for architecting robotics softwareJournal of Systems and Software10.1016/j.jss.2021.110969(110969)Online publication date: May-2021
  • (2018)Formal approach for a verified implementation of Global EDF in TrampolineProceedings of the 26th International Conference on Real-Time Networks and Systems10.1145/3273905.3273926(83-92)Online publication date: 10-Oct-2018
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGOPS Operating Systems Review
ACM SIGOPS Operating Systems Review  Volume 23, Issue 3
July 1989
159 pages
ISSN:0163-5980
DOI:10.1145/71021
  • Editor:
  • R. Levin
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 1989
Published in SIGOPS Volume 23, Issue 3

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)133
  • Downloads (Last 6 weeks)21
Reflects downloads up to 09 Nov 2024

Other Metrics

Citations

Cited By

View all
  • (2023)DREAM: A Dynamic Scheduler for Dynamic Real-time Multi-model ML WorkloadsProceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 410.1145/3623278.3624753(73-86)Online publication date: 25-Mar-2023
  • (2021)Mining guidelines for architecting robotics softwareJournal of Systems and Software10.1016/j.jss.2021.110969(110969)Online publication date: May-2021
  • (2018)Formal approach for a verified implementation of Global EDF in TrampolineProceedings of the 26th International Conference on Real-Time Networks and Systems10.1145/3273905.3273926(83-92)Online publication date: 10-Oct-2018
  • (2018)Internet of Things (IoT) Operating Systems Support, Networking Technologies, Applications, and Challenges: A Comparative ReviewIEEE Communications Surveys & Tutorials10.1109/COMST.2018.281768520:3(2062-2100)Online publication date: Nov-2019
  • (2017)TimerShield: Protecting High-Priority Tasks from Low-Priority Timer Interference (Outstanding Paper)2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS.2017.40(3-12)Online publication date: Apr-2017
  • (2014)Fault-tolerant scheduling in homogeneous real-time systemsACM Computing Surveys10.1145/253402846:4(1-34)Online publication date: 1-Mar-2014
  • (2014)A hardware architecture to deploy complex multiprocessor scheduling algorithms2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications10.1109/RTCSA.2014.6910541(1-10)Online publication date: Aug-2014
  • (2014)Light-PREM: Automated software refactoring for predictable execution on COTS embedded systems2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications10.1109/RTCSA.2014.6910515(1-10)Online publication date: Aug-2014
  • (2014)Scaling global scheduling with message passing2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS.2014.6926008(263-274)Online publication date: Apr-2014
  • (2011)Predictable High-Performance Computing Using Feedback Control and Admission ControlIEEE Transactions on Parallel and Distributed Systems10.1109/TPDS.2010.10022:3(396-411)Online publication date: 1-Mar-2011
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media