%0 Conference Proceedings
%T Scheduling Games for Concurrent Systems
%+ Centrum voor Wiskunde en Informatica (CWI)
%+ Open University of the Netherlands [Heerlen]
%+ Radboud University [Nijmegen]
%A Dokter, Kasper
%A Jongmans, Sung-Shik
%A Arbab, Farhad
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 18th International Conference on Coordination Languages and Models (COORDINATION)
%C Heraklion, Greece
%Y Alberto Lluch Lafuente
%Y José Proença
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-9686
%P 84-100
%8 2016-06-06
%D 2016
%R 10.1007/978-3-319-39519-7_6
%K Scheduling
%K Game theory
%K Synthesis
%K Constraint automata
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01631719/document
%2 https://inria.hal.science/hal-01631719/file/416253_1_En_6_Chapter.pdf
%L hal-01631719
%U https://inria.hal.science/hal-01631719
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-9686