Java中的Collections.synchronizedList()和CopyOnWriteArrayList

我们知道ArrayList在多线程的环境下并不是线程安全的,那如果我们需要在多线程的场景下使用连续存储并且数据具有有序性,可直接快速访问元素的集合时,可以使用Collections.synchronizedList()或者CopyOnWriteArrayList替代

Collections.synchronizedList()

Collections.synchronizedList()用于将普通的List转化为线程安全的同步列表。其底层是基于装饰器模式,通过包装将原始列表转换为对其所有操作都添加同步锁,来确保多线程的环境下的安全性

装饰器模式包装List

Collections.synchronizedList()是一个静态方法,调用此方法直接返回同步列表对象。SynchronizedList是一个包装类,其底层维护的依然是普通的List。只是在所有的操作中都添加了同步锁来保证线程安全。

SynchronizedList继承了SynchronizedCollection,拥有父类中的所有属性和方法。SynchronizedCollection中并不是所有方法都添加了同步锁,使用时需谨慎。

以下情况仍然需要手动加锁:

  1. 使用迭代器遍历集合时,synchronizedList并没有对迭代器操作添加同步锁,在使用时需要手动添加
  2. 其他单个添加同步锁的操作,在单独使用时,是线程安全的。但是组合使用的时候,还是需要用户手动加锁(比如:put-if-absent:这种类似的组合操作,synchronizedList中的方法不能保证一组操作的原子性)
方法
构造方法

提供了两个构造方法,其中一个可以手动添加锁对象。如果不选择手动添加,则默认的是当前创建好的synchronizedList实例对象

    static class SynchronizedList<E>
        extends SynchronizedCollection<E>
        implements List<E> {
        private static final long serialVersionUID = -7754090372962971524L;

        final List<E> list;

        //默认锁为当前实例
        SynchronizedList(List<E> list) {
            super(list);
            this.list = list;
        }
        //手动添加锁
        SynchronizedList(List<E> list, Object mutex) {
            super(list, mutex);
            this.list = list;
        }
    }
equals和HashCode
        //调用原始list.equals(o)之前添加同步锁
        public boolean equals(Object o) {
            if (this == o)
                return true;
            synchronized (mutex) {return list.equals(o);}
        }

        //调用原始list.hashCode()之前添加同步锁
        public int hashCode() {
            synchronized (mutex) {return list.hashCode();}
        }
增删改查
        //在调用原始list方法外层,都用同步锁包裹
        public E get(int index) {
            synchronized (mutex) {return list.get(index);}
        }

        public E set(int index, E element) {
            synchronized (mutex) {return list.set(index, element);}
        }

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

        public boolean addAll(int index, Collection<? extends E> c) {
            synchronized (mutex) {return list.addAll(index, c);}
        }

        public E remove(int index) {
            synchronized (mutex) {return list.remove(index);}
        }
查找指定元素索引位
        //调用原始list方法外层,使用同步锁包裹
        public int indexOf(Object o) {
            synchronized (mutex) {return list.indexOf(o);}
        }

        public int lastIndexOf(Object o) {
            synchronized (mutex) {return list.lastIndexOf(o);}
        }
截取替换排序 
        public List<E> subList(int fromIndex, int toIndex) {
            synchronized (mutex) {
                return new SynchronizedList<>(list.subList(fromIndex, toIndex),
                                            mutex);
            }
        }

        @Override
        public void replaceAll(UnaryOperator<E> operator) {
            synchronized (mutex) {list.replaceAll(operator);}
        }
        @Override
        public void sort(Comparator<? super E> c) {
            synchronized (mutex) {list.sort(c);}
        }
迭代器操作
        //用户需要手动加锁
        public ListIterator<E> listIterator() {
            return list.listIterator(); // Must be manually synched by user
        }

        public ListIterator<E> listIterator(int index) {
            return list.listIterator(index); // Must be manually synched by user
        }
手动加锁
    synchronized (list) {
        Iterator<E> it = list.iterator();
        while (it.hasNext()) {
            // 操作
        }
    }
组合操作
    synchronized (list) {
        if (!list.contains(element)) {
            list.add(element);
        }
    }

CopyOnWriteArrayList

