引子

群裡發了一個總共1千元的拼手氣紅包，共10個。靜兒點進去，額，搶到了0.05元。這個不甘心啊。退出來重新打開了這個紅包，你猜怎樣？顯示我搶到了0.05元！ 這就是冪等(idempotence)，不管多少次請求某一個資源，對資源都具有相同的影響。冪等性是系統的介面對外一種承諾，承諾只要呼叫介面成功，外部多次呼叫對系統只產生一次副作用。  

為什麼要冪等

世界上最遙遠的距離是我終於鼓起勇氣，對著馬路對面的你大喊：“你願意娶我嗎？”我看到你面帶燦爛的笑容，正回答的時候……一輛大卡車駛過，你的回答我沒有聽見。 因各種不可抗因素產生的沒有收到響應，一個簡單有效的方法就是重試。被重試的介面必須是冪等的。 冪等性是分散式系統設計中的一個重要概念，對超時處理、系統恢復等具有重要意義。  

保證冪等的手段

保證冪等需要理清楚兩件事情：冪等條件和期望結果。 大家可能聽說過保證冪等的手段有token令牌、分散式鎖、去重表、資料庫唯一索引等。這些所謂的冪等手段實際上防重手段。防重本質是防止一個相同的請求被當成多個不同的請求來處理。冪等的條件是知道這是一個相同的請求。防重和冪等本質上是兩個不同的階段。  

狀態機冪等

在支付場景中，建立了一個支付訂單，發起了一個支付請求，這個訂單不論多少次重複請求，都應該保證最多隻扣款一次。即 相同支付訂單ID（冪等條件） —> 最多一次扣款（期望結果） 為了實現這個目標，可以考慮使用有限狀態機。 有限狀態機(Finite-state machine FSM)，又稱有限狀態自動機，簡稱狀態機，是表示有限個狀態以及在這些狀態之間的轉移和動作等行為的數學模型。用於處理複雜的狀態轉換。 在這個支付的例子中，為了化簡，不考慮退款、取消訂單等複雜的狀態，只考慮未支付和已支付兩種狀態之間的轉換。

相關推薦