SPeCK: a kernel for scalable predictability

Qi Wang, Yuxin Ren, Matt Scaperoth, Gabriel Parmer
<span title="">2015</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bb6eqaqalrhaffew6gpk6h6wue" style="color: black;">21st IEEE Real-Time and Embedded Technology and Applications Symposium</a> </i> &nbsp;
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
more &raquo; ... 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.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/rtas.2015.7108434">doi:10.1109/rtas.2015.7108434</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/rtas/WangRSP15.html">dblp:conf/rtas/WangRSP15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/urfk4jxbzbcorfrsvdtch5snwy">fatcat:urfk4jxbzbcorfrsvdtch5snwy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160519131304/https://www.seas.gwu.edu/%7Egparmer/publications/rtas15speck.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/db/5d/db5d662159597b5494fcaf58ebd63539fedce5b1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/rtas.2015.7108434"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>