공유 데이터 접근
여러 스레드가 같은 데이터에 접근할 때 필요한 동기화 관계를 살펴본다. 작업을 여러 코어에 나누는 경우뿐 아니라 별개의 활동을 스레드로 표현한 프로그램에서도 이런 검사가 중요하다. 동시성이 있다는 사실 자체가 오류는 아니다.
경쟁과 경합 구분
데이터 경쟁은 동기화가 부족한 접근의 문제이며 잠금 경합은 여러 스레드가 같은 잠금 때문에 대기하는 현상이다. DRD의 진단과 관찰 정보를 볼 때 두 개념을 구분한다. 빠르게 실행되더라도 동기화 규칙이 틀린 코드는 여전히 문제가 있다.
추상화와 실행 범위
사용자 정의 할당기와 동기화 추상화는 도구가 관찰하는 관계에 영향을 줄 수 있다. 실제로 사용하는 런타임의 지원 조건과 설명 방법을 확인한다. 하나의 실행에서 오류가 없었다고 가능한 모든 실행 순서에 문제가 없다고 결론 내리지 않는다.