커널 동시성 실패는 근본 원인인 근원적 원인을 식별하고 진단하기가 매우 어렵기로 악명 높다. 커널 동시성 버그는 종종 다변수 레이스, 비동기 커널 스레드와의 데이터 레이스, 광범위하게 존재하는 무해한 레이스와 같은 난해한 패턴을 포함한다. 우리는 실제 세계의 커널 동시성 버그에 대해 심층 연구를 수행하고 세 가지 요구사항, 즉 포괄성, 패턴 비의존성, 간결성을 도출한다.

*본 초록은 AI를 통해 원문을 번역한 내용입니다. 정확한 내용은 하기 원문에서 확인해주세요.