2015-04-30
420
В текущей статье представлены, а так же иллюстрированы несколькими примерами, теоремы частотно-монотонного анализа диспетчеризации. Были описаны проблемы переключения контекста, управления и синхронизации задач, и также приведены примеры. Обсуждалась обработка непериодических событий. Также предложен критический анализ основных предположений частотно-монотонного анализа диспетчеризации. И наконец, было кратко описано альтернативное решение: алгоритм диспетчеризации с равномерным распределением критических сроков обслуживания.
Доктор Джанус Залевский (Janusz Zalewski) - ассоциированный профессор Информатики в Embryiddle Aeronautical University, Daytona Beach, Florida, USA. Он работал в различных ядерных лабораториях, последний раз в Superconducting Super Collider Lab, Dallas, Texas, and Lawrence Livermore National Laboratory, Livermore, California, USA. Он служил в рабочей группе, разрабатывающей Multibus II Standard (IEEE Std 1296). Его исследования включают мультипроцессорные системы реального времени и Компьютерные системы с особыми требованиями к обеспечению безопасности. Он получил M.Sc. в electronic engineering и Ph.D. в Информатике от Варшавского Технологического Университета, Польши, в 1973 и 1979, соответственно.
Acknowledgments
This work was supported in part by a grant from the Advanced Research Projects Agency (ARPA) under Contract No. MDA972-92-J-1023. The author is grateful to Daniel Mosse and Ken Tindell for their useful comments on earlier drafts of this Paper.
References
1. “IEEE Standard 610.12-1992: Glossary of oftware Engineering Terminology,” IEEE Press, New York, N.Y., 1992.
2. A.D. Stoyenko, “A Schedulability Analyzer for Real-Time Euclid,” Proc. Real-Time Systems Symp., IEEE CS Press, Los Alamitos, Calif., 1987, pp. 218-227.
3. J.P. Lehoczky and L. Sha, “Performance of Real-Time Bus Scheduling Algorithms,” ACM Performance Evaluation Rev., Vol. 14, No. 1, May 1986, pp. 44-53.
4. C.L. Liu and J.W. Layland, “Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment,” J. CM, Vol. 20, No. 1, Jan. 1973, pp. 46-61.
5. J. Lehoczky, L. Sha, and Y. Ding, “The Rate J Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior,” Proc. Real- Time Systems Symp., IEEE CS Press, Los Alamitos, Calif., 1989, pp. 166-171.
6. C.J. Paul et al., “Reducing Problem-Solving Variante to Improve Predictability,” Comm. ACM, Vol. 34, No. 8, Aug. 1991, pp. 80-93.
7. D.I. Kateher, H. Arakawa, and J.K. Strosnider, “Engineering and Analysis of Fixed Priority Schedulers,” IEEE Trans. Software Eng., Vol. 19, No. 9, Sept. 1993, pp. 920-934.
8. M. Borger, M. Klein, and R.A. Veltre, “Real- Time Software Engineering in Ada: Observations and Guidelines,” Tech. Report CMU/ SEI-89-TR-22, Software Eng. Inst., Pittsburgh, Pa., Sept. 1989.
9. A. Burns, A.J. Wellings, and A.D. Hutcheon, “The Impact of an Ada Run-Time Systems Performance Characteristics on Scheduling Models,” Proc. Ada-Europe ‘93 Conf., Lecture Notes in Computer Sei. 688, Springer-Verlag, Berlin, Germany, 1993, pp. 240-248.
10. R. Rajkumar, Synchronization in Real-Time Systems: A Priority Inheritance Approach, Kluwer Academic Pub., Boston, Mass., 1992.
11. T.P. Baker, “Stack-Based Scheduling of Real-Time Processes,” Real-Time Systems, Vol. 3, No. 1, March1 991, pp. 67-99.
12. L. Sha and J.B. Goodenough, “Real-Time Scheduling Theory and Ada,” Computer, Vol. 23, No. 4, Apr. 1990, pp. 53-62.
13. B. Sprunt, L. Sha, and J.P. Lehoczky, “Aperiodic Task Scheduling for Hard Real-Time Systems,” Real-Time Systems, Vol. 1, No. 1, Junel989, pp. 27-60.
14. J.Y.-T. Leung and J. Whitehead, “On the Complexity of Fixed-Priority Scheduling of Periodic Real-Time Tasks,” Performance Evaluation, Vol. 2, No. 4, 1982, pp. 237-250.
15. N.C. Audsley, A. Burns, and A.J. Wellings, “Deadline Monotonic Scheduling Theory and Application,” Control Eng. Practice, Vol. 1, No. 1, Feb. 1993, pp. 71-78.
16. M. Joseph and P. Pandya, “Finding Response Times in a Real-Time System,” Computer J., Vol. 29, No. 5, May 1986, pp. 390-395.
17. A. Burns, “Preemptive Priority Based Scheduling: An Appropriate Engineering Approach,” in Principles of Real-Time Systems, SH. Son, ed., Prentice-Hall, Englewood Cliffs, N.J., 1995, pp. 225-248.
18. N. Audsley et al., “Applying New Scheduling Theory to Static Priority Preemptive Scheduling,” Software Eng. J., Vol. 8, No. 5, Sept. 1993, pp. 284-292.
