吉林大学操作系统课件第四章互斥同步与通讯2讲解.ppt

4.3.6 会合(Rendezvous) 背景 80年代, Ada, Initiated by DOD; Ada 95, (Object-oriented) 会合：两个并发执行流汇集到一处 并发执行流 调用 接受 均发生，握手，同步。 会合引入背景—分布系统 会合引入背景—分布系统 会合引入背景—分布系统 会合引入背景—分布系统 会合图示 会合图示 Ada同步语句 Accept语句 例子--单一资源管理 Ada同步语句（cont.） Select语句语义 4.3.6.2 会合例子--客栈问题 客栈问题 客栈问题 客栈问题 客栈问题 客栈问题 客栈问题 客栈问题 客栈问题 客栈问题 Bounded buffer problem Bounded buffer problem Bounded buffer problem 读者-写者问题 Task readers_writers is entry start_read; entry finish_read; entry start_write; entry finish_write; End readers_writes; Task body readers_writers is; Var read_count, write_count: integer; begin read_count:=0; write_count:=0; 读者-写者问题 Loop select when write_count=0 = accept start_read do read_count := read_count+1; end start_read or when read_count0 = accept finish_read do read_count := read_count-1; end finish_read; or 读者-写者问题 when write_count=0 = accept start_write do while read_count 0 do accept finish_read do read_count:= read_count -1; end finish_read end while end start_write; write_count:=write_count+1; or when write_count0 = accept finish_write do write_count:=write_count-1; end finish_write; end select End loop; End readers_writers 读者-写者问题 读者活动: Readers_writes.start_read; 读操作 Readers_writers.finish_read; 写者活动: Readers_writers.start_write; 写操作 Readers_writers.finish_write; 4.4 进程高级通讯 进程通讯：进程之间的相互作用。 低级通讯（简单信号） 进程互斥 进程同步 高级通讯（大宗信息） 高级通讯 memory sharing vs. message passing direct vs. indirect symmetric vs. non-symmetric buffering vs. non-buffering 4.4.2 进程通讯模式 4.4.3 直接方式 对称形式(sender and receiver name each other) send(R,message) receive(S,mes