aへ進むのは処理1と処理2が両方とも正常終了した場合だけです。この時点で二つの更新を確定するコミットを行います。
bとcはどちらかの処理が失敗した経路です。不完全な更新を確定せず、必要に応じてロールバックして一連の処理前の状態へ戻します。
