Тестирование параллельных структур данных

Как вы практически можете протестировать синхронизированную структуру данных (в C)?

Запуск пары потоков и их некоторое время конкурируют за доступ к структуре, чтобы увидеть, не пойдет ли что-нибудь не так, - это не очень безопасно.

РЕДАКТИРОВАТЬ в ответ на комментарии: Я имею в виду, что есть несколько потоков, выполняющих функции, которые работают с одним и тем же набором данных, с какой-то стратегией синхронизации (флаги / семафоры / CAS без блокировки / и т. Д.), Чтобы предположительно устранить условия гонки и тупики. Проблема заключается в программном тестировании на корректную синхронизацию воркеров.