내부적 비결정성을 가진 공유 메모리 프로그램의 잠재적 경합 탐지

홈 > 연구문헌 > 학술대회 프로시딩 > 한국정보처리학회 학술대회 > 2008년 춘계 학술대회

한글제목(Korean Title)	내부적 비결정성을 가진 공유 메모리 프로그램의 잠재적 경합 탐지
영문제목(English Title)	Potential Races Detection in Shared - Memory Programs with Internal Nondeterminism
저자(Author)	정민섭 김영주 하옥균 전용기 Minsub Jung Youngjoo Kim Okkyoon Ha YongKee Jun
원문수록처(Citation)	VOL 15 NO. 01 PP. 0553 ~ 0556 (2008. 05)
한글내용 (Korean Abstract)	임계구역을 가진 공유 메모리 기반의 병렬 프로그램에서 발생하는 경합은 프로그래머가 의도하지 않은 비결정적인 수행 결과를 초래하므로 반드시 디버깅해야 한다. 이러한 경합을 수행 중에 탐지하는 기존의 기법들은 임계구역의 실행순서에 의해서 발생하는 내부적 비결정성이 존재하지 않는 프로그램에 대해서만 경합의 존재를 검증할 수 있다. 본 논문에서는 내부적 비결정성을 가진 프로그램에 존재하는 비결정적 접근사건을 정적으로 분석하고, 이 정보를 이용하여 수행 중에 경합을 탐지함으로써 잠재되어 있는 경합까지 탐지할 수 있는 도구를 제안한다. 제안한 도구는 비결정성이 포함된 합성프로그램과 공인된 OpenMP 벤치마크 프로그램인 Microbenchmark를 이용하여 경합 검증이 가능함을 보인다.
영문내용 (English Abstract)
키워드(Keyword)	컴퓨터시스템
파일첨부	PDF 다운로드