Abstract
Real-time scheduling problems confront two issues not addressed by traditional scheduling models, viz., parameter variability and the existence of complex relationships constraining the executions of jobs. Accordingly, modeling becomes crucial in the specification of scheduling problems in such systems. In this paper, we analyze scheduling algorithms in Partially Clairvoyant Real-time scheduling systems and present a new dual-based algorithm for the feasibility problem in the case of strict relative constraints. We also study the problem of online dispatching in Partially Clairvoyant systems and show that the complexity of dispatching is logarithmically related to the complexity of the schedulability problem.
Article PDF
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
References
Choi, S.: Dynamic time-based scheduling for hard real-time systems, PhD thesis, University of Maryland, College Park, June 1997.
Choi, S.: Dynamic time-based scheduling for hard real-time systems, J. Real-Time Systems, 2000.
Cormen, T. H., Leiserson, C. E. and Rivest, R. L.: Introduction to Algorithms, 6th edn, MIT Press and McGraw-Hill, 1992.
Dantzig, G. B. and Eaves, B. C.: Fourier- Motzkin elimination and its dual, J. Combin. Theory (A) 14 (1973), 288–297.
Damm, A., Reisinger, J., Schwabl, W. and Kopetz, H.: The real-time operating system of MARS, ACM Special Interest Group on Operating Systems 23(3) (1989), 141–157.
Gerber, R., Pugh, W. and Saksena M.: Parametric dispatching of hard real-time tasks, IEEE Trans. Comput., 1995.
Huynh, Joskowicz, Lassezand Lassez:Reasoning about linear constraints using parametric queries, FSTTCS: Foundations of Software Technology and Theoretical Computer Science 10 (1990).
Han, C. C. and Lin, K. J.: Scheduling distance-constrained real-time tasks, In: Proceedings, IEEE Real-time Systems Symposium, Phoenix, Arizona, December 1992, pp. 300–308.
Han, C. C. and Lin, K. J.: Scheduling real-time computations with separation constraints, Inform. Process. Lett. 12 (1992), 61–66.
Levi, S. T., Tripathi, S. K., Carson, S. D. and Agrawala, A. K.: The Maruti hard real-time operating system, ACM Special Interest Group on Operating Systems 23(3) (1989), 90–106.
Mosse, D., Agrawala, A. K. and Tripathi, S. K.: Maruti a hard real-time operating system, In: Second IEEE Workshop on Experimental Distributed Systems, IEEE, 1990, pp. 29–34.
Nemhauser, G. L. and Wolsey, L. A.: Integer and Combinatorial Optimization, Wiley, New York, 1999.
Pinedo, M.: Scheduling: Theory, Algorithms and Systems, Prentice-Hall, Englewood Cliffs, 1995.
Saksena, M.: TIParametric scheduling in hard real-time systems, PhD thesis, University of Maryland, College Park, June 1994.
Schrijver, A.: Theory of Linear and Integer Programming, Wiley, New York, 1987.
Subramani, K. and Kovalchick, L.: Contraction versus relaxation: A comparison of two approaches for the negative cost cycle detection problem, In: P. M. A. Sloot et al. (eds), Proceedings of the 3rd International Conference on Computational Science (ICCS), Lecture Notes in Comput. Sci., Springer-Verlag, June 2003.
Subramani, K.: An analysis of zero-clairvoyant scheduling, In: J.-P. Katoen and P. Stevens (eds), Proceedings of the 8th International Conference on Tools and Algorithms for the Construction of Systems (TACAS), Lecture Notes in Comput. Sci. 2280, Springer-Verlag, April 2002, pp. 98–112.
Subramani, K.: A specification framework for real-time scheduling, In: W.I. Grosky and F. Plasil (eds), Proceedings of the 29th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM), Lecture Notes in Comput. Sci. 2540, Springer-Verlag, November 2002, pp. 195–207.
Chandru, V. and Rao, M. R.: Linear programming, In: Algorithms and Theory of Computation Handbook, CRC Press, 1999.
Wolfe, V., Davidson, S. and Lee, I.: Rtc: Language support for real-time concurrency, In: Proceedings IEEE Real-Time Systems Symposium, December 1991, pp. 43–52.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Subramani, K. An Analysis of Partially Clairvoyant Scheduling. Journal of Mathematical Modelling and Algorithms 2, 97–119 (2003). https://doi.org/10.1023/A:1024930227883
Issue Date:
DOI: https://doi.org/10.1023/A:1024930227883