WCET-Driven, Code-Size Critical Procedure Cloning

1 downloads 0 Views 163KB Size Report
Mar 14, 2008 - Paul Lokuciejewski, Heiko Falk,. Peter Marwedel. Computer Science 12. Dortmund University of Technology. D-44221 Dortmund, Germany.
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