Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2011.06d
- /
- Pages.306-307
- /
- 2011
- /
- 1598-5164(pISSN)
Detecting Race Conditions In ANSI-C concurrent program
ANSI-C 동시 프로그램 내 경합 상황 탐지
-
Ahn, So-Jin
(Dept. of Mobile Solution, Korea University)
;
- Sim, Jae-Hwan (Dept. of Computer Science, Korea University) ;
- Nam, Won-Hong (Dept. of Internet Media, Konkuk University) ;
-
Choi, Jin-Young
(Dept. of Computer Science, Korea University)
- Published : 2011.06.29
Abstract
경합 상황, 교착 상태 등과 같은 동시 프로그램의 오류는 기존의 순차 프로그램에 적용되는 테스팅 방법으로는 탐지 및 재현이 힘들다. 하이젠버그라 불리는 이러한 오류는 프로그램의 안정성 및 신뢰성을 떨어뜨리는 원인이 될 수 있으므로 반드시 탐지하고 재현해야 한다. 본 논문은 SAT-solver와 경합 상태 탐지를 위한 Happens-before 알고리즘을 사용하여 ANSI-C 프로그램 내 존재하는 이러한 오류를 탐지하고 재현할 수 있는 방법을 제안한다.
Keywords