多线程中关于同步的常见误解是为了确保操作的原子性或者隔绝临界资源,它还有另一个重要特性,就是确保内存数据的可预见性。也就是说同步除了保证数据被一个线程修改,同时也保证了该线程的修改能够迅速被其他线程获知。
多线程可见性问题:
- 失效数据:如果不是在访问时均采用同步(常见误解:只需同步写入,无需同步读取),读取线程容易读到过期数据,可能会导致一些问题。
- 错误数据(非volatile的long 和double): 对于非volatile的64位变量,java内存模型允许存取操作作为两个32位操作,可能导致数据部分更新,多线程情况可能读取到错误数据。
可见性保证方法:
- 加锁:变量加锁以后,变量修改对于获取统一锁的其他变量均可以见,所以除了修改需要加锁,读取也应该加锁。
- 变量申明为volatile:这种方式适合一写多读,它只能确保更改被其他线程可见,但无法保证多个线程同时修改不出问题。