Linux操作系统下的多线程编程详细解析.DOC

1、Linux 操作系统下的多线程编程详细解析线程（thread）技术早在 60 年代就被提出，但真正应用多线程到操作系统中去，是在 80 年代中期，solaris 是这方面的佼佼者。传统的 Unix 也支持线程的概念，但是在一个进 程（process）中只允许有一个线程，这样多线程就意味着多进程。现在，多线程技术已经被许多操作系统所支持，包括 Windows/NT，当然，也包 括 Linux。为什么有了进程的概念后，还要再引入线程呢？使用多线程到底有哪些好处？什么的系统应该选用多线程？我们首先必须回答这些问题。使用多线程的理由之一是和进程相比，它是一种非常“节俭“的多任务操作方式。我们知道，在

2、Linux 系统下，启动一个新的进程必须分配给它独立的地址空 间，建立众多的数据表来维护它的代码段、堆栈段和数据段，这是一种“昂贵“的多任务工作方式。而运行于一个进程中的多个线程，它们彼此之间使用相同的地址 空间，共享大部分数据，启动一个线程所花费的空间远远小于启动一个进程所花费的空间，而且，线程间彼此切换所需的时间也远远小于进程间切换所需要的时间。 据统计，总的说来，一个进程的开销大约是一个线程开销的 30 倍左右，当然，在具体的系统上，这个数据可能会有较大的区别。使用多线程 的理由之二是线程间方便的通信机制。对不同进程来说，它们具有独立的数据空间，要进行数据的传递只能通过通信的方式进行，这

3、种方式不仅费时，而且很不方 便。线程则不然，由于同一进程下的线程之间共享数据空间，所以一个线程的数据可以直接为其它线程所用，这不仅快捷，而且方便。当然，数据的共享也带来其他 一些问题，有的变量不能同时被两个线程所修改，有的子程序中声明为 static 的数据更有可能给多线程程序带来灾难性的打击，这些正是编写多线程程序时最 需要注意的地方。除了以上所说的优点外，不和进程比较，多线程程序作为一种多任务、并发的工作方式，当然有以下的优点：1) 提高应用程序响应。这对图形界面的程序尤其有意义，当一个操作耗时很长时，整个系统都会等待这个操作，此时程序不会响应键盘、鼠标、菜单的操作，而使用多线程技术，将耗

4、时长的操作（time consuming）置于一个新的线程，可以避免这种尴尬的情况。2) 使多 CPU 系统更加有效。操作系统会保证当线程数不大于 CPU 数目时，不同的线程运行于不同的 CPU 上。3) 改善程序结构。一个既长又复杂的进程可以考虑分为多个线程，成为几个独立或半独立的运行部分，这样的程序会利于理解和修改。下面我们先来尝试编写一个简单的多线程程序。 简单的多线程编程Linux 系统下的多线程遵循 POSIX 线程接口，称为 pthread。编写 Linux 下的多线程程序，需要使用头文件 pthread.h，连接时需要 使用库 libpthread.a。顺便说一下，Linux 下

5、 pthread 的实现是通过系统调用 clone（）来实现的。clone（）是 Linux 所特 有的系统调用，它的使用方式类似 fork，关于 clone（）的详细情况，有兴趣的读者可以去查看有关文档说明。下面我们展示一个最简单的多线程程序 example1.c。 /* example.c*/#include #include void thread(void)int i;for(i=0;i3;i+)printf(“This is a pthread.n“);int main(void)pthread_t id;int i,ret;ret=pthread_create(if(ret!=0)

6、printf (“Create pthread error!n“);exit (1);for(i=0;i3;i+)printf(“This is the main process.n“);pthread_join(id,NULL);return (0);我们编译此程序：gcc example1.c -lpthread -o example1运行 example1，我们得到如下结果：This is the main process.This is a pthread.This is the main process.This is the main process.This is a pthre

7、ad.This is a pthread.再次运行，我们可能得到如下结果：This is a pthread.This is the main process.This is a pthread.This is the main process.This is a pthread.This is the main process.前后两次结果不一样，这是两个线程争夺 CPU 资源的结果。上面的示例中，我们使用到了两个函数，pthread_create 和 pthread_join，并声明了一个 pthread_t 型的变量。pthread_t 在头文件/usr/include/bits/pth

