Tutte le condizioni di gara sono valide? [chiuso]

Come regola generale, i problemi valgono la pena quando il beneficio atteso supera il costo previsto. La sicurezza dei thread non fa eccezione a questa regola, è solo che il modo di calcolare il rischio che determina il costo previsto è particolarmente complesso e poco compreso da molti.

Per cominciare, la sicurezza del threading non è sul radar di molte persone. Assumeranno semplicemente "Questo non viene mai chiamato in modo concorrente, nulla può andare storto". E spesso non lo è. Altre volte lo è (ad esempio, la CPU si è bloccata per un tempo inaspettatamente grande perché l'intera app ora vive in una macchina virtuale sovrascritta ...), e quindi nessuno ha la più pallida idea di cosa potrebbe essere successo. In altre parole, la probabilità di una gara effettivamente in corso è spesso molto difficile da stimare.

L'impatto è spesso più facile da capire: se si registrano elementi informativi in un registro di controllo interno, tende ad essere basso; se la data che stai mantenendo è legata alla business logic (forse determina quando la licenza di abbonamento del tuo cliente scade?), allora potrebbe essere catastroficamente pessima.

Senza conoscere il contesto di questo codice, non posso prevedere cosa dovrebbe essere fatto. Ma quasi certamente non è una buona idea notare una possibile condizione di competizione e non fare nulla al riguardo, semplicemente convincendo te stesso che non sarà un problema. Innanzitutto, come ho detto, è particolarmente difficile prevedere se sarà un problema o meno. Secondo, se la condizione fosse probabile, dovresti avere per occuparsene, quindi avere essere in grado di proteggere il tuo codice. E se capisci come farlo (di solito non è quello difficile), ci sono relativamente poche ragioni per non farlo tutto il tempo come una questione di principio - solo per evitare di convincerti "Ah , Non ho bisogno di preoccuparmi per l'istanza questa , questo non accadrà mai ", che è un classico esempio di" ultime parole famose ".

Correggere questo bug, non solo a causa della condizione di competizione, ma anche perché la versione in cui si chiama Now una volta all'inizio e il salvataggio è molto più facile da ragionare in generale.

Fondamentalmente, più una funzione è prevedibile, più è facile da capire. Now è, in un certo senso, molto imprevedibile (potrebbe restituire valori diversi ogni volta che viene chiamato), e quindi ogni volta che lo chiami, rendi la tua funzione meno prevedibile e più difficile da capire.

In quanto tale, mi piace molto il suggerimento di Rory di ridimensionare completamente la chiamata a Now dalla funzione. Ora è ancora più prevedibile e, come sottolinea, unità testabile.