Skip to main content
Top
Published in: Journal of Scheduling 3/2015

01-06-2015

The impact of core precedences in a cyclic RCPSP with precedence delays

Authors: Zdenek Hanzalek, Claire Hanen

Published in: Journal of Scheduling | Issue 3/2015

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

In this paper, we introduce a new kind of constraint, called a core precedence constraint, in a cyclic resource-constrained project scheduling problem (RCPSP) with precedence delays. We show, by an example, which kind of industrial constraints might be modeled by such core precedences in a periodic production setting. We then establish that these constraints can be quite easily added to an integer linear programming formulation of the cyclic RCPSP. Although core precedences seem to be very similar to classical precedence, they can induce infeasibility even without resource constraints. Moreover, we show that the feasibility checking problem is NP-complete in the strong sense, even assuming unit processing times and no resource constraints.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
go back to reference Allan, V. H., Jones, R. B., Lee, R. M., & Allan, S. J. (1995). Software pipelining. ACM Computing Surveys, 27(3), 367–432.CrossRef Allan, V. H., Jones, R. B., Lee, R. M., & Allan, S. J. (1995). Software pipelining. ACM Computing Surveys, 27(3), 367–432.CrossRef
go back to reference Ayala, M., & Artigues, C. (2010). On integer linear programming formulations for the resource-constrained modulo scheduling problem. LAAS report 10393. Ayala, M., & Artigues, C. (2010). On integer linear programming formulations for the resource-constrained modulo scheduling problem. LAAS report 10393.
go back to reference Ayala, M., Benabid, A., Artigues, C., & Hanen, C. (2013). The resource-constrained modulo scheduling problem: An experimental study. Computational Optimization and Applications, 54(3), 645–673. doi:10.1007/s10589-012-9499-2.CrossRef Ayala, M., Benabid, A., Artigues, C., & Hanen, C. (2013). The resource-constrained modulo scheduling problem: An experimental study. Computational Optimization and Applications, 54(3), 645–673. doi:10.​1007/​s10589-012-9499-2.CrossRef
go back to reference Behrmann, G., Brinksma, E., Hendriks, M., & Mader, A. (2005). Production scheduling by reachability analysis: A case study. Workshop on Parallel and Distributed Real-Time Systems (WPDRTS) (p. 140.1). Los Alamitos: IEEE Computer Society Press. Behrmann, G., Brinksma, E., Hendriks, M., & Mader, A. (2005). Production scheduling by reachability analysis: A case study. Workshop on Parallel and Distributed Real-Time Systems (WPDRTS) (p. 140.1). Los Alamitos: IEEE Computer Society Press.
go back to reference Benabid, A., & Hanen, C. (2011). Worst case analysis of decomposed software pipelining for cyclic unitary rcpsp with precedence delays. Journal of Scheduling, 14(5), 511–522.CrossRef Benabid, A., & Hanen, C. (2011). Worst case analysis of decomposed software pipelining for cyclic unitary rcpsp with precedence delays. Journal of Scheduling, 14(5), 511–522.CrossRef
go back to reference Bonfietti, A., Lombardi, M., Benini, L., & Milano, M. (2011). A constraint based approach to cyclic rcpsp. In CP’11, pp. 130–144. Bonfietti, A., Lombardi, M., Benini, L., & Milano, M. (2011). A constraint based approach to cyclic rcpsp. In CP’11, pp. 130–144.
go back to reference Calland, P. Y., Darte, A., & Robert, Y. (1998). Circuit retiming applied to decomposed software pipelining. IEEE Transactions on Parallel and Distributed Systems, 9(1), 24–35. doi:10.1109/71.655240.CrossRef Calland, P. Y., Darte, A., & Robert, Y. (1998). Circuit retiming applied to decomposed software pipelining. IEEE Transactions on Parallel and Distributed Systems, 9(1), 24–35. doi:10.​1109/​71.​655240.CrossRef
go back to reference Dasdan, A., Irani, S., & Gupta, R. K. (1999). Efficient algorithms for optimum cycle mean and optimum cost to time ratio problems. In: Design Automation Conference (pp. 37–42). Dasdan, A., Irani, S., & Gupta, R. K. (1999). Efficient algorithms for optimum cycle mean and optimum cost to time ratio problems. In: Design Automation Conference (pp. 37–42).
go back to reference Dupont de Dinechin, B., Artigues, C., & Azem, S. (2008). Resource constrained modulo scheduling. In C. Artigues, S. Demassey, & E. Neron (Eds.), Resource-constrained project scheduling: models, algorithms, extensions and applications, control systems, robotics and manufacturing series (pp. 267–277). London: ISTE and Wiley.CrossRef Dupont de Dinechin, B., Artigues, C., & Azem, S. (2008). Resource constrained modulo scheduling. In C. Artigues, S. Demassey, & E. Neron (Eds.), Resource-constrained project scheduling: models, algorithms, extensions and applications, control systems, robotics and manufacturing series (pp. 267–277). London: ISTE and Wiley.CrossRef
go back to reference Dupont de Dinechin, B. (2004). From machine scheduling to vliw instruction scheduling. ST Journal of Research, 1(2), 1–35. Dupont de Dinechin, B. (2004). From machine scheduling to vliw instruction scheduling. ST Journal of Research, 1(2), 1–35.
go back to reference Dupont de Dinechin, B. (2007). Time-indexed formulations and a large neighborhood search for the resource-constrained modulo scheduling problem. In P. Baptiste, G. Kendall, A. Munier-Kordon, & F. Sourd (Eds.), 3rd Multidisciplinary International Scheduling Conference: Theory and Applications. Dupont de Dinechin, B. (2007). Time-indexed formulations and a large neighborhood search for the resource-constrained modulo scheduling problem. In P. Baptiste, G. Kendall, A. Munier-Kordon, & F. Sourd (Eds.), 3rd Multidisciplinary International Scheduling Conference: Theory and Applications.
go back to reference Eichenberger, A., & Davidson, E. (1997). Efficient formulation for optimal modulo schedulers. SIGPLAN-PLDI’97. Eichenberger, A., & Davidson, E. (1997). Efficient formulation for optimal modulo schedulers. SIGPLAN-PLDI’97.
go back to reference Gasperoni, F., & Schwiegelshohn, U. (1994). Generating close to optimum loop schedules on parallel processors. Parallel Processing Letters, 4, 391–403.CrossRef Gasperoni, F., & Schwiegelshohn, U. (1994). Generating close to optimum loop schedules on parallel processors. Parallel Processing Letters, 4, 391–403.CrossRef
go back to reference Hanen, C., & Munier, A. (1994). Cyclic scheduling on parallel processors: An overview. In P. Chrétienne, E. G. Coffman, J. K. Lenstra, & Z. Liu (Eds.), Scheduling theory and its applications. Chichester: Wiley. Hanen, C., & Munier, A. (1994). Cyclic scheduling on parallel processors: An overview. In P. Chrétienne, E. G. Coffman, J. K. Lenstra, & Z. Liu (Eds.), Scheduling theory and its applications. Chichester: Wiley.
go back to reference Hanzalek, Z., & Jurcik, P. (2010). Energy efficient scheduling for cluster-tree wireless sensor networks with time-bounded data flows: Application to ieee 802.15.4/zigbee. IEEE Transactions on Industrial Informatics, 6(3), 438–450. doi:10.1109/TII.2010.2050144.CrossRef Hanzalek, Z., & Jurcik, P. (2010). Energy efficient scheduling for cluster-tree wireless sensor networks with time-bounded data flows: Application to ieee 802.15.4/zigbee. IEEE Transactions on Industrial Informatics, 6(3), 438–450. doi:10.​1109/​TII.​2010.​2050144.CrossRef
go back to reference Herroelen, W., & Leus, R. (2004). Robust and reactive project scheduling: A review and classification of procedures. International Journal of Production Research, 42(8), 1599–1620.CrossRef Herroelen, W., & Leus, R. (2004). Robust and reactive project scheduling: A review and classification of procedures. International Journal of Production Research, 42(8), 1599–1620.CrossRef
go back to reference Huff, R. A. (1993). Lifetime-sensitive modulo scheduling. In Proceedings of the ACM SIGPLAN ’93 Conference on Programming Language Design and Implementation (pp. 258–267). Huff, R. A. (1993). Lifetime-sensitive modulo scheduling. In Proceedings of the ACM SIGPLAN ’93 Conference on Programming Language Design and Implementation (pp. 258–267).
go back to reference Levner, E., Kats, V., & de Pablo, D. A. L. (2007). Cyclic scheduling in robotic cells: An extension of basic models in machine scheduling theory. In E. Levner (Ed.), Multiprocessor scheduling: Theory and applications (pp. 1–20). Vienna: I-Tech Education and Publishing.CrossRef Levner, E., Kats, V., & de Pablo, D. A. L. (2007). Cyclic scheduling in robotic cells: An extension of basic models in machine scheduling theory. In E. Levner (Ed.), Multiprocessor scheduling: Theory and applications (pp. 1–20). Vienna: I-Tech Education and Publishing.CrossRef
go back to reference Munier-Kordon, A. (2010). A graph-based analysis of the cyclic scheduling problem with time constraints: Schedulability and periodicity of the earliest schedule. Journal of Scheduling, 1–15. doi:10.1007/s10951-009-0159-z. Munier-Kordon, A. (2010). A graph-based analysis of the cyclic scheduling problem with time constraints: Schedulability and periodicity of the earliest schedule. Journal of Scheduling, 1–15. doi:10.​1007/​s10951-009-0159-z.
go back to reference Proth, J. M., & Xie, X. (1995). Modélisation, analyse et optimisation des systèmes à fonctionnement cyclique. Masson (1995). Proth, J. M., & Xie, X. (1995). Modélisation, analyse et optimisation des systèmes à fonctionnement cyclique. Masson (1995).
go back to reference Rau, B. R. (1994). Iterative modulo scheduling: An algorithm for software pipelining loops. In Proceedings of the 27th Annual International Symposium on Microarchitecture (MICRO 27) (pp. 63–74). New York, NY: ACM. Rau, B. R. (1994). Iterative modulo scheduling: An algorithm for software pipelining loops. In Proceedings of the 27th Annual International Symposium on Microarchitecture (MICRO 27) (pp. 63–74). New York, NY: ACM.
go back to reference Robert, Y., & Vivien, F. (2009). Introduction to scheduling. Boca Raton, FL: CRC Press.CrossRef Robert, Y., & Vivien, F. (2009). Introduction to scheduling. Boca Raton, FL: CRC Press.CrossRef
go back to reference Smelyanskiy, M., Mahlke, S., & Davidson, E. (2004). Probabilistic predicate -aware modulo scheduling. In International Symposium on Code Generation and Optimization: Feedback-Directed and Runtime Optimization. Smelyanskiy, M., Mahlke, S., & Davidson, E. (2004). Probabilistic predicate -aware modulo scheduling. In International Symposium on Code Generation and Optimization: Feedback-Directed and Runtime Optimization.
go back to reference Wang, J., Eisenbeis, C., Jourdan, M., & Su, B. (1994). Decomposed software pipelining: A new perspective and a new approach. International Journal of Parallel Programming, 22(3), 351–373. doi:10.1007/BF02577737.CrossRef Wang, J., Eisenbeis, C., Jourdan, M., & Su, B. (1994). Decomposed software pipelining: A new perspective and a new approach. International Journal of Parallel Programming, 22(3), 351–373. doi:10.​1007/​BF02577737.CrossRef
Metadata
Title
The impact of core precedences in a cyclic RCPSP with precedence delays
Authors
Zdenek Hanzalek
Claire Hanen
Publication date
01-06-2015
Publisher
Springer US
Published in
Journal of Scheduling / Issue 3/2015
Print ISSN: 1094-6136
Electronic ISSN: 1099-1425
DOI
https://doi.org/10.1007/s10951-014-0399-4

Other articles of this Issue 3/2015

Journal of Scheduling 3/2015 Go to the issue