摘要:原理剖析第篇工作原理分析一大致介紹關于多線程競爭鎖方面,大家都知道有個和,也正是這兩個東西才引申出了大量的線程安全類,鎖類等功能而隨著現在的硬件廠商越來越高級,在硬件層面提供大量并發原語給我們層面的開發帶來了莫大的利好本章節就和大家分享分
原理剖析(第 004 篇)CAS工作原理分析
-
一、大致介紹1、關于多線程競爭鎖方面,大家都知道有個CAS和AQS,也正是這兩個東西才引申出了大量的線程安全類,鎖類等功能; 2、而隨著現在的硬件廠商越來越高級,在硬件層面提供大量并發原語給我們Java層面的開發帶來了莫大的利好; 3、本章節就和大家分享分析一下CAS的工作原理;二、原理分析 2.1 何為CAS?
1、CAS,compare and swap的縮寫,顧名思義,比較再交換,即 “讀取-修改-寫操作” 三個步驟為一體原子操作; 2、CAS操作包含三個參數:內存位置(V)、預期值(A)、新值(B); 如果內存位置的值V與預期值A相匹配,那么處理器會自動將該位置值更新為新值B,否則不更新;2.2 CAS原理
1、CAS通過JNI方式調用底層操作系統的C代碼,從而借助底層C代碼來調用CPU底層操作指令來實現原子操作; 2、CAS是硬件CPU提供的原語,通過底層cmpxchg原語指令(多處理器再加上Lock指令)實現原子操作;2.3 CAS核心源碼
1、CAS核心源碼: // Adding a lock prefix to an instruction on MP machine // VC++ doesn"t like the lock prefix to be on a single line // so we can"t insert a label after the lock prefix. // By emitting a lock prefix, we can define a label after it. #define LOCK_IF_MP(mp) __asm cmp mp, 0 __asm je L0 __asm _emit 0xF0 __asm L0: inline jint Atomic::cmpxchg (jint exchange_value, volatile jint* dest, jint compare_value) { // alternative for InterlockedCompareExchange int mp = os::is_MP(); __asm { mov edx, dest mov ecx, exchange_value mov eax, compare_value LOCK_IF_MP(mp) // 如果是多處理器的話,則需要添加Lock前綴指令,Lock的方式和Volatile的實現方式雷同 cmpxchg dword ptr [edx], ecx // } } 2、通過上述源碼可以發現該cmpxchg方法會自動判斷當前是否是多處理器,多處理器的話則添加lock前綴指令,反之省略lock前綴; 3、至于lock是怎么保證多處理器的一致性的話,原理和Volatile雷同,請移步看看[原理剖析(第 001 篇)Volatile工作原理分析];三、CAS缺點 3.1、ABA問題
1、并發操作時,容易引起ABA問題; 假設i初始值i=5,A線程做i++操作一次,B線程做i--操作一次,C線程通過判斷i=5時則對i進行更新新值; 2、這個時候C線程會認為i還是處于初始值,未被做過修改,但是殊不知AB線程已經都對i進行修改了一次; 3、為了解決這種線程,需要讓C知道i已經被修改過了,因此在Java1.5引進了一個AtomicStampedReference類來解決ABA問題; 4、AtomicStampedReference這個類主要是給變量追加了版本號信息,每次變量更新的話版本號都會自增加一; 5、但是有的人會認為AtomicMarkableReference也能解決ABA問題,其實不能根本解決只能在最大程度上降低ABA問題的出現; 因為它是通過一個boolean來標記是否更改,本質就是只有true和false兩種版本來回切換,只能降低ABA問題發生的幾率,并不能阻止ABA問題的發生;3.2、開銷大
1、隨便拿個CAS的Java層代碼: public final int getAndSetInt(Object var1, long var2, int var4) { int var5; do { var5 = this.getIntVolatile(var1, var2); } while(!this.compareAndSwapInt(var1, var2, var5, var4)); return var5; } 2、通過這段代碼發現,如果CAS操作一直不成功的話,那么該段代碼就一直在自旋操作,會給CPU帶來比較大的執行開銷;3.3、原子操作約束
1、目前的CAS只能保證單個共享變量的原子操作; 2、但是對多個變量進行操作時,CAS無法保證,但是可以將多個變量封裝成一個新的對象,利用AtomicReference類來保證引用對象之間的原子性;四、總結
1、我們可以在一些非常簡單的操作且又不想引入鎖的場景下采用CAS實現原子操作; 2、然而想要進行非阻塞的完成某些場景也可以考慮采用CAS進行原子操作; 3、但是不推薦在非常復雜的操作中引入CAS,一來會使程序可讀性變差,二來且難以測試且會出現ABA問題。五、下載地址
https://gitee.com/ylimhhmily/SpringCloudTutorial.git
SpringCloudTutorial交流QQ群: 235322432
SpringCloudTutorial交流微信群: 微信溝通群二維碼圖片鏈接
歡迎關注,您的肯定是對我最大的支持!!!
文章版權歸作者所有,未經允許請勿轉載,若此文章存在違規行為,您可以聯系管理員刪除。
轉載請注明本文地址:http://specialneedsforspecialkids.com/yun/68763.html
摘要:等到所有子線程都執行完后即,會主調用線程,然后主調用線程就會從函數返回,繼續后余動作。 原理剖析(第 005 篇)AQS工作原理分析 - 一、大致介紹 1、前面章節講解了一下CAS,簡單講就是cmpxchg+lock的原子操作; 2、而在談到并發操作里面,我們不得不談到AQS,JDK的源碼里面好多并發的類都是通過Sync的內部類繼承AQS而實現出五花八門的功能; 3、本章節就和大家分享...
摘要:本文會以引出問題為主,后面有時間的話,筆者陸續會抽些重要的知識點進行詳細的剖析與解答。敬請關注服務端思維微信公眾號,獲取最新文章。 原文地址:梁桂釗的博客博客地址:http://blog.720ui.com 這里,筆者結合自己過往的面試經驗,整理了一些核心的知識清單,幫助讀者更好地回顧與復習 Java 服務端核心技術。本文會以引出問題為主,后面有時間的話,筆者陸續會抽些重要的知識點進...
摘要:原理剖析第篇工作原理分析一大致介紹相信大家都用過線程池,對該類應該一點都不陌生了我們之所以要用到線程池,線程池主要用來解決線程生命周期開銷問題和資源不足問題我們通過對多個任務重用線程以及控制線程池的數目可以有效防止資源不足的情況本章節就著 原理剖析(第 003 篇)ThreadPoolExecutor工作原理分析 - 一、大致介紹 1、相信大家都用過線程池,對該類ThreadPoolE...
摘要:原理剖析第篇之服務端啟動工作原理分析下一大致介紹由于篇幅過長難以發布,所以本章節接著上一節來的,上一章節為原理剖析第篇之服務端啟動工作原理分析上那么本章節就繼續分析的服務端啟動,分析的源碼版本為二三四章節請看上一章節詳見原理剖析第篇之 原理剖析(第 011 篇)Netty之服務端啟動工作原理分析(下) - 一、大致介紹 1、由于篇幅過長難以發布,所以本章節接著上一節來的,上一章節為【原...
摘要:端引導類線程管理組線程管理組將設置到服務端引導類中指定通道類型為,一種異步模式,阻塞模式為設置讓服務器監聽某個端口已等待客戶端連接。 原理剖析(第 010 篇)Netty之服務端啟動工作原理分析(上) - 一、大致介紹 1、Netty這個詞,對于熟悉并發的童鞋一點都不陌生,它是一個異步事件驅動型的網絡通信框架; 2、使用Netty不需要我們關注過多NIO的API操作,簡簡單單的使用即可...
閱讀 1315·2021-11-22 14:44
閱讀 2453·2021-09-30 09:47
閱讀 1224·2021-09-09 11:56
閱讀 2086·2021-09-08 09:45
閱讀 3982·2021-08-31 09:40
閱讀 1260·2019-08-30 15:52
閱讀 2050·2019-08-30 14:09
閱讀 1591·2019-08-26 17:04