高併發的核心技術-冪等的實現方案(轉)

来源:http://www.cnblogs.com/059212315/archive/2017/02/19/6417664.html
-Advertisement-
Play Games

高併發的核心技術-冪等的實現方案 一、背景 我們實際系統中有很多操作,是不管做多少次,都應該產生一樣的效果或返回一樣的結果。 例如: 1. 前端重覆提交選中的數據,應該後臺只產生對應這個數據的一個反應結果。 2. 我們發起一筆付款請求,應該只扣用戶賬戶一次錢,當遇到網路重發或系統bug重發,也應該只 ...


高併發的核心技術-冪等的實現方案 

一、背景 
我們實際系統中有很多操作,是不管做多少次,都應該產生一樣的效果或返回一樣的結果。 
例如:
 

1. 前端重覆提交選中的數據,應該後臺只產生對應這個數據的一個反應結果。 
2. 我們發起一筆付款請求,應該只扣用戶賬戶一次錢,當遇到網路重發或系統bug重發,也應該只扣一次錢; 
3. 發送消息,也應該只發一次,同樣的簡訊發給用戶,用戶會哭的; 
4. 創建業務訂單,一次業務請求只能創建一個,創建多個就會出大問題。 

等等很多重要的情況,這些邏輯都需要冪等的特性來支持。 

二、冪等性概念
 
冪等(idempotent、idempotence)是一個數學與電腦學概念,常見於抽象代數中。 

在編程中.一個冪等操作的特點是其任意多次執行所產生的影響均與一次執行的影響相同。冪等函數,或冪等方法,是指可以使用相同參數重覆執行,並能獲得相同結果的函數。這些函數不會影響系統狀態,也不用擔心重覆執行會對系統造成改變。例如,“getUsername()和setTrue()”函數就是一個冪等函數. 

更複雜的操作冪等保證是利用唯一交易號(流水號)實現. 

我的理解:冪等就是一個操作,不論執行多少次,產生的效果和返回的結果都是一樣的 


三、技術方案 
1. 查詢操作 
查詢一次和查詢多次,在數據不變的情況下,查詢結果是一樣的。select是天然的冪等操作 

2. 刪除操作 
刪除操作也是冪等的,刪除一次和多次刪除都是把數據刪除。(註意可能返回結果不一樣,刪除的數據不存在,返回0,刪除的數據多條,返回結果多個) 

3.唯一索引,防止新增臟數據 
比如:支付寶的資金賬戶,支付寶也有用戶賬戶,每個用戶只能有一個資金賬戶,怎麼防止給用戶創建資金賬戶多個,那麼給資金賬戶表中的用戶ID加唯一索引,所以一個用戶新增成功一個資金賬戶記錄 

要點: 
唯一索引或唯一組合索引來防止新增數據存在臟數據 
(當表存在唯一索引,併發時新增報錯時,再查詢一次就可以了,數據應該已經存在了,返回結果即可)
 

4. token機制,防止頁面重覆提交 
業務要求: 
頁面的數據只能被點擊提交一次 
發生原因: 
由於重覆點擊或者網路重發,或者nginx重發等情況會導致數據被重覆提交 
解決辦法: 
集群環境:採用token加redis(redis單線程的,處理需要排隊) 
單JVM環境:採用token加redis或token加jvm記憶體 
處理流程: 
1. 數據提交前要向服務的申請token,token放到redis或jvm記憶體,token有效時間 
2. 提交後後臺校驗token,同時刪除token,生成新的token返回 
token特點: 
要申請,一次有效性,可以限流 

註意:redis要用刪除操作來判斷token,刪除成功代表token校驗通過,如果用select+delete來校驗token,存在併發問題,不建議使用 

5. 悲觀鎖 
獲取數據的時候加鎖獲取 
select * from table_xxx where id='xxx' for update; 
註意:id欄位一定是主鍵或者唯一索引,不然是鎖表,會死人的 
悲觀鎖使用時一般伴隨事務一起使用,數據鎖定時間可能會很長,根據實際情況選用
 

6. 樂觀鎖 
樂觀鎖只是在更新數據那一刻鎖表,其他時間不鎖表,所以相對於悲觀鎖,效率更高。 

樂觀鎖的實現方式多種多樣可以通過version或者其他狀態條件: 
1. 通過版本號實現 
update table_xxx set name=#name#,version=version+1 where version=#version# 
如下圖(來自網上): 

 

2. 通過條件限制 
update table_xxx set avai_amount=avai_amount-#subAmount# where avai_amount-#subAmount# >= 0 
要求:quality-#subQuality# >= ,這個情景適合不用版本號,只更新是做數據安全校驗,適合庫存模型,扣份額和回滾份額,性能更高 

註意:樂觀鎖的更新操作,最好用主鍵或者唯一索引來更新,這樣是行鎖,否則更新時會鎖表,上面兩個sql改成下麵的兩個更好 
update table_xxx set name=#name#,version=version+1 where id=#id# and version=#version# 
update table_xxx set avai_amount=avai_amount-#subAmount# where id=#id# and avai_amount-#subAmount# >= 0
 

