SPECK A Kernel for Scalable Predictability (rtas15speck) 计算机科学

SPECK: a Kernel for Scalable PredictabilityQi Wang, Yuxin Ren, Matt Scaperoth, Gabriel Parmer The George Washington UniversityWashington, DC {interwq,ryx,mscapero,gparmer}@gwu.eduAbstract—Multi- and many-core systems are increasingly prevalent in embedded systems. Additionally, isolation require- ments between different partitions and criticalities are gaining in importance. This difficult combination is not well addressed by current software systems. Parallel systems require consistency guarant