一个管程由四个部分组成，它们是管程名称、______、对数据进行操作的一组过程和对共享数据赋初值的语句。