ABA problem

转载 2012年03月31日 11:12:48

ABA problem

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In multithreaded computing, the ABA problem occurs during synchronization, when a location is read twice, has the same value for both reads, and "value is the same" is used to indicate "nothing has changed". However, another thread can execute between the two reads and change the value, do other work, then change the value back, thus fooling the first thread in to thinking "nothing has changed" even though the second thread did work that violates that assumption.

The ABA problem occurs when multiple threads (or processes) accessing shared memory interleave. Below is the sequence of events that will result in the ABA problem:

  • Process P_1 reads value A from shared memory,
  • P_1 is preempted, allowing process P_2 to run,
  • P_2 modifies the shared memory value A to value B and back to A before preemption,
  • P_1 begins execution again, sees that the shared memory value has not changed and continues.

Although P_1 can continue executing, it is possible that the behavior will not be correct due to the "hidden" modification in shared memory.

A common case of the ABA problem is encountered when implementing a lock-free data structure. If an item is removed from the list, deleted, and then a new item is allocated and added to the list, it is common for the allocated object to be at the same location as the deleted object due to optimization. A pointer to the new item is thus sometimes equal to a pointer to the old item which is an ABA problem.

[edit] Example

An easy-to-understand example of the ABA problem would be the following real-life scenario:


Charlie is at an airport carrying a briefcase with a large sum of money in it. He is carrying it for his boss, so he does not know the suitcase's combination. An attractive and provocatively-dressed woman (Sharon) approaches him and strikes up a conversation. While Sharon is distracting Charlie, her partner-in-crime (Albert) decides to seize the opportunity to grab the money. He realizes that if Charlie turns around and sees that his briefcase has disappeared, he will sound an alarm; after that, it is not likely that he and Sharon will make it out of the airport without being stopped by security.
Instead, Albert quickly takes Charlie's briefcase and replaces it with an identical briefcase filled with sand to match the weight of the money. Sharon finishes up her conversation with Charlie, he gets up, gets on the plane, and leaves. He is completely unaware that the briefcase now contains only sand. When Charlie's boss finally opens the briefcase, it is likely Charlie will be in a lot of trouble.


In this scenario, the 'A' state is when there is a briefcase next to Charlie, and the 'B' state is when there is nothing next to him. Originally, his briefcase starts in 'A' state. If Charlie had turned around in between the time Albert took his real briefcase and replaced it with the fake, he would've seen his briefcase gone ('B' state) and sounded the alarm. Unfortunately, when he turned back he observed 'A' state and had no choice but to assume that 'B' state never happened.


See the workaround section to find out how Charlie could have prevented this misfortune.


Following are a couple of code examples:

Consider this lock-free stack:

  /* Naive lock-free stack which suffers from ABA problem.*/
  class Stack {
    volatile Obj* top_ptr;
    //
    // Pops the top object and returns a pointer to it.
    //
    Obj* Pop() {
      while(1) {
        Obj* ret_ptr = top_ptr;
        if (!ret_ptr) return 0;
        Obj* next_ptr = ret_ptr->next;
        // If the top node is still ret, then assume no one has changed the stack.
        // (That statement is not always true because of the ABA problem)
        // Atomically replace top with next.
        if (CompareAndSwap(top_ptr, ret_ptr, next_ptr)) {
          return ret_ptr;
        }
        // The stack has changed, start over.
      }
    }
    //
    // Pushes the object specified by obj_ptr to stack.
    //
    void Push(Obj* obj_ptr) {
      while(1) {
        Obj* next_ptr = top_ptr;
        obj_ptr->next = next_ptr;
        // If the top node is still next, then assume no one has changed the stack.
        // (That statement is not always true because of the ABA problem)
        // Atomically replace top with obj.
        if (CompareAndSwap(top_ptr, next_ptr, obj_ptr)) {
          return;
        }
        // The stack has changed, start over.
      }
    }
  };

This code can normally prevent problems from concurrent access, but suffers from ABA problems. Consider the following sequence:

Stack initially contains top → A → B → C

Thread 1 starts running pop:

 ret = A;
 next = B;

Thread 1 gets interrupted just before the CompareAndSwap...

  { // Thread 2 runs pop:
    ret = A;
    next = B;
    CompareAndSwap(A, A, B)  // Success, top = B
    return A;
  } // Now the stack is top → B → C
  { // Thread 2 runs pop again:
    ret = B;
    next = C;
    CompareAndSwap(B, B, C)  // Success, top = C
    return B;
  } // Now the stack is top → C
  delete B;
  { // Thread 2 now pushes A back onto the stack:
    A->next = C;
    CompareAndSwap(C, C, A)  // Success, top = A
  }

Now the stack is top → A → C

When Thread 1 resumes:

 CompareAndSwap(A, A, B)

This instruction succeeds because it finds top == ret (both are A), so it sets top to next (which is B). As B has been deleted the program will access freed memory when it tries to look the first element on the stack. Accessing freed memory is undefined, in the sense there are numerous difficult to debug ways your program will crash, so a program will soon crash in a difficult to debug manner.

[edit] Workarounds

Going back to the previous example of Charlie and his briefcase, what could Charlie have done differently?

