Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

SlackCheck: A Linux Kernel Module to Verify Temporal Properties of a Task Schedule

Contributo in Atti di convegno
Data di Pubblicazione:
2024
Abstract:
The Linux Kernel offers several scheduling classes. From SCHED_DEADLINE down to SCHED_FIFO, SCHED_RR and SCHED_OTHER, the scheduling classes can provide different responsiveness to very diverse user workloads. Still, Linux does not offer any mechanism to take some action upon the violation of temporal constraints at runtime. The lack of such a feature is also due to the difficulty of extending the established notion of deadline to workloads which are not releasing periodic/sporadic jobs. Exploiting the notion of supply functions for any resource schedule, we implemented SlackCheck, a kernel module which is capable to verify at runtime if a given task is assigned a desired amount of resource or not. SlackCheck adds a constant-time check at every scheduling decision and leverages the recent availability of a Runtime Verification engine in the kernel.
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
bounded-delay resource partition; Linux scheduler; network calculus; real-time calculus; Runtime verification; service curve; supply function
Elenco autori:
Castrovilli M.; Bini E.
Autori di Ateneo:
BINI Enrico
Link alla scheda completa:
https://iris.unito.it/handle/2318/2000914
Link al Full Text:
https://iris.unito.it/retrieve/handle/2318/2000914/1350337/Bini_2024-ECRTS-slack.pdf
Titolo del libro:
Leibniz International Proceedings in Informatics, LIPIcs
Pubblicato in:
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS
Series
Progetto:
Future HPC & Big Data-finanziato con fondi PNRR MUR-M4C2-Investimento 1.4-Avviso"Centri Nazionali"-D.D.n.3138 del 16/12/2021 rettificato con DD n.3175 del 18/12/2021,codice MUR CN00000013, CUP D13C22001340001
  • Aree Di Ricerca

Aree Di Ricerca

Settori (3)


PE6_1 - Computer architecture, embedded systems, operating systems - (2022)

CIBO, AGRICOLTURA e ALLEVAMENTI - Farmacologia Veterinaria

INFORMATICA, AUTOMAZIONE e INTELLIGENZA ARTIFICIALE - Industria X.0
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0