Scheduling Games for Concurrent Systems

Kasper Dokter*, Sung-Shik Jongmans, Farhad Arbab

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review


A scheduler is an algorithm that assigns at any time a set of processes to a set of processors. Processes usually interact with each other, which introduces dependencies amongst them. Typically, such dependencies induce extra delays that the scheduler needs to avoid. Specific types of applications, like streaming applications, synthesize a scheduler from a formal model that is aware of these interactions. However, such interaction-specific information is not available for general types of applications. In this paper, we propose an interaction aware scheduling framework for generic concurrent applications. We formalize the amount of work performed by an application as constraints. We use these constraints to generate a graph, and view scheduler synthesis as solving a game on this graph that is played between the scheduler and the application. We illustrate that our framework is expressive enough to subsume an established scheduling framework for streaming programs.
Original languageEnglish
Title of host publicationCoordination Models and Languages
Subtitle of host publication18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
EditorsAlberto Lluch Lafuente, José Proença
Place of PublicationCham
PublisherSpringer International Publishing
Number of pages17
ISBN (Electronic)9783319395197
ISBN (Print)9783319395180
Publication statusPublished - 2016
Event18th IFIP International Conference on Coordination Models and Languages: Coordination 2016 - Heraklion, Greece
Duration: 6 Jun 20169 Jun 2016
Conference number: 18

Publication series

SeriesLecture Notes in Computer Science (LNCS) series
SeriesProgramming and Software Engineering LNPSE


Conference18th IFIP International Conference on Coordination Models and Languages
Internet address


Dive into the research topics of 'Scheduling Games for Concurrent Systems'. Together they form a unique fingerprint.

Cite this