CopyOnWriteArrayList采用的是写时复制的思想,在增删改的操作时(添加同步锁),复制原始的旧数组进行操作,最后将操作完成的副本替换为原始的数组。读操作直接访问当前数组,无需加锁。

这种设计,在读操作时,无法保证数据是最新的数组数据。可能访问的是旧数据,但能保证数据的最终一致性(每一个线程的写操作都是原子性的,数据不会出现错乱或者意外丢失)。

构造方法
public class CopyOnWriteArrayList<E>
    implements List<E>, RandomAccess, Cloneable, java.io.Serializable {
    private static final long serialVersionUID = 8673264195747942595L;


    final transient Object lock = new Object();

    //volatile关键字修饰,多线程间数据可见
    private transient volatile Object[] array;


    final Object[] getArray() {
        return array;
    }

    final void setArray(Object[] a) {
        array = a;
    }

    //构造函数,通过setArray访问array
    public CopyOnWriteArrayList() {
        setArray(new Object[0]);
    }


    //如果传入的是CopyOnWriteArrayList类型的集合,则直接将原数组引用拷贝
    //到新集合,后续写操作由于是复制数组快照,操作后将快照替换为原数组,所以
    //作为传入参数的数组被修改,引用拷贝到es的数组不会受影响
    //如果传入的是其他类型的集合,则会拷贝一个新数据,与原传入的集合不是同一个
    public CopyOnWriteArrayList(Collection<? extends E> c) {
        Object[] es;
        if (c.getClass() == CopyOnWriteArrayList.class)
            es = ((CopyOnWriteArrayList<?>)c).getArray();
        else {
            es = c.toArray();
            if (es.getClass() != Object[].class)
                es = Arrays.copyOf(es, es.length, Object[].class);
        }
        setArray(es);
    }

 
    //拷贝一个新数据
    public CopyOnWriteArrayList(E[] toCopyIn) {
        setArray(Arrays.copyOf(toCopyIn, toCopyIn.length, Object[].class));
    }
尾部添加元素
    //在数组尾部添加元素(同步代码块)
    public boolean add(E e) {
        synchronized (lock) {
            Object[] es = getArray();
            int len = es.length;
            es = Arrays.copyOf(es, len + 1);
            es[len] = e;
            setArray(es);
            return true;
        }
    }
指定位置添加元素
    //指定位置添加元素(同步代码块)
    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];
                //分两次复制,第一次为index之前的元素,第二次为index之后的元素,
                //将index索引位空出来放置element
                System.arraycopy(es, 0, newElements, 0, index);
                System.arraycopy(es, index, newElements, index + 1,
                                 numMoved);
            }
            newElements[index] = element;
            setArray(newElements);
        }
    }
删除指定位置元素
    //删除指定索引位元素
    public E remove(int index) {
        synchronized (lock) {
            Object[] es = getArray();
            int len = es.length;
            E oldValue = elementAt(es, index);
            int numMoved = len - index - 1;
            Object[] newElements;
            //尾部删除,直接复制尾部之前的元素到新数组
            if (numMoved == 0)
                newElements = Arrays.copyOf(es, len - 1);
            //其他部位删除,第一次复制index之前的元素,第二次将index之后的元素前移一位
            else {
                newElements = new Object[len - 1];
                System.arraycopy(es, 0, newElements, 0, index);
                System.arraycopy(es, index + 1, newElements, index,
                                 numMoved);
            }
            setArray(newElements);
            return oldValue;
        }
    }
删除指定元素
    public boolean remove(Object o) {
        Object[] snapshot = getArray();
        int index = indexOfRange(o, snapshot, 0, snapshot.length);
        return index >= 0 && remove(o, snapshot, index);
    }

    //同步代码块中重新获取了原数组信息,与同步代码块之外的snapshot对比
    //(多线程情况下可能数组会被其他线程修改)
    private boolean remove(Object o, Object[] snapshot, int index) {
        synchronized (lock) {
            Object[] current = getArray();
            int len = current.length;
            if (snapshot != current) findIndex: {
                int prefix = Math.min(index, len);
                for (int i = 0; i < prefix; i++) {
                    if (current[i] != snapshot[i]
                        && Objects.equals(o, current[i])) {
                        index = i;
                        break findIndex;
                    }
                }
                if (index >= len)
                    return false;
                if (current[index] == o)
                    break findIndex;
                index = indexOfRange(o, current, index, len);
                if (index < 0)
                    return false;
            }
            Object[] newElements = new Object[len - 1];
            //第一次复制index之前的元素,第二次将index之后的元素前移一位
            System.arraycopy(current, 0, newElements, 0, index);
            System.arraycopy(current, index + 1,
                             newElements, index,
                             len - index - 1);
            setArray(newElements);
            return true;
        }
    }

