JUC系列(四)| 集合的线程安全问题

简介: JUC系列(四)| 集合的线程安全问题

微信截图_20220524220805.png


多线程一直Java开发中的难点,也是面试中的常客,趁着还有时间,打算巩固一下JUC方面知识,我想机会随处可见,但始终都是留给有准备的人的,希望我们都能加油!!!

沉下去,再浮上来,我想我们会变的不一样的。

JUC系列

正在持续更新中...


我想我们大家肯定都使用过ArrayList的吧。不知道你之前有没有想过它也会牵扯到线程安全问题勒。


一、问题引入:


我们一起先看看下面的程序吧,看你能看出什么问题吗?


public static void main(String[] args) {
    List list = new ArrayList();
    for (int i = 0; i < 20; i++) {
        new Thread(() -> {
            list.add(UUID.randomUUID().toString());
            System.out.println(list);
        }, "线程" + i).start();
    }
}


你觉得能每次都能正常输出吗?


答案是否定的,也许好几次运行程序都不会出错,但是偶尔就会遇上一次的。会报一个ConcurrentModificationException的异常,中文名为:并发修改异常。


原因:就是我们正在读的时候,正好也遇上了写操作,我们这里又没有同步代码块、锁什么的,那么此时肯定是不可以继续往下执行的。


还有ArrayList的add方法并非线程同步的。(jdk11源码)


public boolean add(E e) {
    modCount++;
    add(e, elementData, size);
    return true;
}


我们该如何解决这个问题呢???


二、解决方式


第一种方式:使用 Vector


我们可以使用Vector来代替ArrayList,因为Vector 继承了 AbstractList 类并且实现了List 、RandmoAccess 接口。


RandmoAccess 是 java 中用来被 List 实现,为 List 提供快速访问功能的。在 Vector 中,我们即可以通过元素的序号快速获取元素对象;这就是快速随机访 问。


public class Vector<E> extends AbstractList<E> implements List<E> ,RandomAccess 


我们将上面的程序修改后,程序将不再出现异常。


public static void main(String[] args) {
    List list = new Vector();
    for (int i = 0; i < 20; i++) {
        new Thread(() -> {
            list.add(UUID.randomUUID().toString());
            System.out.println(list);
        }, "线程" + i).start();
    }
}


原因其实就在 Vector 的代码中。


public synchronized boolean add(E e) {
    modCount++;
    add(e, elementData, elementCount);
    return true;
}


add方法上加了synchronized关键字,让这个方法成为了同步方法块。


第二种方式:使用 Collections


Collections 提供了方法 synchronizedList 保证 list 是同步线程安全的。


Collections 仅包含对集合进行操作或返回集合的静态方法,所以我们通常也称Collections 为集合的工具类。


public static void main(String[] args) {
    List list = Collections.synchronizedList(new ArrayList<>());
    for (int i = 0; i < 20; i++) {
        new Thread(() -> {
            list.add(UUID.randomUUID().toString());
            System.out.println(list);
        }, "线程" + i).start();
    }
}


这样也不会发生异常。源码上也都有体现


public void add(int index, E element) {
    synchronized (mutex) {list.add(index, element);}
}


大多数方法都提供了同步和不同步两种api。


第三种方式: 使用 CopyOnWriteArrayList


CopyOnWriteArrayList和ArrayList 一样,它是个可变数组。


有以下几个特点:


  1. 更新操作开销大(add()、set()、remove()等等),因为要复制整个数组


  1. 是线程安全的。


  1. 它最适合于具有以下特征的应用程序:List 大小通常保持很小,只读操作远多 于可变操作,需要在遍历期间防止线程间的冲突。


  1. 独占锁效率低:采用读写分离思想


  1. 写线程获取到锁,其他写线程阻塞


  1. 复制思想


CopyOnWriteArrayList 的思想和原理


当我们要添加一个元素的时候,不直接往当前容器中添加,而是应该先将当前容器复制一份,然后在新的容器中进行添加操作,等到添加完成后,我们再让原容器的引用指向新的容器


当然,这个时候会抛出来一个新的问题,也就是数据不一致的问题。如果写线程还没来得及写进内存,那么其他的线程就会读到了脏数据。


public static void main(String[] args) {
    List list = new CopyOnWriteArrayList();
    for (int i = 0; i < 20; i++) {
        new Thread(() -> {
            list.add(UUID.randomUUID().toString());
            System.out.println(list);
        }, "线程" + i).start();
    }
}


为什么不会产生线程安全问题呢?


我们从"动态数组"和“线程安全”两个方面来看待:


动态数组机制 :


  • 它内部有个volatile 数组(array)来保持数据


  • 它在涉及到更新操作时,都会新建数组,所以CopyOnWriteArrayList效率都会很低;但如果只是单单进行遍历查找的话, 效率是能够达到比较高的。


public boolean add(E element) {
    synchronized (lock) {
        checkForComodification();
        CopyOnWriteArrayList.this.add(offset + size, element);
        expectedArray = getArray();
        size++;
    }
    return true;
}
// CopyOnWriteArrayList.this.add(offset + size, element);
public void add(int index, E element) {
    synchronized (lock) {
        Object[] es = getArray();
        int len = es.length;
        if (index > len || index < 0)
            throw new IndexOutOfBoundsException(outOfBounds(index, len));
        Object[] newElements;
        int numMoved = len - index;
        if (numMoved == 0)
            newElements = Arrays.copyOf(es, len + 1);
        else {
            newElements = new Object[len + 1];
            System.arraycopy(es, 0, newElements, 0, index);
            System.arraycopy(es, index, newElements, index + 1,
                             numMoved);
        }
        newElements[index] = element;
        setArray(newElements);
    }
}


