2015-12-05から1日間の記事一覧
cellがfalseの時に複数のプロセスが同時にcellにアクセスすればmutexは破られる
serializerが入れ子になるために無限ループする
(define (transfer from-account to-account amount) ((from-account 'withdraw) amount) ((to-account 'deposit) amount)) 交換と違い,残高の差を計算する必要がないので問題はおきない
deposit,withdrawが直列化されてない場合, 書き換えられる前の値を参照したまま変更後の値をsetしてしまうために残高の合計が保存されない場合が有る.