8、readtypes.h 中定义：typedef unsigned long int pthread_t;它是一个线程的标识符。函数 pthread_create 用来创建一个线程，它的原型为：extern int pthread_create _P (pthread_t *_thread, _const pthread_attr_t *_attr,void *(*_start_routine) (void *), void *_arg);第一个参数为指向线程标识符的指针，第二个参数用来设置线程属性，第三个参数是线程运行函数的起始地址，最后一个参数是运行函数的参数。这里，我们的函 数 threa

9、d不需要参数，所以最后一个参数设为空指针。第二个参数我们也设为空指针，这样将生成默认属性的线程。对线程属性的设定和修改我们将在下一节 阐述。当创建线程成功时，函数返回 0，若不为 0 则说明创建线程失败，常见的错误返回代码为 EAGAIN 和 EINVAL。前者表示系统限制创建新的线程，例 如线程数目过多了；后者表示第二个参数代表的线程属性值非法。创建线程成功后，新创建的线程则运行参数三和参数四确定的函数，原来的线程则继续运行下一行 代码。 函数 pthread_join 用来等待一个线程的结束。函数原型为：extern int pthread_join _P (pthread_t _th,

10、void *_thread_return);第一个参数为被等待的线程标识符，第二个参数为一个用户定义的指针，它可以用来存储被等待线程的返回值。这个函数是一个线程阻塞的函数，调用它的函数将 一直等待到被等待的线程结束为止，当函数返回时，被等待线程的资源被收回。一个线程的结束有两种途径，一种是象我们上面的例子一样，函数结束了，调用它的 线程也就结束了；另一种方式是通过函数 pthread_exit 来实现。它的函数原型为：extern void pthread_exit _P (void *_retval) _attribute_ (_noreturn_);唯一的参数是函数的返回代码，只要 pth

11、read_join 中的第二个参数 thread_return不是 NULL，这个值将被传递给 thread_return。最后要说明的是，一个线程不能被多个线程等待，否则第一个接收到信号的线程成功返回，其余调用 pthread_join 的线 程则返回错误代码 ESRCH。在这一节里，我们编写了一个最简单的线程，并掌握了最常用的三个函数pthread_create，pthread_join 和 pthread_exit。下面，我们来了解线程的一些常用属性以及如何设置这些属性。修改线程的属性在上一节的例子里，我们用 pthread_create 函数创建了一个线程，在这个线程中，我们使用了默认

12、参数，即将该函数的第二个参数设为 NULL。的确，对大多数程序来说，使用默认属性就够了，但我们还是有必要来了解一下线程的有关属性。属性结构为 pthread_attr_t，它同样在头文件/usr/include/pthread.h 中定义，喜欢追根问底的人可以自己去查看。属性 值不能直接设置，须使用相关函数进行操作，初始化的函数为 pthread_attr_init，这个函数必须在 pthread_create 函数之前调 用。属性对象主要包括是否绑定、是否分离、堆栈地址、堆栈大小、优先级。默认的属性为非绑定、非分离、缺省 1M 的堆栈、与父进程同样级别的优先级。关于线程的绑定，牵涉到另外一个

13、概念：轻进程（LWP：Light Weight Process）。轻进程可以理解为内核线程，它位于用户层和系统层之间。系统对线程资源的分配、对线程的控制是通过轻进程来实现的，一个轻进程可以控制 一个或多个线程。默认状况下，启动多少轻进程、哪些轻进程来控制哪些线程是由系统来控制的，这种状况即称为非绑定的。绑定状况下，则顾名思义，即某个线程 固定的“绑“在一个轻进程之上。被绑定的线程具有较高的响应速度，这是因为 CPU 时间片的调度是面向轻进程的，绑定的线程可以保证在需要的时候它总有一个 轻进程可用。通过设置被绑定的轻进程的优先级和调度级可以使得绑定的线程满足诸如实时反应之类的要求。设置线程绑定状

14、态的函数为 pthread_attr_setscope，它有两个参数，第一个是指向属性结构的指针，第二个是绑定类型，它有两个取值： PTHREAD_SCOPE_SYSTEM（绑定的）和 PTHREAD_SCOPE_PROCESS（非绑定的）。下面的代码即创建了一个绑定的线程。 #include pthread_attr_t attr;pthread_t tid;/*初始化属性值，均设为默认值*/pthread_attr_init(pthread_attr_setscope(pthread_create(线程的分离状态决定一个线程以什么样的方式来终止自己。在上面的例子中，我们采用了线程的默认属性

