Vector真的是线程安全的吗

转载请标明出处^_^
原文首发于: www.zhangruibin.com
本文出自于: RebornChang的博客

Vector真的是线程安全的吗

Vector类 继承了 AbstractList 实现了 List, RandomAccess, Cloneable, java.io.Serializable接口。
 AbstractList 类 继承了 AbstractCollection实现了 List;
 AbstractCollection类 继承了 Collection;
 Collection接口 继承了 Iterable接口;

查看源码得知,所谓安全,是在方法上加上了synchronized关键字以保证单线程持有。
但是,使用synchronized关键字做线程安全的话,效率低,且不可修改。因为synchronized关键字是JVM级别的,不可控,靠JVM内部机制进行关键字识别以及对象的持有和释放,因此,使用Vector的话,效率很慢。
而且,使用了synchronized关键字,是可以达到局域性线程同步,但是并不是真正的线程安全。因为:单个方法的原子性(注:原子性,程序的原子性即不会被线程调度机制打断),并不能保证复合操作也具有原子性。
即:复合操作有可能打破单方法的原子性。

举个栗子:

if (!vector.contains(element)) 
   vector.add(element); 
   then do sm
}

上面是经典的 put-if-absent 情况,尽管 contains, add 方法在vector源码中都使用synchronized进行同步了.

vector中的源码


public boolean contains(Object o) {
        return indexOf(o, 0) >= 0;
    }
      public synchronized int indexOf(Object o, int index) {
        if (o == null) {
            for (int i = index ; i < elementCount ; i++)
                if (elementData[i]==null)
                    return i;
        } else {
            for (int i = index ; i < elementCount ; i++)
                if (o.equals(elementData[i]))
                    return i;
        }
        return -1;
    }
    public synchronized boolean add(E e) {
        modCount++;
        ensureCapacityHelper(elementCount + 1);
        elementData[elementCount++] = e;
        return true;
    }

但作为 vector 之外的使用环境,仍然存在 race condition: 因为虽然条件判断 if (!vector.contains(element))与方法调用 vector.add(element); 都是原子性的操作 (atomic),但在 if 条件判断为真后,那个用来访问vector.contains 方法的锁已经释放,在即将的 vector.add 方法调用 之间有间隙,在多线程环境中,完全有可能被其他线程获得 vector的 lock 并改变其状态, 此时当前线程的vector.add(element); 正在等待。只有当其他线程释放了 vector 的 lock 后,vector.add(element); 继续,但此时它已经基于一个错误的假设了。

因此:
单个的方法 synchronized 了并不代表组合(compound)的方法调用具有原子性,使 compound actions 成为线程安全的可能解决办法之一还是离不开intrinsic lock (这个锁应该是 vector 的,但由 client 维护):
所以我们在使用的时候还要这样,在putIfAbsent的时候,先将vector对象进行加锁:

 public static void main(String[] args) {
        Vector vector = new Vector();
        vector.add("aaa");
        vector.add("666");
        putIfAbsent(vector,"666");
    }

    public static void putIfAbsent(Vector vector,Object object) {
        synchronized(vector) {
            if (!vector.contains(object)) {
                vector.add(object);
            }else {
                System.out.println("The vertor is contains the object of "+object.toString());
            }
        }
    }
    
    结果输出:
    The vertor is contains the object of 666
    

结论:
Vector 和 ArrayList 实现了同一接口 List, 但所有的 Vector 的方法都具有 synchronized 关键修饰。但对于复合操作,Vector 仍然需要进行同步处理。

你可能感兴趣的:(Java)