管程具有三个主要的特征，分别是模块化、抽象数据和（）。