Wie erkennen Sie, ob eine Transaktion häufig abbricht?

Question

Ich versuche ein Programm zu debuggen, das STM verwendet. Die ThreadScope Lesungen werden der Hinweis auf eine sehr hohe Aktivität CPU, wie Sie hier sehen können:

Also, um herauszufinden, ich versuche, wenn dies aufgrund einer Transaktion geschieht, die häufig bricht. Das erste, was ich dachte, war, so etwas zu Test:

atomically $ do 
    someWork 
    ... 
`orElse` do 
    unsafeIOToSTM $ traceEventIO "transaction aborted!" 
    retry 

Aber ich bin nicht sicher, ob dies richtig ist oder ob dies der beste Ansatz ist, in einem STM-Szenario zu debuggen. Irgendwelche Ideen?

Answer 1

Verwenden Sie stm-stats Paket. Es bietet trackSTM, die Sie anstelle von atomically verwenden sollten, und dumpSTMStats :: IO(), dass so etwas wie dieses bieten wird:

STM transaction statistics (2011-10-09 12:28:37.188951 UTC): 
Transaction  Commits Retries  Ratio 
_anonymous_   1   0  0.00 
reader    1   23  23.00 
writer    23   0  0.00 

(. Transaktionsnamen automatisch generiert werden, aber es gibt Helfer dein eigenes Set)