巻き戻し処理って、本当に巻き戻すのか単にコピーをしておくのかどっちが多いの？
transactional memoryって効率を求めるとすると、なにかしら約束事があったほうがよいんだろうけど。
完全に透過に見える実装にしたいならos側からアプローチしたほうが楽な気もする。