首页 > 代码库 > 浅析AQS中的state属性
浅析AQS中的state属性
分析一下AbstractQueuedSynchronizer的state属性:
/** * The synchronization state. */ private volatile int state;
ReentrantLock对象加锁时的部分调用栈:
ReentrantLock/lock()
-> NonfairSync/lock()
-> AbstractQueuedSynchronizer/acquire()
-> NonfairSync/tryAcquire()
-> Sync/nonfairTryAcquire()
// NonfairSync/lock() final void lock() { if (compareAndSetState(0, 1)) //可能存在多线程的竞争,所以用CAS设置,state的初始值为0。 setExclusiveOwnerThread(Thread.currentThread()); else acquire(1); //CAS设置state失败 } // AbstractQueuedSynchronizer/acquire() public final void acquire(int arg) { if (!tryAcquire(arg) && acquireQueued(addWaiter(Node.EXCLUSIVE), arg)) selfInterrupt(); } // Sync/nonfairTryAcquire final boolean nonfairTryAcquire(int acquires) { final Thread current = Thread.currentThread(); int c = getState(); if (c == 0) { if (compareAndSetState(0, acquires)) { setExclusiveOwnerThread(current); return true; } } else if (current == getExclusiveOwnerThread()) { int nextc = c + acquires; if (nextc < 0) // overflow throw new Error("Maximum lock count exceeded"); setState(nextc); // 如果是取得锁的线程,再次获取锁,直接使用set方法设置 return true; } return false; }
state属性的总结:
1. 因为存在多线程竞争的情形,使用CAS设置值
2. state初始值为0,线程加一次锁,state加1,获得锁的线程再次加锁,state值再次加1。所以state表示已获得锁线程进行lock操作的次数
3. 是volatile修饰的变量,线程直接从主存中读
接下来研究CAS:
AbstractQueuedSynchronizer/compareAndSetState()
-> Unsafe/compareAndSwapObject()
//native方法,进入jvm源码。
-> unsafe.cpp/Unsafe_CompareAndSwapObject
-> oop.inline.hpp/oopDesc::atomic_compare_exchange_oop()
//以linux系统为例,所以查看Linux的实现版本
-> atomic_linux_x86.inline.hpp/Atomic::cmpxchg_ptr()
-> atomic_linux_x86.inline.hpp/Atomic::cmpxchg()
// /hotspot/src/share/vm/prims/unsafe.cpp // These are the methods for 1.8.0 static JNINativeMethod methods_18[] = { ... {CC"compareAndSwapObject", CC"("OBJ"J"OBJ""OBJ")Z", FN_PTR(Unsafe_CompareAndSwapObject)} ... }; // /hotspot/src/share/vm/prims/unsafe.cpp UNSAFE_ENTRY(jboolean, Unsafe_CompareAndSwapObject(JNIEnv *env, jobject unsafe, jobject obj, jlong offset, jobject e_h, jobject x_h)) UnsafeWrapper("Unsafe_CompareAndSwapObject"); oop x = JNIHandles::resolve(x_h); oop e = JNIHandles::resolve(e_h); oop p = JNIHandles::resolve(obj); HeapWord* addr = (HeapWord *)index_oop_from_field_offset_long(p, offset); oop res = oopDesc::atomic_compare_exchange_oop(x, addr, e, true); jboolean success = (res == e); if (success) update_barrier_set((void*)addr, x); return success; UNSAFE_END // oop.inline.hpp inline oop oopDesc::atomic_compare_exchange_oop(oop exchange_value, volatile HeapWord *dest, oop compare_value, bool prebarrier) { if (UseCompressedOops) { if (prebarrier) { update_barrier_set_pre((narrowOop*)dest, exchange_value); } // encode exchange and compare value from oop to T narrowOop val = encode_heap_oop(exchange_value); narrowOop cmp = encode_heap_oop(compare_value); narrowOop old = (narrowOop) Atomic::cmpxchg(val, (narrowOop*)dest, cmp); // decode old from T to oop return decode_heap_oop(old); } else { if (prebarrier) { update_barrier_set_pre((oop*)dest, exchange_value); } return (oop)Atomic::cmpxchg_ptr(exchange_value, (oop*)dest, compare_value); } } // atomic_linux_x86.inline.hpp inline void* Atomic::cmpxchg_ptr(void* exchange_value, volatile void* dest, void* compare_value) { return (void*)cmpxchg((jlong)exchange_value, (volatile jlong*)dest, (jlong)compare_value); } // atomic_linux_x86.inline.hpp inline jlong Atomic::cmpxchg (jlong exchange_value, volatile jlong* dest, jlong compare_value) { bool mp = os::is_MP(); __asm__ __volatile__ (LOCK_IF_MP(%4) "cmpxchgq %1,(%3)" : "=a" (exchange_value) : "r" (exchange_value), "a" (compare_value), "r" (dest), "r" (mp) : "cc", "memory"); return exchange_value; }
具体的C++代码就不分析了,一次cas没有自旋,在多处理器环境下是需要加锁的。
浅析AQS中的state属性