微軟發(fā)布了.NET 4.0 Beta 1的一個單獨的新版本，其中包含了STM.NET，也就是Software Transactional Memory。通常我們使用基于鎖的同步機制來控制對共享內(nèi)存的訪問，STM則是鎖之外的另一種選擇。

微軟將STM.NET定義為：

Software Transactional Memory（STM.NET）是一種可以高效隔離共享狀態(tài)的機制。開發(fā)人員可以將一段代碼標記為“原子”事務，并與其它并行運行的事務代碼“隔離”開來。

內(nèi)存事務（Transactional memory）在學術界被認為是一項有前途的技術，并且在當前利用多核硬件提高程序擴展性的大潮中，也做為一項受歡迎的技術被反復提及，其目的是使應用程 序開發(fā)人員可以利用STM的并發(fā)功能，將那些由專家開發(fā)的組件組合在一起，內(nèi)存事務使這變得簡單而安全。

STM使用樂觀并發(fā)機制來控制對共享內(nèi)存的訪問，在線程可以安全的修改共享數(shù)據(jù)前，不會一直阻塞線程，而是在線程訪問共享數(shù)據(jù)時，將讀寫操作記錄在日志 中。然后，它會檢查是否有另一個線程正好在同一時刻訪問共享數(shù)據(jù)。如果沒有，這些改變將會被提交并***生效；否則，事務將會被取消，所有的修改都將撤銷。

STM.NET使用Atomic.Do()將一段代碼標記為一個事務：

Atomic.Do(()=> {  
   <statememts>  
});  

STM與鎖機制一樣會導致系統(tǒng)性能降低，這是因為它需要維護讀寫日志，而且提交時會花費額外的時間。一些人認為STM比鎖更容易使用，因此在易用性上的優(yōu)勢足以抵消性能上的降低。在一項名為《事務編程真的容易么？》的研究中，來自奧斯丁德克薩斯大學的Christopher J. Rossbach、Owen S. Hofmann和 Emmett Witchel比較了STM與鎖的學習和開發(fā)過程：

一般來說，內(nèi)存事務比簡單的鎖需要更多的開發(fā)時間，但少于細致的鎖和條件同步。

我們發(fā)現(xiàn)在更復雜的情況下，簡單的鎖和事務所用的時間要少于細致的鎖。這體現(xiàn)了事務的初衷，在需要多個鎖的情況下，減少編碼、調(diào)試和鎖順序的復雜性。

這項研究總結(jié)道：

這證明了即使新手在理解事務方面可能存在困難，但事務編程比高性能的鎖更安全。對學生的主觀評測顯示，他們認為事務內(nèi)存比簡單的鎖要難一些，但是比細致的 鎖和條件同步簡單。然而在學生寫的代碼中，同步錯誤的比率呈現(xiàn)出戲劇化的結(jié)果。對于相似的編程問題，使用事務比使用鎖更容易得到正確的結(jié)果。

系統(tǒng)配置需求：Visual Studio 2008，Windows Installer 3.1以上, Internet Explorer 5.01以上。目前STM.NET只支持C#。

【編輯推薦】

1. 微軟.Net 4.0實驗版更新 預計明春發(fā)布正式版
2. .NET 4.0 Beta 1將為PLINQ帶來生機？
3. .NET 4.0中WCF服務配置的簡化與改進
4. .NET 4.0內(nèi)存映射文件詳解
5. 詳解.NET 4.0中的契約式編程