Codice basato su thread di test unitario? Forzare una condizione di gara

Question

Nell'utilizzo della mia applicazione, mi sono imbattuto in una condizione di competizione in un codice che utilizza un NSOperationQueue per eseguire attività in modo asincrono dopo eventi attivati ​​dall'utente. So come risolvere le condizioni della gara, poiché si tratta di uno stupido errore di progettazione che non approfondirò, ma mi piacerebbe provare l'errore con un caso di test (in modo che non ritorni durante l'ottimizzazione/refactoring lungo la linea). Questo mi ha perplesso. Come si fa a testare qualcosa che è multi-thread, specialmente quando lo scopo del test è generare una condizione di competizione?

Qualcuno ha qualche link a materiale di riferimento a cui posso riferirsi quando si tratta di trattare thread e test di unità? Sono particolarmente interessato alla generazione di condizioni di gara.

Answer 1

È necessario accertarsi che la sequenza di eventi che causa la condizione di competizione si verifichi effettivamente durante il test. Per questo, è necessario influenzare l'interleaving del filo all'interno del test case.

È possibile ottenere ciò con la sincronizzazione aggiuntiva (condizionale) o, (più semplice e meno affidabile) i timer aggiuntivi. Metti alcune chiamate sleep() nelle sezioni critiche per assicurarti che corrano abbastanza a lungo perché l'altro thread arrivi allo stato indesiderato. Quando hai funzionato, sostituisci le chiamate a riposo con la sincronizzazione esplicita (ad esempio, blocca un thread finché l'altro non riconosce effettivamente di essere arrivato).

Quindi rendere tutto condizionale su un flag globale impostato dal test case.