1.volatile关键字: 当把JVM设置为Server服务器的环境中,线程会从自己的私有堆栈中读取变量值。这时如果其他线程更改了该变量,只是更改了公共堆栈,并没有更改另一条线程的私有堆栈。这样就容易造成死循环状态。
这个问题其实就是私有堆栈中的值和公共堆栈中的值不同步造成的。解决这样的问题就要使用volatile关键字了,它的主要作用就是当线程访问变量时,强制性从公共堆栈中进行取值。
volatile和synchronized的比较:
1)关键字volatile是线程同步的轻量级实现,所以volatile性能肯定比synchronized要好,并且volatile只能修饰于变量,而synchronized可以修饰方法,以及代码块。随着JDK新版本的发布,synchronized关键字在执行效率上得到很大提升,在开发中使用synchronized关键字的比率还是比较大的。
2)多线程访问volatile不会发生阻塞,而synchronized会出阻塞。
3)volatile能保证数据可见性,但不能保证原子性;而synchronized可以保证原子性,也可以间接保证可见性,因为它会将私有内存和公共内存中的数据同步。
关键字volatile虽然增加了实例变量在多个线程之间的可见性,但它却不具备同步性,那么也就不具备原子性。
public class MyThread extends Thread{
volatile public static int count;
private static void addCount(){
for(int i = 0;i<100;i++){
count++;
}
System.out.println("count=" + count);
}
@Override
public void run(){
addCount();
}
}
public static void main(String[] args){
MyThread[] mythreadArray = new MyThread[100];
for(int i = 0;i<100;i++){
mythreadArray[i] = new MyThread();
}
for(int i = 0;i<100;i++){
mythreadArray[i].start();
}
}
public class MyThread extends Thread{
volatile public static int count;
//注意一定要添加static关键字
//这样synchronized与static锁的内容就是MyThread.class类了
//也就达到同步效果
synchronized private static void addCount(){
for(int i = 0;i<100;i++){
count++;
}
System.out.println("count=" + count);
}
@Override
public void run(){
addCount();
}
}
4)再次重申,关键字解决的是变量在多个线程之间的可见性;而synchronized关键字解决的是多个线程之间访问资源的同步性。
线程安全包含原子性和可见性两个方面,Java的同步机制都是围绕这两个方面来确保线程安全的。
但是volatile关键字最致命的缺点就是不支持原子性:关键字volatile虽然增加了实例变量在多个线程之间的可见性,但它却不具备同步性,那么不具备原子性。关键字volatile主要使用的场合是在多个线程中可以感知实例变量被更改了,并且可以获得最新的值使用,也就是用多线程读取共享变量时可以获得最新值使用。
关键字volatile提示线程每次从共享内存中读取变量而不是从私有内存中读取,这样就保证了同步数据的可见性。但在这里需要注意的是:如果修改实例变量中的数据,比如i++,也就是i=i+1,则这样的操作其实并不是一个原子操作,也就是非线程安全的。表达式i++的操作步骤分解如下:
1)从内存中取出i的值。
2)计算i的值。
3)将i的值写到内存中。
假如在第2步计算值的时候,另外一个线程也修改i的值,那么这个时候就会出现脏数据。解决的办法其实就是使用synchronized关键字。所以说volatile本身并不处理数据的原子性,而是强制对数据的读写及时影响到主内存的。
1)read和load阶段:从主内存复制变量到当前线程工作内存;
2)use和assign阶段:执行代码,改变共享变量值;
3)store和write阶段:用工作内存数据刷新主内存对应变量的值。
多线程环境中,use和assign是多次出现的,但这一操作并不是原子性,也就是在read和load之后,如果主内存count变量发生修改之后,线程工作内存中的值由于已经加载,不会产生对应变化,也就是私有内存和公共内存中的变量不同步,所以计算出来的结果会和预期的不一样,也就出现了非线程安全问题。
对于volatile修饰的变量,JVM虚拟机只是保证从主内存加载到线程工作内存的值是最新的,例如线程1和线程2在进行read和load的操作中,发现主内存中count的值都是5,那么都加载这个最新的值。也就是说,volatile关键字解决的是变量读时的可见性问题,但无法保证原子性,对于多个线程访问一个实例变量还是需要加锁同步。
2.原子类: 除了在i++操作时使用synchronized关键字实现同步之外,还可以使用AtomicInteger原子类进行实现。
原子操作是不能分割的整体,没有其他线程能够中断或检查正在原子操作中的变量。一个原子类型就是一个原子操作可用的类型,它在没有锁的情况下做到线程安全。
但是原子类的方法和方法之间的调用却不是原子的,这样可以加synchronized关键字来同步不同的addAndGet()方法。
3.synchronized代码块有volatile同步功能:关键字synchronized可以使多个线程访问同一个资源具有同步性,而且它还具有将线程工作内存中的私有变量与公共内存中的变量同步功能。关键字synchronized可以保证在同一时刻,只有一个线程可以执行某一个方法或某一个代码块。它包含两个特征:互斥性和可见性。同步synchronized不仅可以解决一个线程看到对象处于不一致的状态,还可以保证进入同步方法或者同步代码块的每个线程,都看到由一个锁保护之前所有的修改效果。