Mobile 180 Views

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.

Article source: //