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的原理,实现并发无锁队列,在生产者消费者模型中,引入环形队列,那么生成者将数据放到环形队列中,而消费者从环形队列进行消费,没有任何锁或者等待,巧妙的高效实现了多线程数据通信。
环形队列可以使用链表和线性表实现,一般都用线性表实现。因为无需遍历整个队列,效率高。