Cache-aware compositional analysis of real-time multicore virtualization platforms

DOI10.1007/S11241-015-9223-2zbMATH Open1343.68039OpenAlexW2070147935MaRDI QIDQ892995FDOQ892995

Authors N. E. Zubov

Publication date 13 November 2015

Published in Real-Time Systems (Search for Journal in Brave)

Full work available at URL https://repository.upenn.edu/cgi/viewcontent.cgi?article=1817&context=cis_papers

zbMATH Keywords

interfacecompositional analysismulticorevirtualizationcache-aware

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Distributed systems (68M14)

Recommendations

• Timing analysis of concurrent programs running on shared cache multi-cores
• A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets
• Scalable and precise refinement of cache timing analysis via path-sensitive verification
• Isolation scheduling on multicores: model and scheduling approaches
• Cache-conscious offline real-time task scheduling for multi-core processors

Cites work

• A hierarchical multiprocessor bandwidth reservation scheme with timing guarantees
• Cache-aware compositional analysis of real-time multicore virtualization platforms
• Optimal virtual cluster-based multiprocessor scheduling
• Schedulability analysis of global EDF

Cited in

(7)

• Joint task assignment and cache partitioning with cache locking for WCET minimization on MPSoC
• Instruction cache locking for multi-task real-time embedded systems
• Cache-aware compositional analysis of real-time multicore virtualization platforms
• Virtually timed ambients: a calculus of nested virtualization
• scientific article; zbMATH DE number 2017350 (Why is no real title available?)
• Cache related pre-emption delays in hierarchical scheduling
• Fast Two-Level Address Translation for Virtualized Systems

Describes a project that uses

Uses Software

• LITMUS

This page was built for publication: Cache-aware compositional analysis of real-time multicore virtualization platforms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q892995)