计算机系统结构幻灯片.pptVIP

综合前面介绍的三种主要的显式并行编程模型（数据并行、消息传递、共享变量），其主要特征比较如表6.3所示。 表6.3 数据并行、消息传递和共享变量并行编程模型的主要特征 特征 数据并行 消息传递 共享变量 控制流（线程化） 单 多 多 同步 松散同步 异步 异步 地址空间 单 多 单 交互 隐式 显式 显式 数据分配 隐式或半显式 显式 隐式或半显式 3.描述程序并行性的指令 在机器语言中，描述派生和汇合关系的并行控制指令通常用FORK（派生）和JOIN（汇合）指令。 FORK A 功能：1）根据标记符A派生对应的新进程，即准备好启动新进程或恢复原来进程继续执行时的现场。 2）执行FORK指令的原进程，继续在原来分配给它的处理机上运行； 3）把空闲处理机分配给FORK指令派生的新进程。 JOIN N N 为当前并行任务的数量 功能： 1）JOIN指令有一个计数器，初值为0，当执行JOIN指令时，计数器加1，并与N比较。 2）若计数器值等于N ，说明它执行中的第N个进程经过JOIN指令，则允许该进程通过JOIN指令，在其所在处理机上继续执行后继指令。并把计数器清0。 3）若计数器值小于N ，则必须等待N个并行任务中尚未执行或虽然执行但未结束的进程到达JOIN指令。现在执行JOIN指令的这个进程可以先结束，并把占用的处理机释放。 例