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

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

A Design of Healing Data Races using Software Transactional Memory

소프트웨어 트랜잭셔널 메모리를 이용한 자료경합 치유 기술 설계

  • Choi, Eu-Teum (Department of Informatics, Gyeongsang National University) ;
  • Ha, Ok-Kyoon (Research Team for Unmanned Aerial Vehicle SW Platform, Gyeongsang National University) ;
  • Jun, Yong-Kee (Department of Informatics, Gyeongsang National University)
  • 최으뜸 (국립경상대학교 정보과학과) ;
  • 하옥균 (국립경상대학교 BK21+ 무인항공기 SW플랫폼 연구 사업팀) ;
  • 전용기 (국립경상대학교 정보과학과)
  • Published : 2016.07.12
Download PDF
⟨ Previous Next ⟩

Abstract

멀티스레드 프로그램의 수행 중에 발생할 수 있는 자료경합은 프로그래머가 의도하지 않은 비결정적 수행으로 인해 신뢰할 수 없는 프로그램의 결과를 발생시킨다. 이러한 자료경합의 디버깅을 위해서 시간 및 자원적 비용이 과도하게 발생하기 때문에 프로그램의 수행 중에 이를 용인하고 치유하는 것이 중요하다. 본 논문은 멀티스레드 프로그램을 대상으로 소프트웨어 트랜잭셔널 메모리(STM)를 사용하여 공유변수에 대한 트랜잭션 영역을 설정하고 공유변수에 대한 이벤트 충돌 유형에 따른 자료경합 치유기법을 설계한다. 최종적으로는 프로그램 수행 중에 자료경합을 치유하는 기법의 실현가능성을 확인한다.

Keywords