WCET-Driven, Code-Size Critical Procedure Cloning - Semantic Scholar

6 downloads 7427 Views 163KB Size Report
Mar 14, 2008 - Computer Science 12. Embedded Systems Group. SCOPES 2008. Outline. ▫ Introduction. ▫ Motivating examples. ▫ Standard Procedure Cloning.
Computer Science 12 Embedded Systems Group

WCET-Driven, Code-Size Critical Procedure Cloning

Paul Lokuciejewski, Heiko Falk, Peter Marwedel Computer Science 12 Dortmund University of Technology D-44221 Dortmund, Germany

© P. Lokuciejewski | 14-Mar-08

Henrik Theiling AbsInt Angewandte Informatik Science Park 1 D-66123 Saarbrücken, Germany

SCOPES 2008

Computer Science 12 Embedded Systems Group

Outline  Introduction  Motivating examples  Standard Procedure Cloning  Problems

 WCET-Driven Procedure Cloning  Algorithm  Experimental Environment

 Results  Conclusions & Future Work

© P. Lokuciejewski | 14-Mar-08

SCOPES 2008

Slide 2 / 19

Computer Science 12 Embedded Systems Group

Introduction  Embedded Systems used as Real-Time Systems  WCET is a key parameter  Crucial for safety-critical systems  Required for task scheduling  Enables effective design and utilization of hardware

 Estimation by static WCET analysis  Requires loop iteration counts (flow facts)

 Common Flow Fact Format  min/max interval  Global minimum/maximum of loop iteration counts © P. Lokuciejewski | 14-Mar-08

SCOPES 2008

Slide 3 / 19

Computer Science 12 Embedded Systems Group

WCET Overestimation

int intf(int f(intn)n){{… … for(i=0; for(i=0;i