A framework for simplifying the development of kernel schedulers: Design and performance evaluation

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn , Issue , 2005, Pages 56-65

  Muller, Gilles ^a   Lawall, Julia L ^b   Duchesne, Hervé ^a  

^a INSTITUT DE RECHERCHE EN COMMUNICATIONS ET CYBERNÉTIQUE DE NANTES   (France)

^b UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; LOGIC DESIGN; SAFETY FACTOR; SCHEDULING;

APPLICATION PROGRAMMERS; SCHEDULING POLICY; STATIC VERIFICATION;

SYSTEMS ENGINEERING;

EID: 33846959769     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2005.1     Document Type: Conference Paper

References (34)

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, Phoenix, AZ, Dec. 1999.
2. T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In M. Dwyer, editor, 8th International SPIN Workshop, number 2057 in Lecture Notes in Computer Science, Toronto, Canada, 2001.
3. S. A. Banachowski and S. A. Brandt. The BEST scheduler for integrated processing of best-effort and soft realtime processes. In Multimedia Computing and Networking (MMCN), volume 4673, San Jose, CA, Jan. 2002.
4. B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. E. Fiuczynski, D. Becker, C. Chambers, and S. J. Eggers. Extensibility, safety and performance in the SPIN operating system. In Proceedings of the Fifteenth ACM Symposium on Operating System Principles, pages 267-284, Copper Mountain Resort, CO, Dec. 1995.
5. E. Biagioni, R. Harper, and P. Lee. A network protocol stack in standard ML. Higher-Order and Symbolic Computation, 14(4):309-356, Dec. 2001.
6. J. L. Bruno, E. Gabber, B. Özden, and A. Silberschatz. Move-to-rear list scheduling: a new scheduling algorithm for providing QoS guarantees. In Proceedings of ACM Multimedia, pages 63-73, Seattle, WA, Nov. 1997.
7. 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.
8. K. J. Duda and D. R. Cheriton. Borrowed-virtual-time (BVT) scheduling: supporting latency-sensitive threads in a general-purpose scheduler. In SOSP'99 [30], pages 261-276.
9. D. R. Engler, B. Chelf, A. Chou, and S. Hallem. Checking system rules using system-specific, programmer-written compiler extensions. In Proceedings of the Fourth USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 1-16, San Diego, CA, Oct. 2000.
10. D. Evans and D. Larochelle. Improving security using extensible lightweight static analysis. IEEE Software, 19(1):42-51, Jan./Feb. 2002.
11. 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.
12. 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.
13. K. Jeffay, F. D. Smith, A. Moorthy, and J. Anderson. Proportional share scheduling of operating system services for real-time applications. In IEEE Real-Time Systems Symposium, pages 480-491, Madrid, Spain, Dec. 1998.
14. T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, and Y. Wang. Cyclone: A safe dialect of C. In Proceedings of the General Track: 2002 USENIX Annual Technical Conference, pages 275-288, Monterey, CA, June 2002.
15. J. Lawall, H. Duchesne, G. Muller, and A.-F. L. Meur. Bossa Nova: Introducing modularity into the Bossa domain-specific language. In Generative Programming and Component Engineering: Fourth International Conference, GPCE 2004, number 3676 in Lecture Notes in Computer Science, Tallinn, Estonia, Sept. 2005. To appear.
16. J. L. Lawall, A.-F. Le Meur, and G. Muller. On designing a target-independent DSL for safe OS process-scheduling components. In Generative Programming and Component Engineering: Third International Conference, GPCE 2004, number 3286 in Lecture Notes in Computer Science, pages 436-455, Vancouver, Canada, Oct. 2004.
17. J. L. Lawall, G. Muller, and H. Duchesne. Language design for implementing process scheduling hierarchies (invited paper). In ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation - PEPM'04, pages 80-91, Verona, Italy, Aug. 2004.
18. C. L. Liu and J. W. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM, 20(1):46-61, Jan. 1973.
19. 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 SOSP'99 [30].
20. J. R. Lorch and A. J. Smith. Scheduling techniques for reducing processor energy use in MacOS. Wireless Networks, 3(5):311-324, Oct. 1997.
21. D. Mosberger and T. Jin. httperf - a tool for measuring web server performance. Performance Evaluation Review, 26(3):31-37, Dec. 1998.
22. G. Muller, J. Lawall, J.-M. Menaud, and M. Südholt. Constructing component-based extension interfaces in legacy systems code. In ACM SIGOPS European Workshop 2004 (EW2004), pages 80-85, Leuven, Belgium, Sept. 2004.
23. G. C. Necula, S. McPeak, and W. Weimer. CCured: type-safe retrofitting of legacy code. In Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 128-139, Portland, OR, Jan. 2002.
24. 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, Saint-Malo, France, Oct. 1997.
25. J. Regehr. Using Hierarchical Scheduling to Support Soft Real-Time Applications on General-Purpose Operating Systems. PhD thesis, University of Virginia, 2001.
26. J. Regehr and J. A. Stankovic. Augmented CPU reservations: towards predictable execution on general-purpose operating systems. In RTAS' 2001 [28], pages 141-148.
27. M. A. Rivas and M. G. Harbour. POSIX-compatible application-defined scheduling in MaRTE OS. In 14th Euromicro Conference on Real-Time Systems (ECRTS'02), pages 67-75, Vienna, Austria, June 2002.
28. Proceedings of the 7th Real-Time Technology and Applications Symposium (RTAS'2001), Taipei, Taiwan, May 2001.
29. Y. Shin and K. Choi. Power conscious fixed priority scheduling for hard real-time systems. In Proceedings of the 36th ACM/IEEE conference on Design Automation Conference (DAC'99), pages 134-139, New Orleans, LA, June 1999.
30. Proceedings of the 17th ACM Symposium on Operating Systems Principles (SOSP'99), Kiawah Island Resort, SC, Dec. 1999.
31. 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 Third USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 145-158, New Orleans, LA, Feb. 1999.
32. D. K. Y. Yau and S. S. Lam. Adaptive rate-controlled scheduling for multimedia applications. IEEE/ACM Transactions on Networking, 5(4):475-488, Aug. 1997.
33. W. Yuan and K. Nahrstedt. Energy-efficient soft real-time CPU scheduling for mobile multimedia systems. In Proceedings of the 19th ACM Symposium on Operating System Principles, pages 149-163, Bolton Landing (Lake George), NY, Oct. 2003.
34. W. Yuan, K. Nahrstedt, and K. Kim. R-EDF: A reservation-based EDF scheduling algorithm for multiple multimedia task classes. In RTAS'2001 [28], pages 149-156.