서지주요정보
소프트웨어 수행시간의 정적 추정에 관한 연구 = A study on the static estimation of software execution time
서명 / 저자 소프트웨어 수행시간의 정적 추정에 관한 연구 = A study on the static estimation of software execution time / 이종열.
저자명 이종열 ; Lee, Jong-Yeol
발행사항 [대전 : 한국과학기술원, 1996].
Online Access 제한공개(로그인 후 원문보기 가능)원문

소장정보

등록번호

8006277

소장위치/청구기호

학술문화관(문화관) 보존서고

MEE 96062

휴대폰 전송

도서상태

이용가능

대출가능

반납예정일

초록정보

This thesis examines the problem of determining the bound on the running time of a given program on a given processor. An important aspect of this problem is determining the extreme case program paths. It is a very hard problem to explicitly enumerate all possible paths because the number of paths is typically exponential in the size of the program. In this thesis, a solution for this problem is presented, which considers all paths implicitly by using integer linear programming. To use ILP, it is necessary to extract the CFG(Control Flow Graph) of the program. Usually, a CFG of a program can be constructed by using the object code of the program as input. But in this thesis, GCC intermediate representation(RTL) of a program has been used instead of the object code to construct CFG. After constructing the CFG, program structural constraints of ILP must be derived. A rather inexact solution can be obtained from these constraints. But more exact solution could be obtained by adding more constraints. These added constraints are from program functionality and the static branch predictions. It is found that the estimated number of executions by the method proposed in this work is very exact when compared with the number of executions measured by inputting the data that would follow the extreme case path. And the result is presented here.

서지기타정보

서지기타정보
청구기호 {MEE 96062
형태사항 iii, 61 p. : 삽도 ; 26 cm
언어 한국어
일반주기 부록 수록
저자명의 영문표기 : Jong-Yeol Lee
지도교수의 한글표기 : 황승호
지도교수의 영문표기 : Seng-Ho Hwang
학위논문 학위논문(석사) - 한국과학기술원 : 전기및전자공학과,
서지주기 참고문헌 수록
주제 정적 추정
중간 단계 표현
컴파일러
Static estimation
Intermediate representation
Compiler
QR CODE qr code