Adopting STM.NET? The Runtime Checker is Your Friend!

(by Lingli Zhang) In the previous blog post, Sukhdeep explained the STM.NET contract system, and how TxCop, the static contract checker, helps you identify potential contract violations in your program at compile time. Catching errors at compile time is definitely better than later. However, as Sukhdeep pointed out in his post, the static checker is…


STM.NET Contracts aka Access Modifiers for Transactional Memory

(by Sukhdeep Sodhi) Now that we’ve released STM.NET into the wild some of you may want to go beyond the simple ‘Hello World’ example* and start writing more sophisticated applications. There are a lot of excellent research ideas on transactional memory. However, as Sasha likes to say “building a useful product requires great theory, a…


The STM Team is on Channel 9!

Charles Torre of Channel 9 interviewed the STM Team about our STM.NET Devlab.  Check out the interview on Channel 9 or just watch it here!


STM.NET Released!

I hope everyone saw Soma’s announcement that STM.NET is now live on MSDN Devlabs! We have been talking about software transactional memory for some time now.  Last year my Ch9 interview I mentioned we were looking to work with customers under a non-disclosure agreement; but now you can experiment with STM.NET without a NDA!  Yesterday,…


Are we beyond the trough of disillusionment?

Transactional memory has not been immune to the Gartner hype-cycle. Nearly two years ago Ali-reza Adl-tabatabai from Intel reminded me of the hype-cycle, and we both commiserated that it appeared that we were at the “Peak of Inflated Expectations”. We had both just completed a week at the ACM’s PPoPP and we were both at…


Transactional memory in a real world

(by Sasha Dadiomov)    Isn’t it a common phenomenon that each thing has many faces?  If you were following the transactional memory community for some time, you probably saw it as a pretty theoretical area. There is obviously a lot of science here – discussions about things like “AME calculus” don’t leave much doubt. But…