Transaction Architecture (Current)

While TransArch documents what was planned at the time, the final implementation
is slightly different (and may change some more). Attached are some UML sequence
diagrams showing the flow as of [source:branches/mgr-121-lockrecovery#1019 rev 1019]
(red activities indicate they are run while holding that instance's local mutex)