15、，即为非分离状态，这种情况下，原有的线程等待创建的 线程结束。只有当 pthread_join（）函数返回时，创建的线程才算终止，才能释放自己占用的系统资源。而分离线程不是这样子的，它没有被其他的线 程所等待，自己运行结束了，线程也就终止了，马上释放系统资源。程序员应该根据自己的需要，选择适当的分离状态。设置线程分离状态的函数为 pthread_attr_setdetachstate（pthread_attr_t *attr, int detachstate）。第二个参数可选为 PTHREAD_CREATE_DETACHED（分离线程）和 PTHREAD _CREATE_JOINABLE（非分

16、离线程）。这里要注意的一点是，如果设置一个线程为分离线程，而这个线程运行又非常快，它很可能在 pthread_create 函数返回之前就终止了，它终止以后就可能将线程号和系统资源移交给其他的线程使用，这样调用 pthread_create 的 线程就得到了错误的线程号。要避免这种情况可以采取一定的同步措施，最简单的方法之一是可以在被创建的线程里调用 pthread_cond_timewait 函数，让这个线程等待一会儿，留出足够的时间让函数 pthread_create 返回。设置一段等待时间，是 在多线程编程里常用的方法。但是注意不要使用诸如 wait（）之类的函数，它们是使整个进程睡眠，

17、并不能解决线程同步的问题。另外一 个可能常用的属性是线程的优先级，它存放在结构 sched_param 中。用函数pthread_attr_getschedparam 和函数 pthread_attr_setschedparam 进行存放，一般说来，我们总是先取优先级，对取得的值修改后再存放回去。下面即是一段简单的例子。 #include #include pthread_attr_t attr;pthread_t tid;sched_param param;int newprio=20;pthread_attr_init(pthread_attr_getschedparam(param.sc

18、hed_priority=newprio;pthread_attr_setschedparam(pthread_create(线程的数据处理和进程相比，线程的最大优点之一是数据的共享性，各个进程共享父进程处沿袭的数据段，可以方便的获得、修改数据。但这也给多线程编程带来了许多问题。我 们必须当心有多个不同的进程访问相同的变量。许多函数是不可重入的，即同时不能运行一个函数的多个拷贝（除非使用不同的数据段）。在函数中声明的静态变量 常常带来问题，函数的返回值也会有问题。因为如果返回的是函数内部静态声明的空间的地址，则在一个线程调用该函数得到地址后使用该地址指向的数据时，别的 线程可能调用此函数并修改

19、了这一段数据。在进程中共享的变量必须用关键字 volatile 来定义，这是为了防止编译器在优化时（如 gcc 中使用-OX 参 数）改变它们的使用方式。为了保护变量，我们必须使用信号量、互斥等方法来保证我们对变量的正确使用。下面，我们就逐步介绍处理线程数据时的有关知识。1、线程数据在单线程的程序里，有两种基本的数据：全局变量和局部变量。但在多线程程序里，还有第三种数据类型：线程数据（TSD: Thread-Specific Data）。它和全局变量很象，在线程内部，各个函数可以象使用全局变量一样调用它，但它对线程外部的其它线程是不可见的。这种数据的必要性是显而易见 的。例如我们常见的变量 e

20、rrno，它返回标准的出错信息。它显然不能是一个局部变量，几乎每个函数都应该可以调用它；但它又不能是一个全局变量，否则在 A 线程里输出的很可能是 B 线程的出错信息。要实现诸如此类的变量，我们就必须使用线程数据。我们为每个线程数据创建一个键，它和这个键相关联，在各个线程 里，都使用这个键来指代线程数据，但在不同的线程里，这个键代表的数据是不同的，在同一个线程里，它代表同样的数据内容。和线程数据相关的函数主要有 4 个：创建一个键；为一个键指定线程数据；从一个键读取线程数据；删除键。创建键的函数原型为：extern int pthread_key_create _P (pthread_key_

21、t *_key,void (*_destr_function) (void *);第一个参数为指向一个键值的指针，第二个参数指明了一个 destructor 函数，如果这个参数不为空，那么当每个线程结束时，系统将调用这个函数来释放绑定在这个键上的内存块。 这个函数常和函数 pthread_once (pthread_once_t*once_control, void (*initroutine) (void)一起使用，为了让这个键只被创建一次。函数 pthread_once 声明一个初始化函数，第一次调用 pthread_once 时它执行这 个函数，以后的调用将被它忽略。在下面的例子中，我们

22、创建一个键，并将它和某个数据相关联。我们要定义一个函数 createWindow，这个函数定义一个图形窗口（数据类型为 Fl_Window *，这是图形界面开发工具 FLTK 中的数据类型）。由于各个线程都会调用这个函数，所以我们使用线程数据。/* 声明一个键*/pthread_key_t myWinKey;/* 函数 createWindow */void createWindow ( void ) Fl_Window * win;static pthread_once_t once= PTHREAD_ONCE_INIT;/* 调用函数 createMyKey，创建键*/pthread_on

23、ce ( /*win 指向一个新建立的窗口*/win=new Fl_Window( 0, 0, 100, 100, “MyWindow“);/* 对此窗口作一些可能的设置工作，如大小、位置、名称等*/setWindow(win);/* 将窗口指针值绑定在键 myWinKey 上*/pthread_setpecific ( myWinKey, win);/* 函数 createMyKey，创建一个键，并指定了 destructor */void createMyKey ( void ) pthread_keycreate(/* 函数 freeWinKey，释放空间*/void freeWinKe

24、y ( Fl_Window * win)delete win;这样，在不同的线程中调用函数 createMyWin，都可以得到在线程内部均可见的窗口变量，这个变量通过函数 pthread_getspecific 得到。在上面的例子中，我们已经使用了函数 pthread_setspecific 来将线程数据和一个键绑定在一 起。这两个函数的原型如下：extern int pthread_setspecific _P (pthread_key_t _key,_const void *_pointer);extern void *pthread_getspecific _P (pthread_key

25、_t _key);这两个函数的参数意义和使用方法是显而易见的。要注意的是，用pthread_setspecific 为一个键指定新的线程数据时，必须自己释放原有的 线程数据以回收空间。这个过程函数 pthread_key_delete 用来删除一个键，这个键占用的内存将被释放，但同样要注意的是，它只释放键占用的 内存，并不释放该键关联的线程数据所占用的内存资源，而且它也不会触发函数 pthread_key_create 中定义的 destructor 函数。线程 数据的释放必须在释放键之前完成。2、互斥锁互斥锁用来保证一段时间内只有一个线程在执行一段代码。必要性显而易见：假设各个线程向同一个文

26、件顺序写入数据，最后得到的结果一定是灾难性的。我们先看下面一段代码。这是一个读/写程序，它们公用一个缓冲区，并且我们假定一个缓冲区只能保存一条信息。即缓冲区只有两个状态：有信息或没有信息。void reader_function ( void );void writer_function ( void ); char buffer;int buffer_has_item=0;pthread_mutex_t mutex;struct timespec delay;void main ( void )pthread_t reader;/* 定义延迟时间*/delay.tv_sec = 2;dela

27、y.tv_nec = 0;/* 用默认属性初始化一个互斥锁对象*/pthread_mutex_init (pthread_create(writer_function( );void writer_function (void)while(1)/* 锁定互斥锁*/pthread_mutex_lock (if (buffer_has_item=0)buffer=make_new_item( );buffer_has_item=1;/* 打开互斥锁*/pthread_mutex_unlock(pthread_delay_np(void reader_function(void)while(1)pt

28、hread_mutex_lock(if(buffer_has_item=1)consume_item(buffer);buffer_has_item=0;pthread_mutex_unlock(pthread_delay_np(这里声明了互斥锁变量 mutex，结构 pthread_mutex_t 为不公开的数据类型，其中包含一个系统分配的属性对象。函数 pthread_mutex_init 用来生成一个互斥锁。NULL 参数表明使用默认属性。如果需要声明特定属性的互斥锁，须调用函数 pthread_mutexattr_init。函数 pthread_mutexattr_setpshared

29、 和函数 pthread_mutexattr_settype 用来设置互斥锁属性。前一个函数设置属性 pshared，它有两个取值， PTHREAD_PROCESS_PRIVATE 和 PTHREAD_PROCESS_SHARED。前者用来不同进程中的线程同步，后者用于同步本进程的 不同线程。在上面的例子中，我们使用的是默认属性PTHREAD_PROCESS_ PRIVATE。后者用来设置互斥锁类型，可选的类型有PTHREAD_MUTEX_NORMAL、PTHREAD_MUTEX_ERRORCHECK、 PTHREAD_MUTEX_RECURSIVE 和PTHREAD _MUTEX_DEFAU

30、LT。它们分别定义了不同的上所、解锁机制，一般情况下，选用最后一个默认属性。pthread_mutex_lock 声明开始用互斥锁上锁，此后的代码直至调用pthread_mutex_unlock 为止，均被上锁，即同一时间只 能被一个线程调用执行。当一个线程执行到 pthread_mutex_lock 处时，如果该锁此时被另一个线程使用，那此线程被阻塞，即程序将等待到另一 个线程释放此互斥锁。在上面的例子中，我们使用了pthread_delay_np 函数，让线程睡眠一段时间，就是为了防止一个线程始终占据此函数。上面的例子非常简单，就不再介绍了，需要提出的是在使用互斥锁的过程中很有可能会出现死

31、锁：两个线程试图同时占用两个资源，并按不同的次序锁定相应的互 斥锁，例如两个线程都需要锁定互斥锁 1 和互斥锁 2，a 线程先锁定互斥锁 1，b 线程先锁定互斥锁2，这时就出现了死锁。此时我们可以使用函数 pthread_mutex_trylock，它是函数pthread_mutex_lock 的非阻塞版本，当它发现死锁不可避免时，它会返回相应的信 息，程序员可以针对死锁做出相应的处理。另外不同的互斥锁类型对死锁的处理不一样，但最主要的还是要程序员自己在程序设计注意这一点。3、条件变量前一节中我们讲述了如何使用互斥锁来实现线程间数据的共享和通信，互斥锁一个明显的缺点是它只有两种状态：锁定和非锁

32、定。而条件变量通过允许线程阻塞和 等待另一个线程发送信号的方法弥补了互斥锁的不足，它常和互斥锁一起使用。使用时，条件变量被用来阻塞一个线程，当条件不满足时，线程往往解开相应的互斥 锁并等待条件发生变化。一旦其它的某个线程改变了条件变量，它将通知相应的条件变量唤醒一个或多个正被此条件变量阻塞的线程。这些线程将重新锁定互斥锁并 重新测试条件是否满足。一般说来，条件变量被用来进行线承间的同步。 条件变量的结构为 pthread_cond_t，函数 pthread_cond_init（）被用来初始化一个条件变量。它的原型为：extern int pthread_cond_init _P (pthrea

33、d_cond_t *_cond,_const pthread_condattr_t *_cond_attr);其中 cond 是一个指向结构 pthread_cond_t 的指针，cond_attr 是一个指向结构pthread_condattr_t 的指针。结构 pthread_condattr_t 是条件变量的属性结构，和互斥锁一样我们可以用它来设置条件变量是进程内可用还是进程间可用，默认值是 PTHREAD_ PROCESS_PRIVATE，即此条件变量被同一进程内的各个线程使用。注意初始化条件变量只有未被使用时才能重新初始化或被释放。释放一个条件变量 的函数为 pthread_cond

34、_ destroy（pthread_cond_t cond）。 函数 pthread_cond_wait（）使线程阻塞在一个条件变量上。它的函数原型为：extern int pthread_cond_wait _P (pthread_cond_t *_cond,pthread_mutex_t *_mutex);线程解开 mutex 指向的锁并被条件变量 cond 阻塞。线程可以被函数pthread_cond_signal 和函数 pthread_cond_broadcast 唤醒，但是要注意的是，条件变量只是起阻塞和唤醒线程的作用，具体的判断条件还需用户给出，例如一个变量是 否为 0 等等，这

35、一点我们从后面的例子中可以看到。线程被唤醒后，它将重新检查判断条件是否满足，如果还不满足，一般说来线程应该仍阻塞在这里，被等待被下 一次唤醒。这个过程一般用 while 语句实现。另一个用来阻塞线程的函数是 pthread_cond_timedwait（），它的原型为：extern int pthread_cond_timedwait _P (pthread_cond_t *_cond,pthread_mutex_t *_mutex, _const struct timespec *_abstime);它比函数 pthread_cond_wait（）多了一个时间参数，经历 abstime 段时

36、间后，即使条件变量不满足，阻塞也被解除。函数 pthread_cond_signal（）的原型为：extern int pthread_cond_signal _P (pthread_cond_t *_cond);它用来释放被阻塞在条件变量 cond 上的一个线程。多个线程阻塞在此条件变量上时，哪一个线程被唤醒是由线程的调度策略所决定的。要注意的是，必须用保 护条件变量的互斥锁来保护这个函数，否则条件满足信号又可能在测试条件和调用 pthread_cond_wait 函数之间被发出，从而造成无限制的等待。 下面是使用函数 pthread_cond_wait（）和函数pthread_cond_signal（）的一个简单的例子。pthread_mutex_t count_lock;pthread_cond_t count_nonzero;unsigned count;decrement_count () pthread_mutex_lock (while(count=0) pthread_cond_wait( count=count -1;pthread_mutex_unlock (increment_count()