《（安全生产）J集合框架的线程安全_》由会员分享，可在线阅读，更多相关《（安全生产）J集合框架的线程安全_（8页珍藏版）》请在金锄头文库上搜索。
1、（安全生产）J集合框架的线程安全Java集合框架的线程安全周庆岳Java集合框架是由Java平台标准版1.2（JavaSE1.2）引入的通用数据结构和算法框架。其灵活的面对对象设计受到了广大Java程序员的壹致青睐，为Java平台的成熟奠定了坚实的基础。壹个集合（也称容器）是指将壹组元素组合成壹个单元的简单对象。集合用于存储、取回、操作和传递这些聚合的元素。集合框架是指壹个统壹的用来表示和操作集合的体系结构Bloch，1999。最简单的集合如数组、列表和队列等，集合框架最著名的例子如C+标准库（STL）。线程安全不是壹个全有或全无的问题，难以对其进行精确的定义。线程安全笼统地讲是指程序在多线程
2、环境下运行时的正确性。Java集合框架的设计者BlochJoshua在他著名的Java高效编程壹书中对Java线程安全的等级做出了相对精确的定义Bloch，2001：非可变、线程安全、条件线程安全、线程兼容和线程不友好。本文将结合上述Bloch关于线程安全等级的定义，对Java集合框架中的集合类进行线程安全性分析，且指出各个集合类在现实的编程环境中需要注意的且发编程的陷阱；同时对集合框架中通用算法对线程安全性的影响进行分析。所涉及的集合类不仅包括JavaSE1.2引入的集合类，仍包括旧集合类（JavaSE1.2前引入）和新集合类（JavaSE5引入）。从而帮助Java程序员在进行且发编程时更加
3、高效地利用Java集合框架。Java线程安全的等级定义根据Bloch的定义，将线程安全分为五个等级，下面将给出这五个等级的描述和部分示例。1、非可变如果壹个类的所有实例对于调用它们的客户端对象总是恒定不变的，而无需外部同步，则称为非可变的。字符串类和整数类都是非可变的，但在集合框架中且没有提供直接的非可变类，而是通过对可变类进行封装而得到非可变类。非可变集合不可修改，因而它能够在各个线程间安全共享而无需额外的同步。作为壹个好的实践准则，壹旦生成非可变类之后，不要再持有被其封装的集合类的引用，这样才能够完全保证其非可变性。2、线程安全类的实例是可变的，但它的所有方法已经通过使用足够的内部同步使其
4、实例能够被且发的使用而无需外部同步。且发的调用将会以某种全局壹致的方式连续地执行。随机类和定时器类都是线程安全类。集合框架中线程安全的类且发哈希映射类在JavaSE5中被引入，它且不包含在原来的集合框架中，但它实现了集合框架Map接口。且发哈希映射类实现了且发和效率之间的高效平衡，已被作为哈希表类和同步映射表封装在且发环境下的高效替代品。3、条件线程安全除了某些方法需要在没有其它线程的干扰的情况下顺次执行之外，条件线程安全类和线程安全类类似。为了消除线程干扰的可能性，客户端对象在调用这类方法的过程中需要获得该集合类对象的锁来进行同步。壹些旧集合类如Vector和Hashtable都是条件线程安
5、全类，对这些集合类进行遍历操作时需要对其进行外部同步。4、线程兼容对其对象实例的所有方法调用都通过外部同步之后再进行，线程兼容类能够安全的且发使用。集合框架中的通用目的集合的标准实现，如数组链表类和哈希映射表类等都是线程兼容的类。对线程安全的集合类进行遍历操作，需要先获得壹个对它的条件线程类封装，然后再通过外部同步来进行遍历。5、线程不友好线程不友好类无法在多线程环境下安全地且发使用，即使对其所有的方法调用都进行外部同步。Java语言中只有很少几个类的方法是线程敌对的，已经被声明为不赞成使用。Java集合框架抽象接口及其实现的线程安全Java集合框架包括三个部分Bloch，1999：接口、实现
6、和算法。接口是抽象数据类型的表示集合，接口使得集合的操作和集合的具体实现细节相独立。在面对对象的语言里，这些接口壹般形成壹个层次结构。实现是指表示这些集合接口的具体实现，实质上是可重用的数据结构，即通用集合类。算法是指能够对实现集合接口的类进行壹些实用计算的方法，比如排序和查找。这些算法能够说是多态的，同壹个方法能够用于实现了适当接口的不同实现类。这些算法实质上是可重用的功能。Java集合框架的接口层次和通用实现如下：图1Java集合框架的接口层次接口通用实现集合哈希集合、树集合和链接哈希集合列表数组链表和链接链表队列优先级队列映射表哈希映射表、树映射表和链接哈希映射表表1Java接口的通用实
7、现下面按接口分类对集合类进行线程安全分析。分析的对象主要包括表1中的通用实现类，仍包括壹些特殊用途的实现类。1、集合接口集合是不包含重复元素的抽象集合。实现该接口的集合类包括三个通用实现类哈希集合类、树集合类和链接哈希集合类，俩个特殊用途实现类枚举集合类和写复制数组集合类。三个通用实现类和枚举集合类都是线程兼容类，对这些集合类的且发访问都需要进行外部同步。特别是遍历操作，需要先通过调用Collections.synchronizedSet()方法返回壹个条件线程安全的同步集合类封装，然后再对其进行同步遍历。特殊实现类写复制数组集合类是线程安全类，能够安全地且发访问，只是其写操作开销较大，壹般用
8、在较少修改的环境。2、链表接口链表是有序的抽象集合，能够允许重复元素存在。仍允许对其进行基于位置的访问。实现该接口的集合类包括俩个通用实现类数组链表和链接链表，壹个特殊用途实现类写复制数组链表类，仍包括旧的集合类矢量类。通用实现类数组链表和链接链表是线程兼容类，如果未先进行同步而且发使用，会抛出且发修改异常。遍历方法同集合接口(Set)的通用实现类似。特殊实现类写复制数组链表类是线程安全类，且发特性和写复制数组集合类类似，实际上写复制数组集合类就是基于写复制数组链表类的壹个集合实现。3、队列接口队列被设计成保存元素功能优先于处理元素功能的抽象集合。队列接口在JavaSE5中被引入Java集合框
9、架，优先队列是其通用实现类，链表通用实现之壹也被重写实现了队列接口。此外，仍有数组阻塞队列、且发链接队列、延时队列、链接阻塞队列、优先级阻塞队列和同步队列六个特殊实现类。除了且发链接队列是线程安全类之外，其他实现都是线程兼容类。4、映射表接口映射表是用于键值映射的抽象集合，不允许存在重复的键，每个键至多允许映射到壹个值。映射表包括俩个通用实现类哈希映射表和树映射表，仍包括且发哈希映射表和弱引用哈希映射表等特殊实现类。哈希映射表和树映射表是线程兼容类。且发哈希映射表类是线程安全的，而且由于其优秀的算法设计，使其再保证线程安全的同时仍提供了高度的且发性。弱引用哈希映射表类壹般作为高速缓存使用，它内
10、部使用弱引用作为键，它的行为依赖于具体的Java虚拟机的垃圾收集器，即使对其进行外部同步也不能保证其壹致性，因而弱引用哈希映射表类是线程不友好的集合类。5、封装实现除了上述提及的集合接口的通用和特殊实现之外，Java集合框架仍提供了几类封装实现。其中包括同步封装类和非可变封装类。同步封装方法如：Collections.synchronizedCollection(Collectionc)返回壹个集合c的原子同步封装，即它的所有方法都已被同步，是壹个条件线程安全类。在对同步封装类访问需要先获得该对象的同步锁，之后便可实现且发访问。Java集合框架提供的同步封装类能够提升通用实现类的线程安全等级。
11、壹般的通用实现只有线程兼容等级，在需要较高安全等级的情况下，如且发遍历，就需要利用同步封装类。非可变封装方法如：Collections.unmodifiableCollection(Collectionc)返回壹个集合c的只读视图，是壹个非可变类。Java集合框架通用算法对线程安全的要求Java集合框架的算法功能不是作为各个集合的功能函数，而是独立出来作为对某壹类实现合适接口的类进行通用操作，从而实现算法功能的多态性。通用的算法包括排序、混淆、搜索和查找极限值等。排序和混淆是壹对相反的操作，俩者都要对集合进行写操作，要保证算法在且发环境下执行的正确性，要求写操作要在线程安全集合类上执行。对于只
12、具有线程兼容等级的集合类，要先利用同步封装类将其线程安全等级提升到条件线程安全；对于具有条件线程安全的集合类，则需进行外部同步。通过之上步骤，被操作集合就具有线程安全等级了，能够保证算法被正确执行。另壹种方法是对被操作集合类进行保护性拷贝，则总能保证算法的正确性，这种方法代价较高，但能提高且发性。另壹类算法搜索和查找极限值比较类似，都只需进行读操作。除了利用排序和混淆用的俩种方法外，由于是只读操作，仍能够利用非可变封装先获得集合的壹个视图，然后在该视图上实现查找。结论Java集合框架采用接口和实现相分离的面对对象设计方法，给Java平台带来了壹个灵活高效的数据结构和算法工具箱。线程安全特性在J
13、ava集合框架中属于实现细节，因而集合框架的接口协议中且未提供相应的线程安全性保证。可是线程安全是Java程序正确运行基本前提之壹，因此本文在保证程序正确性的前提条件下，对Java集合框架的集合类进行安全等级分类，且对各种算法操作的所要求的线程等级进行了分析。从而帮助程序员利用Java集合框架编写正确高效的且发应用程序。由于且发应用程序的先天复杂性，线程安全性只是其冰山壹角。其它如利用高效的且发设计模式Lea,2000来改进且发程序整体设计，以及利用且发工具如CommunicatingSequentialProcesses(CSP)解决各种多线程问题等，都是进行且发程序设计的有利武器，有待进壹步研究。（作者单位：厦门大学软件学院）
