by Sihyeong Park on 2020-01-06 17:02:55
Date: 2020. 01. 13 (Mon) 15:00
Locate: EB5. 533
Presenter: Sihyeong Park
Title: Cache Locking Content Selection Algorithms for ARINC-653 Compliant RTOS
ACM Transactions on Embedded Computing Systems (TECS) 18.5s (2019): 76.
Author: Alexy Torres Aurora Dugo, Jean Baptiste Lefoul, Felipe Göhring De Magalhães, Dahman Assal, Gabriela Nicolescu
Abstract: Avionic software is the subject of stringent real time, determinism and safety constraints. Software designers face several challenges, one of them being the interferences that appear in common situations, such as resource sharing. The interferences introduce non-determinism and delays in execution time. One of the main interference prone resources are cache memories. In single-core processors, caches comprise multiple private levels. This breaks the isolation principle imposed by avionic standards, such as the ARINC-653. This standard defines partitioned architectures where one partition should never directly interfere with another one. In cache-based architectures, one partition can modify the cache content of another partition. In this paper, we propose a method based on cache locking to reduce the non-determinism and the contention on lower level memories while improving the time performances.