Article

Capturing OS expertise in an event type system: the Bossa experience

Authors:

Julia L. Lawall,

Luciano Porto BarretoAuthors Info & Claims

EW 10: Proceedings of the 10th workshop on ACM SIGOPS European workshop

Pages 54 - 61

https://doi.org/10.1145/1133373.1133384

Published: 01 July 2002 Publication History

Abstract

Emerging applications have increasingly specialized scheduling requirements. Changing the scheduling policy of an existing OS is, however, often difficult because scheduling code is typically deeply intertwined with the rest of the kernel. We have recently introduced the Bossa framework to facilitate the implementation and integration of new scheduling policies. While the use of Bossa simplifes the problem of implementing a new scheduler, knowledge of the control and data flow through the scheduling actions of the kernel is still needed to ensure that the behavior of the provided scheduling policy matches kernel expectations. In this paper, we propose a modular type system that provides a high-level characterization of the aspects of kernel behavior that affect the correctness of a scheduling policy. These types guide policy development and are linked with the compiler to enable static verification of correctness properties.

References

[1]

A. Atlas and A. Bestavros. Design and implementation of statistical rate monotonic scheduling in KURT Linux. In IEEE Real-Time Systems Symposium, pages 272--276, 1999.

Digital Library

[2]

L. P. Barreto, R. Douence, G. Muller, and M. Südholt. Programming OS schedulers with domain-specific languages and aspects: New approaches for OS kernel engineering. Int. Workshop on Aspects, Components, and Patterns for Infrastructure Software at AOSD, April 2002.

[3]

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, March 2002.

[4]

L. P. Barreto, G. Muller, J. L. Lawall, and K. Kono. A framework for simplifying the development of kernel schedulers: design and performance evaluation. Technical Report 02/8/INFO, Ecole des Mines de Nantes, 2002.

[5]

A. Basu, M. Hayden, G. Morrisett, and T. von Eicken. A language-based approach to protocol construction. In Proceedings of the ACM SIGPLAN Workshop on Domain Specific Languages, Paris, France, January 1997.

[6]

