REINS: 동시성 버그 탐지 및 재현을 위한 에이전트 기반 스레드 스케줄링

요약

본 논문은 동시성(Concurrency) 버그 탐지 및 재현의 어려움을 해결하기 위해 에이전트 기반 접근 방식인 REINS를 제안합니다. REINS는 런타임 관찰과 정적 정보를 결합하여 프로그램의 동시성 의미론을 추론하고, 이를 바탕으로 잠재적인 버그가 발생할 가능성이 높은 교차 실행 순서에 스레드 스케줄링을 유도합니다. 이 방법은 기존 기법보다 효율적으로 더 많은 버그를 탐지하며 실제 프로젝트에서도 효과적임을 입증했습니다.

핵심 포인트

• REINS는 에이전트 기반으로 동시성 의미론을 추론하여 버그 탐지에 활용합니다.
• 런타임 관찰과 정적 정보를 결합해 잠재적 버그 가설을 공식화합니다.
• 버그가 트리거되거나 반증될 때까지 제약 조건을 지속적으로 개선합니다.
• 기존 기법 대비 동일 시간 예산 내에서 더 많은 버그를 탐지했습니다.