如何发现事务是否经常中止？

Question

我正在尝试调试使用 STM 的程序。正如您在此处看到的，ThreadScope 读数指出了非常高的 CPU 活动：

所以我试图找出这是否是由于经常中止的事务而发生的。我想到的第一件事就是用这样的东西来测试：

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

但我不确定这是否正确，或者这是否是在 STM 场景中进行调试的最佳方法。有什么想法吗？

Answer 1

使用stm-stats 包。它提供了您应该使用的trackSTM 而不是atomically，而dumpSTMStats :: IO () 将提供如下内容：

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

（交易名称会自动生成，但有助手可以自己设置。）