多核程序设计03第三章 多线程编程更新.pptVIP

线程的同步 例：如果一个进程有一个共享变量counter，两个线程producer和consumer，线程producer执行counter++，线程consumer执行counter--，这两个操作都需要多个机器指令来完成，Counter=5 counter++ counter-- register1=counter register2=counter register1=register1+1 register2=register2-1 counter=register1 counter= register2 可能的序列： Producer: register1=counter (register1=5) Producer: register1=register1+1 (register1=6) Consumer: register2=counter (register2=5) Consumer: register2= register2-1 (register2=6) Producer: counter= register1 (counter=6) Consumer: counter= register2 (counter=4) 顺序程序 顺序程序，程序的顺序性包括内部顺序性和外部顺序性。 内部顺序性：对于一个进程来说, 它的所有指令是按序执行的； 外部顺序性, 对于多个进程来说, 所有进程是依次执行的。 P1活动: a1 a2 a3 a4，P2活动: b1 b2 b3 b4 顺序执行时, 有如下两种情形: 情形1: a1 a2 a3 a4 b1 b2 b3 b4 情形2: b1 b2 b3 b4 a1 a2 a3 a4 顺序程序 顺序程序的特性： 顺序性：处理机严格按照指令次序依次执行，即仅当一条指令执行完后才开始执行下一条指令； 封闭性：程序在执行过程中独占系统中的全部资源，该程序的运行环境只与其自身动作有关，不受其它程序及外界因素影响； 可再现性：程序的执行结果与执行速度无关，而只与初始条件有关，给定相同的初始条件，程序的任意多次执行一定得到相同的执行结果. 并发程序 程序的并发性含义: 内部并发性, 对于一个进程来说, 它的所有指令可能按序执行，也可能不按次序执行; 外部并发性: 对于多个进程来说, 所有进程是交叉(interleave)执行的. 例如, 对于上面P1和P2两个进程来说, 只考虑外部并发性，具有许多情形 ： 情形1: a1 b1 b2 a2 a3 b3 a4 b4 情形2: b1 b2 a1 a2 a3 b3 b4 a4 并发进程在其执行过程中, 出现哪种交叉情形是不可预知的, 这就是并发程序带来的不确定性． 并发程序 并发程序特性： 交叉性：程序并发执行对应某一种交叉，不同的交叉可能导致不同的计算结果，操作系统应当保证只产生导致正确结果的交叉，去除那些可能导致不正确结果的交叉； 非封闭性：一个进程的运行环境可能被其它进程所改变，从而相互影响； 不可再现性：由于交叉的随机性，并发程序的多次执行可能对应不同的交叉，因而不能期望重新运行的程序能够再现上次运行的结果． 例：一个图书馆管理系统, 连有两个终端, 用户可通过终端借书. 为简化问题, 假设所有用户借阅的图书是相同的. 设x代表图书的剩余数量, 为两个终端用户服务的程序 进程互斥 定义：两个或两个以上的进程，不能同时进入关于同一组共享变量的临界区域, 否则可能发生与时间有关的错误, 这种现象被称作进程互斥. 进程互斥是进程之间所发生的一种间接性相互作用, 这种相互作用是进程本身不希望的, 也是运行进程感觉不到的. 进程互斥可能发生在相关进程之间, 也可能发生在不相关进程之间. 互斥量（Mutex）作为一种互斥设备，有两个状态，上锁和空闲。同一时刻只能有一个线程能够对互斥量加锁。对于一个已经被加锁的互斥量，当另外一个线程试图对它加锁时，该线程会被阻塞，知道该互斥量被释放。互斥量在Pthread线程库中被定义为pthread_mutex_t类型。 互斥量（Mutex） Pthread线程库对一个互斥量的加锁操作是： int pthread_mutex_lock(pthread_mutex_t *mutex); int pthread_mutex_trylock(pthread_mutex_t *mutex); pthread_mutex_unlock(pth