Using Polyhedral Techniques to Tighten WCET Estimates of Optimized Code: A Case Study with Array Contraction

Thomas Lefeuvre; Emin Kasnakli; Imen Fassi; Isabelle Puaut; Christoph Cullmann; Steven Derrien; Gernot Gebhard

Using Polyhedral Techniques to Tighten WCET Estimates of Optimized Code: A Case Study with Array Contraction

Thomas Lefeuvre ¹ Emin Kasnakli ² Imen Fassi ^{1, 3} Isabelle Puaut ^{1, 3} Christoph Cullmann ⁴ Steven Derrien ^{1, 5} Gernot Gebhard ⁴

1 UNIV-RENNES - Université de Rennes

2 Fraunhofer-Institut für Integrierte Schaltungen IIS - Fraunhofer IIS

3 PACAP - Pushing Architecture and Compilation for Application Performance

Inria Rennes – Bretagne Atlantique , IRISA_D3 - ARCHITECTURE

4 Angewandte Informatik - AbsInt GmbH

5 CAIRN - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources

Inria Rennes – Bretagne Atlantique , IRISA_D3 - ARCHITECTURE

Abstract : The ARGO H2020 European project aims at developing a Worst-Case Execution Time (WCET)-aware parallelizing compilation toolchain. This toolchain operates on Scilab and XCoS inputs, and targets ScratchPad memory (SPM)-based multi-cores. Data-layout and loop transformations play a key role in this flow as they improve SPM efficiency and reduce the number of accesses to shared main memory. In this paper, we study how these transformations impact WCET estimates of sequential codes. We demonstrate that they can bring significant improvements of WCET estimates (up to 2.7×) provided that the WCET analysis process is guided with automatically generated flow annotations obtained using polyhedral counting techniques.

Document type :

Conference papers

Domain :

Computer Science [cs] / Hardware Architecture [cs.AR]

Computer Science [cs] / Embedded Systems

Complete list of metadatas

Cited literature [14 references] Display Hide Download

https://hal.inria.fr/hal-01815499
Contributor : Isabelle Puaut <>
Submitted on : Thursday, June 14, 2018 - 11:12:40 AM
Last modification on : Thursday, November 15, 2018 - 11:58:57 AM
Long-term archiving on : Monday, September 17, 2018 - 10:33:04 AM

DATE_2018.pdf

Files produced by the author(s)

Using Polyhedral Techniques to Tighten WCET Estimates of Optimized Code: A Case Study with Array Contraction

File

Identifiers

Collections

Citation

Export

Metrics

714

124

Contact

Using Polyhedral Techniques to Tighten WCET Estimates of Optimized Code: A Case Study with Array Contraction

File

Identifiers

Collections

Citation

Export

Share

Metrics

714

124

Contact