cellがfalseの時に複数のプロセスが同時にcellにアクセスすればmutexは破られる

serializerが入れ子になるために無限ループする

(define (transfer from-account to-account amount) ((from-account 'withdraw) amount) ((to-account 'deposit) amount)) 交換と違い，残高の差を計算する必要がないので問題はおきない

deposit，withdrawが直列化されてない場合， 書き換えられる前の値を参照したまま変更後の値をsetしてしまうために残高の合計が保存されない場合が有る．