Currently there is a public method to get the state of a transaction coordinator. Since callers of this won't be locking the internal mutex of the coordinator, it's possible they may make a decision based on a stale state value. It's currently not a correctness issue but it's worth reconsidering the design to prevent problems in the future and to have better encapsulation.