interlocked所有图解5-4怎么过

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

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

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

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

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

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

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

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

  1、 从内存中读出数据

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

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

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

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

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

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

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

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

参考资料

 

随机推荐