書き込みメソッドの前段階は他の書き込みメソッドの前段階と 単純に serialize されるだけである. 書き込みメソッドは まずロックを獲得し, その後にインスタンス変数のレコードへの ポインタを取得する. それが become を行なう時, それは新しい 値を計算し, 新しいインスタンス変数のためのレコードを確保し, self record のポインタフィールドを置き換え, ロックを解放し, become の結果式の評価を続ける. こうして, 後処理の実行を 他のメソッドとオーバーラップすることができる.