关于InterLockedIncrement

来源:互联网 发布:天皇知乎 编辑:程序博客网 时间:2024/05/19 13:19

最近在看公司服务器源代码,在ObjectBase类里面实现了一个AddRef()函数,而且贯穿整个项目,看了一下他的实现,就是使用下面的函数来增加引用计数

InterLockedIncrement

  举个例子:如果一个变量 Long value =0;

  首先说一下正常情况下的加减操作:value+=1;

  1:系统从Value的空间取出值,并动态生成一个空间来存储取出来的值;

  2:将取出来的值和1作加法,并且将和放回Value的空间覆盖掉原值。加法结束。

  如果此时有两个Thread ,分别记作threadA,threadB。

  1:threadA将Value从存储空间取出,为0;

  2:threadB将Value从存储空间取出,为0;

  3:threadA将取出来的值和1作加法,并且将和放回Value的空间覆盖掉原值。加法结束,Value=1。

  4:threadB将取出来的值和1作加法,并且将和放回Value的空间覆盖掉原值。加法结束,Value=1。

  最后Value =1 ,而正确应该是2;这就是问题的所在,InterLockedIncrement 能够保证在一个线程访问变量时其它线程不能访问。

  例:如果 static long addref=0; 则 InterlockedIncrement(&addref); 后 addref=1

  用于增减变量的并不是常用的Inc/Dec过程,而是用了InterlockedIncrement/InterlockedDecrement这一对过程,它们实现的功能完全一样,都是对变量加一或减一。但它们有一个最大的区别,那就是InterlockedIncrement/InterlockedDecrement是线程安全的。即它们在多线程下能保证执行结果正确,而Inc/Dec不能。或者按操作系统理论中的术语来说,这是一对“原语”操作。以加一为例来说明二者实现细节上的不同:

  一般来说,对内存数据加一的操作分解以后有三个步骤:

  1、 从内存中读出数据

  2、 数据加一

  3、 存入内存

  现在假设在一个两个线程的应用中用Inc进行加一操作可能出现的一种情况:

  1、 线程A从内存中读出数据(假设为3)

  2、 线程B从内存中读出数据(也是3)

  3、 线程A对数据加一(现在是4)

  4、 线程B对数据加一(现在也是4)

  5、 线程A将数据存入内存(现在内存中的数据是4)

  6、 线程B也将数据存入内存(现在内存中的数据还是4,但两个线程都对它加了一,应该是5才对,所以这里出现了错误的结果)

  而用InterlockIncrement过程则没有这个问题,因为所谓“原语”是一种不可中断的操作,即操作系统能保证在一个“原语”执行完毕前不会进行线程切换。所以在上面那个例子中,只有当线程A执行完将数据存入内存后,线程B才可以开始从中取数并进行加一操作,这样就保证了即使是在多线程情况下,结果也一定会是正确的。