Modeling device driver effects in real-time schedulability analysis: Study of a network driver

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS

Volumn , Issue , 2007, Pages 57-68

  Lewandowski, Mark ^a   Stanovich, Mark J ^a   Baker, Theodore P ^a   Gopalan, Kartik ^a   Wang, An I Andy ^a  

^a Florida State University

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL EFFICIENCY; CONSTRAINT THEORY; MODEL CHECKING; REAL TIME SYSTEMS; TRIGGER CIRCUITS;

COMPUTATIONAL WORKLOADS; SCHEDULABILITY ANALYSIS; TIME-CRITICAL TASKS; TIMING CONSTRAINTS;

SCHEDULING ALGORITHMS;

EID: 34548119841     PISSN: 15453421     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTAS.2007.18     Document Type: Conference Paper

References (19)

1. N. C. Audsley, A. Burns, M. Richardson, and A. J. Wellings. Hard real-time scheduling: the deadline monotonie approach. In Proc. 8th IEEE Workshop on Real-Time Operating Systems and Software, pages 127-132, Atlanta, GA, USA, 1991.
2. T. P. Baker and S. K. Baruah. Schedulability analysis of multiprocessor sporadic task systems. In I. Lee, J. Y.-T. Leung, and S. Son, editors, Handbook of Real-time and Embedded Systems. CRC Press, 2007. (to appear).
3. S. K. Baruah, A. K. Mok, and L. E. Rosier. Preemptively scheduling hard-real-time sporadic tasks on one processor. Proc. 11th IEE Real-Time Systems Symposium, pages 182-190, 1990.
4. L. L. del Foyo, P. Meja-Alvarez, and D. de Niz. Predictable interrupt management for real time kernels over conventional PC hardware. In Proc. 12th IEEE Real- Time and Embedded Technology and Applications Symposium (RTAS'06), pages 14-23, San Jose, CA, Apr. 2006.
5. P. Druschel and G. Banga. Lazy receiver processing (LRP): a network subsystem architecture for server systems. In Proc. 2nd USENIX symposium on operating systems design and implementation, pages 261-275, Oct. 1996.
6. T. Facchinetti, G. Buttazzo, M. Marinoni, and G. Guidi. Non-preemptive interrupt scheduling for safe reuse of legacy drivers in real-time systems. In Proc. 17th IEEE Euromicro Conference on Real-Time Systems, Palma de Mallorca, July 2005.
7. S. Kleiman and J. Eykholt. Interrupts as threads. ACM SIGOPS Operating Systems Review, 29(2):21-26, Apr. 1995.
8. J. P. Lehoczky, L. Sha, and J. K. Strosnider. Enhanced aperiodic responsiveness in a hard real-time environment. In Proc. 8th IEEE Real-Time Systems Symposium, pages 261-270, 1987.
9. 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.
10. J. W. S. Liu. Real-Time Systems. Prentice-Hall, 2000.
11. J. Mogul and K. Ramakrishnan. Eliminating receive livelock in an interrupt-driven kernel. A CM Transactions on Computer Systems, 15(3):217-252, 1997.
12. J. Regehr. Inferring scheduling behavior with Hourglass. In Proc. of the USENIX Annual Technical Conf. FREENIX Track, pages 143-156, Monterey, CA, June 2002.
13. J. Regehr and U. Duongsaa. Preventing interrupt overload. In Proc. 2006 ACM SIGPLAN/SIGBED conference on languages, compilers, and tools for embedded systems, pages 50-58, Chicago, Illinois, June 2005.
14. L. Sha, J. P. Lehoczky, and R. Rajkumar. Solutions for some practical problems in prioritizing preemptive scheduling. In Proc. 7th IEEE Real- Time Sytems Symposium, 1986.
15. B. Sprunt, L. Sha, and L. Lehoczky. Aperiodic task scheduling for hard real-time systems. Real-Time Systems, 1(1):27-60, 1989.
16. J. Strosnider, J. P. Lehoczky, and L. Sha. The deferrable server algorithm for enhanced aperiodic responsiveness in real-time environments. IEEE Trans. Computers, 44(1):73-91, Jan. 1995.
17. C. A. Thekkath, T. D. Nguyen, E. Moy, and E. Lazowska. Implementing network protocols at user level. IEEE Trans. Networking, 1(5):554-565, Oct. 1993.
18. V. Yodaiken. The RTLinux manifesto. In Proc. 5th Linux Expo, Raleigh, NC, 1999.
19. Y. Zhang and R. West. Process-aware interrupt scheduling and accounting. In Proc. 27th Real Time Systems Symposium, Rio de Janeiro, Brazil, Dec. 2006.