쓰래드 동기화 테스트에는 뭐뭐가 있나요?

JuEUS-U의 이미지

이번 학기에 운영체제 수업을 듣는데, 과제로 이식한 동기화 라이브러리를 테스트하려고 합니다.

세마포어 / 락(lock) / Condition Variable이 이식되어 있는데,
일단 겉으로는 문제가 없어보이지만 역시 믿을 수 없는거겠죠 = _=)ㅋ;

좀 확실한 테스트 있으면 추천 부탁드리겠습니다.