码迷,mamicode.com
首页 > 其他好文 > 详细

装逼名词-ABA

时间:2017-01-05 23:56:21      阅读:52      评论:0      收藏:0      [点我收藏+]

标签:nbsp   spinlock   class   指针   blog   维基百科   str   condition   tail   

今天看wiki,看到一个提到什么什么会陷入 race condition & ABA problem。丫的我没听过ABA呀,那么我去搜了一下,如下:

http://www.bubuko.com/infodetail-317006.html

《SpinLock 自旋锁, CAS操作(Compare & Set) ABA Problem》

 

ABA解释如下:

所谓ABA(见维基百科的ABA词条),问题基本是这个样子:

  1. 进程P1在共享变量中读到值为A
  2. P1被抢占了,进程P2执行
  3. P2把共享变量里的值从A改成了B,再改回到A,此时被P1抢占。
  4. P1回来看到共享变量里的值没有被改变,于是继续执行。

ABA问题最容易发生在lock free 的算法中的,CAS首当其冲,因为CAS判断的是指针的地址。

如果这个地址被重用了呢,问题就很大了。

你拿着一个装满钱的手提箱在飞机场,此时过来了一个火辣性感的美女,然后她很暖昧地挑逗着你,并趁你不注意的时候,

把用一个一模一样的手提箱和你那装满钱的箱子调了个包,然后就离开了,你看到你的手提箱还在那,于是就提着手提箱去赶飞机去了。

 

这就是ABA的问题。

 

 

CAS 操作包含三个操作数 —— 内存位置(V)、预期原值(A)和新值(B)。

如果内存位置的值与预期原值相匹配,那么处理器会自动将该位置值更新为新值。

 

装逼名词-ABA

标签:nbsp   spinlock   class   指针   blog   维基百科   str   condition   tail   

(0)
(0)
   
举报
评论 一句话评论(0
0条  
登录后才能评论!
© 2014 mamicode.com 版权所有 京ICP备13008772号-2
迷上了代码!