帖子内容如下:public class ArrayListInThread implements Runnable {
   List<String> list1 = new ArrayList<String>(1);// not thread safe// List<String> list1 = Collections.synchronizedList(new ArrayList<String>());// thread safe
   public void run() {
   try {
   Thread.sleep((int)(Math.random() * 2));
   }
   catch (InterruptedException e) {
   e.printStackTrace();
   }
   list1.add(Thread.currentThread().getName());
   }   public static void main(String[] args) throws InterruptedException {
   ThreadGroup group = new ThreadGroup("testgroup");
   ArrayListInThread t = new ArrayListInThread();
   for (int i = 0; i < 10000; i++) {
   Thread th = new Thread(group, t, String.valueOf(i));
   th.start();
   }
     
  while (group.activeCount() > 0) {
   Thread.sleep(10);
   }
   System.out.println();
   System.out.println(t.list1.size()); // it should be 10000 if thread safe collection is used.
   }
}
我测试了下,运行结果确实每次都不到10000,我想知道为什么会出现这种情况?我在网上看有人解释如下:一个 ArrayList ,在添加一个元素的时候,它可能会有两步来完成:
1. 在 Items[Size] 的位置存放此元素;
2. 增大 Size 的值。  
在单线程运行的情况下,如果 Size = 0,添加一个元素后,此元素在位置 0,而且 Size=1;  
而如果是在多线程情况下,比如有两个线程,线程 A 先将元素存放在位置 0。但是此时 CPU 调度线程A暂停,线程 B 得到运行的机会。线程B也向此 ArrayList 添加元素,因为此时 Size 仍然等于 0 (注意哦,我们假设的是添加一个元素是要两个步骤哦,而线程A仅仅完成了步骤1),所以线程B也将元素存放在位置0。然后线程A和线程B都继续运行,都增加 Size 的值。  
那好,现在我们来看看 ArrayList 的情况,元素实际上只有一个,存放在位置 0,而 Size 却等于 2。这就是“线程不安全”了。对于上面的解释,我觉得list1的个数并不会减少,还应该是10000个,而只是里面的值可能多了几个null值,因为两个线程在同一个存放位置赋了两遍值,然后又都把size加1了。比如在5的位置两个线程都赋了下值,那么下一次再赋值就应该是在7的位置赋值了,6位置为null,我跟踪代码输入了下list1的值,确实里面有出现了为null的情况,但至于为什么list1.size会少于10000,我也不得其解,希望高手指点下~~~~~~~ 不胜感激!

解决方案 »

  1.   

    以下是java 1.6 ArrayList类的部分方法的源代码
      public boolean add(E e) {
    ensureCapacity(size + 1);  // Increments modCount!!
    elementData[size++] = e;
    return true;
        }
    public void ensureCapacity(int minCapacity) {
    modCount++;
    int oldCapacity = elementData.length;
    if (minCapacity > oldCapacity) {
        Object oldData[] = elementData;
        int newCapacity = (oldCapacity * 3)/2 + 1;
             if (newCapacity < minCapacity)
    newCapacity = minCapacity;
                // minCapacity is usually close to size, so this is a win:
                elementData = Arrays.copyOf(elementData, newCapacity);
    }
        }
    看完这两个函数,你应该明白为啥add方法是不是线程安全的了吧,完全没有同步
      

  2.   


    这个源代码我确实看过,我明白add方法不是线程安全的,我想问的是这个例子的结果中,为什么list1的size不是10000,有的线程没有执行add方法吗?
      

  3.   

    最后为什么不是10000还是很好理解的,从源码就可以看到 size++这句话是关键,这句话执行也不是线程安全的。size=10时,两个线程同时拿到size=10,之后执行完加1,再赋值给size,这样就会出现两个线程,结果为11的情况。
      

  4.   

    顺便推荐lz看一下这篇文章:http://www.iteye.com/topic/806990,虽然也没有介绍到size++这个细节的执行情况,但还是很有帮助的