Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems

Fault-tolerant frameworks for large scale computing clusters require sensor programs, which are executed periodically to facilitate performance and fault management. By construction, these clusters use general purpose operating systems such as Linux that are built for best average case performance and do not provide deterministic scheduling guarantees. Consequently, periodic applications show jitter in execution times relative to the expected execution time. Obtaining a deterministic schedule for periodic tasks in general purpose operating systems is difficult without using kernel-level modifications such as RTAI and RTLinux. However, due to performance and administrative issues kernel modification cannot be used in all scenarios. In this paper, we address the problem of jitter compensation for periodic tasks that cannot rely on modifying the operating system kernel. ; Towards that, (a) we present motivating examples; (b) we present a feedback controller based approach that runs in the user space and actively compensates periodic schedule based on past jitter; This approach is platform-agnostic i.e. it can be used in different operating systems without modification; and (c) we show through analysis and experiments that this approach is platform-agnostic i.e. it can be used in different operating systems without modification and also that it maintains a stable system with bounded total jitter.

[1]  Abraham Silberschatz,et al.  Operating System Concepts , 1983 .

[2]  Jun Sun,et al.  Synchronization protocols in distributed real-time systems , 1996, Proceedings of 16th International Conference on Distributed Computing Systems.

[3]  Karl-Erik Årzén,et al.  Integrated Control and Scheduling , 1999 .

[4]  K. Shin,et al.  Performance Guarantees for Web Server End-Systems: A Control-Theoretical Approach , 2002, IEEE Trans. Parallel Distributed Syst..

[5]  Karl-Erik Årzén,et al.  Conclusions of the ARTIST2 roadmap on control of computing systems , 2006, SIGBED.

[6]  Sanjoy K. Baruah,et al.  Scheduling periodic task systems to minimize output jitter , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).

[7]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[8]  Sang Hyuk Son,et al.  Feedback Control Real-Time Scheduling: Framework, Modeling, and Algorithms* , 2001, Real-Time Systems.

[9]  Calton Pu,et al.  A feedback-driven proportion allocator for real-rate scheduling , 1999, OSDI '99.

[10]  Chenyang Lu,et al.  Feedback utilization control in distributed real-time systems with end-to-end tasks , 2005, IEEE Transactions on Parallel and Distributed Systems.

[11]  P. N. Paraskevopoulos,et al.  Modern Control Engineering , 2001 .

[12]  Sang Hyuk Son,et al.  The case for feedback control real-time scheduling , 1998, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

[13]  Wilfried Elmenreich,et al.  A universal smart transducer interface: TTP/A , 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).

[14]  Katsuhiko Ogata,et al.  Discrete-time control systems , 1987 .

[15]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[16]  Gerhard Fohler,et al.  Jitter compensation for real-time control systems , 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).

[17]  Gabor Karsai,et al.  Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems , 2007, Innovations in Systems and Software Engineering.

[18]  Ryan Thibodeaux,et al.  THE SPECIFICATION AND IMPLEMENTATION OF A MODEL OF COMPUTATION , 2008 .

[19]  Katsuhiko Ogata,et al.  Discrete-time control systems (2nd ed.) , 1995 .

[20]  Katsuhiko Ogata,et al.  Modern control engineering (3rd ed.) , 1996 .

[21]  Lui Sha,et al.  Queueing model based network server performance control , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..