分布式事物

如何用消息系统避免分布式事务？

2015/08/10 · 开发 · 20 评论 · 事务, 分布式

分享到：99

本文做者： 伯乐在线 - 占利军 。未经做者许可，禁止转载！
欢迎加入伯乐在线 专栏做者。

前阵子从支付宝转帐1万块钱到余额宝，这是平常生活的一件普通小事，但做为互联网研发人员的职业病，我就思考支付宝扣除1万以后，若是系统挂掉怎么办，这时余额宝帐户并无增长1万，数据就会出现不一致情况了。

上述场景在各个类型的系统中都能找到类似影子，好比在电商系统中，当有用户下单后，除了在订单表插入一条记录外，对应商品表的这个商品数量必须减1吧，怎么保证？！在搜索广告系统中，当用户点击某广告后，除了在点击事件表中增长一条记录外，还得去商家帐户表中找到这个商家并扣除广告费吧，怎么保证？！等等，相信你们或多或多少都能碰到类似情景。

本质上问题能够抽象为：当一个表数据更新后，怎么保证另外一个表的数据也必需要更新成功。

1 本地事务

仍是以支付宝转帐余额宝为例，假设有

• 支付宝帐户表：A（id，userId，amount）
• 余额宝帐户表：B（id，userId，amount）
• 用户的userId=1；

从支付宝转帐1万块钱到余额宝的动做分为两步：

• 1）支付宝表扣除1万：update A set amount=amount-10000 where userId=1;
• 2）余额宝表增长1万：update B set amount=amount+10000 where userId=1;

如何确保支付宝余额宝收支平衡呢？

有人说这个很简单嘛，能够用事务解决。

 

1 2 3 4 5

Begin transaction          update A set amount=amount-10000 where userId=1;          update B set amount=amount+10000 where userId=1; End transaction commit;

很是正确，若是你使用spring的话一个注解就能搞定上述事务功能。

Java

 

1 2 3 4 5

