내포 병렬성 프로그램에서 수행 중 경합 탐지를 위한 효율적인 스레드 식별자 생성 기법

Efficient Generation of Thread Identifiers for On-the-fly Race Detection in Programs with Nested Parallelism
  • 하옥균
  • 전용기

초록

병렬 프로그램의 수행 중에 발생하는 경합을 탐지하는 것은 어려운 일이다. 경합을 탐지하는 기법의 다수가 병렬 스레드의 논리적인 병행성 식별 정보를 제공하는 레이블을 생성하고 유지하기 위하여 Lamport의 발생 후 관계를 이용함으로써 경합을 탐지한다. 이러한 스레드 식별 기법 중 내포 병렬성이 있는 병렬 프로그램에서 수행 중 경합 탐지를 위해 스레드 레이블을 생성하고 유지하는 기존의 기법들은 스레드의 포크와 조인 시에 프로그램의 내포 깊이에 의존하는 효율성을 제공한다. 본 논문에서는 병렬 프로그램의 수행 중 경합 탐지를 위해 스레드 레이블의 생성과 유지 시에 상수적인 복잡도를 제공하는 효율적인 e-NR(Extended Nest Region) 레이블링을 제시한다. OpenMP 프로그램을 이용한 실험에서 제시된 기법은 기존의 기법보다 평균 10% 감소된 시간 오버헤드와 평균 3.2배 감소된 기억공간을 요구하여 보다 효율적이고 실용적으로 경합을 탐지함을 보인다.

키워드

thread labelingdata racesrace detectionparallel programmingnested parallelism
제목
내포 병렬성 프로그램에서 수행 중 경합 탐지를 위한 효율적인 스레드 식별자 생성 기법
제목 (타언어)
Efficient Generation of Thread Identifiers for On-the-fly Race Detection in Programs with Nested Parallelism
저자
하옥균전용기
발행일
2011
저널명
한국정보기술학회논문지
9
2
페이지
15 ~ 25