Vector与Collections.synchronizedList()与CopyOnWriteArrayList

VectorCollections.synchronizedList()CopyOnWriteArrayList
同步机制所有方法都是用synchronized修饰(锁对象为实例本身)所有操作使用synchronized同步代码块(可手动添加锁对象)写操作使用synchronized同步代码块,读操作无锁
数据结构基于动态数组(类似于ArrayList)包装任意List(如ArrayList,LinkedList)基于volatile数组,写时复制
迭代器同步遍历时需要手动同步,否则会报错ConcurrentModificationException(迭代循环时的expectedModCount与modCount不等,则表示迭代时有修改操作)遍历时需要手动同步,否则会报错ConcurrentModificationException(迭代循环时的expectedModCount与modCount不等,则表示迭代时有修改操作)基于快照的迭代,无需手动同步
一致性保证强一致性强一致性弱一致性(读操作可能会读到旧数据)
读性能低(所有方法加锁,高并发下竞争激烈)低(所有操作添加同步锁,读操作竞争激烈)极高(读操作无锁,直接访问)
写性能低(所有方法加锁,高并发下竞争激烈)低(所有操作添加同步锁,读操作竞争激烈)极低(添加同步锁,写操作复制数组快照,时间复杂度为O(n))
内存占用高(频繁写操作会产生大量快照)
适用并发场景不推荐(遗留类)读写均衡或写多读少,需强一致性(如共享任务队列,实时订单处理)读多写少(如监听器列表、配置缓存,黑白名单过滤)

 

### Java `Collections.synchronizedList` 使用方法及示例 #### 方法概述 `Collections.synchronizedList` 是一种用于创建线程安全列表的方法。它返回一个被同步的(线程安全的)列表视图[^2]。这意味着多个线程可以同时读取该列表而不会引发数据不一致问题。 然而,需要注意的是,虽然单个操作是线程安全的,但如果涉及复合操作,则仍然需要手动加锁以确保其原子性[^3]。 --- #### 基本语法 ```java import java.util.Collections; import java.util.List; public class Example { public static void main(String[] args) { List<String> originalList = new ArrayList<>(); List<String> synchronizedList = Collections.synchronizedList(originalList); // 添加元素到线程安全的列表中 synchronizedList.add("Element1"); synchronizedList.add("Element2"); // 遍历线程安全的列表时需使用同步块 synchronized (synchronizedList) { for (String element : synchronizedList) { System.out.println(element); } } } } ``` 上述代码展示了如何通过 `Collections.synchronizedList` 将普通的 `ArrayList` 转换为线程安全的版本,并演示了遍历时所需的同步机制[^1]。 --- #### 复合操作的处理 尽管 `Collections.synchronizedList` 提供了基本的线程安全性,但对于某些复杂的逻辑(如条件判断后再执行修改),必须显式地对外部对象进行同步。例如: 错误示例: ```java if (!list.contains("key")) { // 可能存在并发问题 list.add("key"); } ``` 正确方式: ```java synchronized (list) { if (!list.contains("key")) { // 条件更新在同一把锁下完成 list.add("key"); } } ``` 这种情况下,只有当整个复合操作都处于同一个同步上下文中时才能保证一致性。 --- #### 性能与适用场景分析 - **优点**: - 对于简单的增删改查操作提供了内置的线程安全保障。 - 不会像其他实现(如 `CopyOnWriteArrayList`)那样引入额外开销。 - **缺点**: - 如果频繁调用迭代器或者复杂查询语句,在高并发环境下可能会导致性能瓶颈,因为每次访问都需要获取锁。 --- #### 注意事项 为了防止潜在的数据竞争情况发生,在多线程程序设计过程中应当始终遵循最佳实践原则——即尽可能减少共享可变状态的数量并合理控制临界区范围大小^。 ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值