part3chap05控制驱动部分的设计20140502.pptVIP

* 例如，杂技的抛球，每增加一个新球，演员处理球的控制的复杂性会以指数级增长。 * * * * * * * * 异步：如握手信号 * * * * * * 共享存储器 两个或几个控制流中的对象利用一块公共的存储器，作为通信区域。 通常传输具有较复杂和较大的数据结构的数据时，才使用共享存储器方式。 使用此方式，要注意同步问题。 5.3 如何设计控制驱动部分 5.3.4 用主动对象表示控制流 远程过程调用，用于在不同计算机中的并发进程： （1）调用进程标示它想要请求的一个对象的操作，然后把它放在远程过程调用库中； （2）远程过程调用机制在网络上寻找目标对象，找到后将请求打包发送给目标对象； （3）目标方接到后将请求转换成本地格式，执行所请求的操作；执行完毕后，将结果以上述同样的方式返回给发送方。 对线程间的通讯建模 可以使用邮箱、共享存储器或操作调用进行线程间的通讯。 thread c:BlackboardController thread s:Blackboard thread b :KnowledgeSource c:初始化 c:开始搜索 c:evaluate() b:提示线索 b:放置部分解决方案 s:初始化完毕 表示进程或线程的一种方法是用通讯图 Blackboard（黑板）负责保存系统输入、问题求解的局部和中间结果以及反映问题求解的状态。 KnowledgeSource（知识源）包含对问题求解的条件和执行的操作，以及对控制决策进行评价的知识。 BlackboardController（黑板控制器）负责监视黑板上的信息和状态的变化，并要根据变化采取相应的行动。 示例：进程间通讯——旅行预定 《process》 t:TripPlanner {location=client} t:planTrip() r:postResults() r:make() 《process》 r:ReservationAgent {location=reservation server} 《process》 h:HotelAgent {location=hotel server} 《process》 tm:TicketingManager {location=ticketingt server} r:make() 可以使用邮箱、远程过程调用和共享存储器进行进程之间的通信 。 tm:Results() h:Results() 对进程间的通讯建模 控制流间的同步： 可能有多个控制流使用一个对象中的同一个操作 可能有不同的控制流使用一个对象中的不同操作 当一个对象在同一时刻有多个控制流通过时，就可能要出现问题。即可能导致对象的状态混乱。对这个问题处理不当，会导致并发系统失败。 a b c x a b c void a(n){ x=n; x=x+1; } x=4; (控制流1) x=5; (控制流2) x=x+1; (控制流1) x=x+1; (控制流2) (1) (2) 解决这种问题的关键是把所操纵的对象作为临界资源，然后加以同步（具体的内容可参照操作系统中的同步机制）。 通过对在类中定义的操作附加同步标记可解决这个问题。 （1） Sequential（顺序的） 调用者必须在含有带有该标记的操作的对象外部协调，使得在一个时刻这个对象内仅有一个流。 （2）Guarded(受监护的 ) 调用者必须在含有带有该标记的操作的对象外部协调，使得在一个时刻这个对象恰好只有一个受监护的操作能被调用 。 （3）Concurrent（并发的 ） 调用者必须明确：对含有Concurrent标记的操作同时进行调用时，要保证所有的调用应按正确的语义并发执行。 如多个控制流存取不相交的数据集合，或者只读取数据。 {Sequential} a {Guarded} b {Concurrent} c x y z …... P(s) //Invoking a //Invoking b //Invoking c …... V(s) …... 1）要调用a，整个对象没有操作在执行 2）要调用b， a和b没有在执行 3）要调用c， a没有在执行 控制流的协调者 若有多个控制流，可能就需要考虑增加一个控制流，起协调者的作用。 控制流协调者 协调 控制流 名字 描述 优先级 包含的操作 由谁协调 …… 开始 初始化 待命 终结 …… 1 0..* 例如：