在Java中,线程之间对内存写入操作的可见性是一个重要的问题,因为每个线程都有自己的工作内存,并且线程之间共享主内存。当一个线程修改了共享变量的值,其他线程并不一定能立即看到这个修改,这就是所谓的可见性问题。
例如下面的例子:
线程t1修改共享变量flag的值并不能被线程t2获取到,线程t2一直没有终止。
为了解决这个问题,Java提供了volatile关键字和synchronized关键字来确保线程之间对内存写入操作的可见性。
volatile关键字:
volatile关键字用于修饰变量,它确保了对volatile变量的写操作会立即被其他线程看到。当一个线程修改了一个volatile变量的值,新值会立即被写入主内存,并且其他线程会立即看到这个变化。这是因为volatile变量会禁止指令重排序,并且当一个线程读取一个volatile变量时,它会从主内存中读取,而不是从自己的工作内存中读取(当写一个volatile变量时,JMM会把该线程对应的本地内存中的共享变量值立即刷新回主内存中。当读一个volatile变量时,JMM会把该线程对应的本地内存设置为无效,重新回到主内存中读取最新共享变量)。
但是,volatile并不能保证复合操作的原子性,例如count++这样的操作实际上包含三个步骤:读取、修改和写入。在多线程环境下,这些步骤可能会被其他线程打断,导致数据不一致。
synchronized关键字:
synchronized关键字用于修饰方法或代码块,它确保同一时刻只有一个线程可以执行某个代码块或方法,从而实现了线程之间的互斥。当一个线程进入synchronized代码块或方法时,它会获取一个锁,其他尝试进入该代码块或方法的线程会被阻塞,直到锁被释放。这就保证了在同一时刻只有一个线程可以修改共享变量,从而避免了可见性问题。
此外,synchronized还确保了内存可见性,即当一个线程释放锁时,它会将修改后的共享变量的值刷新到主内存中,使得其他线程在获取锁并读取共享变量时,能够看到最新的值。
上述例子修改后: