一、前言
在并发编程中,通常会出现原子性、有序性和可见性的问题。而通过synchronized关键字就能保证原子性、可见性和有序性,那么synchronized是如何保证的呢?在探讨之前,我们先解释一下什么是原子性、有序性和可见性。
原子性:一个指令或多个指令在执行过程中不允许被中断,对应到代码中就是一段代码的执行不能被拆分,不能被中断。注意,这里的原子性是指并发编程中的原子性,与数据库事务中的原子性不同,事务中的原子性是指要么都执行,要么都不执行。
有序性:程序的执行顺序是按照代码的先后顺序执行,即使编译器和处理器为了性能优化进行了指定重排。
可见性:多个线程访问同一个变量时,当一个线程修改了这个线程的值后,其他线程能够立即看到修改后的新值。
二、如何保证原子性
前面我们提到过原子性是指一个操作不可被中断,synchronized是通过monitorenter和monitorexit这两个字节码实现的。当线程执行到monitorenter的时候要先获得锁,才能执行后面的内容,当线程执行到monitorexit的时候则要释放锁。
在锁未释放之前,其它线程是无法获得锁的。如果在线程拿到锁,并且在执行过程中cpu时间片用完了,但是它并没有解锁,由于synchronized的锁是可重入的,下一个cpu时间片还是只能被它自己获取到,所以它会继续执行之前的代码直到所有的代码执行完毕。因此,在java中可以通过synchronized来保证方法或代码块内的操作是原子性的。
三、如何保证有序性
有序性即程序的执行顺序按照代码的先后顺序执行。最简单的方式是禁止指令重排和禁止处理器优化,但synchronized不是通过这种方式,而是通过as-if-serial语义实现的。所谓的as-if-serial语义是指,不管怎么做指令重排和处理器优化,单线程程序执行的结果都不能被改变。
由于synchronized修饰的代码,在同一时间只能被一个线程执行,也就是单线程执行。所以,synchronized是通过这种方式保证有序性的。
四、如何保证可见性
可见性主要是保证一个线程对共享变量修改后,其它线程能立即看到修改后的新值。synchronized修饰的代码,开始执行时会加锁,执行完成后会解锁。
为了保证可见性,synchronized会在解锁之前会将共享变量同步回主内存中,这样在解锁之后其它线程就能访问到修改后的新值了。所以,synchronized锁住对象,其值是具有可见性的。