Protocol Scheduling - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Protocol Scheduling

Kasper Dokter
  • Fonction : Auteur
  • PersonId : 1030366

Résumé

Interactions amongst different processes in concurrent software are governed by a protocol. The blocking I/O operations involved in a protocol may temporarily suspend the execution of some processes in an application. Scheduling consists of the allocation of available processors to the appropriate non-suspended processes in an application, such that some specified criteria (e.g., shortest execution time or highest throughput) are met. We use a generic, game-theoretic scheduling framework to find optimal non-preemptive schedules for an application. We then show how such schedules themselves can be encoded as protocols, which in our framework, can be composed with the original application protocol. The resulting composed protocol restricts the number of ready processes to the number of available processors, which enables standard preemptive schedulers of modern operating-systems to closely approximate the behavior and the performance of the optimal non-preemptive scheduler of the application. We evaluate our work by comparing the throughput of two versions of a cyclo-static dataflow network: one version with the usual protocol, and the other version with a restricted protocol.
Fichier principal
Vignette du fichier
506725_1_En_1_Chapter.pdf (463.28 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04074514 , version 1 (19-04-2023)

Licence

Paternité

Identifiants

Citer

Kasper Dokter, Farhad Arbab. Protocol Scheduling. 9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.3-17, ⟨10.1007/978-3-030-89247-0_1⟩. ⟨hal-04074514⟩
12 Consultations
1 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More