본 논문에서는 프로그램 분석 기술에 기반하여, 주어진 프로그램 내에서 트랜잭션 처리 관련 오류를 자동으로 검출해주고, 성능저하 요소가 발견되면 자동으로 개선된 코드로 변환하여 주는 시스템을 제안한다 트랜잭션 처리 오류란 트랜잭션을 열고서 닫지 않는 경우나, 잘못된 잠금수준(Locking-Level)을 설정하는 경우를 말한다 전자의 경우, 원하는 대로 데이타가 저장되지 않거나 장시간 데이타베이스 테이블을 잠금(Locking)으로써 시스템 전체의 성능을 떨어뜨릴 수 있다. 후자의 경우. 시스템에 따라 예외상황이나 프로그램의 파행적 실행 중단을 야기한다. 비효율적인 트랜잭션 처리란, 트랜잭션 영역(Boundary) 또는 잠금수준을 비효율적으로 설계하여서 다른 프로세스들의 트랜잭션을 지연시키는 경우를 말한다.
In this paper, we suggest a system which automatically verifies and tunes transaction processing database applications based on program analysis technology. This system automatically verifies two kinds of transaction processing errors. The first case is the un-closed transaction. In this case, data is not updated as expected or performance of overall system can decrease seriously by locking some database tables until the process terminates. The second case is the miss-use of transaction isolation(inking) level. This causes runtime exception or abnormal termination of the program depending on runtime environment. This system automatically tunes two kinds of inefficient definition of transaction processing which decrease the performance of overall system. The first case happens when opened transaction is closed too late. And the second case happens when transaction isolation level is set too high.
