JAVA中synchronized是怎么保证原子性、有序性和可见性的？

一、前言

在并发编程中，通常会出现原子性、有序性和可见性的问题。而通过synchronized关键字就能保证原子性、可见性和有序性，那么synchronized是如何保证的呢？在探讨之前，我们先解释一下什么是原子性、有序性和可见性。

原子性：一个指令或多个指令在执行过程中不允许被中断，对应到代码中就是一段代码的执行不能被拆分，不能被中断。注意，这里的原子性是指并发编程中的原子性，与数据库事务中的原子性不同，事务中的原子性是指要么都执行，要么都不执行。

有序性：程序的执行顺序是按照代码的先后顺序执行，即使编译器和处理器为了性能优化进行了指定重排。

可见性：多个线程访问同一个变量时，当一个线程修改了这个线程的值后，其他线程能够立即看到修改后的新值。

二、如何保证原子性

前面我们提到过原子性是指一个操作不可被中断，synchronized是通过monitorenter和monitorexit这两个字节码实现的。当线程执行到monitorenter的时候要先获得锁，才能执行后面的内容，当线程执行到monitorexit的时候则要释放锁。

在锁未释放之前，其它线程是无法获得锁的。如果在线程拿到锁，并且在执行过程中cpu时间片用完了，但是它并没有解锁，由于synchronized的锁是可重入的，下一个cpu时间片还是只能被它自己获取到，所以它会继续执行之前的代码直到所有的代码执行完毕。因此，在java中可以通过synchronized来保证方法或代码块内的操作是原子性的。

三、如何保证有序性

有序性即程序的执行顺序按照代码的先后顺序执行。最简单的方式是禁止指令重排和禁止处理器优化，但synchronized不是通过这种方式，而是通过as-if-serial语义实现的。所谓的as-if-serial语义是指，不管怎么做指令重排和处理器优化，单线程程序执行的结果都不能被改变。

由于synchronized修饰的代码，在同一时间只能被一个线程执行，也就是单线程执行。所以，synchronized是通过这种方式保证有序性的。

四、如何保证可见性

可见性主要是保证一个线程对共享变量修改后，其它线程能立即看到修改后的新值。synchronized修饰的代码，开始执行时会加锁，执行完成后会解锁。

为了保证可见性，synchronized会在解锁之前会将共享变量同步回主内存中，这样在解锁之后其它线程就能访问到修改后的新值了。所以，synchronized锁住对象，其值是具有可见性的。