2.8.3 汉森（Brinch Hansen）方法实现管程