메모리 접근 추적과 스택 기반 지연 주입으로 race condition을 테스트하는 도구

Testing race conditions with mem access tracing and stack-based delay injection

Google Project Zero가 Linux 커널의 race condition을 자동으로 탐지하고 재현할 수 있는 도구 MAccConc을 공개했다. ASAN 아웃라인 계측과 KCOV를 활용해 메모리 접근을 추적하고, 카운트 증강 스택 트레이스로 실행 간 안정적인 식별자를 부여한다. KCOV_SET_DI ioctl을 통해 지연을 주입해 특정 인터리빙을 강제하며, A-B-A 자동 테스터와 터미널 UI, GUI를 제공한다. dup(5)와 close(5) 경쟁 조건 데모에서 dup이 5를 반환하는 예상 밖 순서를 발견했다.