Vector的分析

vector是线程安全的，实际上并不是。

原因可能是因为 Vector 的所有方法加上了 synchronized 关键字，从而保证访问 vector 的任何方法都必须获得对象的 intrinsic lock (或叫 monitor lock)，也即，在vector内部，其所有方法不会被多线程所访问。

考虑以下代码

1
2
3

if (!vector.contains(element)) 
    vector.add(element); 
}

这是经典的 put-if-absent 情况，尽管 contains, add 方法都正确地同步了，但作为 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); 继续，但此时它已经基于一个错误的假设了。

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

另一个例子

private static Vector<Integer> vector=new Vector();
    public static void main(String[] args) {
        while(true){
            for(int i=0;i<10;i++){
                vector.add(i); //往vector中添加元素
            }
            Thread removeThread=new Thread(new Runnable() {         
                public void run() {
                    //获取vector的大小
                    for(int i=0;i<vector.size();i++){
                        //当前线程让出CPU,使例子中的错误更快出现
                        Thread.yield();
                        //移除第i个数据
                        vector.remove(i);
                    }
                }
            });
           Thread printThread=new Thread(new Runnable() {          
                @Override
                public void run() {
                    //获取vector的大小
                    for(int i=0;i<vector.size();i++){
                        //当前线程让出CPU,使例子中的错误更快出现
                        Thread.yield();
                        //获取第i个数据并打印
                        System.out.println(vector.get(i));
                    }
                }
            });         
            removeThread.start();
           printThread.start();
        }
    }

Vector类中对get以及remove，size方法都加了synchronized关键字来保证同步，也就说当一个线程调用了这些方法时，其他线程不能再同时调用这些方法。换言之，不能出现两个及两个以上的线程在同时调用这些同步方法。
那么为什么例子中会出现问题呢？这是因为 例子中有些线程连续调用了两个或两个以上的同步方法。
例子中 removeThread线程先调用了vector.size()方法获得vector的大小，接着调用vector.remove(i)移除第i个元素；而printThread线程也先调用vector.size()方法获得vector的大小，接着调用vector.get()获得第i个元素。

假设此时vector大小为5，此时printThread线程执行到 i=4 ，进入for循环但在 System.out.println(vector.get(i));之前printThread线程的CPU时间片已到，线程printThread转入就绪状态；
此时removeThread线程获得CPU开始执行，把vector的5个元素全删除了，这是removeThreadCPU时间片已到；
接着printThread获得CPU进行执行，由于之前printThread中的i==4，于是调用vector.get(4)获取元素，此时由于vector中的元素已被removeThread线程全部删除，因此报错。

总结

同步方法之间也是有间隙的，所以虽然每个方法的执行是原子的，但是复合操作就还是可能会出现问题。

Contents

Vector的分析

总结