Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
메시지 전달 프로그램에서의 수행 중 경합탐지On-the-fly Detection of Race Conditions in Message-Passing Programs
- Other Titles
- On-the-fly Detection of Race Conditions in Message-Passing Programs
- Issue Date
- 2007
- Publisher
- 한국정보과학회
- Keywords
- message-passing program; debugging; message races; on-the-fly detection; first races; 메시지전달 프로그램; 디버깅; 메시지 경합; 수행 중 탐지; 최초경합
- Citation
- 정보과학회논문지 : 시스템 및 이론, v.34, no.7, pp 267 - 275
- Pages
- 9
- Indexed
- KCI
- Journal Title
- 정보과학회논문지 : 시스템 및 이론
- Volume
- 34
- Number
- 7
- Start Page
- 267
- End Page
- 275
- ISSN
- 1229-683X
- Abstract
- 프로그램에서 발생하는 메시지경합은 프로그램의 비결정적 수행결과를 초래하므로 효과적인 디버깅을 위하여 탐지되어야 한다. 특히 각 프로세스에서 가장 먼저 발생하는 최초경합은 동일한 프로세스 내에서 다른 경합의 발생을 초래할 수 있으므로, 효과적인 경합탐지를 위해서 우선적으로 탐지되어야 한다. 이러한 경합을 탐지하기 위한 기존의 기법들은 적어도 프로그램을 두 번 수행하거나, 메시지들의 수에 비례한 크기의 추적 파일의 분석을 요구한다. 본 논문은 추적파일을 생성하지 않으면서 단 한번의 프로그램 수행으로 각 프로세스에서 발생하는 최초경합을 탐지하는 기법을 제시하고, 실험을 통해서 본 기법이 최초경합을 정확히 탐지함을 보인다.
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - 공과대학 > Department of Aerospace and Software Engineering > Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.