Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies
 
conference paper

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

Bliudze, Simon  
•
Simalatsar, Alena  
•
Zolotukhina, Alina  
Jacquet, Jean-Marie
•
Massink, Mieke
2017
Proceedings of the 19th International Conference on Coordination Languages and Models
19th International Conference on Coordination Languages and Models

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.

  • Files
  • Details
  • Metrics
Type
conference paper
DOI
10.1007/978-3-319-59746-1_11
Author(s)
Bliudze, Simon  
Simalatsar, Alena  
Zolotukhina, Alina  
Editors
Jacquet, Jean-Marie
•
Massink, Mieke
Date Issued

2017

Publisher

Springer International Publishing

Published in
Proceedings of the 19th International Conference on Coordination Languages and Models
Series title/Series vol.

Lecture Notes in Computer Science; 10319

Start page

197

End page

216

Subjects

Resource management

•

Resource dependencies

•

Constraint-flow nets

•

Petri nets

•

Marking reachability

•

Conflict detection

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LCA2  
RISD  
Event nameEvent placeEvent date
19th International Conference on Coordination Languages and Models

Neuchâtel, Switzerland

June 19-21, 2017

Available on Infoscience
September 1, 2017
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/139950
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés