线程的同步与互斥(死锁的产生和避免)

    可以知道,一条语句对一个变量进行+1操作,转成汇编指令共有三条:将这个变量从内存中取出;将其值加1;再将加后的结果放回内存;当一个进程中的两个线程同时进行这个操作时,本来期望的是将变量进行两次加1,但中途有可能当一个线程刚从内存中将变量取出就被切换暂停了,此时线程会保存硬件上下文,第二个线程将变量加1之后前面切出去的线程回来继续执行,这时保存的还是变量原来的值,再将变量加1,会发现变量的最终结果并没有加2而是只加了1,因此这种操作并不是原子的。

-------------------------------------------------------------------------------------------

栗子时间:

wKioL1cVy6HROe7OAACdTkNhKUY517.png


上面的程序中创建了两个线程执行同一个函数,都是将全局变量的值从0加到500,预期的结果应该是1000;但是运行程序,会发现结果不为预期那样,有时是500,有时是500多或者600多,这就是两个线程在访问同一块数据代码时产生了冲突,因为操作不是原子的,所以会有中间值的产生。

wKioL1cV1iqCRnXsAAAEs_hdVKA068.png

wKiom1cV1W6zTAvPAAAE05A1OJw094.png

wKioL1cV1i2j7iN5AAAEtfDLQcA612.png

-------------------------------------------------------------------------------------------

  1. 互斥量(mutex)

    要解决上面的问题,可以引入互斥量,在解决进程间通信所产生的冲突问题时,有一种机制就是信号量,互斥量和信号量基本上是相同的概念,就是当一个线程在访问某个数据时可以加上一把互斥锁,当别的线程也要访问这个数据时就要请求加锁,而此时锁已经被别的线程申请要过去了,那这个线程就需要等待,直到有锁可用才能再加锁访问数据,如此一来,就可以将“读取—执行—写入”这三部化成一个原子性的问题,要么都执行,要么一步也不执行,不会被中途打断。


  1. 互斥锁的初始化和销毁

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值