Protocol Scheduling - Fundamentals of Software Engineering
Conference Papers Year : 2021

Protocol Scheduling

Kasper Dokter
  • Function : Author
  • PersonId : 1030366

Abstract

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
Origin Files produced by the author(s)

Dates and versions

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

Licence

Identifiers

Cite

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⟩
25 View
7 Download

Altmetric

Share

More