互斥量(mutex)
Linux中提供一把互斥锁mutex(也称之为互斥量)。每个线程在对资源操作前都尝试先加锁,成功加锁才能操作,操作结束解锁。资源还是共享的,线程间也还是竞争的,但通过“锁”就将资源的访问变成互斥操作,而后与时间有关的错误也不会再产生了。但,应注意:同一时刻,只能有一个线程持有该锁。
当A线程对某个全局变量加锁访问,B在访问前尝试加锁,拿不到锁,B阻塞。C线程不去加锁,而直接访问该全局变量,依然能够访问,但会出现数据混乱。所以,互斥锁实质上是操作系统提供的一把“建议锁”(又称“协同锁”,即不加锁也可以访问,但是不要这样做),建议程序中有多线程访问共享资源的时候使用该机制。但并没有强制限定。因此,即使有了mutex,如果有线程不按规则来访问数据,依然会造成数据混乱。在Linux操作系统中,用户层面上编程使用的所有锁都是建议锁,不具有强制性,因此访问共享数据的所有线程(进程)都应该先加锁才能访问。
主要应用函数:
pthread_mutex_init函数 pthread_mutex_destroy函数
pthread_mutex_lock函数 pthread_mutex_trylock函数
pthread_mutex_unlock函数
以上5个函数的返回值都是:成功返回0, 失败返回错误号。
pthread_mutex_t 类型,其本质是一个结构体。为简化理解,应用时可忽略其实现细节,简单当成整数看待。pthread_mutex_t mutex; 变量mutex只有两种取值1、0。初始化完成后该值为1;加锁后变为0,解锁后又变为1。
(1)pthread_mutex_init函数
int pthread_mutex_init(pthread_mutex_t *restrict mutex, const pthread_mutexattr_t *restrict attr);
作用:初始化一个互斥锁(互斥量) ---> 初值可看作1。参数1:传出参数,调用时应传 &mutex;参数2:互斥量属性。是一个传入参数,通常传NULL,选用默认属性(线程间共享),可参考APUE.12.4同步属性。
restrict关键字:只用于限制指针,告诉编译器,所有修改该指针指向内存中内容的操作,只能通过本指针完成。不能通过除本指针以外的其他变量或指针修改。
静态初始化:如果互斥锁 mutex 是静态分配的(定义在全局,或加static关键字修饰),可以直接使用宏进行初始化:pthead_mutex_t muetx = PTHREAD_MUTEX_INITIALIZER;动态初始化:局部变量必须采用动态初始化:pthread_mutex_init(&mutex, NULL)。
(2)pthread_mutex_destroy函数
int pthread_mutex_destroy(pthread_mutex_t *mutex);
作用:销毁一个互斥锁,即释放资源。
(3)pthread_mutex_lock函数
int pthread_mutex_lock(pthread_mutex_t *mutex);
作用:加锁。可理解为将mutex--(或-1)。
(4)pthread_mutex_unlock函数
int pthread_mutex_unlock(pthread_mutex_t *mutex);
作用:解锁。可理解为将mutex ++(或+1)。
(5)pthread_mutex_trylock函数
int pthread_mutex_trylock(pthread_mutex_t *mutex);
作用:尝试加锁。lock加锁失败会阻塞,等待锁释放。 trylock加锁失败直接返回错误号(如:EBUSY),不阻塞。因此,trylock函数要保证能够加锁成功需要采用轮询的方式(每隔一段时间去尝试加锁一次),与lock的区别就是不阻塞,类似于wait与waitpid函数。
lock与unlock: lock尝试加锁,如果加锁不成功,线程阻塞,阻塞到持有该互斥量的其他线程解锁为止。unlock主动解锁函数,同时将阻塞在该锁上的所有线程全部唤醒,至于哪个线程先被唤醒,取决于优先级、调度。默认:先阻塞、先唤醒。例如:T1 T2 T3 T4 使用一把mutex锁。T1加锁成功,其他线程均阻塞,直至T1解锁。T1解锁后,T2 T3 T4均被唤醒,并自动再次尝试加锁。
可假想mutex锁 init成功初值为1。 lock 功能是将mutex--。unlock将mutex++。
看如下程序:该程序是非常典型的,由于共享、竞争而没有加任何同步机制,导致产生于时间有关的错误,造成数据混乱:
//线程之间共享资源stdout(标准输出)
#include <stdio.h>
#include <string.h>
#include <pthread.h>
#include <stdlib.h>
#include <unistd.h>pthread_mutex_t mutex; //定义锁,全局变量void *tfn(void *arg)
{srand(time(NULL));while (1) {pthread_mutex_lock(&mutex); //加锁printf("hello ");sleep(rand() % 3); /*模拟长时间操作共享资源,导致cpu易主,产生与时间有关的错误*/printf("world\n");pthread_mutex_unlock(&mutex); //解锁sleep(rand() % 3);}return NULL;
}int main(void)
{int flg = 5;pthread_t tid;srand(time(NULL));pthread_mutex_init(&mutex, NULL); // mutex=1pthread_create(&tid, NULL, tfn, NULL);while (flg--) {pthread_mutex_lock(&mutex); //加锁printf("HELLO ");sleep(rand() % 3);printf("WORLD\n");pthread_mutex_unlock(&mutex); //解锁sleep(rand() % 3);}pthread_cancel(tid);pthread_join(tid, NULL);pthread_mutex_destroy(&mutex); //销毁,注意不要忘记return 0;
}
//采用mutex锁机制的输出情况
[root@localhost 02_pthread_sync_test]# ./mutex
HELLO WORLD
hello world
HELLO WORLD
HELLO WORLD
hello world
HELLO WORLD
HELLO WORLD
hello world
hello world
//不采用mutex锁机制的输出情况(删除上述程序中的锁)
[root@localhost 02_pthread_sync_test]# ./mutex
HELLO hello world
WORLD
HELLO hello WORLD
HELLO world
hello world
WORLD
hello HELLO WORLD
HELLO world
WORLD
分析:
- 注意srand( time(NULL) ); rand( )函数的用法:产生非假随机数;
- 两个线程while中,两次printf前后,分别加lock和unlock。如果将unlock挪至第二个sleep函数后面,发现交替现象很难出现。这是因为线程在操作完共享资源后本应该立即解锁,但修改后,线程抱着锁睡眠。睡醒解锁后又立即加锁,这两个库函数本身不会阻塞。所以在这两行代码之间失去cpu的概率很小。因此,另外一个线程很难得到加锁的机会。因此:在访问共享资源前加锁,访问结束后立即解锁。锁的“粒度”应越小越好。
互斥量(mutex)相关推荐
- [一个经典的多线程同步问题]解决方案三:互斥量Mutex
本篇通过互斥量来解决线程的同步,学习其中的一些知识. 互斥量也是一个内核对象,它用来确保一个线程独占一个资源的访问.互斥量与关键段的行为非常相似,并且互斥量可以用于不同进程中的线程互斥访问资源.使用互 ...
- mysql 互斥_MySql中互斥量mutex的实现
数据库中的Mutex量指的是一种用于保护一些临界资源的使用的信号量.当有线程需要使用这些临界资源时,会请求获得mutex量,请求成功的线程进入临界区,而请求失败的线程只能等待它释放这个mutex.互斥 ...
- 秒杀多线程第七篇 经典线程同步 互斥量Mutex
阅读本篇之前推荐阅读以下姊妹篇: <秒杀多线程第四篇一个经典的多线程同步问题> <秒杀多线程第五篇经典线程同步关键段CS> <秒杀多线程第六篇经典线程同步事件Event& ...
- Linux系统编程----16(线程同步,互斥量 mutex,互斥锁的相关函数,死锁,读写锁)
同步概念 所谓同步,即同时起步,协调一致.不同的对象,对"同步"的理解方式略有不同.如,设备同步,是指在两 个设备之间规定一个共同的时间参考:数据库同步,是指让两个或多个数据库内容 ...
- 经典线程同步 互斥量Mutex的使用分析
互斥量(mutex)内核对象用来确保一个线程独占对一个资源的访问. 互斥量对象包含一个使用计数.线程ID以及一个递归计数. 互斥量与关键段的行为完全相同.但是,互斥量是内核对象,而关键段是用户模式下的 ...
- 互斥量(mutex)与事件(event)的使用
互斥量(Mutex) CreateMutex :创建一个互斥量 HANDLE CreateMutex( LPSECURITY_ATTRIBUTES lpMutexAtt ...
- windows 多线程(五) 互斥量(Mutex)
参考:http://blog.csdn.net/morewindows/article/details/7470936 互斥量也是一个内核对象,它用来确保一个线程独占一个资源的访问.互斥量与关键段的行 ...
- linux mutex 数量上限,互斥量mutex
Linux中提供一把互斥锁mutex(也称之为互斥量). 每个线程在对资源操作前都尝试先加锁,成功加锁才能操作,操作结束解锁. 资源还是共享的,线程间也还是竞争的,但通过"锁"就将 ...
- C#线程同步(3)- 互斥量 Mutex
什么是Mutex "mutex"是术语"互相排斥(mutually exclusive)"的简写形式,也就是互斥量.互斥量跟临界区中提到的Monitor很相似, ...
- C# 多线程四:互斥量Mutex的简单理解与运用
目录 一. 特点: 1.非静态类继承 2.可以跨进程 二.构造函数 1.Mutex() 2.Mutex(Boolean) 2. Mutex(Boolean, String) 3.Mutex(Boole ...
最新文章
- JQ实现当前页面导航加效果(栏目页有效)
- intellij_我最喜欢的IntelliJ IDEA功能
- 物理光学 计算倏逝波/渐逝波在界面上存在的范围
- 曼哈顿距离java实现_基于javascript实现获取最短路径算法代码实例
- golang interface的使用和实现(翻译整理)
- linux live cd ubuntu,在Windows 7上体验Ubuntu Live CD
- 第一届大数据科学与工程国际会议最新、最热会议日程---中国贵阳 2016年5月25-26日...
- BZOJ 4155 Humble Captains
- python核心编程豆瓣_python核心编程一书笔记之第一篇
- [设计模式-结构型]装饰模式(Decorator)
- GUI实现学生点名系统
- 确定有限状态自动机(deterministic finite automaton)DFA
- HDU3404POJ3533(Nim积摸版)
- 程序猿必看的10部黑客电影
- 计算机主板高清图解 清华同方,清华同方bios设定图解
- Python编程笔记(第三篇)【补充】三元运算、文件处理、检测文件编码、递归、斐波那契数列、名称空间、作用域、生成器...
- 《Composing Programs》学习笔记(0)目录(关键词:软件工程)
- PYNQ小白学习记录--开箱调用摄像头实现人脸识别
- 基于卷积神经网络的句子分类模型【经典卷积分类附源码链接】
- CodeForces 1A Theatre Square(水题)
热门文章
- SAP MM/FI 自动过账实现 OBYC 接口执行
- [Algorithm] 字符串匹配算法——KMP算法
- 万网与阿里巴巴业务关系图解
- java批量提取文件夹名称_bat 批量提取指定目录下的文件名
- html5中音乐播放器怎么写,打造属于自己的音乐播放器 HTML5之audio标签
- 中职升高职c语言程序设计教程课后答案,中职C语言教学创新与实践论文
- 正方体最快最简单画_素描新手入门第一幅画可不只是“正方体”
- seafile 部署_Seafile开启webdav及读写性能测试
- 域名自动跳转不搭建服务器,宝塔搭建的服务器WEB系统环境如果做域名301跳转
- suse linux 查看cpu,Suse Linux zmd 耗用100% CPU