I don't actually really like shared-mutable-state-concurrency, but I
also am not yet a complete convert to STM, and would like to learn
about your take on it all. One main advantage (there aren't many) of
locks over STM is that you can pretty easily profile to see what locks
are hotly contended, and refactor to break things up. But if you get a
performance killing transaction rollback, it is as far as I know
impossible to see why that happened, which means it is harder to
Any experiences around such issues? Many thanks for any thoughts.