There are a number of ways that Charlie could have prevented this from happening, even though he can't open the briefcase. For one, he could've chained the real briefcase to the seat. That way, Albert would have to cut the chain to steal the briefcase, and Charlie would notice the cut chain and sound the alarm. This is what the LL/SC instruction on some processors attempts to do. Another solution would be for Charlie to write down the serial number of his real briefcase, and check it after every time he looks away from it. This is how Double-Word Compare-And-Swap Tagging works. Automatic Garbage Collection, along with other techniques like Hazard Pointers, deal with this problem by ensuring that there is no other briefcase in the world that looks like Charlie's briefcase. When Charlie, his boss, and whoever else cares about the briefcase don't need it anymore, it is destroyed. Then, and only then, is another briefcase that looks like his allowed to be created.

Below are examples of code mechanisms that implement the ideas above.

A common workaround is to add extra "tag" bits to the quantity being considered. For example, an algorithm using compare and swap on a pointer might use the low bits of the address to indicate how many times the pointer has been successfully modified. Because of this, the next compare-and-swap will fail, even if the addresses are the same, because the tag bits will not match. This does not completely solve the problem, as the tag bits will eventually wrap around, but helps to avoid it. Some architectures provide a double-word compare and swap, which allows for a larger tag. This is sometimes called ABA' since the second A is made slightly different from the first.

A correct but expensive approach is to use intermediate nodes that are not data elements and thus assure invariants as elements are inserted and removed [Valois].

Another approach is to defer reclamation of removed data elements. One way to defer reclamation is to run the algorithm in an environment featuring an automatic garbage collector. Another way to defer reclamation is to use one or more hazard pointers, which are pointers to locations that otherwise cannot appear in the list. Each hazard pointer represents an intermediate state of an in-progress change; the presence of the pointer assures further synchronization [Doug Lea]. Yet another way to defer reclamation is to use read-copy update (RCU), which involves enclosing the update in an RCU read-side critical section and then waiting for an RCU grace period before freeing any removed data elements. Using RCU in this way guarantees that any data element removed cannot reappear until all currently executing operations have completed.

Some architectures provide "larger" atomic operations such that, as example, both forward and backward links in a doubly linked list can be updated atomically.

Some architectures provide a load linked, store conditional instruction in which the store is performed only when there are no other stores of the indicated location. This effectively separates the notion of "storage contains value" from "storage has been changed". Examples include DEC Alpha, MIPS, PowerPC and ARM (v6 and later). However no practical implementations of load linked will directly solve the ABA problem. [Michael]

[edit] References

  1. Damian Dechev, Peter Pirkelbauer, and Bjarne Stroustrup. Lock-free Dynamically Resizable Arrays
  2. Maged M. Michael. ABA Prevention Using Single-Word Instructions (LL/SC)

ABA问题

今天在微博上看到讨论ABA的问题,不懂,google,记录下。   ABA问题: 在进行CAS操作的时候,因为在更改V之前,CAS主要询问“V的值是否仍然为A”,所以在第一次读取V之...

喜羊羊系列之C语言字符界面颜色输出(printf)

博客:http://blog.csdn.net/muyang_ren 1、头文件 print.h /* printf输出带颜色字体 [http://hi.baidu.com/lukunnr/bl...

C语言:列举system函数如何修改控制台背景及文字颜色

#include #include /* *创建人:老九学堂 窖头 *日期:2016-10-27 *描述:演示并列举system函数如何修改控制台背景及文字颜色 *公众号:xuetang9 * 版本...
  • xyphf
  • xyphf
  • 2017年07月24日 13:45
  • 274

关于我对ABA问题的理解

ABA问题是在cas操作时候发生的。 一个稍微不正确的比喻是这样的: 1,你看到X是队列的头,Y是队列的尾巴。 2,将X和Y交换 if(1为true){执行2} 现在情况是if(1为tru...
  • faicm
  • faicm
  • 2015年04月10日 16:27
  • 350

AtomicInteger、Unsafe类、ABA问题

AtomicInteger原子类的底层实现
  • WSYW126
  • WSYW126
  • 2017年01月02日 16:19
  • 581

用AtomicStampedReference解决ABA问题

在运用CAS做Lock-Free操作中有一个经典的ABA问题: 线程1准备用CAS将变量的值由A替换为B,在此之前,线程2将变量的值由A替换为C,又由C替换为A,然后线程1执行CAS时发现变量的值仍...

无锁编程(四) - CAS与ABA问题

讲解了无锁编程中的CAS解法,原理及给出了一些实例。给出了ABA问题的描述和常见解决方案。...

C++ 无锁队列 ABA <1>

实验环境:vs2013  新建一个无stdafx.h预编译头的控制台程序,然后复制以下代码 1、链表实现无锁队列 2、数组实现无锁队列 1、链表 #include #include #in...

Java多线程工具包java.util.concurrent---原子性和ABA问题

什么是原子性 什么是可见性 可见性 在多核处理器中,如果多个线程对一个变量(假设)进行操作,但是这多个线程有可能被分配到多个处理器中运行,那么编译器会对代码进行优化,当线程要处理该变量时,多个处理器...

ABA生理功能与信号转导相关综述

  • 2013年11月29日 15:25
  • 56KB
  • 下载
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:ABA problem
举报原因:
原因补充:

(最多只允许输入30个字)