×

A study of the cyclic scheduling problem on parallel processors. (English) Zbl 0830.68009

Summary: We address the problem of scheduling a set of generic tasks to be performed infinitely often without preemption on finitely many parallel processors. These tasks are subject to a set of uniform constraints, modeled by a uniform graph \(G\). The problem is to find a periodic schedule that minimizes the cycle time. Although the problem is NP-hard, we show that the special case where \(G\) is a circuit can be solved in polynomial time. We then study the structure of the set of solutions in the general case and determine several dominant subsets of schedules by analyzing the periodic structure of the allocation function and the induced uniform constraints on the schedule. In particular, we prove the dominance of circular schedules, in which the occurrences of any task are successively performed by all the processors. Finally, we propose a greedy heuristic that provides a good circular schedule.

MSC:

68M20 Performance evaluation, queueing, and scheduling in the context of computer systems
68R10 Graph theory (including graph drawing) in computer science
68Q25 Analysis of algorithms and problem complexity
Full Text: DOI

References:

[1] Aiken, A.; Nicolau, A., Optimal loop parallelization, (Proceedings of the SIGPLAN’ 88 Conference on Prog. Language Design and Implementation. Proceedings of the SIGPLAN’ 88 Conference on Prog. Language Design and Implementation, Atlanta, GA (1988)), 308-317
[2] Carlier, J.; Chrétienne, P., Les Problèmes d’Ordonnancement (1988), Masson: Masson Paris · Zbl 0494.90040
[3] Chrétienne, P., The basic cyclic scheduling problem with deadlines, Discrete Appl. Math., 30, 109-123 (1991) · Zbl 0729.90051
[4] Cohen, G.; Dubois, D.; Quadrat, J. P.; Viot, M., A linear system theoretic view of discrete event process and its use for performance evaluation in manufacturing, IEEE Trans. Automat. Control, 30, 3 (1985) · Zbl 0557.93005
[5] Eisenbeis, C., Optimization of horizontal microcode generation for loop structures, (Proceedings of the ACM International Conference on Super-computing. Proceedings of the ACM International Conference on Super-computing, Saint Malo, France (1988)), 453-565
[6] Eisenbeis, C.; Wang, J., Decomposed software pipelining: a new approach to exploit instruction level parallelism for loop programs, (Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism IFIPWG 10.3 (1993))
[7] Garey, M. R.; Johnson, D. S., Computers and Intractability: A Guide to the Theory of NP-Completeness (1979), Freeman: Freeman New York · Zbl 0411.68039
[8] Gasperoni, F.; Schwiegelsohn, U., Efficient algorithms for cyclic scheduling, IBM Technical report RC17068 (1991)
[9] C. Hanen, Study of a NP-hard cyclic scheduling problem: the recurrent job-shop, European J. Oper. Res., to appear.; C. Hanen, Study of a NP-hard cyclic scheduling problem: the recurrent job-shop, European J. Oper. Res., to appear. · Zbl 0801.90061
[10] Hillion, H.; Proth, J. M., Performance evaluation of job-shop systems using timed event graphs, IEEE Trans. Automat. Control, 1 (1989) · Zbl 0656.90054
[11] Lam, M., Software pipelining: an effective scheduling technique for VLIW machines, (Proceedings of the SIGPLAN’ 88 Conference on Prog. Language Design and Implementation. Proceedings of the SIGPLAN’ 88 Conference on Prog. Language Design and Implementation, Atlanta, GA (1988)), 318-328
[12] McNaughton, R., Scheduling with deadlines and loss functions, Management Sci., 12 (1959) · Zbl 1047.90504
[13] Matsuo, H., Cyclic sequencing problems in the two machines permutation flowshop: complexity, worst case and average case analysis, (T.R. Jan, 88 (1988), Graduate School of Business, University of Texas: Graduate School of Business, University of Texas Austin, TX)
[14] Munier, A., Résolution d’un problème d’ordonnancement cyclique à itérations indépendantes et constraintes de ressource, RAIRO Rech. Opér., 25, 2, 161-182 (1991) · Zbl 0726.90032
[15] Munshi, A.; Simmons, B., Scheduling loops on processors, algorithms and complexity, SIAM J. Comput., 19, 728-741 (1990) · Zbl 0697.68028
[16] Parhi, K. K.; Messerschmitt, D. G., Static rate-optimal scheduling of iterative data-flow programs via optimum unfolding, IEEE Trans. Comput., 40, 178-195 (1991)
[17] Roundy, R., Cyclic schedules for job-shops with identical jobs, Math Oper. Res. (1992) · Zbl 0770.90036
[18] Serafini, P.; Ukovich, W., A mathematical model for periodic scheduling problems, SIAM J. Discrete Math., 2-4 (1989) · Zbl 0676.90030
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.