I believe Clojure has first class support for STM.