7. 分散式鎖 
還是拿插入數據的例子,如果是分佈是系統,構建全局唯一索引比較困難,例如唯一性的欄位沒法確定,這時候可以引入分散式鎖,通過第三方的系統(redis或zookeeper),在業務系統插入數據或者更新數據,獲取分散式鎖,然後做操作,之後釋放鎖,這樣其實是把多線程併發的鎖的思路,引入多多個系統,也就是分散式系統中得解決思路。 

要點:某個長流程處理過程要求不能併發執行,可以在流程執行之前根據某個標誌(用戶ID+尾碼等)獲取分散式鎖,其他流程執行時獲取鎖就會失敗,也就是同一時間該流程只能有一個能執行成功,執行完成後,釋放分散式鎖(分散式鎖要第三方系統提供) 

8. select + insert 
併發不高的後臺系統,或者一些任務JOB,為了支持冪等,支持重覆執行,簡單的處理方法是,先查詢下一些關鍵數據,判斷是否已經執行過,在進行業務處理,就可以了 
註意:核心高併發流程不要用這種方法 

9. 狀態機冪等 
在設計單據相關的業務,或者是任務相關的業務,肯定會涉及到狀態機(狀態變更圖),就是業務單據上面有個狀態,狀態在不同的情況下會發生變更,一般情況下存在有限狀態機,這時候,如果狀態機已經處於下一個狀態,這時候來了一個上一個狀態的變更,理論上是不能夠變更的,這樣的話,保證了有限狀態機的冪等。 

註意:訂單等單據類業務,存在很長的狀態流轉,一定要深刻理解狀態機,對業務系統設計能力提高有很大幫助 

10. 對外提供介面的api如何保證冪等 
如銀聯提供的付款介面:需要接入商戶提交付款請求時附帶:source來源,seq序列號 
source+seq在資料庫裡面做唯一索引,防止多次付款,(併發時,只能處理一個請求) 

重點: 
對外提供介面為了支持冪等調用,介面有兩個欄位必須傳,一個是來源source,一個是來源方序列號seq,這個兩個欄位在提供方系統裡面做聯合唯一索引,這樣當第三方調用時,先在本方系統裡面查詢一下,是否已經處理過,返回相應處理結果;沒有處理過,進行相應處理,返回結果。註意,為了冪等友好,一定要先查詢一下,是否處理過該筆業務,不查詢直接插入業務系統,會報錯,但實際已經處理了。
 




總結: 
冪等性應該是合格程式員的一個基因,在設計系統時,是首要考慮的問題,尤其是在像支付寶,銀行,互聯網金融公司等涉及的都是錢的系統,既要高效,數據也要準確,所以不能出現多扣款,多打款等問題,這樣會很難處理,用戶體驗也不好
 

 

from:http://825635381.iteye.com/blog/2276077


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • Struts2類型轉換 struts2中內置了大量的類型轉換器用來完成數據類型轉換的問題,這篇隨筆主要通過兩個方面來寫Struts類型轉換 1:Struts2內置的類型轉換器 2:如何自定義類型轉換器 那麼首先我們來學習有關Struts2內置的類型 1:Struts2內置的類型轉換器 Struts2 ...
  • 早就發現java父類有個方法clone(),但一直沒用過,也不知道怎麼用。直到學習了原型設計模式才明白,他就是克隆方法,專門用來複制對象的。雖然到目前為止還沒真正在項目中用到,但克隆方法還是挺有用的,它為我們創建相同對象帶來了很大的便利,只要克隆一下就可以擁有一個全新的、初始值跟父類一樣的對象。 一 ...
  • 我們知道從applicationContext容器對象中如何獲取Bean了,其實spring框架還有另外一種獲取bean的方法:BeanFactory代碼如下: 那麼,兩者之間有啥區別呢? applicationContext 當我們使用applicationContext來獲取對象的時候,只要我們 ...
  • 單例模式的c++實現 ...
  • 一個簡單的SSM框架的搭建過程,簡單易學! SSM框架在項目開發中經常使用到,相比於SSH框架,它在僅幾年的開發中運用的更加廣泛。 ...
  • BDP BDP是一個商業化的可視化Web工具,提供免費的功能試用,有很多產品設計可以借鑒,主要功能有: 網址:https://me.bdp.cn/login.html SAIKU SAIKU是一個開源的可視化工具,底層使用mondrian來獲取數據,支持多種數據源,但是一個高級功能需要收費,比如da ...
  • 設計模式主要三類型:創建型、結構型行型 其創建型: 一、Singleton單例模式:保證類實例並提供訪問全局訪問點 二、Abstract Factory抽象工廠:提供創建系列相關或相互依賴象介面須指定具體類 三、Factory Method工廠:定義用於創建象介面讓類決定實例化哪類Factory M ...
  • Californium 源碼分析 1. Californium 項目簡介 Californium 是一款基於Java實現的Coap技術框架,該項目實現了Coap協議的各種請求響應定義,支持CON/NON不同的可靠性傳輸模式。 Californium 基於分層設計且高度可擴展,其內部模塊設計及介面定義 ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...