第9章part2.pptVIP

9.4 消息传递系统的程序实现 * * * * * * * 多播(multicast)：将相同的信息发送给已定义的进程组中的每个进程。 这里不对广播和多播加以区分。 通常需要定义一个进程组。 * 多播(multicast)：将相同的信息发送给已定义的进程组中的每个进程。 这里不对广播和多播加以区分。 通常需要定义一个进程组。 * 多播(multicast)：将相同的信息发送给已定义的进程组中的每个进程。 这里不对广播和多播加以区分。 通常需要定义一个进程组。 9.3 共享存储并行程序设计 共享存储多处理机系统：存储器任一单元均可被任一处理器访问到。 共享存储程序设计的主要特征是使各个处理器能够直接访问共享存储器来实现数据交换和其它通信及同步操作 但共享存储程序设计需要程序设计者使用特殊的机制（如临界段等）来协调各个进程对共享数据的访问。 进程1 read x compute x+1 write to x 进程2 read x compute x+1 write to x 若两进程执行每一步操作的时间关系不同，则有可能使操作的结果不相同。 进程同时执行与不同时执行 访问共享数据可归结为共享资源的访问的问题 共享资源的访问 临界区、临界段(critical section) 临界区是一种能够保证每次仅允许一个进程访问某个特定的共享资源的代码段。即：在任何时刻最多只有一个进程执行临界段代码。 要求访问临界区的进程必须实现互斥(mutual exclusion)。 在共享存储结构中的同步通常用于： 确定进程间正确的执行次序； 保证各进程对共享变量正确的读写次序； 它们实际上实现了进程间的通信和同步。 有以下几种常用的同步机制： 锁 信号量 监控程序 条件变量 1）锁机制 锁(lock)是实现临界段的互斥访问最简单的机制。 通常，一个锁用1个二进制位变量来表示，该变量为 1 表示已经有一个进程进入临界段；变量为 0表示没有进程在临界段内。 当一个进程执行到临界段“门口”，并发现临界段的“门”是打开的时候，该进程就可以进入临界段，并把“门”锁上，以防止其它进程进入。一旦进程执行完临界段代码，它就打开锁并离开。 通过忙等待控制临界段 进程 1 while (lock==1) do_nothing; lock = 1; lock =0; 临界段 进程 2 while (lock==1) do_nothing; lock = 1; lock =0; 临界段 等待 是不可分的 死锁问题 当一个进程 A 需要另一个进程 B 拥有的资源，而进程 B 也需要进程 A 拥有的资源时，这两个进程就会因为等待彼此拥有的资源而发生死锁。 死锁还可能以环的形式发生在几个进程之间。 资源1 资源2 进程1 进程2 对于访问多个资源的两个进程，如果它们都以相同的顺序先请求某个资源，然后再请求另一个资源，就可避免死锁。 2）信号量 信号量是一个非负整数变量 s， 基本操作：P(s) 和 V(s) 。 对信号量 s 执行 P 操作相当于请求分配一个单位资源，使 s 减 1。 对信号量 s 执行 V 操作相当于归还一个单位资源，使 s 加 1。 二元信号量(其值0或1)与锁的执行效果相同。 信号量的初始值表示与该信号量相关的资源总数，如：系统中有两台打印机可被用户交替使用。 进程 1 非临界段 ： ： P(s) 临界段 V(s) ： ： 非临界段 进程 2 非临界段 ： ： P(s) 临界段 V(s) ： ： 非临界段 进程 3 非临界段 ： ： P(s) 临界段 V(s) ： ： 非临界段 3）监控程序 利用信号量处理临界段问题，P操作和V操作的不匹配或对错误的信号量进行操作，都会产生严重后果。 监控程序将表示共享资源的状态变量、对资源的操作过程和初始化代码封装在一起的结构。 对数据的读和写只能由监控程序中的过程来完成，且在任何时间只能由一个进程使用监控程序的过程。 x_mon: monitor var //全局变量 x_being_written: boolean; //对共享变量的读操作 procedure read_x //若x正在被修改，则挂起 if (x_being_written) then wait; read x; end read_x; 例：对共享变量 x 的互斥写 //对共享变量的写操作 procedure write_x if (x_being_written) then