[併發控制系列] #2 樂觀式與悲觀式併發控制 為安全處理並行執行,高性能區塊鏈採用兩種主要的併發控制模型:悲觀式或樂觀式執行。兩者皆旨在防止狀態衝突,但對執行時機與計算風險的處理方式截然相反。 1. 悲觀式執行:優先預防衝突 悲觀式併發控制在執行前分析交易的狀態存取需求。 - 若兩筆交易針對同一帳戶或儲存槽,系統會強制其中一筆交易排隊等候。 - 衝突的交易會被分組為無衝突的順序批次,從而消除重執行的開銷。 - 妥協:在高狀態競爭下,具有高資源可預測性與零失敗交易重試,但會增加延遲(等待模式)。 2. 樂觀式執行:先執行,後驗證 樂觀式併發控制假設衝突罕見,並立即並行執行所有交易。 - 交易在無延遲的情況下並行執行,但其狀態更新會在最終寫入帳本前進行驗證。 - 若某筆交易讀取到因重疊寫入而產生的過期狀態,則該交易會被中止並標記為需重執行(重跑模式)。 - 妥協:在低衝突負載下,可實現最高硬體利用率與亞秒級延遲,但在高擁塞狀態碰撞時會造成計算資源浪費與重試。 3. 核心工程挑戰 選擇悲觀式預排序還是樂觀式預測性執行,決定了網路在市場波幅下的表現。理解這些機制對於設計具彈性的執行層至關重要。 @RialoHQ @RialoKorea



