Java-AQS中的原子操作实现原理

AQS子类ReentrantLock类lock()方法调用compareAndSetState()

 对于每个继承了AQS的子类如ReentrantLock,Semphore,CountDownLatch等等都会调用compareAndSetState方法。以ReentrantLock.lock()方法为例:加锁时会调用compareAndSetState方法expected=0,update=1,compateAndSetState调用成功则加锁成功,否则加锁失败,线程进入等待队列。

lock()方法

AQS-compareAndSetState()

AQS-compareAndSetState()

 其中stateOffset变量是在对象初始化的时候赋值的,值为相对对象基址的偏移量。并且具体的变量名为state且用volatile关键字来修饰。这里有个疑问为什么需要用volatile来修饰state? 如果不用volatile修饰state会出现什么问题?

stateOffset赋值

JNI native ompareAndSwapInt()实现

接着看unsafe.compareAndSwapInt(this,stateOffset,expected,update)方法:这是通过JNI访问的本地方法(操作系统native程序),作用是读取传入var1在内存偏移量为var2的值与期望值var4(excepted)比较。相等就把var5(update)的值赋值到偏移量为var2的变量,返回true。不相等就取消赋值,方法返回false。

unsafe.compareAndSwapInt

compareAndSwapInt的native实现:unsafe.cpp。obj对应var1,offset对应var2,e对应var4(expected),x对应var5(updated)

unsafe—compareAndSwapInt()本地实现

操作系统 Atomic的cmpxchg方法:

Atomic的cmpxchg,这个类的实现跟操作系统有关,跟CPU架构也有关。updated的值对应exchange_value,dest对应address并且需要为volatile的,compare_value对应expected。

Atomic::cmpxchg

汇编cmpxchg指令

cmpxchg dword ptr[edx](目的操作数),ecx(源操作数)指令的意思是 :

1. dword ptr[edx]为获取地址为edx所在的int值,即dest地址所在的值,由于这个变量地址是volatile的,所以执行这条指令必须从主存中加载而不是从CPU高速缓冲区获得。这个也可以解释state变量为什么需要是volatile的,

mov edx, dest // 步骤1 将state变量的地址存到edx

mov ecx, exchange_value// 步骤2 // 将update值存到ecx

mov eax, compare_value// 步骤3 //将excepted放到eax

LOCK_IF_MP(mp) // 步骤4 //判断如果是多核执行指令前就加锁,锁住总线

cmpxchg dword ptr[edx],ecx //步骤5  //如果dest地址所在的值与寄存器eax的值相等,就将ecx寄存器中的值写到dest地址,如果不相等,将目的操作数(dest地址所在的值)赋值到eax寄存中。

问题一:如果state不是volatile类型有什么问题?

两个线程T1,T2同时执行到步骤3,如果执行到步骤3之前,CPU的高速缓冲区有值,执行dword的时候会直接加载缓冲区的值,并不会立即写到主存并通知其他CPU更新缓冲行。这时候如果state=0,expected=0,updated=1,T1,T2两个线程同时调用compareAndSetState(0,1)都会执行成功,并且State值为1。这就出现数据可见性的问题,互斥锁的作用就失效了。

问题二: 为什么多核时需要在步骤4的时候加锁?

假设T1,T2两个线程在两个单独的CPU上同时运行到步骤5,这时候两个线程同时执行cmpxchg指令,即使dword ptr[edx]会去获取主存中的值并发信号通知其他CPU缓冲行无效,由于执行步骤5之前没有加锁#lock指令,有可能两个线程正好同一时刻各自执行指令cmpxchg,就会出现同时获取到主存的值,并在指令执行结束通知对方高速缓冲行的值失效。这样也会出现T1,T2两个线程同时调用compareAndSetState(0,1)都会执行成功,并且State值为1,互斥锁的作用就失效了,两个线程都能加锁成功。

问题三: 单核为什么不需要加锁

假设T1,T2两个线程执行到步骤3,这时候T1先执行步骤5成功,线程切换,T1交出CPU使用权,T2线程开始执行步骤5,执行cmpxchg指令比较state与expected时候会发现state已经是1,expected是0,两者不相等失败,执行失败,T2加锁失败。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 213,558评论 6 492
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 91,002评论 3 387
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 159,036评论 0 349
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 57,024评论 1 285
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 66,144评论 6 385
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 50,255评论 1 292
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,295评论 3 412
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,068评论 0 268
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,478评论 1 305
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,789评论 2 327
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,965评论 1 341
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,649评论 4 336
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,267评论 3 318
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,982评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,223评论 1 267
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,800评论 2 365
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,847评论 2 351