實驗 / 042

持久投遞與歷史恢復

17種場景、193條子行程記錄;無接收端冪等的投遞崩潰後執行兩次,三個歷史恢復窗口均保留完整問答。

已完成 ·

實驗結果

GitHub ↗

01 / 問題

17種場景、193條子行程記錄;無接收端冪等的投遞崩潰後執行兩次,三個歷史恢復窗口均保留完整問答。

方法

凍結協議後實際運行,獨立復算原始記錄,並從Git提交導出重新核驗。

結果

17種場景、193條子行程記錄;無接收端冪等的投遞崩潰後執行兩次,三個歷史恢復窗口均保留完整問答。

觀察

17種場景、193條子行程記錄;無接收端冪等的投遞崩潰後執行兩次,三個歷史恢復窗口均保留完整問答。

結論

分別閱讀三篇問題導向教程,保留負結果與驗證邊界。

限制

本地紀錄即業務狀態、回環HTTP和協作行程鎖;無真實模型、斷電證明或跨主機恰好一次保證。

重現

每篇均提供固定版本、獨立輸出目錄、運行和審計命令;同協議只需運行一次。

繼續探索

繼續探索

  1. 實作教程

    持久冪等:讓操作身份與結果一起提交

    用帶CRC的追加紀錄、行程崩潰與99個截斷前綴,解釋持久冪等的提交邊界。

    10 分鐘已發布
  2. 實作教程

    Outbox投遞:本地可靠,不等於遠端只執行一次

    對照有鍵和無鍵接收端,解釋回復丟失、回執缺失與遠端重複副作用。

    10 分鐘已發布
  3. 實作教程

    對話恢復:從意圖、回執到完整問答

    在三個提交邊界真實終止JVM,以持久事實恢復完整歷史,保留遠端重複執行反例。

    10 分鐘已發布
  4. 專案 / 002

    Java LLM 實作集

    Java 會話、請求重試與持久化邊界,以及注意力、快取成本和量化誤差的可復現實驗。

    開發中

← 返回目錄