目录 2.6.6ACT++ 21 2.6.7 Smalltalk ConcurrentSmalltalk 22 2.6.8 Eiffel、Eiffel/和CEiffel 25 2.7小结. 30 第三章基于并发对象的并发面向对象模型 31 3.1对象系统的并发执行 31 3.1.1对象的私有执行线程 31 3.1.2对象内部的并发 33 3.1.3对象的自治性 33 3.2对象间的通信… 34 3.2.1远程过程调用 34 3.2.2对象的通信对象 35 3.3对象的并发控制， 4… 36 3.3.1条件同步与互斥 36 3.3.2缺省并发控制 37 3.3.3内部并发控制 38 3.4并发对象类的继承 40 3.4.1条件同步控制的继承。 40 3.4.2内部并发控制的继承 40 3.5实例 41 3.6与相关工作的比较.. 47 3.7小结 48 第四章并发对象的形式语义 50 4.1CSP简介… 50 4.2并发对象的定义 51 4.3并发对象的CSP语义 52 4.3.1对象的进程模型 52 4.3.2对象各进程的CSP表示 53 4.3.3消息传递语义 55 4.4小结 56 第五章NDC++:C++的并发扩充 57 iv目 录 iv 2.6.6 ACT++ ....................................................................................... 21 2.6.7 Smalltalk 和 ConcurrentSmalltalk................................................ 22 2.6.8 Eiffel、Eiffel//和 CEiffel ............................................................. 25 2.7 小结 ...................................................................................................... 30 第三章 基于并发对象的并发面向对象模型 ..................................................... 31 3.1 对象系统的并发执行 ........................................................................... 31 3.1.1 对象的私有执行线程................................................................. 31 3.1.2 对象内部的并发 ........................................................................ 33 3.1.3 对象的自治性 ............................................................................ 33 3.2 对象间的通信....................................................................................... 34 3.2.1 远程过程调用 ............................................................................ 34 3.2.2 对象的通信对象 ........................................................................ 35 3.3 对象的并发控制................................................................................... 36 3.3.1 条件同步与互斥 ........................................................................ 36 3.3.2 缺省并发控制 ............................................................................ 37 3.3.3 内部并发控制 ............................................................................ 38 3.4 并发对象类的继承............................................................................... 40 3.4.1 条件同步控制的继承................................................................. 40 3.4.2 内部并发控制的继承................................................................. 40 3.5 实例 ...................................................................................................... 41 3.6 与相关工作的比较............................................................................... 47 3.7 小结 ...................................................................................................... 48 第四章 并发对象的形式语义 ............................................................................ 50 4.1 CSP 简介............................................................................................... 50 4.2 并发对象的定义................................................................................... 51 4.3 并发对象的 CSP 语义........................................................................... 52 4.3.1 对象的进程模型 ........................................................................ 52 4.3.2 对象各进程的 CSP 表示............................................................ 53 4.3.3 消息传递语义 ............................................................................ 55 4.4 小结 ...................................................................................................... 56 第五章 NDC++ : C++的并发扩充 ..................................................................... 57