Linux C编程--线程操作2--线程同步详解
2013-03-06 10:21
190 查看
linux线程同步之互斥
在windows中,为了让多个线程达到同步的目的,在对于全局变量等大家都要用的资源的使用上,通常得保证同时只能由一个线程在用,一个线程没有宣布对它的释放之前,不能够给其他线程使用这个变量。在windows里,我们可以用时EnterCriticalSection()和 LeaveCriticalSection()函数.那么在linux里,有什么类似的机制呢?这里介绍互斥锁。
1.申请一个互斥锁
pthread_mutex_t mutex; //申请一个互斥锁
你可以声明多个互斥量。
在声明该变量后,你需要调用pthread_mutex_init()来创建该变量。pthread_mutex_init的格式如下:
int pthread_mutex_init(pthread_mutex_t *mutex, const pthread_mutexattr_t *mutexattr);
第一个参数,mutext,也就是你之前声明的那个互斥量,第二个参数为该互斥量的属性。属性定义如下:
互斥量分为下面三种:
l 快速型(PTHREAD_MUTEX_FAST_NP)。这种类型也是默认的类型。该线程的行为正如上面所说的。
l 递归型(PTHREAD_MUTEX_RECURSIVE_NP)。如果遇到我们上面所提到的死锁情况,同一线程循环给互斥量上锁,那么系统将会知道该上锁行为来自同一线程,那么就会同意线程给该互斥量上锁。
l 错误检测型(PTHREAD_MUTEX_ERRORCHECK_NP)。如果该互斥量已经被上锁,那么后续的上锁将会失败而不会阻塞,pthread_mutex_lock()操作将会返回EDEADLK。
可以通过函数
注意以下语句可以做到将一个互斥锁快速初始化为快速型。
pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;
2.销毁一个互斥锁
pthread_mutex_destroy()用于注销一个互斥锁,API定义如下:
int pthread_mutex_destroy(pthread_mutex_t *mutex)
销毁一个互斥锁即意味着释放它所占用的资源,且要求锁当前处于开放状态。由于在Linux中,互斥锁并不占用任何资源,因此LinuxThreads中的pthread_mutex_destroy()除了检查锁状态以外(锁定状态则返回EBUSY)没有其他动作。
3.上锁(相当于windows下的EnterCriticalSection)
在创建该互斥量之后,你便可以使用它了。要得到互斥量,你需要调用下面的函数:
int pthread_mutex_lock(pthread_mutex_t *mutex);
该函数用来给互斥量上锁。互斥量一旦被上锁后,其他线程如果想给该互斥量上锁,那么就会阻塞在这个操作上。如果在此之前该互斥量已经被其他线程上锁,那么该操作将会一直阻塞在这个地方,直到获得该锁为止。
在得到互斥量后,你就可以进入关键代码区了。
4.解锁(相当于windows下的LeaveCriticalSection)
在操作完成后,你必须调用下面的函数来给互斥量解锁,也就是前面所说的释放。这样其他等待该锁的线程才有机会获得该锁,否则其他线程将会永远阻塞。
int pthread_mutex_unlock(pthread_mutex_t *mutex);
5..pthread_mutex_trylock
如果我们不想一直阻塞在这个地方,那么可以调用下面函数:
int pthread_mutex_trylock(pthread_mutex_t *mutex)
如果此时互斥量没有被上锁,那么pthread_mutex_trylock()将会返回0,并会对该互斥量上锁。如果互斥量已经被上锁,那么会立刻返回EBUSY。
注:
#include
<pthread.h>
int pthread_cond_init(pthread_cond_t *restrict cond, pthread_condattr_t *restrict attr);
int pthread_cond_destroy(pthread_cond_t *cond);
成功则返回0, 出错则返回错误编号.[/b]
当pthread_cond_init的attr参数为NULL时, 会创建一个默认属性的条件变量; 非默认情况以后讨论.
2. 等待条件:
#include
<pthread.h>
int pthread_cond_wait(pthread_cond_t *restrict cond, pthread_mutex_t *restric mutex);
int pthread_cond_timedwait(pthread_cond_t *restrict cond, pthread_mutex_t *restrict mutex, const struct timespec *restrict timeout);
成功则返回0, 出错则返回错误编号.
这两个函数分别是阻塞等待和超时等待.
等待条件函数等待条件变为真, 传递给pthread_cond_wait的互斥量对条件进行保护, 调用者把锁住的互斥量传递给函数. 函数把调用线程放到等待条件的线程列表上, 然后对互斥量解锁, 这两个操作是原子的. 这样便关闭了条件检查和线程进入休眠状态等待条件改变这两个操作之间的时间通道, 这样线程就不会错过条件的任何变化.
当pthread_cond_wait返回时, 互斥量再次被锁住.
3. 通知条件:
#include
<pthread.h>
int pthread_cond_signal(pthread_cond_t *cond);
int pthread_cond_broadcast(pthread_cond_t *cond);
成功则返回0, 出错则返回错误编号.
这两个函数用于通知线程条件已经满足. 调用这两个函数, 也称向线程或条件发送信号. 必须注意, 一定要在改变条件状态以后再给线程发送信号.
下面给出一个典例,这个例子是一个典型的生产者/消费者的例子。
#include <stdio.h> #include <pthread.h> #define BUFFER_SIZE 4 #define OVER (-1) struct producers //定义生产者条件变量的结构 { int buffer[BUFFER_SIZE]; //定义缓冲区 pthread_mutex_t lock; //定义访问缓冲区的互斥锁 int readpos, writepos; //读/写的位置 pthread_cond_t notempty; //缓冲区中有数据时的标记 pthread_cond_t notfull; //缓冲区未满的标记 };
//初始化缓冲区 void init(struct producers *b) { pthread_mutex_init(&b->lock,NULL); pthread_cond_init(&b->notempty,NULL); pthread_cond_init(&b->notfull,NULL); b->readpos=0; b->writepos=0; }
//在缓冲区中存放一个整数 void put(struct producers *b, int data) { pthread_mutex_lock(&b->lock);
//当缓冲区为满时等待 while((b->writepos+1)%BUFFER_SIZE==b->readpos) { pthread_cond_wait(&b->notfull,&b->lock);
//在返回之前,pthread_cond_wait需要参数b->lock }
//向缓冲区中写数据,并将写指针向前移动 b->buffer[b->writepos]=data; b->writepos++; if(b->writepos>=BUFFER_SIZE) b->writepos=0;
//发送当前缓冲区中有数据的信号 pthread_cond_signal(&b->notempty); pthread_mutex_unlock(&b->lock); }
//从缓冲区中读数据并将数据从缓冲区中移走 int get(struct producers *b) { int data; pthread_mutex_lock(&b->lock);
//当缓冲区中无数据时等待 while(b->writepos==b->readpos) { pthread_cond_wait(&b->notempty,&b->lock); }
//从缓冲区中读数据,并将指针前移 data=b->buffer[b->readpos]; b->readpos++; if(b->readpos>=BUFFER_SIZE) b->readpos=0;
//发送当前缓冲区未满的信号 pthread_cond_signal(&b->notfull); pthread_mutex_unlock(&b->lock); return data; } struct producers buffer; void *producer(void *data) { int n; for(n=0;n<10;n++) { printf("Producer : %d-->\n",n); put(&buffer,n); } put(&buffer,OVER); return NULL; } void *consumer(void *data) { int d; while(1) { d=get(&buffer); if(d==OVER) break; printf("Consumer: --> %d\n",d); } return NULL; } int main() { pthread_t tha,thb; void *retval; init(&buffer); pthread_create(&tha,NULL,producer,0); pthread_create(&thb,NULL,consumer,0); pthread_join(tha,&retval); pthread_join(thb,&retval); return 0; }
程序说明:
主进程创建两个线程,一个称为producer,另一个称为consumer。producer向缓冲区中写整数,当缓冲区中已经写入数据后,就发送缓冲区中有数据的信号。consumer从缓冲区中读数据,当consumer从缓冲区中读数据后,就发送当前缓冲区未满的信号。
线程同步之信号量
sem_wait函数也是一个原子操作,它的作用是从信号量的值减去一个“1”,但它永远会先等待该信号量为一个非零值才开始做减法。也就是说,如果你对一个值为2的信号量调用sem_wait(),线程将会继续执行,这信号量的值将减到1。如果对一个值为0的信号量调用sem_wait(),这个函数就
会地等待直到有其它线程增加了这个值使它不再是0为止。如果有两个线程都在sem_wait()中等待同一个信号量变成非零值,那么当它被第三个线程增加 一个“1”时,等待线程中只有一个能够对信号量做减法并继续执行,另一个还将处于等待状态。
sem_post函数的作用是给信号量的值加上一个“1”,它是一个“原子操作”---即同时对同一个信号量做加“1”操作的两个线程是不会冲突的;而同
时对同一个文件进行读、加和写操作的两个程序就有可能会引起冲突。信号量的值永远会正确地加一个“2”--因为有两个线程试图改变它。
下面给出实现生产者/消费者的信号量的例子。
#include <stdio.h> #include <pthread.h> #include <semaphore.h> #define BUFFER_SIZE 4 #define OVER (-1) struct producers { int buffer[BUFFER_SIZE]; int readpos, writepos; sem_t sem_read; sem_t sem_write; }; void init(struct producers *b) { sem_init(&b->sem_write,0,BUFFER_SIZE-1); sem_init(&b->sem_read,0,0); b->readpos=0; b->writepos=0; } void put(struct producers *b, int data) { sem_wait(&b->sem_write); b->buffer[b->writepos]=data; b->writepos++; if(b->writepos>=BUFFER_SIZE) b->writepos=0; sem_post(&b->sem_read); } int get(struct producers *b) { int data; sem_wait(&b->sem_read); data=b->buffer[b->readpos]; b->readpos++; if(b->readpos>=BUFFER_SIZE) b->readpos=0; sem_post(&b->sem_write); return data; } struct producers buffer; void *producer(void *data) { int n; for(n=0;n<10;n++) { printf("Producer : %d-->\n",n); put(&buffer,n); } put(&buffer,OVER); return NULL; } void *consumer(void *data) { int d; while(1) { d=get(&buffer); if(d==OVER) break; printf("Consumer: --> %d\n",d); } return NULL; } int main() { pthread_t tha,thb; void *retval; init(&buffer); pthread_create(&tha,NULL,producer,0); pthread_create(&thb,NULL,consumer,0); pthread_join(tha,&retval); pthread_join(thb,&retval); return 0; }
相关文章推荐
- Linux C编程--线程操作2--线程同步详解
- java线程(下)——线程同步详解
- 线程同步的小例子(两个线程对一个List进行写操作)
- iOS 开发 多线程详解之NSThread线程通信的操作与控制
- java线程同步操作实例详解
- 线程同步(信号量,互斥,条件变量) 分类: linux应用程序 2008-04-08 09:43 2587人阅读 评论(1) 收藏 举报 进行多线程编程,最头疼的就是那些共享的数据。因为你无法知道哪个线程会在哪个时候对它进行操作,你也无法
- Java基础之线程与多线程操作详解
- 禁止在窗口界面线程中进行线程同步或进行耗时的操作。。。
- 详解Java编程中线程同步以及定时启动线程的方法
- Linux C编程--线程操作3--线程属性解析
- IOS 三种线程操作方式详解
- c++的boost库多线程(Thread)编程(线程操作,互斥体mutex,条件变量)详解
- Linux C编程--线程操作3--线程属性解析
- Java线程之线程同步synchronized和volatile详解
- c++的boost库多线程(Thread)编程(线程操作,互斥体mutex,条件变量)详解
- C++实现线程同步的几种方式 线程同步是指同一进程中的多个线程互相协调工作从而达到一致性。之所以需要线程同步,是因为多个线程同时对一个数据对象进行修改操作时,可能会对数据造成破坏,下面是多
- 详解Java多线程编程中线程的启动、中断或终止操作
- 线程操作,比 handler更简单的AsyncTask 使用详解-基础java线程
- 详解Java多线程编程中线程的启动、中断或终止操作
- Linux C编程--线程操作1--线程概述和简单的线程操作