NDLI: A synergetic approach to accurate analysis of cache-related preemption delay

Please wait, while we are loading the content...

Challenges and potential solutions for complex embedded systems

Heterogeneous actor modeling

Repeatability, reproducibility, and rigor in systems research

Automated distributed implementation of component-based models with priorities

On under-determined dynamical systems

Precise control flow reconstruction using boolean logic

From boolean to quantitative synthesis

Reliability-aware frame packing for the static segment of flexray

Software certification: coding, code, and coders

Demand bound server: generalized resource reservation for hard real-time systems

Cross-layer analysis, testing and verification of automotive control software

Formal verification of hybrid systems

Performance-aware scheduler synthesis for control systems

Symbolic simulation on complicated loops for WCET path analysis

Timing and schedulability analysis for distributed automotive control applications

Resource allocation contracts for open analytic runtime models

RT-Xen: towards real-time hypervisor scheduling in xen

Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks

Computing semi-algebraic invariants for polynomial dynamical systems

Automated addition of fault recovery to cyber-physical component-based models

Safety-assured development of the GPCA infusion pump software

Multi-level hierarchical scheduling in ethernet switches

New challenges in certification for aircraft software

Real-time communication analysis for networks with two-stage arbitration

Model-checking behavioral programs

Synchronous control of reconfiguration in fractal component-based systems: a case study

A synergetic approach to accurate analysis of cache-related preemption delay

Time-predictable and composable architectures for dependable embedded systems

A practical ontology framework for static model analysis

Aciom: application characteristics-aware disk and network i/o management on android platform

Task synchronization and allocation for many-core real-time systems

Synthesis of optimal switching logic for hybrid systems

A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code

Relating average and discounted costs for quantitative analysis of timed systems

Hard-real-time scheduling of data-dependent tasks in embedded streaming applications

Software certification experience in the canadian nuclear industry: lessons for the future

Dynamic scheduling algorithm and its schedulability analysis for certifiable dual-criticality systems

ARMor: fully verified software fault isolation

ExLRU: a unified write buffer cache management for flash memory

Challenges in the regulatory approval of medical cyber-physical systems

A synergetic approach to accurate analysis of cache-related preemption delay

Content Provider	ACM Digital Library
Author	Marwedel, Peter Falk, Heiko Kleinsorge, Jan C.
Abstract	The worst-case execution time (WCET) of a task denotes the largest possible execution time for all possible inputs and thus, hardware states. For non-preemptive multitask scheduling, techniques for the static estimation of safe upper bounds have been subject to industrial practice for years. For preemptive scheduling however, the isolated analysis of tasks becomes imprecise as interferences among tasks cannot be considered with sufficient precision. For such scenarios, the cache-related preemption delay (CRPD) denotes a key metric as it reflects the effects of preemptions on the execution behavior of a single task. Until recently, proposals for CRPD analyses were often limited to direct mapped caches or comparably imprecise for k-way set-associative caches. In this paper, we propose how the current best techniques for CRPD analysis, which have only been proposed separately and for different aspects of the analysis can be brought together to construct an efficient CRPD analysis with unique properties. Moreover, along the construction, we propose several different enhancements to the methods employed. We also exploit that in a complete approach, analysis steps are synergetic and can be combined into a single analysis pass solving all formerly separate steps at once. In addition, we argue that it is often sufficient to carry out the combined analysis on basic block bounds, which further lowers the overall complexity. The result is a proposal for a fast CRPD analysis of very high accuracy.
Starting Page	329
Ending Page	338
Page Count	10
File Format	PDF
ISBN	9781450307147
DOI	10.1145/2038642.2038693
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2011-10-09
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Cache-related preemption delay Static analysis Multitasking Useful cache blocks
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

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