實驗 / 014
A2 / 並發歷史提交
用真實Java執行緒復現回復亂序,加入版本票據、完整問答提交與有界回執,明確本地冪等和遠端執行的區別。
實驗結果
01 / 問題
方法
真實Java執行緒固定亂序返回,八項會話驗收。
結果
快請求提交,慢請求返回STALE;最終只保留一對問答和一次版本遞增。
觀察
回執去重、版本沖突與半輪輸出分別處理;無模型請求。
結論
鎖外請求與鎖內提交可以分開,但過期回復不能無條件接回當前歷史。
限制
僅進程內狀態,回執有界;不保證遠端恰好執行一次,也不覆蓋所有執行緒交錯。
重現
程式碼、固定參數、原始結果和獨立稽核見固定版本儲存庫。
繼續探索