微软发布了.NET 4.0 Beta 1 的一个单独的新版本,其中包含了,也就是Software Transactional Memory。通常我们使用基于锁的同步机制来控制对共享内存的访问,STM 则是锁之外的另一种选择。
微软将定义为:
STM 使用乐观并发机制来控制对共享内存的访问,在线程可以安全的修改共享数据前,不会一直阻塞线程,而是在线程访问共享数据时,将读写操作记录在日志 中。然后,它会检查是否有另一个线程正好在同一时刻访问共享数据。如果没有,这些改变将会被提交并永久生效;否则,事务将会被取消,所有的修改都将撤销。
STM.NET 使用 Atomic.Do() 将一段代码标记为一个事务:
STM 与锁机制一样会导致系统性能降低,这是因为它需要维护读写日志,而且提交时会花费额外的时间。一些人认为 STM 比锁更容易使用,因此在易用性上的优势足以抵消性能上的降低。在一项名为《事务编程真的容易么?》的研究中,来自奥斯丁德克萨斯大学的 Christopher J. Rossbach、Owen S. Hofmann 和 Emmett Witchel 比较了 STM 与锁的学习和开发过程:
这项研究总结道:
系统配置需求:Visual Studio 2008,Windows Installer 3.1 以上, Internet Explorer 5.01 以上。目前 STM.NET 只支持 C#。
相关资源:NET 4.0 Beta 1 with STM.NET,STM Programming Guide,STM: Samples, Documentation, and Configuration files.
查看英文原文: .NET 4 Beta 1 Now Supports Software Transactional Memory