본 발명은 임베디드 다중스레드 프로그램의 사후 경합탐지를 위한 스레드 병행성 정보 생성 방법에 관한 것이다.
본 발명은 다중스레드 디버깅 기술의 하나인 사후 경합 탐지를 위한 것으로 다중스레드 프로그램 실행 중에 동적으로 스레드들에서 발생하는 공유 변수에 대한 접근(Access)들에 의한 경합을 프로그램 실행 후에 탐지할 수 있도록 실행 중에 저장되어야 하는 접근들이 포함된 스레드들의 식별과 병행성을 표현할 수 있는 병행성 정보를 프로그램 실행 중에 동적으로 생성하도록 되어 있으며, 이에 따라서, 기존의 대규모 병렬성이 포함된 병렬루프 프로그램을 주된 대상으로 하는 수행중(On-the-fly) 경합 탐지를 위한 병행성 정보 생성 기법들과 비교하여 볼 때, 임베디드 다중스레드 프로그램 구조와 사후 분석에 효과적인 병행성 정보를 생성하여 임베디드 디버깅 환경에서의 경합 탐지에 용이하게 적용가능 하므로 임베디드 개발 환경을 위한 디버거의 실용성을 높일 수 있다.
