进程和线程的区别
- 一个线程从属于一个进程,一个进程可以包含多个线-程
- 进程系统开销要大于线程的系统开销
- 多个进程在执行时拥有自己独立的内存单元,多个线程共享进程的内存,但拥有自己独立的栈段,寄存器组
- 通信方式不一样
并发和并行
- 并发: 多个任务在同一时间段内运行(交替的运行,执行者是一个)
- 并行: 多个任务在同一时间内运行(同时发生,同时处理,执行者不是一个)
线程同步的方法
- 互斥锁
- 任何时候都只允许一个线程访问共享资源
- 为了上锁而优先的
- 信号量
- 本质上是一个计数器,用来限制访问有限资源的线程数量
- 如果信号量的初始值设为1,则等同于互斥锁
- 既可以用来上锁也可以用来等待
- 条件变量
- 不能单独使用,需要配合互斥锁一起使用
- 允许线程以无竞争的方式等待特定条件的发生,条件变量本身是受互斥锁保护的
- 为了等待而优先的
- 读写锁
条件变量的定义
- 两个线程利用条件变量以及互斥锁实现同步,条件变量和互斥锁对两个线程来说是全局的
- 一个线程利用条件变量实现等待,同时释放锁
- 一个线程获取锁后利用条件变量唤醒等待的线程
- 适用与生产者消费者模型
什么使生产者-消费者模型
- 是非常经典的一个多线程并发协作的模型,在分布式系统里非常常见
- 由两类线程和一个缓冲区来组成
- 生产者线程: 生产数据,并把数据放在队列里面
- 缓冲区: 存放生产者数据的地方
- 消费者线程: 从队列里取数据,消费数据
- 运行流程
- 生产者和消费者在同一段时间内共用同一个存储空间
- 生产者往存储空间中添加数据
- 消费者从存储空间中取走数据
- 当存储空间为空时消费者阻塞,当存储空间满时生产者阻塞
产生死锁的四个必要条件
- 互斥条件: 线程要求对所分配的资源进行排它性控制,也就是在同一时间段内某资源仅被一个线程所占有
- 请求和保持条件: 当线程因请求资源而阻塞时,对已获得的资源保持不放
- 不剥夺条件: 线程获得的资源在使用完之前不能剥夺,只能使用完后自己释放
- 循环与等待条件: 线程之间形成一种头尾相接的循环等待资源的关系
死锁的几种常见形式
- 同一个线程对标准互斥锁进行多次上锁
- 一个线程在结束之前没有对互斥锁进行解锁
- 两个线程两把锁,都各锁定一把锁,但同时又去lock对方的锁
如何避免死锁
- 破坏四个必要条件的其中一个
- 设置锁可以被强制剥夺
- 若有多个锁时,对锁的加锁顺序要一致
- 不用阻塞的加锁函数,超时放弃对锁的请求,同时要及时释放自己占用的锁
- 自行保存上锁和解锁的记录。当上锁失败的次数达到上限时,就认为产生了死锁,则放弃对锁的申请
乐观锁和悲观锁
- 悲观锁: 就是很悲观,每次拿数据都认为会被别人修改,所以每次拿数据都会进行上锁。悲观锁中的共享资源每次只能给一个线程使用,其它线程阻塞,用完后再把资源让给其它线程。
- 乐观锁: 就是很乐观,每次拿数据都认位别人不会修改,所以不会上锁。但是如果想要更新数据,则会在更新前检查数据是否有被更改,若被更改则重新读取,再尝试更新