NDLI: On the effectiveness of cache partitioning in hard real-time systems

Content Provider	Springer Nature Link
Author	Altmeyer, Sebastian Douma, Roeland Lunniss, Will Davis, Robert I.
Copyright Year	2015
Abstract	In hard real-time systems, cache partitioning is often suggested as a means of increasing the predictability of caches in pre-emptively scheduled systems: when a task is assigned its own cache partition, inter-task cache eviction is avoided, and timing verification is reduced to the standard worst-case execution time analysis used in non-pre-emptive systems. The downside of cache partitioning is the potential increase in execution times. In this paper, we evaluate cache partitioning for hard real-time systems in terms of overall schedulability. To this end, we examine the sensitivity of (i) task execution times and (ii) pre-emption costs to the size of the cache partition allocated and present a cache partitioning algorithm that is optimal with respect to taskset schedulability. We also devise an alternative algorithm which primarily optimises schedulability but also minimises processor utilization. We evaluate the performance of cache partitioning compared to state-of-the-art pre-emption cost analysis based on benchmark code and on a large number of synthetic tasksets with both fixed priority and EDF scheduling. This allows us to derive general conclusions about the usability of cache partitioning and identify taskset and system parameters that influence the relative effectiveness of cache partitioning. We also examine the improvement in processor utilization obtained using an alternative cache partitioning algorithm, and the tradeoff in terms of increased analysis time.
Starting Page	598
Ending Page	643
Page Count	46
File Format	PDF
ISSN	09226443
Journal	Real-Time Systems
Volume Number	52
Issue Number	5
e-ISSN	15731383
Language	English
Publisher	Springer US
Publisher Date	2016-01-06
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Timing verification Cache partitioning WCET analysis Real-time scheduling Computer Systems Organization and Communication Networks Communications Engineering, Networks Special Purpose and Application-Based Systems Performance and Reliability Control, Robotics, Mechatronics
Content Type	Text
Resource Type	Article
Subject	Control and Optimization Computer Networks and Communications Control and Systems Engineering Electrical and Electronic Engineering Computer Science Applications Modeling and Simulation

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

On the effectiveness of cache partitioning in hard real-time systems

Static probabilistic timing analysis for real-time systems using random replacement caches

Data cache organization for accurate timing analysis

Memory-centric scheduling for multicore hard real-time systems

Timing analysis of concurrent programs running on shared cache multi-cores

Scheduling of hard real-time garbage collection

Scalable and precise refinement of cache timing analysis via path-sensitive verification

Timing predictability of cache replacement policies

Special issue on scheduling and timing analysis for advanced real-time systems

On the effectiveness of cache partitioning in hard real-time systems

Similar Documents

On the effectiveness of cache partitioning in hard real-time systems

Static probabilistic timing analysis for real-time systems using random replacement caches

Data cache organization for accurate timing analysis

Memory-centric scheduling for multicore hard real-time systems

Timing analysis of concurrent programs running on shared cache multi-cores

Scheduling of hard real-time garbage collection

Scalable and precise refinement of cache timing analysis via path-sensitive verification

Timing predictability of cache replacement policies

Special issue on scheduling and timing analysis for advanced real-time systems

On the effectiveness of cache partitioning in hard real-time systems