A survey on cache management mechanisms for real-time embedded systems

G Gracioli, A Alhammad, R Mancuso… - ACM Computing …, 2015 - dl.acm.org
Multicore processors are being extensively used by real-time systems, mainly because of
their demand for increased computing power. However, multicore processors have shared …

Pipelined data-parallel CPU/GPU scheduling for multi-DNN real-time inference

Y Xiang, H Kim - 2019 IEEE Real-Time Systems Symposium …, 2019 - ieeexplore.ieee.org
Deep neural networks (DNNs) have been showing significant success in various
applications, such as autonomous driving, mobile devices, and Internet of Things. Although …

PALLOC: DRAM bank-aware memory allocator for performance isolation on multicore platforms

H Yun, R Mancuso, ZP Wu… - 2014 IEEE 19th Real …, 2014 - ieeexplore.ieee.org
DRAM consists of multiple resources called banks that can be accessed in parallel and
independently maintain state information. In Commercial Off-The-Shelf (COTS) multicore …

Bao: A lightweight static partitioning hypervisor for modern multi-core embedded systems

J Martins, A Tavares, M Solieri… - Workshop on next …, 2020 - drops.dagstuhl.de
Given the increasingly complex and mixed-criticality nature of modern embedded systems,
virtualization emerges as a natural solution to achieve strong spatial and temporal isolation …

Single core equivalent virtual machines for hard real—time computing on multicore processors

L Sha, M Caccamo, R Mancuso, JE Kim, MK Yoon… - 2014 - ideals.illinois.edu
The benefits of adopting emerging multicore processors include reductions in space, weight,
power, and cooling, while increasing CPU bandwidth per processor. However, the existing …

Coloris: a dynamic cache partitioning system using page coloring

Y Ye, R West, Z Cheng, Y Li - … of the 23rd international conference on …, 2014 - dl.acm.org
Shared caches in multicore processors are subject to contention from co-running threads.
The resultant interference can lead to highly-variable performance for individual …

A new approach to abstract syntax involving binders

M Gabbay, A Pitts - Proceedings. 14th Symposium on Logic in …, 1999 - ieeexplore.ieee.org
The Fraenkel-Mostowski permutation model of set theory with atoms (FM-sets) can serve as
the semantic basis of meta-logics for specifying and reasoning about formal systems …

Taming non-blocking caches to improve isolation in multicore real-time systems

PK Valsan, H Yun, F Farshchi - 2016 IEEE Real-Time and …, 2016 - ieeexplore.ieee.org
In this paper, we show that cache partitioning does not necessarily ensure predictable cache
performance in modern COTS multicore platforms that use non-blocking caches to exploit …

Deterministic memory hierarchy and virtualization for modern multi-core embedded systems

T Kloda, M Solieri, R Mancuso… - 2019 IEEE Real …, 2019 - ieeexplore.ieee.org
One of the main predictability bottlenecks of modern multi-core embedded systems is
contention for access to shared memory resources. Partitioning and software-driven …

Global scheduling not required: Simple, near-optimal multiprocessor real-time scheduling with semi-partitioned reservations

BB Brandenburg, M Gül - 2016 IEEE Real-Time Systems …, 2016 - ieeexplore.ieee.org
Prior work has identified several optimal algorithms for scheduling independent, implicit-
deadline sporadic (or periodic) real-time tasks on identical multiprocessors. These …