Schedcat is a Python/C++ library useful for schedulability experiments. It contains several schedulability tests for various real-time schedulers (including partitioned and global EDF, Pfair, etc.), partitioning heuristics, blocking term analysis for real-time locking protocols (including various spinlock types, the OMLP family, the FMLP and FMLP+, the MPCP, and the DPCP), and overhead accounting methods. Additionally, the library contains task set generation routines, task set serialization support, and various helper utilities that make developing schedulability experiments faster and less painful. This code is a refactored and cleaned-up version of the schedulability experiments provided at http://www.cs.unc.edu/ bbb/diss.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Leoncini, Mauro; Montangero, Manuela; Valente, Paolo: A parallel branch-and-bound algorithm to compute a tighter tardiness bound for preemptive global EDF (2019)
- Nemitz, Catherine E.; Amert, Tanya; Anderson, James H.: Real-time multiprocessor locks with nesting: optimizing the common case (2019)
- Valente, Paolo: Using a lag-balance property to tighten tardiness bounds for global EDF (2016)