linux下多线程同步的方式.docxVIP

Linux下提供了多种方式来处理线程同步，最常用的是互斥锁、条件变量和信号量。一、互斥锁（mutex）　锁机制是同一时刻只允许一个线程执行一个关键部分的代码。?1. 初始化锁　int pthread_mutex_init(pthread_mutex_t *mutex,const pthread_mutex_attr_t *mutexattr); 其中参数 mutexattr 用于指定锁的属性（见下），如果为NULL则使用缺省属性。 互斥锁的属性在创建锁的时候指定，在LinuxThreads实现中仅有一个锁类型属性，不同的锁类型在试图对一个已经被锁定的互斥锁加锁时表现不同。当前有四个值可供选择： （1）PTHREAD_MUTEX_TIMED_NP，这是缺省值，也就是普通锁。当一个线程加锁以后，其余请求锁的线程将形成一个等待队列，并在解锁后按优先级获得锁。这种锁策略保证了资源分配的公平性。 （2）PTHREAD_MUTEX_RECURSIVE_NP，嵌套锁，允许同一个线程对同一个锁成功获得多次，并通过多次unlock解锁。如果是不同线程请求，则在加锁线程解锁时重新竞争。 （3）PTHREAD_MUTEX_ERRORCHECK_NP，检错锁，如果同一个线程请求同一个锁，则返回EDEADLK，否则与PTHREAD_MUTEX_TIMED_NP类型动作相同。这样就保证当不允许多次加锁时不会出现最简单情况下的死锁。 （4）PTHREAD_MUTEX_ADAPTIVE_NP，适应锁，动作最简单的锁类型，仅等待解锁后重新竞争。?2. 阻塞加锁　int pthread_mutex_lock(pthread_mutex *mutex);?3. 非阻塞加锁 int pthread_mutex_trylock( pthread_mutex_t *mutex); 该函数语义与 pthread_mutex_lock() 类似，不同的是在锁已经被占据时返回 EBUSY 而不是挂起等待。?4. 解锁（要求锁是lock状态,并且由加锁线程解锁）　int pthread_mutex_unlock(pthread_mutex *mutex);?5. 销毁锁（此时锁必需unlock状态,否则返回EBUSY）　int pthread_mutex_destroy(pthread_mutex *mutex);　示例代码：[oracle@localhost]$ cat mutextest.c#include stdio.h#include stdlib.h#include unistd.h#include pthread.hpthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;int gn;void* thread(void *arg){?printf(threads ID is? %d\n,pthread_self());?pthread_mutex_lock(mutex);?gn = 12;?printf(Now gn = %d\n,gn);?pthread_mutex_unlock(mutex);?return NULL;}int main(){?pthread_t id;?printf(main threads ID is %d\n,pthread_self());?gn = 3;?printf(In main func, gn = %d\n,gn);?if (!pthread_create(id, NULL, thread, NULL))?{?printf(Create thread success!\n);?}else?{?printf(Create thread failed!\n);?}?pthread_join(id, NULL);?pthread_mutex_destroy(mutex);?return 0;}[oracle@localhost]$?二、条件变量（cond）　条件变量是利用线程间共享全局变量进行同步的一种机制。条件变量上的基本操作有：触发条件(当条件变为 true 时)；等待条件，挂起线程直到其他线程触发条件。? 1. 初始化条件变量　 int pthread_cond_init(pthread_cond_t *cond,pthread_condattr_t *cond_attr); 尽管POSIX标准中为条件变量定义了属性，但在Linux中没有实现，因此cond_attr值通常为NULL，且被忽略。 2. 有两个等待函数? （1）无条件等待　 int pthread_cond_wait(pthread_cond_t *cond,pthread_mutex_t *mutex); （2）计时等待