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

Proceedings of the 10th Workshop on ACM SIGOPS European Workshop, EW 10

Volumn , Issue , 2002, Pages 54-61

  Lawall, Julia L ^a   Muller, Gilles ^b   Barreto, Luciano Porto ^c  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

^b ECOLE DES MINES DE NANTES   (France)

^c UNIVERSITÉ BORDEAUX 1   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CORRECTNESS PROPERTIES; DATA FLOW; EMERGING APPLICATIONS; POLICY DEVELOPMENT; SCHEDULING POLICIES; STATIC VERIFICATION; TYPE SYSTEMS;

SCHEDULING;

EID: 11244341120     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1133373.1133384     Document Type: Conference Paper

References (20)

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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.