article

Free access

The MARUTI hard real-time operating system

Authors:

S. Levi,

S. K. Tripathi,

S. D. Carson,

A. K. AgrawalaAuthors Info & Claims

ACM SIGOPS Operating Systems Review, Volume 23, Issue 3

Pages 90 - 105

https://doi.org/10.1145/71021.71026

Published: 01 July 1989 Publication History

PDF eReader

Abstract

The MARUTI operating system is designed to support real-time applications on a variety of hardware systems. The kernel supports objects as primitive entities, and provides a communication mechanism that allows transparent distribution in networked systems. Fault tolerance is provided through replication and consistency-control mechanisms. Most importantly, MARUTI supports guaranteed-service scheduling, in which jobs that are accepted by the system are verified to satisfy general time constraints.Guaranteed-service scheduling means that, given a job with a set of service requirements and time constraints, the system automatically verifies the schedulability of each component of the job with respect to the job's constraints and those of other jobs in the system. These time constraints include those that govern interrupt processing, which allows the MARUTI approach to succeed where tess rigorous approaches do not. The result is that MARUTI applications can be executed in a predictable, deterministic fashion.

Cited By

View all

Buttazzo GButtazzo G(2023)Real-Time Operating Systems and StandardsHard Real-Time Computing Systems10.1007/978-3-031-45410-3_13(407-439)Online publication date: 25-Sep-2023
https://doi.org/10.1007/978-3-031-45410-3_13
Anderson MWilliamson MSubramani K(2019)Empirical analysis of algorithms for the shortest negative cost cycle problemDiscrete Applied Mathematics10.1016/j.dam.2018.03.055253(167-184)Online publication date: Jan-2019
https://doi.org/10.1016/j.dam.2018.03.055
Caskurlu BWilliamson MSubramani KMkrtchyan V(2018)On approximating optimal weight "no"-certificates in weighted difference constraint systemsJournal of Combinatorial Optimization10.1007/s10878-018-0292-836:2(329-345)Online publication date: 1-Aug-2018
https://dl.acm.org/doi/10.1007/s10878-018-0292-8
Show More Cited By

Index Terms

The MARUTI hard real-time operating system
1. Computer systems organization
  1. Architectures
    1. Parallel architectures
      1. Multiple instruction, multiple data
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Abstract data types
  2. Software organization and properties
    1. Software system structures
      1. Distributed systems organizing principles

Recommendations

A Survey of WCET Analysis of Real-Time Operating Systems
ICESS '09: Proceedings of the 2009 International Conference on Embedded Software and Systems

Timing correctness of hard real-time systems is guaranteed by schedulability analysis and worst-case execution time (WCET) analysis of programs. Traditional WCET analysis mainly deals with application programs and has achieved success in industry. ...
Analysis of Hard Real-Time Systems
Hardware support for WCET analysis of hard real-time multicore systems
ISCA '09: Proceedings of the 36th annual international symposium on Computer architecture

The increasing demand for new functionalities in current and future hard real-time embedded systems like automotive, avionics and space industries is driving an increase in the performance required in embedded processors. Multicore processors represent ...

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
Systems Research Center, Palo Alto, CA

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

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

49
Total Citations
View Citations
399
Total Downloads

Downloads (Last 12 months)54
Downloads (Last 6 weeks)8

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Buttazzo GButtazzo G(2023)Real-Time Operating Systems and StandardsHard Real-Time Computing Systems10.1007/978-3-031-45410-3_13(407-439)Online publication date: 25-Sep-2023
https://doi.org/10.1007/978-3-031-45410-3_13
Anderson MWilliamson MSubramani K(2019)Empirical analysis of algorithms for the shortest negative cost cycle problemDiscrete Applied Mathematics10.1016/j.dam.2018.03.055253(167-184)Online publication date: Jan-2019
https://doi.org/10.1016/j.dam.2018.03.055
Caskurlu BWilliamson MSubramani KMkrtchyan V(2018)On approximating optimal weight "no"-certificates in weighted difference constraint systemsJournal of Combinatorial Optimization10.1007/s10878-018-0292-836:2(329-345)Online publication date: 1-Aug-2018
https://dl.acm.org/doi/10.1007/s10878-018-0292-8
Williamson MSubramani K(2015)On the negative cost girth problem in planar networksJournal of Discrete Algorithms10.1016/j.jda.2015.10.00135:C(40-50)Online publication date: 1-Nov-2015
https://dl.acm.org/doi/10.1016/j.jda.2015.10.001
Noguero ACalvo I(2010)A framework with proactive nodes for scheduling and optimizing distributed embedded systemsProceedings of the 16th EUNICE/IFIP WG 6.6 conference on Networked services and applications: engineering, control and management10.5555/1875907.1875938(236-245)Online publication date: 28-Jun-2010
https://dl.acm.org/doi/10.5555/1875907.1875938
Ehsan Saboori Shahriar Mohammadi Shafigh Parsazad (2010)A new scheduling algorithm for server farms load balancing2010 2nd International Conference on Industrial and Information Systems10.1109/INDUSIS.2010.5565821(417-420)Online publication date: Jul-2010
https://doi.org/10.1109/INDUSIS.2010.5565821
Noguero ACalvo I(2010)A Framework with Proactive Nodes for Scheduling and Optimizing Distributed Embedded SystemsNetworked Services and Applications - Engineering, Control and Management10.1007/978-3-642-13971-0_23(236-245)Online publication date: 2010
https://doi.org/10.1007/978-3-642-13971-0_23
Subramani K(2009)Optimal Length Resolution Refutations of Difference Constraint SystemsJournal of Automated Reasoning10.1007/s10817-009-9139-443:2(121-137)Online publication date: 1-Aug-2009
https://dl.acm.org/doi/10.1007/s10817-009-9139-4
Subramani KYellajyosula K(2008)On the design and implementation of a shared memory dispatcher for partially clairvoyant schedulersInternational Journal of Parallel Programming10.1007/s10766-007-0061-236:4(386-411)Online publication date: 1-Apr-2008
https://dl.acm.org/doi/10.1007/s10766-007-0061-2
Subramani KMadduri K(2007)Accomplishing approximate FCFS fairness without queuesProceedings of the 14th international conference on High performance computing10.5555/1782174.1782234(540-551)Online publication date: 18-Dec-2007
https://dl.acm.org/doi/10.5555/1782174.1782234
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.

Abstract

Cited By

Index Terms

Recommendations

A Survey of WCET Analysis of Real-Time Operating Systems

Analysis of Hard Real-Time Systems

Hardware support for WCET analysis of hard real-time multicore systems

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations