同步概念
所谓同步,即同时起步,协调一致。线程同步,同步即协同步调,对公共区域数据按预定的先后次序访问,防止数据混乱。
数据混乱原因
1.
资源共享
2.
调度随机
3.
线程间缺乏必要的同步机制
互斥量
Linux
中提供一把互斥锁
mutex (
也称之为互斥量
)
。
每个线程在对资源操作前都尝试先加锁,成功加锁才能操作。操作结束解锁。
资源还是共享的,线程间也还是竞争的, 但通过“
锁
”
就将资源的访问变成互斥操作,而后与时间有关的错误也不会再产生了。
主要应用函数
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
。
使用
mutex
一般步骤
1. pthread_mutex_t mutex
: 创建锁
2. pthread_mutex_init
:初始化
3. pthread_mutex_lock
:加锁
4.
访问共享数据
(stdout)
5. pthread_mutex_unlock
:解锁
6. pthread_mutex_destroy
:销毁锁
lock
与
unlock:
lock
尝试加锁,如果加锁不成功,线程阻塞,阻塞到持有该互斥量的其他线程解锁为止
unlock
主动解锁函数。同时将阻塞在该锁上的所有线程全部唤醒,
先阻塞、先唤醒。
lock
与
trylock
lock
加锁失败会阻塞,等待锁释放。
trylock
加锁失败直接返回错误号
不阻塞。
死锁
是使用锁不恰当导致的现象
1.
线程试图对同一个互斥量
A
加锁两次。
2.
线程
1
拥有
A
锁,请求获得
B
锁
:
线程
2
拥有
B
锁,请求获得
A
锁。
读写锁
与互斥量类似,但读写锁允许更高的并行性。
其特性为
:
锁只有一把;写独占,读共享;写锁优先级高
主要应用函数
pthread_rwlock_init
函数。
pthread_rwlock_destroy
函数。
pthread_rwlock_rdlock
函数。
pthread_rwlock_wrlock
函数。
pthread_rwlock_tryrdlock
函数。
pthread_rwlock_trywrlock
函数。
pthread_rwlock_unlock
函数。
以上
7
个函数的返回值都是,成功返回
0
,失败直接返 回惜误号。
pthread_rwlock_t
类型
用于定义一个读写锁变量
pthread_rwlock_t rwlock;
初始化一把读写锁
int pthread_rwlock_init(pthread_rwlock_t *restrict rwlock, const pthread_rwlockattr_t *restrict attr)
销毁一把读写锁
int pthread_rwlock_destroy(pthread_rwlock_t *rwlock);
以读方式请求读写锁(简称:请求读锁)
int pthread_rwlock_rdlock(pthread_rwlock_t *rwlock);
int pthread_rwlock_tryrdlock(pthread_rwlock_t *rwlock);
以写方式请求读写锁(简称:请求写锁)
int pthread_rwlock_wrlock(pthread_rwlock_t *rwlock);
int pthread_rwlock_tryrdlock(pthread_rwlock_t *rwlock);
解锁
int pthread_rwlock_unlock(pthread_rwlock_t *rwlock);