Schedulability Analysis of DeferrableScheduling Algorithms for MaintainingReal-Time Data Freshness

Although the deferrable scheduling algorithm for fixed priority transactions ( DS-FP) has been shown to provide a better performance compared with the More-Less (ML) method, there is still a lack of any comprehensive studies on the necessary and sufficient conditions for the schedulability of DS-FP. In this paper, we first analyze the necessary and sufficient schedulability conditions for DS-FP, and then propose a schedulability test algorithm for DS-FP by exploiting the fact that there always exists a repeating pattern in a DS-FP schedule. To resolve the limitation of fixed priority scheduling in DS-FP, we then extend the deferrable scheduling to a dynamic priority scheduling algorithm called DS-EDF by applying the earliest deadline first (EDF) policy to schedule update jobs. We also propose a schedulability test for DS-EDF and compare its performance with DS-FP and ML through extensive simulation experiments. The results show that the schedulability tests are effective. Although the schedulability of DS-EDF is lower than DS-FP and the repeating patterns in DS-EDF schedules are longer than those in DS-FP due to the use of dynamic priority scheduling, the performance of DS-EDF is better than both DS-FP and ML in terms of CPU utilization and impact on lower priority application transactions.

[1]  Krithi Ramamritham,et al.  Deriving deadlines and periods for real-time update transactions , 1999, IEEE Transactions on Computers.

[2]  Jörgen Hansson,et al.  Specification and management of QoS in real-time databases supporting imprecise computations , 2006, IEEE Transactions on Computers.

[3]  Ralph P. Grimaldi,et al.  Discrete and Combinatorial Mathematics: An Applied Introduction , 1998 .

[4]  Edward A. Lee,et al.  Introduction to Embedded Systems - A Cyber-Physical Systems Approach , 2013 .

[5]  Song Han,et al.  DESH: overhead reduction algorithms for deferrable scheduling , 2010, Real-Time Systems.

[6]  Edward A. Lee CPS foundations , 2010, Design Automation Conference.

[7]  Farnam Jahanian Reflections on the evolution of internet threats: the growing imperative for a cyber secure society , 2011, CCS '11.

[8]  Sang Hyuk Son,et al.  A QoS-sensitive approach for timeliness and freshness guarantees in real-time databases , 2002, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002.

[9]  Jian-Jia Chen,et al.  Workload-Aware Partitioning for Maintaining Temporal Consistency upon Multiprocessor Platforms , 2011, 2011 IEEE 32nd Real-Time Systems Symposium.

[10]  Song Han,et al.  Online Scheduling Switch for Maintaining Data Freshness in Flexible Real-Time Systems , 2009, 2009 30th IEEE Real-Time Systems Symposium.

[11]  Krithi Ramamritham Real-time databases , 2005, Distributed and Parallel Databases.

[12]  Susan V. Vrbsky,et al.  Triggered Updates for Temporal Consistency in Real-Time Databases , 2000, Real-Time Systems.

[13]  Xiang Jun,et al.  Data Freshness Guarantee and Scheduling of Update Transactions in RTMDBS , 2008, 2008 4th International Conference on Wireless Communications, Networking and Mobile Computing.

[14]  Insup Lee,et al.  Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.

[15]  Doug Locke,et al.  Real-Time Databases: Real-World Requirements , 1997 .

[16]  Theodore Johnson,et al.  Scheduling Updates in a Real-Time Stream Warehouse , 2009, 2009 IEEE 25th International Conference on Data Engineering.

[17]  Risto Miikkulainen,et al.  Architecture of a cyberphysical avatar , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[18]  Qiong Wang,et al.  On earliest deadline first scheduling for temporal consistency maintenance , 2008, Real-Time Systems.

[19]  Krithi Ramamritham,et al.  Where Do Time Constraints Come From? Where Do They Go? , 1996 .

[20]  Alexandros Labrinidis,et al.  Update Propagation Strategies for Improving the Quality of Data on the Web , 2001, VLDB.

[21]  Song Han,et al.  Deferrable Scheduling for Maintaining Real-Time Data Freshness: Algorithms, Analysis, and Results , 2008, IEEE Transactions on Computers.

[22]  Jörgen Hansson,et al.  Misconceptions About Real-Time Databases , 1999, Computer.

[23]  Alan Burns,et al.  Choosing Task Periods to Minimise System Utilisation in Time Triggered Systems , 1996, Inf. Process. Lett..

[24]  Jörgen Hansson,et al.  Data management in real-time systems: a case of on-demand updates in vehicle control systems , 2004, Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004..

[25]  Sang Hyuk Son,et al.  Managing deadline miss ratio and sensor data freshness in real-time databases , 2004, IEEE Transactions on Knowledge and Data Engineering.

[26]  Song Han,et al.  A Schedulability Analysis of Deferrable Scheduling Using Patterns , 2008, 2008 Euromicro Conference on Real-Time Systems.

[27]  Sang Hyuk Son,et al.  Real-Time Databases and Data Services , 2004, Real-Time Systems.

[28]  Mohammad Taghi Hajiaghayi,et al.  Scheduling to Minimize Staleness and Stretch in Real-Time Data Warehouses , 2009, SPAA '09.

[29]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[30]  Yang Guo,et al.  Statistical quality of service guarantee for temporal consistency of real-time data objects , 2004, 25th IEEE International Real-Time Systems Symposium.