Annual Conference of KIPS (한국정보처리학회:학술대회논문집)

  • 2000.10a
  • /
  • Pages.645-648
  • /
  • 2000
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지

A Detection Tool of Message Races in Parallel Programs for Linux Cluster Systems

리눅스 클러스터 시스템을 위한 병렬프로그램의 메시지경합 탐지 도구

  • Park, S. (Dept. of Computer Science, Gyeongsang National University) ;
  • Kim, Y. (Dept. of Computer Science, Gyeongsang National University) ;
  • Park, M. (Dept. of Computer Science, Gyeongsang National University) ;
  • Kim, S. (Dept. of Computer Science, Gyeongsang National University) ;
  • Lee, S. (Dept. of Computer Science, Gyeongsang National University) ;
  • Jun, Y. (Dept. of Computer Science, Gyeongsang National University)
  • 박소희 (경상대학교 컴퓨터과학과) ;
  • 김영주 (경상대학교 컴퓨터과학과) ;
  • 박미영 (경상대학교 컴퓨터과학과) ;
  • 김성대 (경상대학교 컴퓨터과학과) ;
  • 이승렬 (경상대학교 컴퓨터과학과) ;
  • 전용기 (경상대학교 컴퓨터과학과)
  • Published : 2000.10.13
Download PDF
⟨ Previous Next ⟩

Abstract

병렬 오류인 메시지경합을 가진 메시지전달 프로그램은 비결정적인 수행결과를 보이므로, 이를 탐지하고 수정하는 것이 어렵다. 기존의 메시지경합 탐지 도구들은 메시지경합에 관련된 간접적인 정보를 제공하는 수준이며, 메시지경합의 원인을 자동으로 탐지하지 못한다. 그리고 탐지과정 중에 부가적인 메시지전달 작업이 발생하며, 대상 프로그램을 수정해야 하는 부담이 있다. 본 논문에서 제안된 탐지 도구는 리눅스 클러스터 시스템을 위한 병렬 프로그램의 메시지경합을 자동으로 탐지하여 직접적인 경합 정보를 제공한다. 그리고 탐지 엔진 부분을 리눅스 커널에 설치함으로써 경합 탐지를 위한 부가적인 메시지전달의 필요성을 제거하고, 대상 프로그램의 수정없이 경합을 탐지할 수 있는 투명성을 제공한다.

Keywords