实验 / 014
A2 / 并发历史提交
用真实Java线程复现回复乱序,加入版本票据、完整问答提交与有界回执,明确本地幂等和远端执行的区别。
实验结果
01 / 问题
用真实Java线程复现回复乱序,加入版本票据、完整问答提交与有界回执,明确本地幂等和远端执行的区别。
方法
真实Java线程固定乱序返回,八项会话验收。
结果
快请求提交,慢请求返回STALE;最终只保留一对问答和一次版本递增。
观察
回执去重、版本冲突与半轮输出分别处理;无模型请求。
结论
锁外请求与锁内提交可以分开,但过期回复不能无条件接回当前历史。
局限
仅进程内状态,回执有界;不保证远端恰好执行一次,也不覆盖所有线程交错。
复现
代码、冻结参数、原始结果和独立审计见固定版本仓库。
继续探索