Also recently there was a very interesting article in Communications of the ACM about STM vs HTM and the problems with both in a general sense.
http://delivery.acm.org/10.1145/1410000/1400228/p40-cascaval...
Edit: Prettier version http://mags.acm.org/communications/200811/?folio=40&CFID...
Re:Clojure: It’s About the Libraries
by benreesman on Thursday April 30, 2009 @02:44PM
(#587242)
Awesome article! Also check out ch. 24 of Beautiful Code, which is about implementing STM in Haskell.
<brag>Now seems like a reasonable chance to brag that Doug Crockford signed my copy of BC the other day! God I'm such a geek.</brag>
What's interesting is STM is only hard in imperative languages. It's relatively straightforward in Clojure and Haskell. See http://enfranchisedmind.com/blog/posts/the-problem-with-stm-...