使用类型稳定性来便于争用管理

摘要

公开了用于提供类型稳定性技术以增进争用管理的各种技术和方法。提供允许事务安全地检查其它事务的状态的引用计数机制。使用该引用计数机制来便于争用管理。当在两个事务之间检测到冲突时，获取拥有事务信息。拥有事务的引用计数被递增。系统确保正确事务被递增。如果拥有事务仍然是冲突事务，则作出确定正确解决方案的争用管理判定。在作出判定时，拥有事务上的引用计数被冲突事务递减。在每一事务完成时，其为其本身持有的引用计数被递减。不可解除分配数据结构直到其引用计数为零。可使用不稳定属性来减少专用类型稳定分配池。