A. Chandra, M. Adler, and P. Shenoy. Deadline fair scheduling: Bridging the theory and practice of proportional fair scheduling in multiprocessor servers arbitrary deadlines. In Proceedings of the 7th Real-Time Technology and Applications Symposium (RTAS'2001), Taipei, Taiwan, May 2001.

Digital Library

[7]

S. Chandra, B. Richards, and J. R. Larus. Teapot: Language support for writing memory coherence protocols. In Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation, pages 237--248, 1996.

Digital Library

[8]

Y. Coady, G. Kiczales, J. S. Ong, A. Warfield, and M. Feeley. Brittle systems will break -- not bend: Can aspect-oriented programming help? In Proceedings of the Tenth ACM SIGOPS European Workshop (EW'2002), Saint-Emilion, France, September 2002. To appear.

Digital Library

[9]

A. Engler, D. Yu, S. Hallem, A. Chou, and B. Chelf. Bugs as deviant behavior: A general approach to inferring errors in systems code. In Proceedings of the 18th ACM Symposium on Operating Systems Principles, pages 57--72, Banff, Canada, October 2001.

Digital Library

[10]

T. Jim, Morrisett G, Grossman D, M. Hicks, J. Cheney, and Y. Wang, Cyclone: A safe dialect of C. In USENIX Annual Technical Conference, pages 275--288, Monterey, CA, June 2002.

Digital Library

[11]

I. Kouvelas and V. Hardman. Overcoming workstation scheduling problems in a real-time audio tool. In Proceedings of the USENIX 1997 Conference, pages 235--242, Anaheim, CA, January 1997.

Digital Library

[12]

X. Liu, C. Kreitz, R. van Renesse, J. Hickey, M. Hayden, K. Birman, and R. Constable. Building reliable, high-performance communication systems from components. In Proceedings of the 17th ACM Symposium on Operating Systems Principles, Kiawah Island, SC, December 1999.

Digital Library

[13]

F. Mérillon, L. Réveillère, C. Consel, R. Marlet, and G. Muller. Devil: An IDL for hardware programming. In Proceedings of the Fourth Symposium on Operating Systems Design and Implementation, pages 17--30, San Diego, California, October 2000.

Digital Library

[14]

J. Nieh and M. S. Lam. The design, implementation and evaluation of SMART: A scheduler for multimedia applications. In Proceedings of the 16th ACM Symposium on Operating Systems Principles (SOSP'97), pages 184--197, October 1997.

Digital Library

[15]

J. Penix, W. Visser, E. Engstrom, A. Larson, and N. Weininger. Verification of time partitioning in the DEOS scheduler kernel. In Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), pages 488--497, Limerick, Ireland, June 2000.

Digital Library

[16]

P. Pillai and K. G. Shin. Real-time dynamic voltage scaling for low-power embedded operating systems. In 18th ACM Symposium on Operating Systems Principles, pages 89--102, October 2001.

Digital Library

[17]

J. Regehr, A. Reid, K. Webb, and J. Lepreau. Composable execution environments. Flux group technical note 2002--02, University of Utah, May 2002.

[18]

D. C. Steere, A. Goel, J. Gruenberg, D. McNamee, C. Pu, and J. Walpole. A feedback-driven proportion allocator for real-rate scheduling. In Proceedings of the 3rd Symposium on Operating Systems Design and Implementation (OSDI-99), pages 145--158, February 1999.

Digital Library

[19]

S. Thibault, J. Marant, and G. Muller. Adapting distributed applications using extensible networks. In Proceedings of the 19th International Conference on Distributed Computing Systems, pages 234--243, Austin, Texas, May 1999. IEEE Computer Society Press.

Digital Library

[20]

D. K. Y. Yau and S. S. Lam. Adaptive rate-controlled scheduling for multimedia applications. IEEE/ACM Transactions on Networking, 5(4):475--488, August 1997.

Digital Library

Cited By

Deville DHodique YSimplot-Ryl I(2015)Safe Collaboration in Extensible Operating Systems: A Study on Real-Time ExtensionsInternational Journal of Computers and Applications10.1080/1206212X.2005.1144175227:1(20-26)Online publication date: 11-Jul-2015
https://doi.org/10.1080/1206212X.2005.11441752
Bhatia SConsel CPu C(2008)Remote specialization for efficient embedded operating systemsACM Transactions on Programming Languages and Systems10.1145/1377492.137749730:4(1-32)Online publication date: 1-Aug-2008
https://dl.acm.org/doi/10.1145/1377492.1377497
Deville DHodique YSimplot-Ryl I(2005)Safe Collaboration in Extensible Operating Systems: A Study on Real-Time ExtensionsInternational Journal of Computers and Applications10.2316/Journal.202.2005.1.202-143227:1Online publication date: 2005
https://doi.org/10.2316/Journal.202.2005.1.202-1432
Show More Cited By

Capturing OS expertise in an event type system: the Bossa experience
1. Software and its engineering
  1. Software organization and properties
    1. Contextual software domains

Recommendations

A Type System for Robust Declassification

Language-based approaches to information security have led to the development of security type systems that permit the programmer to describe confidentiality policies on data. Security type systems are usually intended to enforce noninterference, a ...
Event type polymorphism
FOAL '12: Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages

Subtype polymorphism is an important feature available in most modern type systems which makes code reuse and specialization possible. Recent works on separation of crosscutting concerns have created event interfaces (types) to decouple subjects from ...
Autonomic configuration and recovery in a mobile agent-based distributed event monitoring system: Research Articles

In this paper we present a framework for building policy-based autonomic distributed agent systems. The autonomic mechanisms of configuration and recovery are supported through a distributed event processing model and a set of policy enforcement ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

EW 10: Proceedings of the 10th workshop on ACM SIGOPS European workshop

July 2002

258 pages

ISBN:9781450378062

DOI:10.1145/1133373

General Chair:
Gilles Muller,
Program Chair:
Eric Jul

Copyright © 2002 ACM.

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 July 2002

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 37 of 37 submissions, 100%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
118
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)0

Reflects downloads up to 24 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Deville DHodique YSimplot-Ryl I(2015)Safe Collaboration in Extensible Operating Systems: A Study on Real-Time ExtensionsInternational Journal of Computers and Applications10.1080/1206212X.2005.1144175227:1(20-26)Online publication date: 11-Jul-2015
https://doi.org/10.1080/1206212X.2005.11441752
Bhatia SConsel CPu C(2008)Remote specialization for efficient embedded operating systemsACM Transactions on Programming Languages and Systems10.1145/1377492.137749730:4(1-32)Online publication date: 1-Aug-2008
https://dl.acm.org/doi/10.1145/1377492.1377497
Deville DHodique YSimplot-Ryl I(2005)Safe Collaboration in Extensible Operating Systems: A Study on Real-Time ExtensionsInternational Journal of Computers and Applications10.2316/Journal.202.2005.1.202-143227:1Online publication date: 2005
https://doi.org/10.2316/Journal.202.2005.1.202-1432
Hachichi AThomas GMartin CFolliot BPatarin S(2005)A generic language for dynamic adaptationProceedings of the 11th international Euro-Par conference on Parallel Processing10.1007/11549468_8(40-49)Online publication date: 30-Aug-2005
https://dl.acm.org/doi/10.1007/11549468_8
Muller GLawall JMenaud JSüdholt MBerbers YCastro M(2004)Constructing component-based extension interfaces in legacy systems codeProceedings of the 11th workshop on ACM SIGOPS European workshop10.1145/1133572.1133605(15-es)Online publication date: 19-Sep-2004
https://dl.acm.org/doi/10.1145/1133572.1133605
Bhatia SConsel CPu CButtazzo G(2004)Remote customization of systems code for embedded devicesProceedings of the 4th ACM international conference on Embedded software10.1145/1017753.1017760(7-15)Online publication date: 27-Sep-2004
https://dl.acm.org/doi/10.1145/1017753.1017760
Lawall JMuller GDuchesne HHeintze NSestoft P(2004)Invited application paperProceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation10.1145/1014007.1014016(80-91)Online publication date: 24-Aug-2004
https://dl.acm.org/doi/10.1145/1014007.1014016
Lawall JLe Meur AMuller G(2004)On Designing a Target-Independent DSL for Safe OS Process-Scheduling ComponentsGenerative Programming and Component Engineering10.1007/978-3-540-30175-2_23(436-455)Online publication date: 2004
https://doi.org/10.1007/978-3-540-30175-2_23
Aberg RLawall JSüdholt MMuller GMeur A(2003)On the automatic evolution of an OS kernel using temporal logic and AOPProceedings of the 18th IEEE International Conference on Automated Software Engineering10.1109/ASE.2003.1240307(196-204)Online publication date: 6-Oct-2003
https://dl.acm.org/doi/10.1109/ASE.2003.1240307

View Options

Login options

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

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents