Proceedings of the Korean Society of Computer Information Conference (한국컴퓨터정보학회:학술대회논문집)
- 2019.01a
- /
- Pages.11-12
- /
- 2019
A Technique to Generate Information of Safe Interleavings for On-the-fly Atomicity Violation Repairing in Airborne Software
항공기 소프트웨어의 원자성위배 자율수리 도구를 위한 안전한 인터리빙 정보를 생성하는 기법
- Baek, Hyoung-Jin (Dept. of Informatice, Gyeong-Sang University) ;
- Choi, Eu-Teum (Dept. of Informatice, Gyeong-Sang University) ;
-
Lee, Keon-Pyo
(Dept. of Informatice, Gyeong-Sang University)
;
-
Jun, Yong-Kee
(Dept. of Informatice, Gyeong-Sang University)
- Published : 2019.01.16
Abstract
본 논문은 멀티스레드를 지원하는 항공기 소프트웨어에 적용될 수 있는 자율수리 도구의 문제의 해결방법을 제안하는 논문이다. 기존의 연구는 프로그램의 반복수행을 통해 안전한 인터리빙을 수집하여 프로그램의 동작을 제한한다. 하지만 테스트 단계에서 수집되지 않은 안전한 인터리빙을 잘못된 인터리빙으로 처리하여 수리를 수행함으로써 불필요한 오버헤드가 발생한다. 본 논문은 원자성위배 패턴을 사용하여 안전한 인터리빙을 예측하여 생성시키는 기법을 사용하여 수리기법에서 불필요한 수리로 인한 오버헤드를 감소하기 위한 안전한 인터리빙 정보를 생성하는 기법을 제안한다.