Linux多线程之线程同步

线程同步

• 同步即协同步调，按预定的先后次序运行
• 线程同步，指一个线程发出某一功能调用时，在没有得到结果之前，该调用不返回。同时其他线程为保证数据一致性，不能调用该功能
• 因此，"多个控制流，共同操作一个共享资源"的情况，都需要同步

数据混乱的原因

• 资源共享(独享资源不会)
• 调度随机(意味着数据访问会出现竞争)
• 线程间缺乏必要的同步机制

互斥量

• Linux中提供一把互斥锁 mutex(也称之为互斥量)
• 每个线程在对资源操作前都尝试先加锁，成功加锁才能操作，操作结束解锁
• 资源还是共享的，线程间也还是竞争的
• 但通过"锁"就将资源的访问变成互斥操作，而后与时间有关的错误也不会产生了
  【注意】同一时刻，只能有一个线程持有该锁

【举例】当线程A对某个全局变量加锁访问，B在访问前尝试加锁，拿不到锁，B阻塞。C线程不去加锁，而直接访问全局变量，依然能够访问，但是会出现数据混乱
【结论】互斥锁实质上是操作系统提供的一把"建议锁"(又称"协同锁")，建议程序中有多线程访问共享资源的时候使用该机制。但是并没有强制限定。
因此，即使有了mutex，如果有线程不按规则来访问数据，依然会造成数据混乱

线程同步主要应用函数

1. pthread_mutex_init：初始化互斥量
2. pthread_mutex_destroy：销毁互斥量
3. pthread_mutex_lock：对互斥量加锁
4. pthread_mutex_trylock：尝试对互斥量加锁
5. pthread_mutex_unlock：解锁
【以上5个函数返回值均是：成功：0；失败：错误号】
- pthread_mutex_t 类型：其本质是一个结构体，为简化理解，应用时可忽略实现细节，简单当成整数看待
- pthread_mutex_t mutex；	变量 mutex 只有两种取值 1或0

pthread_mutex_init

• 初始化一个互斥锁(互斥量) --> 初值可看作1

int pthread_mutex_init(pthread_mutex_t *restrict mutex, const pthread_mutexattr_t *restrict attr);

参数一：传出参数，调用时应传 &mutex
restrict 关键字：只用于限制指针，告诉编译器，所有修改该指针指向内存中内容的操作，只能通过本指针来完成。不能通过除本指针以外的其他变量或指针修改
参数二：互斥量属性。是一个传入参数，通常传NULL，选用默认属性(线程间共享)
1. 静态初始化：如果互斥量 mutex 是静态分配的(定义在全局，或加了static关键字)，可以直接使用宏进行初始化。
eg：pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALZER
2. 动态初始化：局部变量应采用动态初始化。
eg：pthread_mutex_init(&mutex, NULL);

pthread_mutex_destroy：销毁互斥量

int pthread_mutex_destroy(pthread_mutex_t *mutex);

pthread_mutex_lock：对互斥量加锁

可理解为将 mutex--(或 -1)
int pthread_mutex_lock(pthread_mutex_t *mutex);

pthread_mutex_unlock：对互斥量加锁

可理解为将 mutex--(或 +1)
int pthread_mutex_unlock(pthread_mutex_t *mutex);

pthread_mutex_trylock：尝试对互斥量加锁

int pthread_mutex_trylock(pthread_mutex_t *mutex);

【练习1】实现一种数据混乱的例子

【练习2】对练习1进行修改，加上互斥锁，来消除数据混乱的现象

虽然消除了数据混乱，但是一直都是主线程进行打印，子线程没有抢占到CPU，可见是我们实现加锁解锁的位置不准确
【练习3】修改练习2的加锁解锁位置

【结论】在访问共享资源前加锁，访问结束后立即解锁。锁的"粒度"应越小越好

死锁

1. 线程试图对同一个互斥量A加锁两次
2. 线程1拥有A锁，请求获得B锁；线程2拥有B锁，请求获得A锁
   【死锁的解决方法】当不能获取所有的锁的时候，就主动释放已经拥有的所有锁

读写锁

与互斥锁相似，但读写锁允许更高的并行性。其特性为：写独占，读共享

读写锁的状态(读写锁只有一把)

一把读写锁具备三种状态

1. 读模式下加锁状态(读锁)
2. 写模式下加锁状态(写锁)
3. 不加锁状态

读写锁特性（写独占，读共享，写锁优先级高）

1. 读写锁是"写模式加锁"时，解锁前，所有对该锁加锁的程序都会阻塞
2. 读写锁是"读模式加锁"时，如果线程以读模式对其加锁会成功；如果线程以写模式加锁会阻塞
3. 读写锁是"读模式加锁"时，既有试图以写模式加锁的线程，也有试图以读模式加锁的线程。那么读写锁会阻塞随后的读模式锁请求，优先满足写模式锁。读锁、写锁并行阻塞，写锁优先级高
   【总结】
4. 读写锁也叫共享-独占锁。当读写锁以读模式锁住时，它是以共享模式锁住的；当它以写模式锁住时，它是以独占模式锁住的。写独占，读共享
5. 读写锁非常适合于对数据结构读的次数远大于写的情况

主要应用函数

1. pthread_rwlock_init：初始化读写锁
2. pthread_rwlock_destroy：销毁读写锁
3. pthread_rwlock_rdlock：加读锁
4. pthread_rwlock_wrlock：加写锁
5. pthread_rwlock_tryrdlock：尝试加读锁
6. pthread_rwlock_trywrlock：尝试加写锁
7. pthread_rwlock_unlock：解锁
【以上5个函数返回值均是：成功：0；失败：错误号】
- pthread_rwlock_t 类型：用于定义一个读写锁变量
- pthread_rwlock_t rwlock；

【读写锁实例】创建5个子线程，其中包括3个读线程(对全局变量count进行读)，2个写线程(对全局变量count进行+1操作)