文思创新的一个面试题

refe_zh

如果不进行优化的话 i = i + 1; 应该不是线程安全吧，其他两个应该是线程安全的
rain_fish 发表于 2010-03-25 15:03

    那两个也不能保证，除非直接内联 LOCK "inc ..."

doofy

我k，在i32上，这种整数自增不都是原子的么？

这让我想起了老尼姑的一句话：这年头连黄瓜也不能相信了...

不过CSAP上说在sparc平台上int就不是原子的，要定义成atomic_t 才行...

反正我写多线程程序，里面用到的counter从来不加锁，我就当它是线程安全的...  

doofy

回复 8# rain_fish

这里的中断是指什么？ 硬件中断？信号？
难道写一个用户态程序，还要考虑这个程序是在单核上跑呢还是在多核上跑？

我觉得这个问题应该和cpu、总线有关系.... 但我又不懂硬件...

悲剧了 不过我觉得楼主面试被问到这个问题，更悲剧...

rain_fish

回复 13# doofy


    中断使用的不对，应该说是并发

phy0077

回复 14# rain_fish


    你就别整这么名词来糊弄别人啦， 你一点都不懂 {:2_170:}

A.com

这个要看编译后的汇编是怎么样的

rain_fish

回复 15# phy0077


    请这位朋友指教，在这方面确实不懂，正如我说的那样，是猜测，还请朋友释疑，感激不尽。

greensnow

我觉得都不是thread safe的

prolj

我C！这个外包公司还面技术？！！！？！

rain_fish

由于编译方面的知识极其匮乏，被 phy0077 这位朋友鄙视了，由于自己的无知，可能给大家造成了误解，再次表示道歉。这是网上找的一篇分析的文章，感觉比较正确，转到这里请高手指点一下。

该文章原创，转摘时请表明出处http://blog.csdn.net/sapair/archive/2009/06/05/4243974.aspx

i++的线程安全性可以总结如下：

（1）如果i是局部变量，那么是可重入的，也就是线程安全的。

（2）如果i是全局变量，则同一进程的不同线程都可能访问到该变量，因而是线程不安全的。

上面这两点比较清晰，具体原因我将在下面解释：

本质上来讲，i并不是因为是全局变量才说是线程不安全的。其实其本质原因是i++这个操作并不是原子的，如果这是原子操作的话，具有不可分特性，那么即便是所有线程都能访问到，也都是线程安全的。

i++最终被编译后的反汇编代码大概如下：

mov eax，【xxxxxxxx】

inc   eax

一条c语句已经被分为两条操作指令，那么在这两条操作指令执行之间，可能由于中断而被调度到不同线程，于是，不安全性就产生了。当然了，这并不是说单条汇编语句就是线程安全的，这取决于CPU架构，因为单条汇编指令可能在多个CPU时钟周期内进行，有些CPU架构可以在任何一个时钟周期内响应中断，对于这样的CPU，就是单条指令都不是安全的。当然了，现在的CPU大部分都是一条指令执行完后才能响应中断的。想要进行原子操作，方法有很多种，其中一种比较简单的是在原子语句之间先关闭中断，然后进行原子操作后再打开中断就OK了。