Kodowanie oparte na wątku testowym jednostki? Wymuszanie warunków wyścigu

Question

Podczas korzystania z mojej aplikacji natknąłem się na stan wyścigu w jakimś kodzie, który używa NSOperationQueue do uruchamiania zadań asynchronicznie po zdarzeniach wyzwalanych przez użytkownika. Wiem, jak naprawić stan wyścigu, ponieważ jest to głupi błąd projektowy, do którego nie będę się zagłębiał, ale chciałbym udowodnić błąd w przypadku testowym (aby nie wrócił podczas optymalizacji/refaktoryzacji dalej w dół linii). To mnie zaskoczyło. W jaki sposób można testować coś wielowątkowego, zwłaszcza gdy celem testu jest wygenerowanie warunków wyścigu?

Czy ktoś ma jakieś linki do materiałów referencyjnych, do których mogę się odnieść, jeśli chodzi o rozwiązywanie wątków i testowanie jednostkowe? Szczególnie interesuje mnie generowanie warunków wyścigowych.

Answer 1

Musisz upewnić się, że sekwencja zdarzeń powodująca stan wyścigu faktycznie powstaje podczas testowania. W tym celu należy wpłynąć na przeplatanie gwintów wewnątrz przypadku testowego.

Można to osiągnąć poprzez dodatkową (warunkową) synchronizację lub (prostsze i mniej niezawodne) dodatkowe liczniki czasu. Wstaw kilka wywołań sleep() w krytyczne sekcje, aby upewnić się, że działają wystarczająco długo, aby inny wątek znalazł się w niepożądanym stanie. Kiedy już to działa, zamień wywołania snu na jawną synchronizację (tj. Zablokuj jeden wątek, aż ten drugi rzeczywiście uzna, że ​​przybył).

Wszystko to uzależnione od flagi globalnej ustawionej w teście.