본문 바로가기
HOME> 논문 > 논문 검색상세

학위논문 상세정보

ARINC 653 이벤트 동기화에 의한 경합조건을 디버깅하기 위한 시각화 원문보기

  • 저자

    강명신

  • 학위수여기관

    경상대학교 대학원

  • 학위구분

    국내석사

  • 학과

    정보과학과 정보과학전공

  • 지도교수

  • 발행년도

    2014

  • 총페이지

    iii, 60 p.

  • 키워드

    ARINC 653 경합조건;

  • 언어

    kor

  • 원문 URL

    http://www.riss.kr/link?id=T13534178&outLink=K  

  • 초록

    이벤트 동기화를 가진 ARINC 653 프로그램은 비결정적인 수행구조로 인해 경합조건이 발생될 수 있으므로 디버깅을 위하여 개발환경 별로 제공된 시각화 도구를 사용하는 것이 효율적이다. 하지만 각각의 도구들은 경합 정보를 제공하지 않으므로 디버깅을 위해 동기화 사건 발생 전후의 태스크 상태전이 정보 분석을 통한 복잡한 이해가 요구되고 소스코드의 분석을 통해 공유메모리 접근 사건의 발생 시점에 대한 유추를 필요로 하게 된다. 따라서 본 논문에서는 프로그램 실행 중에 수집된 이벤트 동기화의 수행구조 정보를 추상화하고 공유메모리 접근과 함께 추상화함으로써 경합조건이 발생할 수 있는 경로를 보여주는 시각화 도구를 제시한다. 제시된 도구는 Pin을 이용해 구현된 동적 수행정보 추적 도구를 통해 필요한 정보를 수집하도록 시스템을 구성하고 SIMA 환경에서 실행되는 합성 프로그램을 대상 으로 한 실험을 통해 효율성 및 정확성을 검증한다.


    The programs that uses the event synchronization of ARINC 653 can lead to race conditions which are major concurrency bug due to the non-deterministic interleaving of concurrent processes. To debug race conditions, visualization tools provided by the integrated development environment for ARINC 653 programs can be used,because they may offer information of programs executions with intuitively understanding. However, they do not provide the effective environment for debugging races, because they do not support information about Shared Memory Accesses and do not show race conditions due to synchronization. Therefore, this paper presents a visualization tool that offers overall information for debugging race conditions in event synchronization by analyzing synchronization directions with potential order-violations and abstracting process executions with shared memory accesses. The tool provide the effective environment for debugging races through visualization using abstracted information for the instinctive understanding and extended information for debugging.


 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역