并行编程模型内存一致性模型严格一致性模型.PPT

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 共享变量并行编程模型 锁 用来体现一种互斥的并行控制策略 一个线程在同一个时刻只能使用一个锁，一个锁至多由一个线程获得。锁有两个原子操作： 3. 问题 怎么等待? ? 忙等待： 不断尝试 ? 睡眠： 等待唤醒 prev和curr: 初值分为0和1的共享变量 L是锁 int retval; int retval; L-acquire(); L-acquire(); retval = curr; retval = curr; curr = curr+prev; curr = curr+prev; prev = retval; prev = retval; L-release(); L-release(); * t 共享变量并行编程模型 临界区（critical section） 指包含有共享变量的一段代码，这些共享变量和 多个线程之间存在相关关系 多线程编程的主要挑战在于需要以多个线程执行 互斥操作的 方式实现临 界区，以保 证多个线程 不会同时访 问临界区 prev和curr: 初值分为0和1的共享变量 L是锁 int retval; int retval; L-acquire(); L-acquire(); retval = curr; retval = curr; curr = curr+prev; curr = curr+prev; prev = retval; prev = retval; L-release(); L-release(); * t 条件变量 共享变量的一种实现方式 例：生产者/消费者问题 一个典型的同步问题， 也称有限缓冲区问题 生产者向缓冲区中写入 数据 消费者从缓冲区取得数 据并对数据进行操作 生产者和消费者并行执行 共享变量并行编程模型 void producer() { // 临界区开始 // 产生下一个数据 // 临界区结束 } void consumer() { // 临界区开始 // 消费下一个数据 // 临界区结束 } * 条件变量 右边是生产者线程，条 件变量C使用锁L来完成 对共享数据的访问，可对 条件变量C执行3种原子 操作（LC 的初值为false） 1. wait(L): 释放自身持有 的锁并处于C的等待队列。 该执行完毕时，锁已经可 被其他线程获得 共享变量并行编程模型 void producer() { while(1) { L-acquire(); // 临界区开始 while(LC == true) { C-wait(L); } // 产生下一个数据 LC = true; C-signal(L); // 临界区结束 L-release(); } } * Conditon C; Lock L; Bool LC = false; 条件变量 右边是生产者线程，条 件变量C使用锁L来完成 对共享数据的访问，可对 条件变量C执行3种原子 操作（LC 的初值为false） 2. signal(L): 发信号，允许 等待C的一个线程继续执 行。该操作完毕后，锁仍 然由发信号的线程持有 共享变量并行编程模型 void producer() { while(1) { L-acquire(); // 临界区开始 while(LC == true) { C-wait(L); } // 产生下一个数据 LC = true; C-signal(L); // 临界区结束 L-release(); } } * Conditon C; Lock L; Bool LC = false; 条件变量 右边是生产者线程，条 件变量C使用锁L来完成 对共享数据的访问，可对 条件变量C执行3种原子 操作（L