Portable worst-case execution time analysis using Java']Java Byte Code

被引：16

作者：

Bernat, G ^{[1
]}

Burns, A ^{[1
]}

Wellings, A ^{[1
]}

机构：

[1] Univ York, Dept Comp Sci, Real Time Syst Res Grp, York YO1 5DD, N Yorkshire, England

来源：

EUROMICRO RTS 2000: 12TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS | 2000年

关键词：

D O I：

10.1109/EMRTS.2000.853995

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

In this paper we address the problem of performing worst case execution time (WCET) analysis of Java Byte Code (JBC) which may be generated from different compilers and from different compilers and from different source languages. The motivation for the framework presented is to provide WCET analysis which is portable and therefore more likely to be used in an industrial context. Two issues are addressed in this paper, how to extract data flow and control flow information from JBC programs and how to provide a compiler/language independent mechanism to introduce WCET annotations in the source code. We show that an annotation mechanism based on calls to a static class with empty methods result in similar code when generated by Java or Ada compilers.

引用

页码：81 / 88

页数：4

共 12 条

[1]

CARRE BA, 1992, SPARK SPADE ADA KERN

[2] Combining static worst-case timing analysis and program proof [J].

Chapman, R ;

Burns, A ;

Wellings, A .

REAL-TIME SYSTEMS, 1996, 11 (02) :145-171

[3]

ENGBLOM J, 1999, 109 DOCS UPPS U

[4]

HSIEH CHA, 1997, IEEE COMPUTER JUN, P67

[5] REAL-TIME EUCLID - A LANGUAGE FOR RELIABLE REAL-TIME SYSTEMS [J].

KLIGERMAN, E ;

STOYENKO, AD .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (09) :941-949

[6]

Lindholm Tim., 1999, JAVA VIRTUAL MACHINE, V2nd

[7]

Muchnick S., 1997, ADV COMPILER DESIGN

[8]

*NEWM INC, 1999, PERC 2 01

[9] PicoJava']Java-I: The Java']Java virtual machine in hardware [J].

OConnor, JM ;

Tremblay, M .

IEEE MICRO, 1997, 17 (02) :45-53

[10]

PUSCHNER P, 2000, IN PRESS REAL TIME S

← 1 2 →