[F#] F#でのSTM(Software Transactional Memory)

Software Transactional Memory for F#
http://cs.hubfs.net/blogs/hell_is_other_languages/archive/2008/01/16/4565.aspx

wikiによると、STMとは
「データベーストランザクションに似た並行性制御機構であり、並列計算を行う際の共有メモリへのアクセス法である。」
とある。
つまり、複数のスレッドから読み書きされるデータの整合性を保証する役目ってことかな。

従来のロックベースの代替案として注目を集めているみたい。

そんなわけで、リンク先にあるのは、「STMをF#で使えるようにしてみましたー！」的なライブラリ
(コア部分はC#で書かれてるんだって)

おまけとして「サンタクロース問題」のソース付