Accurate ILP-based contention modeling on statically scheduled multicore systems

Xavier Palomo, Enrico Mezzetti, Jaume Abella, Reinder J. Bril, Francisco J. Cazorla

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Abstract

Commercially available Off The Shelf (COTS) multicores have been assessed as the baseline computing platform even in the most conservative real-time domains. Multicore contention arising on shared hardware resources, with its circular dependence with scheduling, is among the most challenging issues that require urgent attention before multicores can be fully embraced for real-time computing. In the context of static scheduling, still the most used scheduling approach in real-time industries, we propose an ILP formulation for computing the worst-case contention delay suffered by a task due to interference on a shared bus. Our model provides accurate contention delay bounds that avoid unnecessary over-accounting of conflicts between bus requests, by considering contention effects at system-level (i.e., across tasks) rather than at task-level only. This allows precisely capturing the interdependence between timing interference of conflicting requests, issued in parallel by other cores (tasks), and the identification of the particular set of tasks co-running on those cores. We assess our technique both analytically and empirically on a real COTS multicore platform. We show, via extensive evaluation, that jointly accounting for worst-case task overlapping and request distribution scenarios always provides tighter contention bounds when compared to state-of-the-art solutions.

Original languageEnglish
Title of host publicationProceedings - 25th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2019
EditorsBjorn B. Brandenburg
Place of PublicationPiscataway
PublisherInstitute of Electrical and Electronics Engineers
Pages15-28
Number of pages14
ISBN (Electronic)978-1-7281-0678-6
DOIs
Publication statusPublished - 1 Apr 2019
Event25th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2019 - Montreal, Canada
Duration: 16 Apr 201918 Apr 2019

Conference

Conference25th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2019
CountryCanada
CityMontreal
Period16/04/1918/04/19

    Fingerprint

Keywords

  • COTS
  • ILP
  • Multicore contention
  • Static scheduling

Cite this

Palomo, X., Mezzetti, E., Abella, J., Bril, R. J., & Cazorla, F. J. (2019). Accurate ILP-based contention modeling on statically scheduled multicore systems. In B. B. Brandenburg (Ed.), Proceedings - 25th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2019 (pp. 15-28). [8743282] Piscataway: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/RTAS.2019.00010