Paper Info
Title
SPeCK: a kernel for scalable predictability
Abstract
Multi- and many-core systems are increasingly prevalent in embedded systems. Additionally, isolation requirements between different partitions and criticalities are gaining in importance. This difficult combination is not well addressed by current software systems. Parallel systems require consistency guarantees on shared data-structures often provided by locks that use predictable resource sharing protocols. However, as the number of cores increase, even a single shared cache-line (e.g. for the lock) can cause significant interference. In this paper, we present a clean-slate design of the SPeCK kernel, the next generation of our COMPOSITE OS, that attempts to provide a strong version of scalable predictability - where predictability bounds made on a single core, remain constant with an increase in cores. Results show that, despite using a non-preemptive kernel, it has strong scalable predictability, low average-case overheads, and demonstrates better response-times than a state-of-the-art preemptive system.
Year
DOI
Venue
2015
10.1109/RTAS.2015.7108434
RTAS
Field
DocType
Citations 
Kernel (linear algebra),Single-core,Predictability,Synchronization,Computer science,Instruction set,Parallel computing,Real-time computing,Software system,Shared resource,Distributed computing,Scalability
Conference
11
PageRank 
References 
Authors
0.55
12
4
Name
Order
Citations
PageRank
Qi Wang1160.96
Yuxin Ren2294.49
Matt Scaperoth3110.55
Gabriel Parmer419018.88