.NET 4.0 Beta 1新增STM特性概覽
微軟發布了.NET 4.0 Beta 1的一個單獨的新版本，其中包含了STM.NET，也就是Software Transactional Memory。通常我們使用基于鎖的同步機制來控制對共享內存的訪問，STM則是鎖之外的另一種選擇。
微軟將STM.NET定義為：
Software Transactional Memory（STM.NET）是一種可以高效隔離共享狀態的機制。開發人員可以將一段代碼標記為“原子”事務，并與其它并行運行的事務代碼“隔離”開來。
內存事務（Transactional memory）在學術界被認為是一項有前途的技術，并且在當前利用多核硬件提高程序擴展性的大潮中，也做為一項受歡迎的技術被反復提及，其目的是使應用程 序開發人員可以利用STM的并發功能，將那些由專家開發的組件組合在一起，內存事務使這變得簡單而安全。
STM使用樂觀并發機制來控制對共享內存的訪問，在線程可以安全的修改共享數據前，不會一直阻塞線程，而是在線程訪問共享數據時，將讀寫操作記錄在日志 中。然后，它會檢查是否有另一個線程正好在同一時刻訪問共享數據。如果沒有，這些改變將會被提交并***生效；否則，事務將會被取消，所有的修改都將撤銷。
STM.NET使用Atomic.Do()將一段代碼標記為一個事務：
- Atomic.Do(()=> {
- <statememts>
- });
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#。
【編輯推薦】
