多线程volatile实现

最新推荐文章于 2024-02-25 22:15:19 发布

liujn347

最新推荐文章于 2024-02-25 22:15:19 发布

阅读量554

点赞数

分类专栏：线程

线程专栏收录该内容

19 篇文章 0 订阅

订阅专栏

　如何避免这种情况？

　　解决以上问题的方法：

　　一种是操作时，加上同步。

　　这种方法，无疑将大大降低程序性能，且违背了volatile的初衷。

　　第二种方式是，使用硬件原语（CAS），实现非阻塞算法

　　从CPU原语上，支持变量级别的低开销同步。

　　CPU原语-比较并交换（CompareAndSet），实现非阻塞算法

　　什么是CAS？

　　cas是现代CPU提供给并发程序使用的原语操作。不同的CPU有不同的使用规范。

　　在 Intel 处理器中，比较并交换通过指令的 cmpxchg 系列实现。

　　PowerPC 处理器有一对名为“加载并保留”和“条件存储”的指令，它们实现相同的目地；

　　MIPS 与 PowerPC 处理器相似，除了第一个指令称为“加载链接”。

　　CAS 操作包含三个操作数 —— 内存位置（V）、预期原值（A）和新值（B）

　　什么是非阻塞算法？

　　一个线程的失败或挂起不应该影响其他线程的失败或挂起。这类算法称之为非阻塞（nonblocking）算法

　　对比阻塞算法：

　　如果有一类并发操作，其中一个线程优先得到对象监视器的锁，当其他线程到达同步边界时，就会被阻塞。

　　直到前一个线程释放掉锁后，才可以继续竞争对象锁。（当然，这里的竞争也可是公平的，按先来后到的次序）

　　CAS 原理：

　　我认为位置 V 应该包含值 A；如果包含该值，则将 B 放到这个位置；否则，不要更改该位置，只告诉我这个位置现在的值即可。

　　CAS使用示例（jdk 1.5 并发包 AtomicInteger类分析

/** 
　　* Atomically sets to the given value and returns the old value. 
　　* 
　　* @param newValue the new value 
　　* @return the previous value 
　　*/ public final int getAndSet(int newValue) { 
　　for (;;) { 
　　int current = get(); 
　　if (compareAndSet(current, newValue)) 
　　return current; 
　　} 
　　} 
　　public final boolean compareAndSet(int expect, int update) { 
　　return unsafe.compareAndSwapInt(this, valueOffset, expect, update); 
　　}

　　这个方法是， AtomicInteger类的常用方法，作用是，将变量设置为指定值，并返回设置前的值。

　　它利用了cpu原语compareAndSet来保障值的唯一性。

　　另， AtomicInteger类中，其他的实用方法，也是基于同样的实现方式。

　　比如 getAndIncrement， getAndDecrement， getAndAdd等等。

　　CAS语义上存在的"ABA 问题"

　　什么是ABA问题？

　　假设，第一次读取V地址的A值，然后通过CAS来判断V地址的值是否仍旧为A，如果是，就将B的值写入V地址，覆盖A值。

　　但是，语义上，有一个漏洞，当第一次读取V的A值，此时，内存V的值变为B值，然后在未执行CAS前，又变回了A值。

　　此时， CAS再执行时，会判断其正确的，并进行赋值。

　　这种判断值的方式来断定内存是否被修改过，针对某些问题，是不适用的。

　　为了解决这种问题， jdk 1.5并发包提供了AtomicStampedReference（有标记的原子引用）类，通过控制变量值的版本来保证CAS正确性。

　　其实，大部分通过值的变化来CAS，已经够用了。