java线程安全的队列_高性能编程之java线程安全

1、线程安全产生的原因

在java的内存模型中，在多线程环境下，不同线程对同一变量进行操作，就可能会导致不同线程中数据状态不一致的情况。

2、Java中线程安全的解决方法

2.1 对象的不可变

不可变(Immutable)的对象一定是线程安全的。一个不可变的对象在多线程环境中永远都是处于一致性的状态。我们在多线程环境下，应当尽量使用不可变对象，解决线程安全的问题。

如果共享变量是一个基本数据类型，java的语法中，使用final关键字修饰的变量就是不可变。

java.lang.String类的对象是不可变的对象。

2.2 乐观锁

同步锁能够解决线程安全的问题，但是同步锁会引起线程的阻塞和线程上下文的切换，带来较大的性能损耗。同步锁是一种悲观的并发策略，无论共享数据是否真的会出现竞争，它都要进行加锁：用户态与核心态转换、维护锁计数器和检查是否有被阻塞的线程需要唤醒等操作。

java中乐观锁的使用：

(1)CAS 定义

CAS是compare and swap的缩写。

CAS 操作包含三个操作数：内存中的值(V)、预期原值(A)和新值(B)。 如果内存中的值与预期原值相匹配，那么处理器会自动将该位置值更新为新值B。否则，处理器不做任何操作。无论哪种情况，它都会在 CAS 指令之前返回原内存中的值。通常将 CAS 用于同步的方式是从地址 V 读取值 A，执行多步计算来获得新 值 B，然后使用 CAS 将 V 的值从 A 改为 B。如果 V 处的值尚未同时更改，则 CAS 操作成功。

(2) CAS在java中的应用

CAS借助JNI来完成Java的非阻塞算法，而整个JUC都是建立在CAS之上的

在JAVA中可以使用java.util.concurrent.atomic包中的一些原子类来使用CAS功能。

使用AtomicBoolean类实现lock()方法的例子：

public class Lock1 {

private AtomicBoolean lockA= new AtomicBoolean(false);

public boolean lock() {

return locked.compareAndSet(false, true);

}

}

lockA变量不再是boolean类型而是AtomicBoolean。这个类中有一个compareAndSet()方法，它使用一个期望值和AtomicBoolean实例的值比较，如果相等，则使用一个新值替换原值。如果它比较locked的值为false，如果locked的值为false，则把修改为true。如果值被替换成功，compareAndSet()返回true，否则，返回false。

2.3 同步锁

(1) synchronized

在Java里面synchronized关键字是同步的重要工具，synchronized是可重入锁，synchronized底层是通过monitorenter和monitorexit两个字节码指令来实现同步的，这两个字节码都需要一个引用类型参数来作为要锁定和解锁的对象。如果Java程序中的synchronized明确指定了对象参数，那就是这个对象的reference；如果没有明确指定，那就根据synchronized修饰的是实例方法还是类方法，获取对应的对象实例或Class对象来作为锁对象。

(2)ReentrantLock

在java.util.concurrent包下的可重入锁ReentrantLock也是实现同步重要方式，ReentrantLock底层给予AQS实现(底层应用了cas和队列)

ReentrantLock具有以下特点：

公平性：支持公平锁和非公平锁。默认使用了非公平锁。

可重入: 同一线程可以多次加锁

可中断：相对于 synchronized，它是可中断的锁，能够对中断作出响应。

超时机制：超时后锁会被释放。

ReentrantLock 在很多工具类中都有应用，如CopyOnWriteArrayList 也使用了 ReentrantLock。

2.4 线程本地存储(ThreadLocal)

如果一段代码中所需要的数据必须与其他代码共享，那就看看这些共享数据的代码是否能在同一个线程中执行。如果可以，我们就可以把共享数据的可见性限制在同一个线程之内，这样，无须同步也能保证线程之间不出现数据争用的问题。

java中用 java.lang.ThreadLocal 类来实现线程本地存储功能。

以下代码中，thread1 中设置 threadLocal 为 1，而 thread2 设置 threadLocal 为 2。过了一段时间之后，thread1 读取 threadLocal 依然是 1，不受 thread2 的影响。

public class ThreadLocalExample {

public static void main(String[] args) {

ThreadLocal threadlocal = new ThreadLocal();

Thread thread1 = new Thread(()->{

threadlocal.set(1);

try {

Thread.sleep(2000);

}catch(InterruptedException e) {

}

System.out.println(threadlocal.get());

threadlocal.remove();

});

Thread thread2 = new Thread(() ->{

threadlocal.set(2);

threadlocal.remove();

});

thread1.start();

thread2.start();

}

}

运行结果：1

2.5 环形队列(RingBuffer)

借鉴Linux 内核并发无锁环形队列kfifo的原理，实现并发无锁队列，在生产者消费者模型中，引入环形队列，那么生成者将数据放到环形队列中，而消费者从环形队列进行消费，没有任何锁或者等待，巧妙的高效实现了多线程数据通信。

环形队列可以使用链表和线性表实现，一般都用线性表实现。因为无需遍历整个队列，效率高。