第2章 对象及变量的并发访问
概念
“非线程安全”其实会在多个线程对同一个对象中的实例变量进行并发访问时发生,产生的后果就是“脏读”,也就是取到的数据其实是被更改过的
“非线程安全”问题存在于“实例变量”中(和数据库),如果是方法内部的私有变量,则不存在“非线程安全”问题,所得结果也就是“线程安全”的了。
如果多个线程共同访问1个对象中的实例变量,则有可能出现“非线程安全”问题。
只有共享资源(库存)的读写访问才需要同步化。
例如
1)A线程先持有object对象的Lock锁,B线程可以以异步的方式调用object对象中的非synchronized类型的方法。
2)A线程先持有object对象的Lock锁,B线程如果在这时调用object对象中的synchronized类型的方法则需等待,也就是同步。
可重入锁:自己可以再次获得自己的内部锁。比如有1条线程获得了某个对象的锁,此时这个对象锁还没有释放,当其于次想要获取这个对象的锁的时候还是可以获取的,如果不可锁重入的话,就会造成死锁。
可重入锁也支持在父子类继承的环境中。
当存在父子类继承关系时,子类是完全可以通过“可重入锁”调用父类的同步方法的。
当一个线程执行的代码出现异常时,其所持有的锁会自动释放。
synchronized关键字
关键字
synchronized
取得的锁都是对象锁,而不是把一段代码或方法(函数)当作锁,所以在上面的示例中,哪个线程先执行带synchronized
关键字的方法,哪个线程就持有该方法所属对象的锁Lock,那么其他线程只能呈等待状态,前提是多个线程访问的是同一个对象。同步是可以被继承的,即父类中带有
synchronized
关键字的方法在子类中也具有synchronized
关键字该有的特性。当子类重写父类这个synchronized
方法时可以不加synchronized
关键字,这时子类重写的这个方法也没有同步特性了,反之亦然。
关于上一条有必要说明一下:原文中是这样写的“同步不能继承,所以还得在子类的方法中添加
synchronized
关键字”,个人对继承的理解是子类继承父类后,子类继承了父类中可以被继承的属性和方法,这时子类可以使用继承过来的这些属性与方法,并非此书作中所讲到的例子用重写来说明子类不能继承父类带有synchronized
关键字的方法的同步特性。
不在
synchronized
块中就是异步执行,在synchronized
块中就是同步执行。在使用同步
synchronized(this)
代码块时需要注意的是,当一个线程访问object的一个synchronized(this)
同步代码块时,其他线程对同一个object中所有其他synchronized(this)
同步代码的访问将被阻塞,这说明synchronized
使用的“对象监视器”是一个。synchronized(this)
代码块是锁定当前对象的synchronized
关键字加到static
静态方法上是给Class
类上锁,而synchronized
关键字加到非static
方法上是给对象上锁。多线程的死锁:多个线程多个锁,代码问题上会出现死锁。可以使用JDK自带的工具来监测是否有死锁现象。
1)在jdk安装目录下执行命令jps
2)得到运行的线程Run的id值1234,再执行命令jstack,查看结果
3)若有死锁会有提示类似'Found 1 deadlock.'
作为锁的对象的引用不变,即使其中的属性改变后也和之前是同一个锁
关键字
synchronized
可以使多个线程访问同一个资源具有同步性,而且它还具有将线程工作内存中的私有变量与公共内存中的变量同步的功能。关键字
synchronized
可以保证在同一时刻,只有一个线程可以执行某一个方法或某一个代码块。它包含两个特征:互斥性和可见性。同步synchronized
不仅可以解决一个线程看到对象处于不一致的状态,还可以保证进入同步方法或者同步代码块的每个线程,都看到由同一个锁保护之前所有的修改效果。(辩证着看)
volatile关键字
- volatile的主要作用是使变量在多个线程间可见,但其和原子性并没有什么关系。(但在这个服务器集群的年代单实例上的共享变量可见性可能并没什么大用)
volatile private boolean isRunning = false;
volatile修饰的属性当被修改时会强制将修改的值立即写入主存,此时会使其它线程工作内存中的此变量缓存失效,当这些线程要读取时发现缓存失效就会去主存中读最新的值。
synchronized
与volatile
的比较
1)volatile是线程同步的轻量实现,所以性能肯定比synchronized要好。volatile只能修饰变量,synchronized可以修饰方法和代码块。
2)多线程访问volatile不会发生阻塞,而synchronized会。
3)volatile能保证数据的可见性,但不能保证原子性;而synchronized可以保证原子性也可以间接保证可见性,因为它会将私有内存和公共内存中的数据做同步。(个人认为并非如此而是happen-before的关系)
4)volatile解决的是变量在多线程之间的可见性;而synchronized解决的是多个线程之间访问资源的同步性。
volatile关键字解决的是变量读时的可见性问题,但无法保证原子性,对于多线程访问同一个实例变量还是需要加锁同步。
线程安全包括原子性和可见性两个方面,Java的同步机制都是围绕这两个方面来确保线程安全的。
原子操作是不能分割的整体,没有其他线程能够中断或检查正在原子操作中的变量