Chap.11 Review

Hoare管程已死勿念.