Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies

Abstract : The major research in the resource management literature focuses primarily on two complementary sub-problems: (1) specification languages for formulating resource requests and (2) constraint problems modelling allocation and scheduling. Both directions assume the knowledge of the underlying platform architecture and the dependencies it induces on the usage of the various resources. In this paper, we bridge this gap by introducing constraint-flow nets (cfNets). A cfNet is defined by a set of resources and dependencies between them, each dependency having an associated constraint schema. The model is inspired by Petri nets, with resources corresponding to places and dependencies—to transitions. Given an architecture of dependent resources, an initial resource request is propagated through the dependencies. The generated constraints are then conjuncted into the global allocation constraint. We study the notion of conflicts in cfNets and prove that for conflict-free cfNets the global allocation constraint can be constructed unambiguously. Furthermore, we provide an SMT-based algorithm for conflict detection and discuss the use of priorities to dynamically resolve conflicts at run-time. Finally, we illustrate the use of cfNets on a case study inspired by the Kalray MPPA architecture.
Type de document :
Communication dans un congrès
Jean-Marie Jacquet; Mieke Massink. 19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. Springer International Publishing, Lecture Notes in Computer Science, LNCS-10319, pp.197-216, 2017, Coordination Models and Languages. 〈10.1007/978-3-319-59746-1_11〉
Liste complète des métadonnées

Littérature citée [31 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01657340
Contributeur : Hal Ifip <>
Soumis le : mercredi 6 décembre 2017 - 15:47:29
Dernière modification le : mercredi 6 décembre 2017 - 15:49:47

Fichier

 Accès restreint
Fichier visible le : 2020-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Simon Bliudze, Alena Simalatsar, Alina Zolotukhina. Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies. Jean-Marie Jacquet; Mieke Massink. 19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. Springer International Publishing, Lecture Notes in Computer Science, LNCS-10319, pp.197-216, 2017, Coordination Models and Languages. 〈10.1007/978-3-319-59746-1_11〉. 〈hal-01657340〉

Partager

Métriques

Consultations de la notice

121