分布式事务的解决方案：2PC，TCC以及基于消息的最终一致性