第四章 并发编程
知识点归纳
1、并行计算导论
在早期，大多数计算机只有一个处理组件，称为处理器或中央处理器（CPU）。受这种硬件条件的限制，计算机程序通常是为串行计算编写的。要求解某个问题，先要设计一种算法，描述如何一步步地解决问题，然后用计算机程序以串行指令流的形式实现该算法。在只有一个CPU的情况下，每次只能按顺序执行某算法的一个指令和步骤。但是，基于分治原则（如二叉树查找和快速排序等）的算法经常表现出高度的并行性，可通过使用并行或并发执行来提高计算速度。并行计算是一种计算方案，它尝试使用多个执行并行算法的处理器 更快速地解决问题。过去，由于并行计算对计算资源的大量需求，普通程序员很少能进行并行计算。近年来，随着多核处理器的出现，大多数操作系统（如Linux）都支持对称多处理（SMP）甚至对于普通程序员来说，并行计算也已经成为现实。显然，计算的未来发展方向 是并行计算。因此，迫切需要在计算机科学和计算机工程专业学生的早期学习阶段引入并行计算。在本章中，我们将介绍通过并发编程实现并行计算的基本概念和方法。
(1)顺序算法与并行算法
在描述顺序算法中，常用一个begin-end代码块列出算法。该代码块中的所有步骤都是通过某个任务依次执行的。
并行算法中，cobegin-coend代码块指定并行算法的独立任务。每个任务都是并行执行的。
(2)并行性与并发性
通常，并行算法只识别可并行执行的任务，但是它没有规定如何将任务映射到处理组件。在理想情况下，并行算法中的所有任务都应该同时实时执行。然而，真正的并行执行只 曲在有多个处理组件的系统中实现，比如多处理器或多核系统。在单CPU系统中，一次只能执行一个任务。在这种情况下，不同的任务只能并发执行，即在逻辑上并行执行。在单CPU系统中，并发性是通过多任务处理来实现的，该内容已在第3章中讨论过。
2、线程
(1)原理
一个操作系统(OS)包含许多并发进程“在进程模型中，进程是独立的执行单元。所有进程均在内核模式或用户模式下执行。在内核模式下，各进程在唯一地址空间上执行，与其他进程是分开的。虽然每个进程都是一个独立的单元，但是它只有一个执行路径。当某进 程必须等待某事件时，例如I/O完成事件，它就会暂停，整个进程会停止执行匸线程是某进程同一地址空间上的独立执行单元。创建某个进程就是在一个唯一地址空间创建一个主线程。当某进程开始时，就会执行该进程的主线程。如果只有一个主线程，那么进程和线程实 际上并没有区别。但是，主线程可能会创建其他线程。每个线程又可以创建更多的线程等。某进程的所有线程都在该进程的相同地址空间中执行，但每个线程都是一个独立的执行单元。在线程模型中，如果一个线程被挂起，其他线程可以继续执行。除了共享共同的地址空间之外，线程还共享进程的许多其他资源，如用户id、打开的文件描述符和信号等。打个简单的比方，进程是一个有房屋管理员(主线程)的房子，线程是住在进程房子里的人。房子 里的每个人都可以独立做自己的事情，但是他们会共用一些公用设施，比如同一个信箱、厨房和浴室等。过去，大多数计算机供应商都是在自己的专有操作系统中支持线程。不同系统之间的实现有极大的区别。目前，几乎所有的操作系统都支持Pthread,它是IEEE POSIX 1003.1c的线程标准(POS1X 1995 )。
(2)优点
线程创建和切换速度更快:进程的上下文复杂而庞大。其复杂性主要来自管理进程映像的需要。例如，在具有虚拟内存的系统中。进程映像可能由叫作页面的许多内存单元组成。在执行过程中，有些页面在内存中，有些则不在内存中。操作系统内核必须使用多个页表和多个级别的硬件辅助来跟踪每个进程的页面。要想创建新的进程，操作系统必须为进程分配内存并构建页表。若要在某个进程中创建线程，操作系统不必为新的线程分配内存和创建页表。因为线程与进程共用同一个地址空间。所以创建线程比创建进程更快。另外，由于以下原因，线程切换比进程切换更快。进程切换涉及将一个进程的复杂分页环境替换为另一个进程的复杂分页环境，需要大量的操作和时间。相比之下。同一个进程中的线程切换要简单得多、也快得多，因为操作系统内核只需要切换执行点，而不需要更改进程映像。
线程的响应速度更快：一个进程只有一个执行路径。当某个进程被挂起时、整个进程都将停止执行。相反，当某个线程被挂起时，同一进程中的其他线程可以继续执行。这使得有多个线程的程序响应速度更快。例如，在一个多线程的进程中,当一个线程被阻塞以等待I/O时，其他线程仍可在后台进行计算。在有线程的服务器中，服务器可同时服务多个客户机。
线程更适合并行计算：并行计算的目标是使用多个执行路径更快地解决问题。基于分治原则（如二叉树查找和快速排序等）的算法经常表现出高度的并行性。可通过使用并行或并发执行来提高计算速度。这种算法通常要求执行实体共享公用数据。在进程模型中，各进程不能有效共享数据，因为它们的地址空间都不一样。为了解决这个问题，进程必须使用进程间通信（IPC）来交换数据或使用其他方法将公用数据区包含到其地址空间中。相反，同一进程中的所有线程共享同一地址空间中的所有（全局）数据。因此，使用线程编写并行执行的程序比使用进程编写更简单、更自然。
(3)缺点
由于地址空间共享，线程需要来自用户的明确同步。
许多库函数可能对线程不安全，例如传统 strtok()函数将一个字符串分成一连串令牌。通常，任何使用全局变量或依赖于静态内存内容的函数，线程都不安全。为了使库函数适应线程环境，还需要做大量的工作。
在单CPU系统上，使用线程解决问题实际上要比使用顺序程序慢，这是由在运行时创建线程和切换上下文的系统开销造成的。
3、线程管理函数
(1)创建线程
int pthread_create(pthread_t *thread_id，pthread_attr_t *attr,void *(*func)(void*), void *arg);
(2)线程ID
int pthread_equal(pthread_t t1,pthread_t t2);
如果是不同线程，返回0；否则，返回非0。
(3)线程终止
void pthread_exit(void *status);
0退出值表示正常终止，否则为异常终止。
(4)线程连接
int pthread_join (pthread_t thread, void **status ptr);
4、线程同步
(1)互斥量
最简单的同步工具是锁，它允许执行实体仅在有锁的情况下才能继续执行。在Pthread中，锁被称为互斥量，意思是相互排斥。在使用之前必须对他们进行初始化。
静态方法：定义互斥量m，并使用默认属性对其进行初始化。
pthreaa_mutex_t m = PTHREAD_MUTEX_INITIALIZER；
动态方法：使用pthread_ mutex _init()函数，可通过attr参数设置互斥属性。
(2)死锁预防
简单的死锁预防是对互斥量进行排序，并确保每个线程只在一个方向请求互斥量，这样请求序列中就不会有循环。
(3)条件变量
条件变量提供线程协作的方法。同样需要初始化，且方法同互斥量相同。
(4)信号量
信号量是进程同步的一般机制。比条件变量多一个计数器。
(5)屏障
屏障是线程的集合点。当所有线程到达屏障时，所有线程重新开始执行。