分布式事务总结,包括了目前所知道的理论,二段三段saga协议。但没有包括一致性算法