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