并发对象的一种描述机制

摘要

面向对象模型潜在的并发计算能力为并发程序设计提供了更高层次的解决方案。为了充分利用这种潜在的并发执行能力，必须在对象模型中显式地给出并发控制。本文给出了一种描述并发对象的机制，即：把对象的并发控制作为对象的单独属性进行描述，在定义子类时，把对象的并发描述与对象的方法分开进行继承。我们的目标是使得引进的并发机制尽量少地与对象模型的各个重要特性相冲突，减轻继承异常。另外，我们提出的并发模型允许对象内部的并发。