실시간 맥락 지정
실시간 제약을 지켜야 하는 진입 함수를 속성으로 표시하고 관련 계측을 활성화한다. 실행 중 그 맥락에서 호출되는 함수도 검사 범위에 참여한다. 함수에 이름만 붙이거나 일반 실행 시간을 한 번 측정하는 방식과는 다르다.
예측하기 어려운 호출
메모리 할당과 해제, 일부 잠금처럼 실행 시간이 불확정적인 알려진 호출을 검사한다. 사용자 코드의 차단 함수를 별도로 표시할 수도 있다. 비슷한 속성을 사용하는 컴파일 시점의 함수 효과 분석과 동적 검사는 역할과 관찰 범위가 다르다.
시간 보장과 구분
위반 호출을 찾는 검사가 최악 실행 시간이나 모든 마감 시간의 준수를 수학적으로 보장하는 것은 아니다. 실제로 실행된 경로와 알려진 함수 및 표시한 조건에 의존한다. 정적 분석과 시스템의 실제 부하 측정을 함께 검토해야 한다.
관련 문서
ThreadSanitizer / Clang Thread Safety Analysis / AddressSanitizer / Clang