1. Wait-free[Herlihy91]: 这是最强的一种保证,wait-free 的算法可以保证竞争同一资源的所
有线程在他们各自的有限的time steps 后能向前推进。这种算法既防止了死锁,又能避
免饥饿。Rajwar 的TLR 使用了timestamp 来保证wait-free[Rajwar02]。
2. Lock-free: 比wait-free 弱一些,他能保证竞争同一资源的一组线程中,至少有一个能够
在其他线程执行了有限的execution time steps 之后能够向前推进。这种算法可以防止死
锁,但不能避免饥饿。herlihy 最早实现的TM[Herlihy93]不是lock-free 的。因此产生了
一些改进后的lock-free 的算法,比如[Barnes93],[Shavit95]的helping 方法。如果活跃的
线程和不活跃的线程之间发生了资源共享冲突,helping 方法让活跃的线程“帮助”非活
跃的线程完成他的工作,以达到向前推进的目的。
3. Obstruction-free[Herlihy03a]: 比lock-free 更弱的保证。这种算法保证在没有contention
的情况下,transaction 可以在有限的own steps 内向前推进。Obstruction-free 非常适合
software transactional memory(STM),因为它遵循这样一个概念:correctness 和progress
分别由不同的模块负责。obstruction-free 可以避免死锁和优先级翻转等问题,但不能避
免livelock 。[Herlihy03b],[Harris03] 中实现的系统也都为obstruction-free 的。
Obstruction-free 的系统为了解决live-lock 的问题需要引入额外的模块, 例如
contention-manager[Herlihy03b],[Guerraoui05]。
有线程在他们各自的有限的time steps 后能向前推进。这种算法既防止了死锁,又能避
免饥饿。Rajwar 的TLR 使用了timestamp 来保证wait-free[Rajwar02]。
2. Lock-free: 比wait-free 弱一些,他能保证竞争同一资源的一组线程中,至少有一个能够
在其他线程执行了有限的execution time steps 之后能够向前推进。这种算法可以防止死
锁,但不能避免饥饿。herlihy 最早实现的TM[Herlihy93]不是lock-free 的。因此产生了
一些改进后的lock-free 的算法,比如[Barnes93],[Shavit95]的helping 方法。如果活跃的
线程和不活跃的线程之间发生了资源共享冲突,helping 方法让活跃的线程“帮助”非活
跃的线程完成他的工作,以达到向前推进的目的。
3. Obstruction-free[Herlihy03a]: 比lock-free 更弱的保证。这种算法保证在没有contention
的情况下,transaction 可以在有限的own steps 内向前推进。Obstruction-free 非常适合
software transactional memory(STM),因为它遵循这样一个概念:correctness 和progress
分别由不同的模块负责。obstruction-free 可以避免死锁和优先级翻转等问题,但不能避
免livelock 。[Herlihy03b],[Harris03] 中实现的系统也都为obstruction-free 的。
Obstruction-free 的系统为了解决live-lock 的问题需要引入额外的模块, 例如
contention-manager[Herlihy03b],[Guerraoui05]。