线程安全与可重入

线程安全一个函数被称为线程安全的当且仅当被多个并发线程反复调用时,它会一直产生正确的结果。
上面已经提到,线程不安全的根源在于:共享数据。
共享数据可以是:
1 函数把返回结果放到一个公共的位置
2 由调用者传入的线程间共享的指针变量或者引用变量
3 函数内部本来就会使用的共享静态变量
任何线程不安全问题的根源都是“共享数据”所以,不使用任何共享数据的函数(即:可重入函数)肯定是线程安全的。但这并不等于说,线程安全函数就是可重入函数。为什么呢?因为即使有线程有共享数据,线程被并发调用的时候产生的结果可以是正确的。那么这种正确性是如何保证的呢?对,就是通过同步操作。
线程不安全怎么能够改写成线程安全无非有两种策略:
1 仍旧使用共享数据,但是在使用共享数据的时候做同步操作。对于函数过程中使用的共享数据,可以进行简单的PV操作,对于返回结果可以在PV操作中把共享数据拷贝到非共享的位置,以便及时释放共享变量。
2 杜绝使用共享变量。也就是说把函数改成了可重入的函数。但是,彻底杜绝共享变量有的时候不容易做到。对于上面的提到的第一种和第三种情况很容易做到,但是对于第二种情况,我们没有办法。所以,对于一个不接受引用和指针的函数,我们可以把它做到绝对的可重入,但是,对于一个接受指针或者引用的函数来说,对不起,我们不能确保他肯定是可重入的。
关于性能:
  通常来说,多线程是为了在同一时间内能够处理更多的同样类型的事情,但是线程不安全却阻碍了我们达到我们的目的。所以,我们有的时候不得不想方设法的把线程不安全的函数改写成线程安全的。
  改写的结果无非两种,一种是原函数的“同步版本”,一种是原函数的“可重入版本”。可重入版本相比前者的从性能上来说有着天然的优势,这种优势就是在于它不涉及PV操作,不存在软件上的瓶颈,可以最大化的利用硬件资源。然而“同步版本”则有可能不能充分利用硬件的资源,因为程序在等待资源的释放。关于重写的策略
  拿到一个线程不安全函数是一件郁闷的事情。你必须要使用它,怎么办呢?这个时候就要从上面提到的三个可能的共享数据来入手了:
1  如果调用函数的返回结果是共享的,这个时候就要使用上面提到的lock-and-copy方法,在PV操作中,把结果转移到非共享的区域。
2 尝试在调用函数的时候不使用引用或者指针,如果函数在多线程工作的时候结果正确了,则为题解决了,否则,问题可能出现在函数内部,转3
3 找到这个函数的共享变量,对其做PV操作。
可重入当被多个线程调用的时候,不会引用任何共享数据。
可重入函数:如果一个函数只访问自己的局部变量或参数,则称为可重入(Reentrant) 函数。(可重入函数一定是线程安全的)

不可重入函数:函数访问一个全局链表,有可能因为重入而造成错乱,像这样的函数称为不可重入函数。


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

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值