互斥锁
互斥量(mutex)是一把锁,在访问共享资源前对互斥量进行加锁,在访问完成后释放互斥量上的锁。对互斥量进行加锁后,任何其他试图再次对互斥量加锁的线程将会被阻塞直到当前线程释放该互斥锁==(直白来说就是只有一个坑,排队上)==。
如果释放互斥锁时有多个线程阻塞,所有在该互斥锁上的阻塞线程都会变成可运行状态,第一个(需要竞争)变为可运行状态的线程可以对互斥量加锁,其他线程将会看到互斥锁依然被锁住,只能回去等待它重新变为可用。在这种方式下,每次只有一个线程可以向前运行。
访问规则得制定好,不然会出现数据不一致。
在设计时需要规定所有的线程必须遵守相同的数据访问规则。只有这样,互斥机制才能正常工作。操作系统并不会做数据访问的串行化。如果允许其中的某个线程在没有得到锁的情况下也可以访问共享资源,那么即使其它的线程在使用共享资源前都获取了锁,也还是会出现数据不一致的问题。
使用互斥变量必须对它进行初始化
互斥变量用pthread_mutex_t数据类型表示。在使用互斥变量前必须对它进行初始化,可以把它置为常量PTHREAD_MUTEX_INITIALIZER(只对静态分配的互斥量),也可以通过调用pthread_mutex_init函数进行初始化。
如果动态地分配互斥量(例如通过调用malloc函数),那么在释放内存前需要调用pthread_mutex_destroy。
常用API
包含头文件
#include <pthread.h>
1、创建互斥锁
函数原型
int pthread_mutex_init(pthread_mutex_t *restrict mutex, const pthread_mutexattr_t *restrict attr);
函数参数
*mutex:锁的地址,需定义一个pthread_mutex_t类型的全局变量
attr:互斥量的属性,一般设为NULL,要用默认的属性初始化互斥量,只需把attr设置为NULL。
返回值
返回:若成功返回0,否则返回错误编号,
2、销毁互斥锁
函数原型
int pthread_mutex_destroy(pthread_mutex_t mutex);
函数参数
*mutex:锁的地址,需定义一个pthread_mutex_t类型的全局变量
返回值
返回:若成功返回0,否则返回错误编号
除非需要创建一个非默认属性的条件变量,否则pthread_cont_init函数的attr参数可以设置为NULL。
3、加锁(两种)
第一种加锁:
函数原型
int pthread_mutex_lock(pthread_mutex_t *mutex);
第二种加锁:
如果线程不希望被阻塞,它可以使用pthread_mutex_trylock尝试对互斥量进行加锁。
如果调用pthread_mutex_trylock时互斥量处于未锁住状态,那么pthread_mutex_trylock将锁住互斥量,不会出现阻塞并返回0,否则pthread_mutex_trylock就会失败,不能锁住互斥量,而返回EBUSY。
int pthread_mutex_trylock(pthread_mutex_t *mutex);
函数参数
*mutex:锁的地址,需定义一个pthread_mutex_t类型的全局变量
返回值
返回:若成功返回0,否则返回错误编号
4、解锁
函数原型
int pthread_mutex_unlock(pthread_mutex_t *mutex);
函数参数
*mutex:锁的地址,需定义一个pthread_mutex_t类型的全局变量
返回值
返回:若成功返回0,否则返回错误编号
注意一定要在改变条件状态以后再给线程发信号。
实例:
#include <stdio.h>
#include <pthread.h>
//int pthread_mutex_init(pthread_mutex_t *restrict mutex, const pthread_mutexattr_t *restrict attr);
int a=0;
pthread_mutex_t mutex;
void *func1(void *arg)
{
pthread_mutex_lock(&mutex);
a++;
printf("t1:a=%d\n",a++);
printf("t1:a=%d\n",a);
pthread_mutex_unlock(&mutex);
}
void *func2(void *arg)
{
pthread_mutex_lock(&mutex);
a++;
printf("t2:a=%d\n",a++);
printf("t2:a=%d\n",a);
pthread_mutex_unlock(&mutex);
}
int main()
{
int ret1=0;
int ret2=0;
//int *pret = NULL;
pthread_t t1;
pthread_t t2;
pthread_mutex_init(&mutex, NULL);
ret1=pthread_create(&t1,NULL,func1,NULL);
ret2=pthread_create(&t2,NULL,func2,NULL);
if((ret1||ret2)!=0){
printf("main:create thread failure\n");
}
a++;
printf("main:a=%d\n",a);
sleep(2);
pthread_mutex_destroy(&mutex);
return 0;
}
实验结果
虽然线程之间顺序有变化,但被锁的线程中未被打断。