前言
最近小扁我被问到 实现线程同步有哪几种方法,而我只知道使用同步关键字synchronized来实现而已(⊙o⊙),,所以有必要来学习一下实现线程同步的几种方法;各位看官,若有非议(不接受反驳),请不吝赐教!
实现线程同步的几种方法
从我自己比较理解的方法讲起,后面的几种方法我现在也不是很理解,各位看官可以阅读这篇文章的参考文章
1. 使用同步关键字synchronized
synchronized主要有两种使用方式
1.1 同步方法
使用synchronized修饰方法
使用模板:
//同步方法
public synchronized void methodName(...){...}
//同步静态方法
public synchronized static void methodName(...){...}
注意:当使用synchronized修饰静态方法时,线程此时获得的锁对象是类的Class对象(堆内存中只有唯一一个Class对象,因为Class对象是在类加载时产生的,而类加载只执行一次),因此会锁住整个类,其他线程无法访问该类的同步静态方法,但是可以访问非同步的方法
1.2 同步代码块
使用synchronized修饰代码块
使用模板:
synchronized(object){...}
注意
1. 同步通常会导致线程堵塞,使得程序执行效率低,
因此应该尽量缩小同步范围。
2. 基于第1点,通常没必要同步整个方法,
只需要同步关键代码块(操作了共享变量的区域)
2. 使用关键字volatile修饰共享变量实现伪同步
1. volatile为所修饰的共享变量提供了一种免锁机制,
并没有为共享变量上锁。
2. 使用volatile;
相当于告诉JVM某个共享变量随时可能被其他线程修改,
需要线程到内存中去读取这个共享变量的值,
而不是从缓存中读取
3. volatile仅保证可见性;
volatile所修饰的共享变量的值被修改时,会被立即更新到内存中
4. volatile不保证原子性
5. volatile不能修饰final变量
基于第2点,volatile修饰的变量随时可能会被修改,
而final修饰的变量是不会被修改,
因此volatile不能修饰final变量
为什么说实现的是伪同步
主要基于以上的第3,4点原因,volatile保证了可见性,相对于没有用volatile修饰的共享变量,大大提高了线程读取到最新数据的可能性,但是volatile不保证原子性,说明线程读到的最新数据可能并不是真正意义上的最新
后记
暂时先写这么多,虽然写的不多,但是一大早地,起来学习理解,再将理解整理成文,真素脑阔疼啊,后续再根据我个人的学习进度及理解程度,继续更新
参考文章
https://blog.csdn.net/pengzhisen123/article/details/79450844
https://blog.csdn.net/qqqqqq654/article/details/70144050