对于线程安全的集合类(例如Vector)的任何操作是不是都能保证线程安全?
之前在公众号中问了这个问题:对于线程安全的集合类(例如Vector)的任何操作是不是都能保证线程安全?
三天之内收到120+回复,其中表示不清楚的大概有10人左右,认为可以保证线程安全的有大概70人左右,认为不能保证线程安全的有50人左右,这其中能给出明确解释的有5人。 分别是:
@赵鹏:
size方法和get方法,如果集合的长度变化了,可能抛出异常,
@aold619:
去网上查了资料:“有条件的线程安全 我们在 7 月份的文件“ 并发集合类”中讨论了有条件的线程安全。有条件的线程安全类对于单独的操作可以是线程安全的,但是某些操作序列可能需要外部同步。条件线程安全的最常见的例子是遍历由 Hashtable 或者 Vector 或者返回的迭代器 -- 由这些类返回的 fail-fast 迭代器假定在迭代器进行遍历的时候底层集合不会有变化。为了保证其他线程不会在遍历的时候改变集合,进行迭代的线程应该确保它是独占性地访问集合以实现遍历的完整性。通常,独占性的访问是由对锁的同步保证的 -- 并且类的文档应该说明是哪个锁(通常是对象的内部监视器(intrinsic monitor))。 如果对一个有条件线程安全类进行记录,那么您应该不仅要记录它是有条件线程安全的,而且还要记录必须防止哪些操作序列的并发访问。用户可以合理地假设其他操作序列不需要任何额外的同步。”
@闫晓琦:
答,不是,经常会出现数组越界报错
@逆风飞扬:
vector单个的方法 synchronized并不代表vector组合的方法调用具有原子性。有组合的操作还是需要针对vector进行加锁。
@慕容:
不是,线程安全集合只能保证单个操作安全,复合操作同样不安全
那么这个问题的正解应该是什么的。
问:对于线程安全的集合类(例如Vector)的任何操作是不是都能保证线程安全?
答:同步容器中的所有自带方法都是线程安全的,因为方法都使用synchronized
关键字标注。但是,对这些集合类的复合操作无法保证其线程安全性。需要客户端通过主动加锁来保证
如果你看过JDK的源码,那么你会发现,像Vector这样的同步容器的所有共有方法全都是synchronized
的。也就是说,我们可以在多线程场景中放心的使用单独这些方法,因为这些方法本身的确是线程安全的。那么为什么又说复合操作无法保证线程安全呢?这里举个栗子,我们定义如下删除Vector中最后一个元素方法:
public Object deleteLast(Vector v){
int lastIndex = v.size()-1;
v.remove(lastIndex);
}
上面这个方法是一个复合方法,包括size()
和remove()
,乍一看上去好像并没有什么问题,无论是size()
方法还是remove()
方法都是线程安全的,那么整个deleteLast
方法应该也是线程安全的。但是时,如果多线程调用该方法的过程中有,remove
方法有可能抛出ArrayIndexOutOfBoundsException
。我们看一下remove
方法具体实现,什么情况下会抛出这个异常呢。
public synchronized E remove(int index) {
modCount++;
if (index >= elementCount)
throw new ArrayIndexOutOfBoundsException(index);
E oldValue = elementData(index);
int numMoved = elementCount - index - 1;
if (numMoved > 0)
System.arraycopy(elementData, index+1, elementData, index,
numMoved);
elementData[--elementCount] = null; // Let gc do its work
return oldValue;
}
从上面代码中可以看出,当index >= elementCount
时,会抛出ArrayIndexOutOfBoundsException
,也就是说,当当前索引值不再有效的时候,将会抛出这个异常。因为removeLast
方法,有可能被多个线程同时执行,当线程一通过index()
获得索引值为10,在尝试通过remove()
删除该索引位置的元素之前,线程2把该索引位置的值删除掉了,这时线程一在执行时便会抛出异常。
为了避免出现类似问题,可以尝试加锁:
public void deleteLast() {
synchronized (v) {
int index = v.size() - 1;
v.remove(index);
}
}
如上,我们在deleteLast
中,对v进行加锁,即可保证同一时刻,不会有其他线程删除掉v中的元素。
至此,我们已经解释清楚了我们的问题。
问:对于线程安全的集合类(例如Vector)的任何操作是不是都能保证线程安全?
答:同步容器中的所有自带方法都是线程安全的,因为方法都使用synchronized
关键字标注。但是,对这些集合类的复合操作无法保证其线程安全性。需要客户端通过主动加锁来保证。
由于我们自己已知Vector
等同步容器是线程安全的,所以我们通常在多线程场景中会直接拿来使用,并不会考虑太多,从而可能导致问题。
所以,我们在使用同步容器的时候,如果只使用其中的自带方法,那么可以放心使用,因为他们是线程安全的,但是如果我们想做复合操作,尤其是涉及到删除容器中的元素时,一定要注意是否需要客户端主动加锁。
下面,我们考虑以下代码,如果在多线程场景中使用会不会出现线程安全问题:
for (int i = 0; i < v.size(); i++) {
System.out.println(v.get(i));
}
显然,以上代码在迭代的过程中,并不会出现线程安全问题。但是,如果在程序中还有以下代码有可能被同时调用呢?
for (int i = 0; i < v.size(); i++) {
v.remove(i);
}
由于,不同线程在同一时间操作同一个Vector,其中包括删除操作,那么就同样有可能发生线程安全问题。所以,在使用同步容器的时候,如果涉及到多个线程同时执行删除操作,就要考虑下是否需要加锁。