java - CAS是像自旋的循环吗？

当我阅读sun.misc.Unsafe.Java的代码时遇到一个问题。

CAS是像自旋的循环吗？

起初，我认为CAS只是低效率的原子操作。但是，当我尝试查找函数compareAndSwapInt的源代码时，我会找到如下所示的cpp代码:

jbyte Atomic::cmpxchg(jbyte exchange_value, volatile jbyte* dest, jbyte compare_value) {
    assert(sizeof(jbyte) == 1, "assumption.");
    uintptr_t dest_addr = (uintptr_t)dest;
    uintptr_t offset = dest_addr % sizeof(jint);
    volatile jint* dest_int = (volatile jint*)(dest_addr - offset);
    jint cur = *dest_int;
    jbyte* cur_as_bytes = (jbyte*)(&cur);
    jint new_val = cur;
    jbyte* new_val_as_bytes = (jbyte*)(&new_val);
    new_val_as_bytes[offset] = exchange_value;
    while (cur_as_bytes[offset] == compare_value) {
        jint res = cmpxchg(new_val, dest_int, cur);
        if (res == cur) break;
            cur = res;
        new_val = cur;
        new_val_as_bytes[offset] = exchange_value;
    }
    return cur_as_bytes[offset];
}

我在此原子函数中看到了“何时”和“中断”。

它是旋转方式吗？

相关代码链接:

http://hg.openjdk.java.net/jdk8u/jdk8u20/hotspot/file/190899198332/src/share/vm/prims/unsafe.cpp

http://hg.openjdk.java.net/jdk8u/jdk8u/jdk/file/07011844584f/src/share/classes/sun/misc/Unsafe.java

http://hg.openjdk.java.net/jdk8u/jdk8u20/hotspot/file/55fb97c4c58d/src/share/vm/runtime/atomic.cpp

最佳答案

CAS是单个操作，它返回1或0的值，表示此操作是否成功，因为您正在执行compareAndSwapInt，因此您希望此操作成功，因此操作将重复进行直到有效。

我认为您还将spin lock与此混淆，这基本上意味着在此值为“1”时执行某些操作(例如)；所有其他线程都等待，直到该值变为零为止(通过compareAndSwap)，这实际上意味着某个线程已完成工作并释放了锁(这称为release/acquire语义)