Proceedings of the Korean Society of Computer Information Conference (한국컴퓨터정보학회:학술대회논문집)

Korean Society of Computer Information (한국컴퓨터정보학회)
권호 표지

An Efficient Filtered Monitoring Technique for Dynamic Analysis of Parallel Programs

병렬 프로그램의 동적 분석을 위한 효율적인 감시 필터링 기술

  • Park, Se-Won (Department of Informatics, Gyeongsang National University) ;
  • Ha, Ok-Kyoon (Engineering Research Institute, Gyeongsang National University)
  • Published : 2016.01.12
Download PDF
⟨ Previous Next ⟩

Abstract

본 논문에서는 멀티 스레드 기반 병렬 프로그램의 동적 분석을 통한 자료경합 탐지를 위해 효율적인 감시 필터링 기술을 제시한다. 제시하는 감시 필터링 기술은 자료경합과 같은 동시성 오류를 탐지하기 위해 프로그램의 수행 중에 발생하는 공유 메모리에 대한 스레드들의 접근 분석 시에 동일한 코드영역을 단순 반복하는 스레드들을 감시대상에서 제외시킴으로써 동적 분석을 위한 추가적인 오버헤드를 최소화한다. 제시하는 필터링 기술을 수행 중 자료경합 탐지 도구에 적용한 실험적 평가를 통해 개선된 수행시간 오버헤드의 제공이 가능함을 보인다.

Keywords