@Transactional(rollbackFor=Exception.class)     public void update() {         updateATable(); //更新A表         updateBTable(); //更新B表     }

若是系统规模较小，数据表都在一个数据库实例上，上述本地事务方式能够很好地运行，可是若是系统规模较大，好比支付宝帐户表和余额宝帐户表显然不会在同一个数据库实例上，他们每每分布在不一样的物理节点上，这时本地事务已经失去用武之地。

既然本地事务失效，分布式事务天然就登上舞台。

2 分布式事务—两阶段提交协议

两阶段提交协议（Two-phase Commit，2PC）常常被用来实现分布式事务。通常分为协调器C和若干事务执行者Si两种角色，这里的事务执行者就是具体的数据库，协调器能够和事务执行器在一台机器上。

1） 咱们的应用程序（client）发起一个开始请求到TC；

2） TC先将<prepare>消息写到本地日志，以后向全部的Si发起<prepare>消息。以支付宝转帐到余额宝为例，TC给A的prepare消息是通知支付宝数据库相应帐目扣款1万，TC给B的prepare消息是通知余额宝数据库相应帐目增长1w。为何在执行任务前须要先写本地日志，主要是为了故障后恢复用，本地日志起到现实生活中凭证 的效果，若是没有本地日志（凭证），出问题容易死无对证；

3） Si收到<prepare>消息后，执行具体本机事务，但不会进行commit，若是成功返回<yes>，不成功返回<no>。同理，返回前都应把要返回的消息写到日志里，看成凭证。

4） TC收集全部执行器返回的消息，若是全部执行器都返回yes，那么给全部执行器发生送commit消息，执行器收到commit后执行本地事务的commit操做；若是有任一个执行器返回no，那么给全部执行器发送abort消息，执行器收到abort消息后执行事务abort操做。

注：TC或Si把发送或接收到的消息先写到日志里，主要是为了故障后恢复用。如某一Si从故障中恢复后，先检查本机的日志，若是已收到<commit >，则提交，若是<abort >则回滚。若是是<yes>，则再向TC询问一下，肯定下一步。若是什么都没有，则极可能在<prepare>阶段Si就崩溃了，所以须要回滚。

现现在实现基于两阶段提交的分布式事务也没那么困难了，若是使用java，那么可使用开源软件atomikos(http://www.atomikos.com/)来快速实现。

不过但凡使用过的上述两阶段提交的同窗均可以发现性能实在是太差，根本不适合高并发的系统。为何？

• 1）两阶段提交涉及屡次节点间的网络通讯，通讯时间太长！
• 2）事务时间相对于变长了，锁定的资源的时间也变长了，形成资源等待时间也增长好多！

正是因为分布式事务存在很严重的性能问题，大部分高并发服务都在避免使用，每每经过其余途径来解决数据一致性问题。

3 使用消息队列来避免分布式事务

若是仔细观察生活的话，生活的不少场景已经给了咱们提示。

好比在北京颇有名的姚记炒肝点了炒肝并付了钱后，他们并不会直接把你点的炒肝给你，而是给你一张小票，而后让你拿着小票到出货区排队去取。为何他们要将付钱和取货两个动做分开呢？缘由不少，其中一个很重要的缘由是为了使他们接待能力加强（并发量更高）。

仍是回到咱们的问题，只要这张小票在，你最终是能拿到炒肝的。同理转帐服务也是如此，当支付宝帐户扣除1万后，咱们只要生成一个凭证（消息）便可，这个凭证（消息）上写着“让余额宝帐户增长 1万”，只要这个凭证（消息）能可靠保存，咱们最终是能够拿着这个凭证（消息）让余额宝帐户增长1万的，即咱们能依靠这个凭证（消息）完成最终一致性。

3.1 如何可靠保存凭证（消息）

有两种方法：

3.1.1 业务与消息耦合的方式

支付宝在完成扣款的同时，同时记录消息数据，这个消息数据与业务数据保存在同一数据库实例里（消息记录表表名为message）。

 

1 2 3 4 5

Begin transaction          update A set amount=amount-10000 where userId=1;          insert into message(userId, amount,status) values(1, 10000, 1); End transaction commit;

上述事务能保证只要支付宝帐户里被扣了钱，消息必定能保存下来。

当上述事务提交成功后，咱们经过实时消息服务将此消息通知余额宝，余额宝处理成功后发送回复成功消息，支付宝收到回复后删除该条消息数据。

3.1.2 业务与消息解耦方式

上述保存消息的方式使得消息数据和业务数据紧耦合在一块儿，从架构上看不够优雅，并且容易诱发其余问题。为了解耦，能够采用如下方式。

1）支付宝在扣款事务提交以前，向实时消息服务请求发送消息，实时消息服务只记录消息数据，而不真正发送，只有消息发送成功后才会提交事务；

2）当支付宝扣款事务被提交成功后，向实时消息服务确认发送。只有在获得确认发送指令后，实时消息服务才真正发送该消息；

3）当支付宝扣款事务提交失败回滚后，向实时消息服务取消发送。在获得取消发送指令后，该消息将不会被发送；

4）对于那些未确认的消息或者取消的消息，须要有一个消息状态确认系统定时去支付宝系统查询这个消息的状态并进行更新。为何须要这一步骤，举个例子：假设在第2步支付宝扣款事务被成功提交后，系统挂了，此时消息状态并未被更新为“确认发送”，从而致使消息不能被发送。

优势：消息数据独立存储，下降业务系统与消息系统间的耦合；

缺点：一次消息发送须要两次请求；业务处理服务须要实现消息状态回查接口。

3.2 如何解决消息重复投递的问题

还有一个很严重的问题就是消息重复投递，以咱们支付宝转帐到余额宝为例，若是相同的消息被重复投递两次，那么咱们余额宝帐户将会增长2万而不是1万了。

为何相同的消息会被重复投递？好比余额宝处理完消息msg后，发送了处理成功的消息给支付宝，正常状况下支付宝应该要删除消息msg，但若是支付宝这时候悲剧的挂了，重启后一看消息msg还在，就会继续发送消息msg。

解决方法很简单，在余额宝这边增长消息应用状态表（message_apply），通俗来讲就是个帐本，用于记录消息的消费状况，每次来一个消息，在真正执行以前，先去消息应用状态表中查询一遍，若是找到说明是重复消息，丢弃便可，若是没找到才执行，同时插入到消息应用状态表（同一事务）。

 

1 2 3 4 5 6 7 8

for each msg in queue   Begin transaction     select count(*) as cnt from message_apply where msg_id=msg.msg_id;     if cnt==0 then       update B set amount=amount+10000 where userId=1;       insert into message_apply(msg_id) values(msg.msg_id);   End transaction   commit;

ebay的研发人员其实在2008年就提出了应用消息状态确认表来解决消息重复投递的问题：http://queue.acm.org/detail.cfm?id=1394128。