在計算機領域中,冪等(Idempotence)是指任意一個操作的多次執行總是能獲得相同的結果,不會對系統狀態產生額外影響。在Java后端開發中,冪等性的實現通常通過確保方法或服務調用的結果具有確定性,無論調用次數如何,結果都是可預期的。
上面的定義是目前大多數文章和書籍對冪等的描述,然而,在實際的互聯網服務開發中,冪等性的理論定義與業務邏輯間的沖突是常見的。
例如,考慮查詢操作,當A系統調用B系統的查詢接口時,如果首次調用由于B系統中的程序錯誤而導致業務邏輯失敗,即使在程序修復后系統A重新使用相同參數進行重試,B系統可能仍然返回相同的失敗響應。盡管這符合冪等性的定義,卻與實際業務邏輯不符。同樣,以訂單支付為例,首次調用由于賬戶余額不足而返回“余額不足”提示,用戶充值后再次使用相同參數發起支付請求,服務仍然返回“余額不足”響應,也符合冪等性的定義,但同樣不符合業務邏輯。
因此,在實現冪等性方案時,應該遵循冪等性方案的目標,而不僅僅是嚴格遵循冪等性的定義。尤其是涉及寫操作的服務,應當更關注防止重復請求帶來的不良副作用,例如重復扣款或退款。
在微服務和分布式架構中,一個請求可能需要多個服務協作才能完成。在這個過程中,網絡抖動、系統運行異常等不確定因素使得請求的成功率不可能達到100%,一旦發生失敗或未知異常,最常見的處理方式就是重試,而重試必然會導致重復請求問題。
冪等設計主要是為了處理重復請求而生的,好的冪等方案可以保證重復請求獲得預期結果,而不產生副作用。 在實際開發中,以下場景會產生重復請求:
在我的SpringCloud微服務專欄《使用RocketMQ實現分布式事務》一文中就遺留了個冪等導致的bug,由于消費端沒做冪等處理,所以在整個消息鏈路中,如果broker沒有收到消費者發送的ack響應就會發起重試,從而產生數據一致性問題。
在具有并發寫操作的場景下,通常需要考慮冪等問題。例如,當用戶在極短時間內多次提交表單或者使用特殊手段同時提交多個表單時,這就是典型的并發場景,需要進行冪等性處理。為了防止重復請求被執行,服務端需要實施冪等性控制,以避免產生不符合預期的結果。
雖然并發場景大都存在冪等問題,但冪等問題卻并非并發場景所特有。冪等設計是為了識別并處理重復請求,而并發僅僅是重復請求的一種特殊情況。 事實上,只要重復請求涉及寫操作,無論是否并發,都需要做好冪等處理。舉個例子,用戶在pc端同時開了兩個窗口,間隔10分鐘分別提交表單,所有參數完全相同,這顯然不屬于并發,但仍需要進行冪等處理。
在互聯網領域,并發處理與冪等性問題緊密相關,這也導致了一些人認為解決冪等性就是解決高并發的問題。
冪等性設計的目的是確保即使在多次接收相同請求的情況下,也只執行一次操作,防止重復處理。要實現這一點,通常需要事先約定一個具有唯一性的標識符,如Token或業務流水號,我們稱之為冪等號(Idempotency Key)。
冪等號有三個關鍵特性:唯一性、不變性和傳遞性。
唯一性確保每個請求都能被準確識別,不變性保證在請求處理期間冪等號保持不變,傳遞性則確保在多系統處理同一請求時,冪等號能夠被傳遞和保持。
冪等號通常有兩種設計方式:
冪等性的實現關鍵在于確保相同的請求僅被處理一次,這通??梢酝ㄟ^設置唯一性約束和檢查來實現。實踐中有六種常見的方案:唯一索引、Token機制、悲觀鎖、樂觀鎖、分布式鎖和狀態機。
唯一索引方案依賴于數據庫表中不允許存在具有相同索引值的重復行。這種策略在關系型數據庫中廣泛支持,并且能有效利用唯一性約束來確保冪等性。在高并發場景中,唯一索引能保證當多個線程嘗試同時插入相同記錄時,只有一個線程能成功執行,而其他線程將會因違反唯一性約束而拋出異常。
通常,業務流水表的建立是基于以下核心字段:
在這種設計中,user_id和out_biz_no通常會組合成一個聯合索引,這樣做能有效避免在并發情況下的數據重復插入問題,從而保障了業務操作的冪等性。
Token機制是用于防止客戶端重復提交的一種特殊機制,特別適用于客戶端創建訂單等提交表單場景。其執行流程如下:
圖片
1)當用戶訪問表單頁面時,客戶端請求服務端接口以獲取唯一的Token(可以是UUID或全局ID),服務端生成的Token會被存儲在Redis或數據庫中。
2)用戶首次提交表單時,將Token與表單一起發送至服務端,服務端會驗證Token的存在性,如果Token存在,則執行業務邏輯,并在完成后銷毀Token。
3)用戶再次提交表單時,同樣攜帶Token一起發送至服務端。但由于Token已被銷毀,服務端無法找到對應的Token,從而拒絕重復提交請求。
悲觀鎖依賴數據庫提供的鎖機制來實現,整個數據處理過程中,數據處于鎖定狀態,并與事務機制配合,能夠有效實現業務冪等性。操作示例如下:
// 1. 開啟事務begin;// 2. 基于冪等號查詢record = select * from tbl_xxx where out_biz_no = 'xxx' for update;// 3. 根據狀態進行決策if(record.getStatus() != 預期狀態){ return;}// 4. 更新記錄update tbl_xxx set status = '目標狀態' where out_biz_no = 'xxx';// 5. 提交事務commit;
悲觀鎖主要適用于更新場景,通過串行化請求處理來確保冪等性,但需要小心使用,因為在并發場景下,重復請求可能會導致線程長時間處于等待狀態,浪費資源且降低性能。
樂觀鎖主要依靠"帶條件更新"(update with condition)來確保多次外部請求的一致性。在系統設計中,可以在數據表中添加版本號字段,用于標識當前數據的版本。每次對該數據表的記錄進行更新時,都需要提供上一次更新的版本號,示例操作如下:
//1. 取出要更新的對象,帶有版本versoinselect * from tablename where id = xxx//2. 更新數據update tableName set sq = sq-#{quantity},version = #{version}+1 where id = xxx and versinotallow=#{version}
樂觀鎖主要適用于更新場景,確保多次更新不會影響結果的一致性。
分布式鎖與悲觀鎖本質上相似,都通過串行化請求處理來實現冪等性。與悲觀鎖不同的是,分布式鎖更輕量。在系統接收請求后,首先嘗試獲取分布式鎖。如果成功獲取鎖,則執行業務邏輯;如果獲取失敗,則立即拒絕請求。
圖片
分布式鎖的核心是識別重復請求,實現串行化處理。但要注意,獲取鎖成功后,業務邏輯的執行并沒有可靠保證。因此,在實際應用中,分布式鎖需要結合事務機制和重試機制,以形成完整的冪等性解決方案。
在許多業務單據中,存在有限數量的狀態,并且這些狀態之間的流轉順序是固定的。如果狀態已經處于下一個狀態,那么再次應用上一個狀態的變更邏輯是不會產生任何效果的,這就確保了有限狀態機的冪等性。
例如,庫存狀態通常包括"預扣中"、"扣減中"、"占用中"和"已釋放"等狀態。如果系統重復調用扣減接口,而庫存狀態已經是"扣減中",則可以直接返回結果。
狀態機可以與樂觀鎖機制結合使用,示例操作如下:
update tableName set sq=sq-#{quantity},status=#{udpate_status} where id =#{id} and status=#{status}
上面介紹了冪等方式的6種實現方案并簡單介紹了每周方案的適合場景,這些方案的技術路線可以總結成三條:唯一索引、唯一數據、狀態機約束。
唯一索引是指數據庫唯一索引,唯一索引大部分是基于業務流水表建立,也可單獨建表實現;唯一數據是指悲觀鎖、樂觀鎖、分布式鎖等機制;狀態機約束,對于存在狀態流轉的業務,通過狀態機的流轉約束,可以實現有限狀態機的冪等。
需要注意的是:在實際開發中,這些方案單獨使用很難奏效,比如悲觀鎖、分布式鎖只是將請求串行化處理,對于出現異常后的重試并沒有什么抵御能力,需要搭配唯一索引才能形成完整的冪等方案。而在唯一索引方案中也還需要搭配事務機制才能生效。所以需要結合具體的業務場景靈活運用上面的實現方案。
以上介紹了六種實現冪等性的方式,每種方式的適用場景和關鍵信息。這些方式可以總結為三個技術路線:唯一索引、唯一數據和狀態機約束。
需要注意的是,在實際開發中,單獨使用這些方式可能無法完全解決問題。例如,悲觀鎖和分布式鎖只將請求串行化處理,沒有處理異常后的重試,因此需要結合唯一索引來實現完整的冪等性解決方案。同樣,因此,在實際應用中,需要根
以上介紹了六種實現冪等性的方式,并簡要介紹了每種方式適用的場景和關鍵信息。這些方式可以總結為三個技術路線:唯一索引、唯一數據和狀態機約束。
然而,需要注意的是,在實際開發中,單獨使用這些方法往往效果有限。 例如,悲觀鎖和分布式鎖只是將請求串行處理,對于異常情況的重試并沒有足夠的防御能力,因此需要結合唯一索引來實現完整的冪等性解決方案。同樣,唯一索引方案也需要與事務機制結合使用。因此,在實際應用中,需要根據具體的業務場景靈活選擇、合理的運用上述實現方法。
在Dailymart項目中,實現了除悲觀鎖以外的五種冪等方案。為了方便使用,我將分布式鎖機制和Token機制封裝在一個單獨的冪等組件dailymart-idempotent-spring-boot-starter中。
在業務模塊中,只需在pom文件中引入依賴即可使用封裝好的冪等功能。
<dependency> <groupId>com.jianzh5</groupId> <artifactId>dailymart-idempotent-spring-boot-starter</artifactId> <version>${project.version}</version></dependency>
冪等組件的核心是利用Spring的AOP機制實現。在使用時,只需在需要實現冪等的方法上添加自定義注解@Idempotent,并指定冪等方案IdempotentTypeEnum。
圖片
在自定義冪等組件中,分布式鎖方案依賴于Redis。因此,在SpringBoot配置文件中需要加上Redis的相關配置,并添加一些自定義配置,如Redis key的自定義前綴以及分布式鎖key的前綴。
spring: data: redis: host: xxx.xx.xx.xx port: 29359dailymart: cache: redis: prefix: "inventory:" idempotent: token: prefix: "token-" timeout: 30000
接下來,結合具體應用場景,演示在DailyMart中如何實現這些冪等方案。
用戶下單時需要調用庫存預扣接口,在這種新增場景下,可以使用唯一索引結合事務機制實現冪等方案。
1、在扣減流水表中給業務流水字段transactionId加上唯一索引。
2、在Service層讓庫存扣減和庫存修改在同一個事務中,確保出現重復請求時事務回滾,從而保證冪等性。
這部分代碼已在上篇文章中展示,源碼位于com/jianzh5/dailymart/module/inventory/application/service/impl/InventoryServiceImpl.java。
用戶付款時會調用庫存扣減接口,這種更新場景可以使用樂觀鎖機制來實現冪等方案。在Dailymart中,有兩種實現方式。
public interface InventoryItemMapper extends BaseMapper<InventoryItemDO> { /** * 基于樂觀鎖實現更新 * @param inventoryItemDO 庫存實體 */ @Update("UPDATE inventory_item SET sellable_quantity = #{sellableQuantity},withholding_quantity = #{withholdingQuantity}, occupy_quantity = #{occupyQuantity} ,version = #{version} + 1 , update_time = NOW() WHERE id = #{id} AND version = #{version} ") void updateByVersion(InventoryItemDO inventoryItemDO);}
1、在DO對象中使用@Version注解對樂觀鎖字段進行標注。
public class InventoryItemDO extends BaseDO { ... @Version private Integer version;}
2、在mybatis-plus的配置類中添加樂觀鎖插件
public class DailyMartDsAutoConfiguration { /** * 設置mybatis-plus攔截器 * 1. 分頁攔截器 * 2. 樂觀鎖攔截器 */ @Bean public MybatisPlusInterceptor mybatisPlusInterceptor() { MybatisPlusInterceptor interceptor = new MybatisPlusInterceptor(); //分頁 interceptor.addInnerInterceptor(new PaginationInnerInterceptor(DbType.MYSQL)); // 樂觀鎖 interceptor.addInnerInterceptor(new OptimisticLockerInnerInterceptor()); return interceptor;}
這樣,當使用inventoryItemMapper.updateById(inventoryItemDO);方法時會自動實現樂觀鎖。
用戶退貨時需要調用庫存釋放接口,可以基于有限狀態機來實現冪等。
@Override@Transactionalpublic void releaseInventory(Long transactionId) { ... //如果已經是釋放狀態直接返回結果 if(inventoryRecord.getState() == InventoryRecordStateEnum.RELEASE.code()){ return; } ...}
單一的狀態機機制不能很好地保證冪等性,因此需要結合樂觀鎖機制才更有效。
用戶在創建訂單時需要調用后臺接口提交表單,像這種客戶端提交表單的操作就很適合使用token機制。
1、在客戶端進入頁面時調用冪等組件提供的/token方法,后端自動生成token并存儲到Redis中。
@Overridepublic String createToken() { String token = Optional.ofNullable(Strings.emptyToNull(idempotentProperties.getPrefix())).orElse(TOKEN_PREFIX_KEY) + UUID.randomUUID(); log.info("Generated Idempotency Key is: {}", token); distributedCache.put(token, "", Optional.ofNullable(idempotentProperties.getTimeout()).orElse(TOKEN_EXPIRED_TIME)); return token;}
2、在創建訂單接口加上自定義冪等注解,指定冪等類型為Token機制。
@PostMapping("/api/order/create")@Idempotent( type = IdempotentTypeEnum.TOKEN, message = "訂單正在創建,請勿重復提交")public void create(@RequestBody OrderDTO orderDTO) { orderService.save(orderDTO);}
Token機制也需要結合唯一索引才能形成完整的冪等方案。
使用分布式鎖冪等方案很簡單,在方法上加上冪等注解即可。有兩種使用方式:
1、指定type為IdempotentTypeEnum.PARAM,此時冪等組件會將整個表單的參數做MD5摘要后作為分布式鎖的key
@Idempotent( type = IdempotentTypeEnum.PARAM, message = "訂單正在創建,請勿重復提交")@PostMapping("/api/order/create") public void create(@RequestBody OrderDTO orderDTO) { orderService.create(orderDTO); }
2、指定type為IdempotentTypeEnum.SpEL,此時冪等組件會根據key的值選取參數作為分布式鎖的key,冪等key可以使用SpEL表達式選擇參數中的字段。
@Idempotent( key = "#lockRequest.transactionId", type = IdempotentTypeEnum.SpEL )@PostMapping("/api/order/update") public void update(@RequestBody OrderDTO orderDTO) { orderService.update(orderDTO); }
通過以上實現,Dailymart項目成功應用了多種冪等性方案,確保了系統的可靠性和穩定性。
本文詳細介紹了在分布式系統中冪等性實現方案,同時著重講解了冪等和并發之間的區別。一般而言,并發都會伴隨冪等,而冪等又并非并發獨有。文章中提供了多種關于冪等的實現方案,不過需要記住,單一使用某種冪等方案往往很難奏效,需要組合多種方式才能形成完整的解決方案。
本文鏈接:http://www.tebozhan.com/showinfo-26-92739-0.htmlSpringBoot項目保證接口冪等的五種方法!
聲明:本網頁內容旨在傳播知識,若有侵權等問題請及時與本網聯系,我們將在第一時間刪除處理。郵件:2376512515@qq.com