名称: 线性一致性检查器 描述: 检查并发数据结构实现的线性一致性 允许使用的工具:
- Bash
- Read
- Write
- Edit
- Glob
- Grep 元数据: 专业领域: 计算机科学 领域: 科学 类别: 分布式系统 阶段: 6
线性一致性检查器
目的
通过测试和证明，为验证并发数据结构的线性一致性提供专家指导。
能力
- 历史线性化算法
- 线性化点识别
- 违规反例生成
- 并发历史可视化
- 线性一致性证明模板
- 测试框架集成
使用指南
- 历史收集: 记录并发操作历史
- 线性化: 检查历史是否可线性化
- 反例分析: 分析非可线性化执行
- 证明构建: 构建线性一致性证明
- 测试: 系统化测试违规情况
工具/库
- LineUp
- Wing-Gong算法
- Lincheck
- JCStress