Единичное тестирование кода на основе потоков? Принуждение состояния гонки

Question

При использовании моего приложения я наткнулся на состояние гонки в некотором коде, который использует NSOperationQueue для выполнения задач асинхронно после событий, вызванных пользователем. Я знаю, как исправить состояние гонки, так как это глупая ошибка дизайна, в которую я не буду вникать, но я хотел бы доказать ошибку с тестовым примером (чтобы он не возвращался во время оптимизации/рефакторинга по линии). Это меня насторожило. Как вы можете протестировать что-то многопоточное, особенно когда целью теста является создание условия гонки?

У кого-нибудь есть ссылки на справочные материалы, на которые я могу ссылаться, когда речь заходит о работе с потоками и модульным тестированием? Меня особенно интересует поколение гонок.

Answer 1

Вы должны убедиться, что последовательность событий, вызывающих состояние гонки, фактически возникает во время тестирования. Для этого вам необходимо повлиять на чередование потоков внутри тестового примера.

Вы можете добиться этого с помощью дополнительной (условной) синхронизации или (более простых и менее надежных) дополнительных таймеров. Поместите вызовы sleep() в критические разделы, чтобы убедиться, что они работают достаточно долго, чтобы другой поток пришел в нежелательное состояние. Когда у вас это работает, замените вызовы сна явной синхронизацией (т. Е. Заблокируйте один поток, пока другой не подтвердит, что он пришел).

Затем сделайте все это условным для глобального флага, установленного тестовым примером.