线程安全机制:


  • 通过 volatile 和互斥锁(synchronized)来实现的。


/** The array, accessed only via getArray/setArray. */
private transient volatile Object[] array;


  • 通过“volatile 数组”来保存数据的


  • 一个线程读取 volatile 数组时,总能看 到其它线程对该 volatile 变量最后的写入;就这样,通过 volatile 提供了“读 取到的数据总是最新的”这个机制的保证。


  • 通过互斥锁来保护数据


  • 在更新操作时,都会率先去获取互斥锁, 在修改完毕之后,先将数据更新到“volatile 数组”中,然后再“释放互斥锁”,这样就能够保证数据的安全。


另外补充: 除了ArrayList是线程不安全的,还有HashMap、HashSet都是不安全的。 HashMap、HashSet的解决方式可以用Hashtable解决,还有CopyOnWriteArraySet解决,当然不局限于这一种哈,(还没看完😂) HashMap还可以用ConcurrentHashMap解决。


三、自言自语


最近又开始了JUC的学习,感觉Java内容真的很多,但是为了能够走的更远,还是觉得应该需要打牢一下基础。


最近在持续更新中,如果你觉得对你有所帮助,也感兴趣的话,关注我吧,让我们一起学习,一起讨论吧。


你好,我是博主宁在春,Java学习路上的一颗小小的种子,也希望有一天能扎根长成苍天大树。


希望与君共勉😁


待我们,别时相见时,都已有所成


目录
相关文章
|
3月前
|
存储 安全 Java
【Java集合类面试二十五】、有哪些线程安全的List?
线程安全的List包括Vector、Collections.SynchronizedList和CopyOnWriteArrayList,其中CopyOnWriteArrayList通过复制底层数组实现写操作,提供了最优的线程安全性能。
|
13天前
|
安全 Java
Java多线程集合类
本文介绍了Java中线程安全的问题及解决方案。通过示例代码展示了使用`CopyOnWriteArrayList`、`CopyOnWriteArraySet`和`ConcurrentHashMap`来解决多线程环境下集合操作的线程安全问题。这些类通过不同的机制确保了线程安全,提高了并发性能。
|
1月前
|
Java C++
【多线程】JUC的常见类,Callable接口,ReentranLock,Semaphore,CountDownLatch
【多线程】JUC的常见类,Callable接口,ReentranLock,Semaphore,CountDownLatch
33 0
|
2月前
|
存储 缓存 安全
【Java面试题汇总】多线程、JUC、锁篇(2023版)
线程和进程的区别、CAS的ABA问题、AQS、哪些地方使用了CAS、怎么保证线程安全、线程同步方式、synchronized的用法及原理、Lock、volatile、线程的六个状态、ThreadLocal、线程通信方式、创建方式、两种创建线程池的方法、线程池设置合适的线程数、线程安全的集合?ConcurrentHashMap、JUC
【Java面试题汇总】多线程、JUC、锁篇(2023版)
|
2月前
|
监控 Java 调度
【Java学习】多线程&JUC万字超详解
本文详细介绍了多线程的概念和三种实现方式,还有一些常见的成员方法,CPU的调动方式,多线程的生命周期,还有线程安全问题,锁和死锁的概念,以及等待唤醒机制,阻塞队列,多线程的六种状态,线程池等
147 6
【Java学习】多线程&JUC万字超详解
|
3月前
|
算法 Java
JUC(1)线程和进程、并发和并行、线程的状态、lock锁、生产者和消费者问题
该博客文章综合介绍了Java并发编程的基础知识,包括线程与进程的区别、并发与并行的概念、线程的生命周期状态、`sleep`与`wait`方法的差异、`Lock`接口及其实现类与`synchronized`关键字的对比,以及生产者和消费者问题的解决方案和使用`Condition`对象替代`synchronized`关键字的方法。
JUC(1)线程和进程、并发和并行、线程的状态、lock锁、生产者和消费者问题
|
3月前
|
设计模式 Java 调度
JUC线程池: ScheduledThreadPoolExecutor详解
`ScheduledThreadPoolExecutor`是Java标准库提供的一个强大的定时任务调度工具,它让并发编程中的任务调度变得简单而可靠。这个类的设计兼顾了灵活性与功能性,使其成为实现复杂定时任务逻辑的理想选择。不过,使用时仍需留意任务的执行时间以及系统的实际响应能力,以避免潜在的调度问题影响应用程序的行为。
84 1
|
3月前
|
安全 Java
【Java集合类面试十三】、HashMap如何实现线程安全?
实现HashMap线程安全的方法包括使用Hashtable类、ConcurrentHashMap,或通过Collections工具类将HashMap包装成线程安全的Map。
|
3月前
|
Java
【Java集合类面试十二】、HashMap为什么线程不安全?
HashMap在并发环境下执行put操作可能导致循环链表的形成,进而引起死循环,因而它是线程不安全的。
|
3月前
|
安全 算法 Java
【Java集合类面试二】、 Java中的容器,线程安全和线程不安全的分别有哪些?
这篇文章讨论了Java集合类的线程安全性,列举了线程不安全的集合类(如HashSet、ArrayList、HashMap)和线程安全的集合类(如Vector、Hashtable),同时介绍了Java 5之后提供的java.util.concurrent包中的高效并发集合类,如ConcurrentHashMap和CopyOnWriteArrayList。
【Java集合类面试二】、 Java中的容器,线程安全和线程不安全的分别有哪些?