概念
一致性分为强一致性和弱一致性。 强一致性的协议和手段主要有：二阶段提交(2PC)、三阶段提交(3PC)、TCC(Try-Confirm-Cancel)补偿型。这里面经常有人把两阶段提交和TCC补偿型混淆。二阶段提交实际上业务逻辑是在提交之前做的，两阶段只是事务控制的两个阶段。而TCC是将业务逻辑分为try、confirm和cancel三个阶段。举个例子：比如一个人要预售苹果，有两种销售策略。一种让用户先付钱，根据用户需求量准备足够的苹果。另一种是让用户先付钱同时声明到时候先到先得，没抢到的就退款。第一种就是二阶段提交，第二种就是TCC。弱一致性在分布式系统中常用的是一种特例：最终一致性。在工作中，最终一致性通常通过补单和对账来解决。补单主要指在运行时同时检查返回值，如果返回值为失败，会重新处理（补单处理）。 对账主要分为两个阶段：数据核对和差错处理。数据核对就是对账中的轧账。注意「轧」这里念「ga」二声。差错处理就是对账中的平账。
应用
以秒杀场景为例说明一下对账的常用流程。
对账依据和标准
对账问题最先解决的问题是对账依据和标准。比如秒杀场景，对账依据就是订单号，整个链路采用唯一内部订单号。对账标准可以设定为对用户的承诺。就是说：一次秒杀活动结束，如果给用户的结果是成功，那么实际上超卖了，那就自己补货解决。如果给用户结果是失败了，实际上有很多没卖出去，那就是没卖出去放着。总之，我承诺给用户的结果一定要履行。如果数据核对时，各个环节结果不一致，最终结果向用户的承诺对齐。
对账梳理
可以从明细和总数两个方面来做对账。在秒杀场景中，明细是一条条请求订单。总数是成功和失败了多少个请求，买出多少库存。明细对账主要用于定位问题。总数对账是兜底策略，用来解决「怎么证明自己是对的」的问题。
对账时机
分为在线对账和离线对账。在线对账又分为实时对账和准实时对账。实时对账就是比如秒杀成功了，那下游的每一步都需要是成功的，其他情况如超时等则采用重试来进行强一致性保证。准实时对账通常用异步来实现。在秒杀的场景，如果订单返回失败，可以异步发起一个任务进行退款，如果退款不成功则可以用多次重试进行补单。 离线对账就是平时所说的定时任务。这个对账方法就比较多了，自由发挥空间比较大。特别是在轧账场景中，因为不实际修改数据，风险低，很多新技术试用可以选择在此模块进行。
