java synchronized关键字浅析

synchronized这个关键字想必学Java的人都应该知道。

直接上例子:

方法级别实例

public class AtomicInteger {

    private int index;

    public synchronized int addAndGet() {
        try {
            Thread.sleep(2000l);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        return ++ index;
    }

    public int get() {
        return index;
    }

}

一个自动增长的类,不解释了。

看测试代码:

final AtomicInteger ai = new AtomicInteger();

new Thread(new Runnable() {
    @Override
    public void run() {
        ai.addAndGet();
        System.out.println("thread1 finish sleep");
    }
}).start();

new Thread(new Runnable() {
    @Override
    public void run() {
        ai.addAndGet();
        System.out.println("thread2 finish sleep");
    }
}).start();

这里例子执行结果是这样的:

过2秒,输出thread1 finish sleep

然后再过2秒,输出thread2 finish sleep。

现在我们把AtomicInteger类里的addAndGet方法前的synchronized关键字去掉。

执行结果是这样的:

过2秒,输出  thread1 finish sleep  然后马上输出  thread2 finish sleep (可能先输出thread2 finish sleep)

分析

java中synchronized就是"加锁"的意思, 一个实例中的方法如果加上了synchronized,那么这个方法如果被调用了,就会自动加上一个锁,如果其他线程想要再次调用这个实例的这个方法,那么需要等待之前的线程执行完成之后才能执行。

因此,之前的实例方法之前有synchronized的执行结果就是过2秒输出一段,再过2秒再次输出。

类级别实例

 下面。 我们给AtomicInteger加一个静态同步方法。

public static synchronized void sync() {
    System.out.println("now synchronized. wait 4 seconds.");
    try {
        Thread.sleep(2000l);
    } catch (InterruptedException e) {
        e.printStackTrace();
    }
}

测试代码:

final AtomicInteger ai = new AtomicInteger();

AtomicInteger.sync();

new Thread(new Runnable() {
    @Override
    public void run() {
        ai.addAndGet();
        System.out.println("thread1 finish sleep");
    }
}).start();

new Thread(new Runnable() {
    @Override
    public void run() {
        ai.addAndGet();
        System.out.println("thread2 finish sleep");
    }
}).start();

这个测试结果执行结果是这样的:

先输出  now synchronized. wait 4 seconds.

过4秒(因为静态同步方法需要2秒,addAndGet方法也需要2秒),输出 thread1 finish sleep  

再过2秒,输出 thread2 finish sleep

分析

从上述类级别的实例可以看出  ->   静态同步方法作用的范围是类,执行了静态同步方法,静态同步方法执行的时候,这个类中的所有方法(无论是否有synchronized, 无论是否静态)都必须等待这个静态同步方法执行完成之后才能进行

如果我们把AtomicInteger的addAndGet方法的synchronized关键字去掉,那么执行结果是这样的。

先输出  now synchronized. wait 4 seconds.

过4秒,输出 thread1 finish sleep  

然后马上又输出 thread2 finish sleep

再来看个例子:

final AtomicInteger ai1 = new AtomicInteger();
final AtomicInteger ai2 = new AtomicInteger();

AtomicInteger.sync();

new Thread(new Runnable() {
    @Override
    public void run() {
        ai1.addAndGet();
        System.out.println("ai1 finish sleep");
    }
}).start();

new Thread(new Runnable() {
    @Override
    public void run() {
        ai2.addAndGet();
        System.out.println("ai2 finish sleep");
    }
}).start();

执行结果是这样的。

先输出  now synchronized. wait 4 seconds.

过4秒,输出 ai1 finish sleep  

然后马上又输出 ai2 finish sleep

小结: 由于静态同步方法是作用于类级别的,因此实例级别的方法调用都收到影响。所以执行AtomicInteger.sync();的时候ai1,ai2都在等待。 当执行完毕的时候,ai1和ai2由于是不同实例,方法级别的synchronized当然互不影响。

资源级别的实例

资源级别的同步其实跟方法级别的同步是一样的,只不过资源级别的同步的作用更加细节一下,它作用的对象是基于资源的。比如实例中的成员变量。

死锁,可以完美说明资源级别的同步。

public class DeadLock {

    private static Object obj1 = new Object();
    private static Object obj2 = new Object();

    public static void main(String[] args) {
        new Thread(new SubThread1()).start();
        new Thread(new SubThread2()).start();
    }

    private static class SubThread1 implements Runnable {
        @Override
        public void run() {
            synchronized (obj1) {
                try {
                    Thread.sleep(1000l);
                    System.out.println("thread1 synchronized obj1 and wait for obj2.");
                    synchronized (obj2) {
                        System.out.println("thread1 synchronized obj2");
                    }
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
            }
        }
    }

    private static class SubThread2 implements Runnable {
        @Override
        public void run() {
            synchronized (obj2) {
                try {
                    Thread.sleep(1000l);
                    System.out.println("thread2 synchronized obj2 and wait for obj1.");
                    synchronized (obj1) {
                        System.out.println("thread2 synchronized obj1");
                    }
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
            }
        }
    }

}

从死锁这个实例可以看出。

子线程1同步obj1资源的时候,其他线程是不能获得obj1这个资源的。同理,子线程同步obj2资源的时候,其他线程是不能获得obj2这个资源的。

因此,子线程1在同步obj1之后,会等待obj2的释放(obj2已经被子线程2同步了,子线程1不能获得);而子线程2在同步obj2之后,会等待obj1的释放(obj1已经被子线程1同步了,子线程2不能获得)。

所以,这个程序将永远地等待下去。 这也就是著名的死锁问题。

我们可以通过jdk提供的一些命令查看是否死锁。

首先通过jps查看当前jdk启动的进程。

找到死锁这个程序的进程号6552之后再通过  jstack -l 6552 查看堆栈信息。

看到jstack发现了一个死锁。

总结

synchronized关键字可以作用在多个场景之下,我们需要区分清楚各个场景的区别,以便我们设计出符合高并发的程序。

之前对java并发这块了解的太少了.. 面试的时候也问到这些问题,发现自己根本答不上来。

原文地址:https://www.cnblogs.com/fangjian0423/p/3614637.html