Java线程安全

《Java并发编程实战》对线程安全作出了一个比较恰当的定义：当多个线程同时访问一个对象时，如果不需要考虑这些线程在运行时环境下的调度和交替执行，也不需要进行额外的同步，或者在调用方进行任何其他的协调操作，调用这个对象的行为都可以获得正确的结果，那就称这个对象是线程安全的。

1、Java语言里的线程安全

讨论线程安全，将以多个线程之间存在共享数据访问为前提。否则线程是串行执行还是多线程执行根本没有任何区别。

但线程安全并不是分为安全和不安全两类，而是以【安全程度】来分为5类：

1）不可变

在Java语言里，不可变的对象一定是线程安全的，无论是对象的方法实现或是方法的调用者，都不需要进行任何的线程安全保障措施。

如果多线程共享的数据是一个基本数据类型，使用final关键字修饰它就可以保证是不可变的；对于引用数据类型，就需要对象自行保证其行为不会对其状态产生影响。

例如java.lang.String类，它是一个典型的不可变对象，用户调用其substring()、replace()、concat()这些方法都不回影响它原来的值，只会返回一个新构造的字符串对象。

保证对象状态不变的方法有很多种，最简单的就是把对象里带有状态定义的变量都声明为final，例如java.lang.Integer类，它将value定义为final来保障不变。

2）绝对线程安全

“不管运行时环境如何，调用者都不需要任何额外的同步措施”

Java语言中标注自己是线程安全的类，使用起来都不是绝对线程安全。例如Vector，它是一个线程安全的容器，类里面的方法都使用了synchronized修饰，但并不意味着调用它的方法就是绝对线程安全的，例如：

public static void main(String[] args) {
        while(true){
            for(int i = 0; i < 10; i++){
                vector.add(i);
            }
            Thread removeThread = new Thread(new Runnable() {
                @Override
                public void run() {
                    for(int i = 0; i < vector.size(); i++){
                        vector.remove(i);
                    }
                }
            });