定义：对同一个系统，使用同样的条件，一次请求和重复的多次请求对系统资源的影响是一致的
例子：对一个资源发送多次读请求，返回的结果肯定相同（只要别的用户不修改，即使资源被修改也不是因为读请求产生的）
问题引入
假设有一个从账户取钱的远程 API 如下所示。
// 从account_id账户上扣除amount数额的钱，然后返回操作结果
boolean withdraw(account_id, amount);
存在这么一种情况：用户发送该请求时，服务器成功扣除 amount 数额的钱，然后返回 ok 时由于网络等原因该返回值丢失。用户会认为请求失败，又发送一次请求，此时账户实际上扣除了两次钱。如下图所示
问题引入
解决方法
- 使用事务机制
- 幂等设计
方案二：幂等设计
int create_ticket();
boolean idempotent_withdraw(ticket_id, account_id, amount);
-
create_ticket()的语义是获取一个服务器端生成的唯一的处理号ticket_id，它将用于标识后续的操作。 -
idempotent_withdraw()和withdraw()的区别在于关联了一个ticket_id，一个ticket_id表示的操作至多只会被处理一次，每次调用都将返回第一次调用时的处理结果。这样，idempotent_withdraw就符合幂等性了，客户端就可以放心地多次调用。
基于幂等性的解决方案中一个完整的取钱流程被分解成了两个步骤：
- 调用
create_ticket()获取ticket_id； - 调用
idempotent_withdraw(ticket_id, account_id, amount)。
虽然 create_ticket 不是幂等的，但在这种设计下，它对系统状态的影响可以忽略，加上 idempotent_withdraw 是幂等的，所以任何一步由于网络等原因失败或超时，客户端都可以重试，直到获得结果。如图2所示：
幂等设计
HTTP幂等
POST 不具有幂等性，PUT 具有幂等性
