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

简介: Linux多线程:线程安全、线程互斥、死锁、线程同步

一、线程安全


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);


相关文章
|
1月前
|
Java 数据库连接 数据库
不同业务使用同一个线程池发生死锁的技术探讨
【10月更文挑战第6天】在并发编程中,线程池是一种常用的优化手段,用于管理和复用线程资源,减少线程的创建和销毁开销。然而,当多个不同业务场景共用同一个线程池时,可能会引发一系列并发问题,其中死锁就是最为严重的一种。本文将深入探讨不同业务使用同一个线程池发生死锁的原因、影响及解决方案,旨在帮助开发者避免此类陷阱,提升系统的稳定性和可靠性。
49 5
|
1月前
|
安全 Java 程序员
【多线程-从零开始-肆】线程安全、加锁和死锁
【多线程-从零开始-肆】线程安全、加锁和死锁
44 0
|
3月前
|
监控 安全 Java
Java多线程调试技巧:如何定位和解决线程安全问题
Java多线程调试技巧:如何定位和解决线程安全问题
137 2
|
2月前
|
安全 Java
LinkedBlockingQueue 是线程安全的,为什么会有两个线程都take()到同一个对象了?
LinkedBlockingQueue 是线程安全的,为什么会有两个线程都take()到同一个对象了?
46 0
|
3月前
|
存储 安全 Java
【多线程面试题十七】、如果不使用synchronized和Lock,如何保证线程安全?
这篇文章探讨了在不使用`synchronized`和`Lock`的情况下保证线程安全的方法,包括使用`volatile`关键字、原子变量、线程本地存储(`ThreadLocal`)以及设计不可变对象。
|
4月前
|
缓存 Linux 编译器
【Linux】多线程——线程概念|进程VS线程|线程控制(下)
【Linux】多线程——线程概念|进程VS线程|线程控制(下)
69 0
|
4月前
|
存储 Linux 调度
【Linux】多线程——线程概念|进程VS线程|线程控制(上)
【Linux】多线程——线程概念|进程VS线程|线程控制(上)
72 0
|
6月前
|
存储 安全 Linux
【探索Linux】P.19(多线程 | 线程的概念 | 线程控制 | 分离线程)
【探索Linux】P.19(多线程 | 线程的概念 | 线程控制 | 分离线程)
50 0
|
存储 算法 Linux
Linux之多线程(上)——Linux下的线程概念
Linux之多线程(上)——Linux下的线程概念
318 0
|
存储 Linux Shell
【Linux】多线程 --- 线程概念 控制 封装-2
【Linux】多线程 --- 线程概念 控制 封装-2
下一篇
无影云桌面