管程定义了一个______的数据结构， 以及在该数据结构上所执行的______。