name: 软件事务内存
description: “实现软件事务内存（STM），用于可组合的并发编程。”
version: “1.0.0”
tags: [并发, 事务, stm, oopsla]
difficulty: 高级
languages: [haskell, rust, python]
dependencies: [并发验证器, 无锁数据结构]
事务内存
软件事务内存（STM）提供了一个可组合的抽象用于并发编程。事务具有原子性——它们要么完全执行，要么没有任何效果。
何时使用此技能
- 可组合的并发抽象
- 避免锁组合问题
- 构建并发数据结构
- 高级并发编程
- 教授并发概念
此技能的作用
- 原子块：原子性地执行代码
- 事务变量：共享可变状态
- 重试/或否则：阻塞和替代事务
- 冲突检测：检测冲突事务
- 回滚：在冲突时中止并重试
关键概念
| 概念 |
描述 |
| TVar |
事务变量 |
| 事务 |
操作序列 |
| 原子性 |
全有或全无执行 |
| 重试 |
阻塞直到变化 |
| 或否则 |
替代事务 |
| 乐观 |
假设无冲突，如果错误则重试 |
提示
- 保持事务简短以提高性能
- 使用重试实现阻塞语义
- 使用或否则作为替代
- 避免在事务内进行I/O
- 考虑读写模式
常见用例
- 并发数据结构
- 可组合同步
- 游戏状态管理
- 内存中类似数据库的事务
- 教授并发
相关技能
无锁数据结构 - 替代方法并发验证器 - 验证正确性效应系统 - 跟踪事务效应霍尔逻辑验证器 - 证明正确性
经典参考文献
| 参考文献 |
重要性 |
| Herlihy & Moss “Transactional Memory: Architectural Support for Lock-Free Data Structures” (1993) |
硬件TM基础 |
| Shavit & Touitou “Software Transactional Memory” (1997) |
原始STM论文 |
| Harris, Marlow, Peyton Jones, Herlihy “Composable Memory Transactions” (2005) |
Haskell STM |
权衡与限制
方法权衡
| 方法 |
优点 |
缺点 |
| 乐观STM |
无阻塞 |
在高竞争下重试 |
| 悲观STM |
重试较少 |
更多阻塞 |
| 硬件TM |
快速 |
容量有限 |
何时不使用此技能
限制
评估标准
高质量实现应具备：
| 标准 |
需关注点 |
| 原子性 |
全有或全无 |
| 隔离性 |
无部分可见性 |
| 可组合性 |
事务可组合 |
| 性能 |
合理开销 |
质量指标
✅ 良好：可组合，重试有效，性能好
⚠️ 警告：在高竞争下重试率高
❌ 差：不原子，内存泄漏
研究工具与工件
真实世界STM实现：
| 工具 |
重要性 |
| Haskell STM |
生产级STM |
| Clojure refs |
Clojure中的STM |
| Intel TM |
硬件TM |
| Rust STM |
Rust的STM |
关键系统
研究前沿
当前STM研究：
| 方向 |
关键论文 |
挑战 |
| 性能 |
“Scalable STM” |
竞争 |
| 持久性 |
“Persistent STM” |
耐久性 |
热点话题
- Wasm STM：WebAssembly事务
- 混合TM：硬件 + 软件
实现陷阱
常见STM错误：
| 陷阱 |
真实示例 |
预防措施 |
| 事务内I/O |
I/O无法回滚 |
避免进行I/O |
| 饥饿 |
活锁 |
回退机制 |