Scheduling Periodic Jobs That Allow Imprecise Results

The problem of scheduling periodic jobs in hard real-time systems that support imprecise computations is discussed. Timing faults are avoided in such systems by making available intermediate, imprecise results of acceptable quality when results of the desired quality cannot be produced on time. Two workload models of imprecise computations are presented. These models differ from traditional models in that a task may be terminated any time after it has produced an acceptable result. Each task is logically decomposed into a mandatory part followed by an optional part. In a feasible schedule, the mandatory part of every task is completed before the deadline of the task. The optional part refines the result produced by the mandatory part to reduce the error in the result. >

[1]  Jane W.-S. Liu,et al.  Scheduling Real-Time, Periodic Jobs Using Imprecise Results , 1987, RTSS.

[2]  Stuart E. Dreyfus,et al.  Applied Dynamic Programming , 1965 .

[3]  Charles U. Martel,et al.  Scheduling Periodically Occurring Tasks on Multiple Processors , 1981, Inf. Process. Lett..

[4]  Joseph Y.-T. Leung,et al.  On the complexity of fixed-priority scheduling of periodic, real-time tasks , 1982, Perform. Evaluation.

[5]  Laura M. Haas,et al.  Distributed deadlock detection , 1983, TOCS.

[6]  R. H. Campbell,et al.  A fault-tolerant scheduling problem , 1989, IEEE Transactions on Software Engineering.

[7]  David S. Johnson,et al.  Computers and In stractability: A Guide to the Theory of NP-Completeness. W. H Freeman, San Fran , 1979 .

[8]  Dennis W. Leinbaugh,et al.  Guaranteed response times in a distributed hard-real-time environment , 1986, IEEE Transactions on Software Engineering.

[9]  Sudarshan K. Dhall,et al.  On a Real-Time Scheduling Problem , 1978, Oper. Res..

[10]  J. Goldberg,et al.  SIFT: Design and analysis of a fault-tolerant computer for aircraft control , 1978, Proceedings of the IEEE.

[11]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

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

[13]  D. G. Kendall,et al.  Method of statistical testing : Monte Carlo method , 1965 .

[14]  Dennis W. Leinbaugh Guaranteed Response Times in a Hard-Real-Time Environment , 1980, IEEE Transactions on Software Engineering.

[15]  J. Leung,et al.  A Note on Preemptive Scheduling of Periodic, Real-Time Tasks , 1980, Inf. Process. Lett..

[16]  Edward G. Coffman,et al.  An Application of Bin-Packing to Multiprocessor Scheduling , 1978, SIAM J. Comput..

[17]  Jan Karel Lenstra,et al.  Scheduling theory since 1981: an annotated bibliography , 1983 .

[18]  Krithi Ramamritham,et al.  Distributed Scheduling Using Bidding and Focused Addressing , 1985, RTSS.

[19]  Krithi Ramamritham,et al.  Evaluation of a flexible task scheduling algorithm for distributed hard real-time systems , 1985, IEEE Transactions on Computers.

[20]  Alan A. Bertossi,et al.  Preemptive Scheduling of Periodic Jobs in Uniform Multiprocessor Systems , 1983, Inf. Process. Lett..

[21]  Wladyslaw M. Turski On Programming by Iterations , 1984, IEEE Transactions on Software Engineering.

[22]  Sanat K. Basu On Development of Iterative Programs from Function Specifications , 1980, IEEE Transactions on Software Engineering.

[23]  Susan B. Davidson,et al.  Partial Computation in Real-Time Database Systems , 1988 .

[24]  A.H.G. Rinnooy Kan,et al.  New directions in scheduling theory , 1984 .

[25]  Jane W.-S. Liu,et al.  Imprecise Results: Utilizing Partial Comptuations in Real-Time Systems , 1987, RTSS.