On earliest deadline first scheduling for temporal consistency maintenance
- 151 Downloads
A real-time object is one whose state may become invalid with the passage of time. A temporal validity interval is associated with the object state, and the real-time object is temporally consistent if its temporal validity interval has not expired. Clearly, the problem of maintaining temporal consistency of data is motivated by the need for a real-time system to track its environment correctly. Hence, sensor transactions must be able to execute periodically and also each instance of a transaction should perform the relevant data update before its deadline.
Unfortunately, the period and deadline assignment problem for periodic sensor transactions has not received the attention that it deserves. An exception is the More-Less scheme, which uses the Deadline Monotonic (DM) algorithm for scheduling periodic sensor transactions. However, there is no work addressing this problem from the perspective of dynamic priority scheduling. In this paper, we examine the problem of temporal consistency maintenance using the Earliest Deadline First (EDF) algorithm in three steps:
First, the problem is transformed to another problem with a sufficient (but not necessary) condition for feasibly assigning periods and deadlines. An optimal solution for the problem can be found in linear time, and the resulting processor utilization is characterized and compared to a traditional approach. Second, an algorithm to search for the optimal periods and deadlines is proposed. The problem can be solved for sensor transactions that require any arbitrary deadlines. However, the optimal algorithm does not scale well when the problem size increases. Hence, thirdly, we propose a heuristic search-based algorithm that is more efficient than the optimal algorithm and is capable of finding a solution if one exists.
KeywordsReal-time databases Temporal consistency Earliest deadline first
Unable to display preview. Download preview PDF.
- Baruah SK, Mok AK, Rosier LE (1990a) Preemptively scheduling hard-real-time sporadic tasks on one processor. IEEE Real-Time Syst Symp, December1990 Google Scholar
- Gerber R, Hong S, Saksena M (1994) Guaranteeing end-to-end timing constraints by calibrating intermediate processes. IEEE Real-Time Syst Symp, December 1994 Google Scholar
- Gustafsson T, Hansson J (2004a) Data management in real-time systems: a case of on-demand updates in vehicle control systems. In: IEEE real-time and embedded technology and applications symposium, pp 182–191 Google Scholar
- Gustafsson T, Hansson J (2004b) Dynamic on-demand updating of data in real-time database systems. In: ACM SAC 2004 Google Scholar
- Hiller FS, Lieberman GJ (1990) Introduction to operations research. McGraw-Hill, New York Google Scholar
- Kang KD, Son S, Stankovic JA, Abdelzaher T (2002) A QoS-sensitive approach for timeliness and freshness guarantees in real-time databases. In: EuroMicro real-time systems conference, June 2002 Google Scholar
- Kuo T, Mok AK (1992) Real-time data semantics and similarity-based concurrency control. IEEE Real-Time Syst Symp, December 1992 Google Scholar
- Kuo T, Mok AK (1993) SSP: a semantics-based protocol for real-time data access. IEEE Real-Time Syst Symp, December 1993 Google Scholar
- Ho S, Kuo T, Mok AK (1997) Similarity-based load adjustment for static real-time transaction systems. IEEE Real-Time Syst Symp Google Scholar
- Lehoczky JP (1990) Fixed priority scheduling of periodic task sets with arbitrary deadlines. IEEE Real-Time Syst Symp Google Scholar
- Seto D, Lehoczky JP, Sha L, Shin KG (1996) On task schedulability in real-time control systems. IEEE Real-Time Syst Symp, December 1996 Google Scholar
- Seto D, Lehoczky JP, Sha L (1998) Task period selection and schedulability in real-time systems. IEEE Real-Time Syst Symp, December 1998 Google Scholar
- Stankovic JA, Spuri M, Ramamritham K, Buttazzo GC (1998) Deadline scheduling for real-time systems: EDF and related algorithms. Kluwer Academic, Dordrecht Google Scholar
- Xiong M, Ramamritham K (1999) Deriving deadlines and periods for real-time update transactions. IEEE Real-Time Syst Symp Google Scholar
- Xiong M, Han S, Lam KY (2005) A deferrable scheduling algorithm for real-time transactions maintaining data freshness. IEEE Real-Time Syst Symp Google Scholar