상세 보기
초록
프로그램에서 발생하는 메시지경합은 프로그램의 비결정적 수행결과를 초래하므로 효과적인 디버깅을 위하여 탐지되어야 한다. 특히 각 프로세스에서 가장 먼저 발생하는 최초경합은 동일한 프로세스 내에서 다른 경합의 발생을 초래할 수 있으므로, 효과적인 경합탐지를 위해서 우선적으로 탐지되어야 한다. 이러한 경합을 탐지하기 위한 기존의 기법들은 적어도 프로그램을 두 번 수행하거나, 메시지들의 수에 비례한 크기의 추적 파일의 분석을 요구한다. 본 논문은 추적파일을 생성하지 않으면서 단 한번의 프로그램 수행으로 각 프로세스에서 발생하는 최초경합을 탐지하는 기법을 제시하고, 실험을 통해서 본 기법이 최초경합을 정확히 탐지함을 보인다.
키워드
message-passing program; debugging; message races; on-the-fly detection; first races; 메시지전달 프로그램; 디버깅; 메시지 경합; 수행 중 탐지; 최초경합
- 제목
- 메시지 전달 프로그램에서의 수행 중 경합탐지
- 제목 (타언어)
- On-the-fly Detection of Race Conditions in Message-Passing Programs
- 저자
- 박미영; 강문혜; 전용기; 박혁로
- 발행일
- 2007
- 저널명
- 정보과학회논문지 : 시스템 및 이론
- 권
- 34
- 호
- 7
- 페이지
- 267 ~ 275
- 출판사
- 한국정보과학회
- 발행국가
- 대한민국
- 분량
- 9 페이지
- ISSN
- P 1229-683X