零碎中的各类硬件资本和软件资本，均可用数据构造笼统地描绘其资本特征，即用大批信息和对资本所履行的操作来表征该资本，而疏忽了它们的外部构造和完成细节。管程是由一组数据以及界说在这组数据之上的对这组数据的操作构成的软件模块，这组操作能初始化并改动管程中的数据和同步过程。
1) 部分于管程的共享构造数听说明。
2) 对该数据构造停止操作的一组进程。
3) 对部分于管程的共享数据设置初始值的语句。
1) 部分于管程的数据只能被部分于管程内的进程所拜访。
2) 一个过程只要经过挪用管程内的进程才干进入管程拜访共享数据。
3) 每次仅许可一个过程在管程内履行某个外部进程。
因为管程是一个言语成分，所以管程的互斥拜访完整由编译程序在编译时主动添加，无需程序员存眷，并且包管准确。
本文出自 “11999725” 博客，请务必保留此出处http://12009725.blog.51cto.com/11999725/1843729
原文地址：http://12009725.blog.51cto.com/11999725/1843729
