Tkrzwにトランザクション機能を実装したので、ACID特性について確認しておきたい。AとCとIは正常系のみを検討するのであれば容易に達成されるのだが、問題はDだ。Durability＝耐久性＝耐障害性がちゃんと確保されているかどうか、仕様を説明しながら確認して…