摘要:區(qū)別在于內部維護了一個的二元組。操作內部維護一個靜態(tài)內部類表示引用對象表示時間戳版本號,型通過增加了版本號的操作,可以避免問題,即更新始終是遞增的,不會出現往復。
這三個都是自JDK1.5開始加入到java.util.concurrent.atomic下面的。他們都可以在lock-free的情況下以原子的方式更新對象引用。
區(qū)別在于:AtomicStampedReference內部維護了一個[reference, integer] pairs的二元組。AtomicMarkableReference 內部維護了一個[reference, boolean] pairs的二元組。
以下部分源碼片段摘自JDK1.8(保留了注釋):
AtomicReference
public class AtomicReferenceimplements java.io.Serializable { private static final long serialVersionUID = -1848883965231344442L; private static final Unsafe unsafe = Unsafe.getUnsafe(); private static final long valueOffset; //class初始化時執(zhí)行 static { try { valueOffset = unsafe.objectFieldOffset (AtomicReference.class.getDeclaredField("value")); } catch (Exception ex) { throw new Error(ex); } } //通過volatile關鍵字保證value值的可見性。 private volatile V value; public AtomicReference(V initialValue) { value = initialValue; } public AtomicReference() { } //CAS操作 /** * Atomically sets the value to the given updated value * if the current value {@code ==} the expected value. * @param expect the expected value * @param update the new value * @return {@code true} if successful. False return indicates that * the actual value was not equal to the expected value. */ public final boolean compareAndSet(V expect, V update) { return unsafe.compareAndSwapObject(this, valueOffset, expect, update); } }
AtomicStampedReference
public class AtomicStampedReference{ //內部維護一個靜態(tài)內部類 //reference表示引用對象 //stamp表示時間戳(版本號),int型 private static class Pair { final T reference; final int stamp; private Pair(T reference, int stamp) { this.reference = reference; this.stamp = stamp; } static Pair of(T reference, int stamp) { return new Pair (reference, stamp); } } private volatile Pair pair; /** * Creates a new {@code AtomicStampedReference} with the given * initial values. * * @param initialRef the initial reference * @param initialStamp the initial stamp */ public AtomicStampedReference(V initialRef, int initialStamp) { pair = Pair.of(initialRef, initialStamp); } /** * Atomically sets the value of both the reference and stamp * to the given update values if the * current reference is {@code ==} to the expected reference * and the current stamp is equal to the expected stamp. * * @param expectedReference the expected value of the reference * @param newReference the new value for the reference * @param expectedStamp the expected value of the stamp * @param newStamp the new value for the stamp * @return {@code true} if successful */ public boolean compareAndSet(V expectedReference, V newReference, int expectedStamp, int newStamp) { Pair current = pair; //通過增加了stamp(版本號)的CAS操作,可以避免ABA問題,即更新始終是遞增的,不會出現往復。 return expectedReference == current.reference && expectedStamp == current.stamp && ((newReference == current.reference && newStamp == current.stamp) || casPair(current, Pair.of(newReference, newStamp))); } private boolean casPair(Pair cmp, Pair val) { return UNSAFE.compareAndSwapObject(this, pairOffset, cmp, val); } }
AtomicMarkableReference
public class AtomicMarkableReference{ //這里幾乎和AtomicStampedReference相同,只是從 final int stamp 變成了 final boolean mark private static class Pair { final T reference; final boolean mark; private Pair(T reference, boolean mark) { this.reference = reference; this.mark = mark; } static Pair of(T reference, boolean mark) { return new Pair (reference, mark); } } private volatile Pair pair; /** * Creates a new {@code AtomicMarkableReference} with the given * initial values. * * @param initialRef the initial reference * @param initialMark the initial mark */ public AtomicMarkableReference(V initialRef, boolean initialMark) { pair = Pair.of(initialRef, initialMark); } }
文章版權歸作者所有,未經允許請勿轉載,若此文章存在違規(guī)行為,您可以聯(lián)系管理員刪除。
轉載請注明本文地址:http://specialneedsforspecialkids.com/yun/71176.html
摘要:但是,有些操作會依賴于對象的變化過程,此時的解決思路一般就是使用版本號。在變量前面追加上版本號,每次變量更新的時候把版本號加一,那么就會變成。四的引入就是上面所說的加了版本號的。 showImg(https://segmentfault.com/img/remote/1460000016012188); 本文首發(fā)于一世流云的專欄:https://segmentfault.com/blo...
摘要:一無鎖方案并發(fā)包中的原子類都是基于無鎖方案實現的,相較于傳統(tǒng)的互斥鎖,無鎖并沒有加鎖解鎖線程切換的消耗,因此無鎖解決方案的性能更好,同時無鎖還能夠保證線程安全。線程首先讀取的值并加,如果此時有另一個線程更新了,則期望值和不相等,更新失敗。 一、無鎖方案 Java 并發(fā)包中的原子類都是基于無鎖方案實現的,相較于傳統(tǒng)的互斥鎖,無鎖并沒有加鎖、解鎖、線程切換的消耗,因此無鎖解決方案的性能更好...
摘要:即使是在多個線程一起執(zhí)行的時候,一個操作一旦開始,就不會被其他線程干擾。另外是一個變量,在內存中可見,因此可以保證任何時刻任何線程總能拿到該變量的最新值。 個人覺得這一節(jié)掌握基本的使用即可! 本節(jié)思維導圖: showImg(https://segmentfault.com/img/remote/1460000016855442?w=1244&h=657); 1 Atomic 原子類介紹...
摘要:中的類可以分成組標量類,,,數組類,,更新器類,,復合變量類,第一組內部實現使用高效的方式和方法,從而避免了的高開銷,執(zhí)行效率大為提升。第二組內部并不是像一樣維持一個變量,而是全部由方法實現。第四組給數據加版本信息,解決問題。 java.util.concurrent.atomic中的類可以分成4組: 標量類:AtomicBoolean,AtomicInteger,AtomicLong...
摘要:異步非阻塞方式,任務的完成的通知由其他線程發(fā)出。并發(fā)并行死鎖饑餓活鎖死鎖線程持有,線程持有。如等,在多線程情況下,該操作不是原子級別的而是原子的,所以一般用于狀態(tài)標記。 同步/異步、阻塞/非阻塞 同步/異步是 API 被調用者的通知方式。阻塞/非阻塞則是 API 調用者的等待方式(線程掛機/不掛起)。 同步非阻塞 Future方式,任務的完成要主線程自己判斷。如NIO,后臺有多個任務在...
閱讀 2345·2021-11-11 16:54
閱讀 2596·2021-09-26 09:47
閱讀 3978·2021-09-08 09:36
閱讀 2727·2021-07-25 21:37
閱讀 927·2019-08-30 15:54
閱讀 2540·2019-08-30 14:22
閱讀 3245·2019-08-30 13:57
閱讀 2558·2019-08-29 17:17