Linux多线程：线程安全、线程互斥、死锁、线程同步

目录

一、线程安全

1.概念

2.实现——同步与互斥

二、线程互斥

1.互斥的实现：互斥锁

2.互斥锁的操作流程

2.1定义互斥锁

2.2初始化互斥锁

2.3在访问资源前进行加锁

2.4在访问资源完毕后进行解锁

2.5释放资源

三、死锁

1.概念

2.产生死锁的四个必要条件

2.1互斥条件

2.2不可剥夺条件

2.3请求与保持条件

2.4环路等待条件

3.预防死锁——破坏产生死锁的必要条件

4.避免死锁：银行家算法

4.1银行家算法

4.2银行家算法——代码实现

三、线程同步

1.同步的实现：条件变量

2.条件变量操作

2.1定义条件变量

2.2初始化条件变量

2.3阻塞接口

2.4唤醒接口

2.5释放资源

---

一、线程安全

1.概念

        多个线程对于临界资源的访问存在安全冲突问题，线程安全指的就是线程间对于临界资源的访问操作是安全的。

2.实现——同步与互斥

        互斥：同一时间只有一个线程能够访问资源；

        同步：通过一些条件判断让资源访问更加合理。

二、线程互斥

1.互斥的实现：互斥锁

互斥锁的本质：0/1计数器，通过01来对资源的访问状态进行标记，通过计数器的操作来模拟实现加锁与解锁。

        ·在资源访问前先加锁——判断是否可访问：

                可访问，则加锁标记为不可访问状态，然后正确返回，访问资源；

                不可访问，则阻塞或者报错返回、

        ·在资源访问完毕后解锁——将状态置为可访问状态。

注意：

        要实现互斥，则大家必须使用同一把锁，这意味着互斥锁也是一个临界资源，所以为了能够实现互斥，互斥锁的操作也必须是安全的。

2.互斥锁的操作流程

注意：

        1）互斥锁尽量只保护临界资源的访问过程；

        2）在线程中加锁后，一定记得要解锁；并且加锁后，在任意有可能退出线程的地方解锁。

2.1定义互斥锁

        pthread_mutex_t;

2.2初始化互斥锁

通过接口初始化：

        pthread_mutex_init(pthread_mutex_t *mutex, pthread_mutexattr_t *);

                属性通常置为NULL；

通过赋值初始化（mutex本质是一个结构体）：

        pthread_mutex_t mutex = PTHREAD_MUTEX_INITALIZER;

2.3在访问资源前进行加锁

        int pthread_mutex_lock(pthread_mutex_t *mutex);阻塞加锁

        int pthread_mutex_trylock(pthread_mutex_t *mutex);非阻塞加锁

2.4在访问资源完毕后进行解锁

        int pthread_mutex_unlock(pthread_mutex_t *mutex);

2.5释放资源

        int pthread_mutex_destroy(pthread_mutex_t *mutex);

三、死锁

1.概念

        多个线程因为对锁资源的争抢不当，导致程序流程卡死的状态。

2.产生死锁的四个必要条件

        系统若发生死锁，则一定具备了产生死锁的四个必要条件。

2.1互斥条件

        一个锁同一时间只能被一个线程加锁成功。

2.2不可剥夺条件

        一个线程加的锁，只有自己能够解锁。

2.3请求与保持条件

        例：线程成功加了A锁，然后去加B锁，B锁加锁不成功，也不释放A锁。

2.4环路等待条件

        例：1线程加了A锁去请求B锁，2线程加了B锁去请求A锁。

3.预防死锁——破坏产生死锁的必要条件

        1）线程之间，保证加锁解锁顺序一致，避免形成加锁环路；

        2）使用非阻塞加锁（例：加了A锁，去请求B锁，B锁若请求不成功，则释放A锁）。

注意：互斥与不可剥夺条件不能被破坏。

4.避免死锁：银行家算法

4.1银行家算法

        将系统运行划分两个状态：安全&非安全

        定义了三张表：所有资源表、当前已分配资源表、当前资源请求表

4.2银行家算法——代码实现

        模拟实现银行家算法。

三、线程同步

1.同步的实现：条件变量

条件变量：

        包含pcb等待队列，提供了使线程阻塞和唤醒阻塞线程的接口。

同步：

        一个线程要获取资源，必须先满足资源获取条件，如果不满足则阻塞，直到获取条件满足后，唤醒阻塞的线程去获取。

注意：

        条件变量，只提供了阻塞与唤醒线程的接口，但是一个线程什么时候该阻塞、什么时候该唤醒，需要由用户自己进行判断。

2.条件变量操作

注：条件变量是搭配互斥锁一起使用。

2.1定义条件变量

        pthread_cond_t;

2.2初始化条件变量

int pthread_cond_init(pthread_cond_t *cond, pthread_condattr_t *attr);

2.3阻塞接口

1）

int pthread_cond_wait( int pthread_cond_t *cond, pthread_mutex_t *mutex);

        此接口集合了三个操作：解锁、休眠，被唤醒后加锁

2）

int pthread_cond_timedwait(int pthread_cond_t *cond, pthread_mutex_t *mutex, struct timespec *abstime);

        等待指定时长；如果在此时长内没有被唤醒，则自动超时唤醒、报错返回。

2.4唤醒接口

int pthread_cond_signal(pthread_cond_t cond);

        唤醒至少一个被阻塞的线程。

int pthread_cond_broadcast(pthread_cond_t *cond);

        唤醒所有被阻塞的线程。

2.5释放资源

int pthread_cond_destroy(pthread_cond_t *cond);