STMを使えということは
つまりSTMを使わないと
b = 25
a = 100 + b
という感じで定義されてる未評価の関数aを2つのスレッドから同時に参照と評価があった場合、それぞれで100 + bが実行されるということですか？