skip to main content
10.1145/1014007.1014016acmconferencesArticle/Chapter ViewAbstractPublication PagespepmConference Proceedingsconference-collections
Article

Invited application paper: language design for implementing process scheduling hierarchies

Published: 24 August 2004 Publication History

Abstract

Standard operating systems provide only a single fixed scheduler, which does not meet all possible application scheduling needs. More flexibility can be achieved using a hierarchy of schedulers, allowing multiple schedulers to coexist in a single operating system (OS). Bossa is a framework for facilitating the implementation and deployment of OS process schedulers. In this paper, we describe the features of Bossa that enable the creation and management of a scheduling hierarchy. These features include a domain-specific language for implementing schedulers and a type system for describing requirements on scheduler behavior. The use of the domain-specific language eases scheduler development and enables scheduler verification. We have found that the approach allows programmers, even students who are not kernel or scheduling experts, to easily and safely implement and deploy schedulers that meet specific application needs.

References

[1]
R. A. Åberg, J. L. Lawall, M. Südholt, G. Muller, and A.-F. Le Meur. On the automatic evolution of an OS kernel using temporal logic and AOP. In Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), pages 196--204, Montreal, Canada, Oct. 2003. IEEE.
[2]
L. P. Barreto and G. Muller. Bossa: a language-based approach to the design of real-time schedulers. In 10th International Conference on Real-Time Systems (RTS'2002), pages 19--31, Paris, France, Mar. 2002.
[3]
G. M. Candea and M. B. Jones. Vassal: Loadable scheduler support for multi-policy scheduling. In Proceedings of the 2nd USENIX Windows NT Symposium, pages 157--166, Seattle, WA, Aug. 1998.
[4]
B. Ford and S. Susarla. CPU inheritance scheduling. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation (OSDI'96), pages 91--105, Seattle, WA, Oct. 1996.
[5]
P. Gai, L. Abeni, M. Giorgi, and G. Buttazzo. A new kernel approach for modular real-time systems development. In Proceedings of the 13th IEEE Euromicro Conference on Real-Time Systems, June 2001.
[6]
R. Glück and A. V. Klimov. Occam's razor in metacomputation: the notion of a perfect process tree. In P. Cousot, M. Falaschi, G. Filé, and A. Rauzy, editors, Static Analysis. Proceedings, volume 724, pages 112--123. Springer-Verlag, 1993.
[7]
J. Lawall, G. Muller, and L. P. Barreto. Capturing OS expertise in a modular type system: the Bossa experience. In ACM SIGOPS European Workshop 2002 (EW'2002), pages 54--61, Saint-Emilion, France, Sept. 2002.
[8]
J. L. Lawall, A.-F. Le Meur, and G. Muller. On designing a target-independent DSL for safe OS process-scheduling components. In Third International Conference on Generative Programming and Component Engineering (GPCE'04), Oct. 2004. To appear.
[9]
F. Nielson. A denotational framework for data flow analysis. Acta Informatica, 18:265--287, 1982.
[10]
J. Regehr. Using Hierarchical Scheduling to Support Soft Real-Time Applications on General-Purpose Operating Systems. PhD thesis, University of Virginia, 2001.
[11]
J. Regehr and J. A. Stankovic. HLS: A framework for composing soft real-time schedulers. In Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), pages 3--14, London, UK, Dec. 2001.

Cited By

View all
  • (2013)Towards a user-mode approach to partitioned scheduling in the seL4 microkernelACM SIGBED Review10.1145/2544350.254435210:3(15-22)Online publication date: 1-Oct-2013
  • (2011)Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority Preemptive SchedulingProceedings of the 2011 23rd Euromicro Conference on Real-Time Systems10.1109/ECRTS.2011.24(172-181)Online publication date: 5-Jul-2011
  • (2009)A unified approach to scheduling on unrelated parallel machinesJournal of the ACM10.1145/1552285.155228956:5(1-31)Online publication date: 21-Aug-2009
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
PEPM '04: Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
August 2004
212 pages
ISBN:1581138350
DOI:10.1145/1014007
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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 August 2004

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. domain-specific languages
  2. operating system extension
  3. process scheduling
  4. scheduling hierarchies
  5. verification

Qualifiers

  • Article

Conference

PEPM04
Sponsor:

Acceptance Rates

Overall Acceptance Rate 66 of 120 submissions, 55%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 15 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2013)Towards a user-mode approach to partitioned scheduling in the seL4 microkernelACM SIGBED Review10.1145/2544350.254435210:3(15-22)Online publication date: 1-Oct-2013
  • (2011)Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority Preemptive SchedulingProceedings of the 2011 23rd Euromicro Conference on Real-Time Systems10.1109/ECRTS.2011.24(172-181)Online publication date: 5-Jul-2011
  • (2009)A unified approach to scheduling on unrelated parallel machinesJournal of the ACM10.1145/1552285.155228956:5(1-31)Online publication date: 21-Aug-2009
  • (2009)On approximating the ideal random access machine by physical machinesJournal of the ACM10.1145/1552285.155228856:5(1-57)Online publication date: 21-Aug-2009
  • (2009)Memory allocation for embedded systems with a compile-time-unknown scratch-pad sizeACM Transactions on Embedded Computing Systems10.1145/1509288.15092938:3(1-32)Online publication date: 22-Apr-2009
  • (2009)A fast scalable automaton-matching accelerator for embedded content processorsACM Transactions on Embedded Computing Systems10.1145/1509288.15092918:3(1-30)Online publication date: 22-Apr-2009
  • (2009)Analytic modeling of network processors for parallel workload mappingACM Transactions on Embedded Computing Systems10.1145/1509288.15092908:3(1-29)Online publication date: 22-Apr-2009
  • (2009)Model-Driven Engineering from Modular Monadic SemanticsProceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages10.1007/978-3-642-03034-5_2(20-44)Online publication date: 2-Jul-2009
  • (2008)Optimizing wirelength and routability by searching alternative packings in floorplanningACM Transactions on Design Automation of Electronic Systems10.1145/1297666.129768713:1(1-13)Online publication date: 6-Feb-2008
  • (2008)Enabling multimedia using resource-constrained video processing techniquesACM Transactions on Design Automation of Electronic Systems10.1145/1297666.129768413:1(1-27)Online publication date: 6-Feb-2008
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media