进程同步互斥工具：管程