- 할 일들의 순서 선택이 자유로운 증가분 기반 고정점 계산 알고리즘
- ㆍ 저자명
- 안준선,Ahn. Joon-Seon
- ㆍ 간행물명
- 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용
- ㆍ 권/호정보
- 2005년|32권 8호|pp.808-818 (11 pages)
- ㆍ 발행정보
- 한국정보과학회
- ㆍ 파일정보
- 정기간행물| PDF텍스트
- ㆍ 주제분야
- 기타
본 연구에서는 증가분 기반 계산을 사용한 고정점 계산 방법을 제시하고 이에 기반한 새로운 워크리스트 알고리즘을 제시한다. 제시된 방법은 기존의 증가분 기반 계산과 달리 배분 법칙을 만족하지 않는 계산 시스템에도 효과적으로 적용될 수 있으며 증가분 기반 계산으로 인한 제약 조건을 만족하면서도 다양한 워크리스트 스케줄링 방법을 사용할 수 있는 장점을 가지고 있다. 본 연구의 결과를 프로그램 정적 분석 방법인 요약 해석 방법에 적용하였으며, 이를 사용하여 상수 및 이명 분석과 메모리 생존 분석을 구현하였다. 제시된 실험 결과는 본 연구의 방법이 계산을 실제적으로 절약할 수 있음과, 적절한 워크리스트 스케줄링 방법의 사용이 증가분 기반 계산에서도 중요함을 보여준다.
We devise a differential fixpoint computation method and develop a new worklist algorithm based on it. Compared with other differential methods, our method can deal with non-distributive systems and adopt any worklist scheduling policy satisfying restrictions imposed by differential evaluation. As a practical application, we present an interpretation framework and implement constant and alias analysis and memory lifetime analysis based on it. Our experiment shows that our method can save computation and worklist scheduling is also important in differential fixpoint evaluations.