一、同步的基本概念
1、同步的场景
线程获取同步锁,获取失败则阻塞等待,获取成功则执行任务,执行完毕后释放锁。
2、线程安全问题
(1)内存读取
cpu在内存读取数据时,顺序优先级:寄存器-高速缓存-内存
计算完成后缓存数据写回内存中
(2)可见性
每个线程都有独立的工作内存,并对其他线程是不可见的。线程执行如用到某变量,将变量从主内存复制到工作内存,对变量操作完成后再将变量写回主内存。
可见性就是指线程A对某变量操作后,其他线程能够看到被修改的值,可以通过volidate等方式实现可见性。
(3)原子性
对于基本类型的赋值操作是原子操作,即这些操作是不可被中断的,要么执行,要么不执行。
x = 10; //语句1(原子性操作)
y = x; //语句2
x++; //语句3
复制代码语句1直接将10赋值给x,会直接将10写入到工作内存
语句2需要先读x,然后将x写入工作内存,然后赋值,不是原子性操作
语句3需要先读x,然后+1,然后赋值。
(4)有序性
Java内存模型中允许编译器和处理器对指令进行重排序,虽然重排序过程不会影响到单线程执行的正确性,但是会影响到多线程并发执行的正确性。
可以通过volidate来保证有序性,synchronized和Lock保证每个时刻只有一个线程执行同步代码,这相当于是让线程顺序执行同步代码,从而保证了有序性。
(5)线程安全问题的原因
线程A和线程B需要将共享变量拷贝到本地内存中,并对各自的共享变量副本进行操作,操作完成后同步到主内存中,可能导致共享内存数据错乱的问题。
二、synchronized
1、基本特性:
synchronized可以用于修饰类的实例方法、静态方法和代码块
可重入性:对同一个执行线程,它在获得了锁之后,在调用其他需要同样锁的代码时,可以直接调用。
内存可见性:在释放锁时,所有写入都会写回内存,而获得锁后,都会从内存中读最新数据。
当一个线程访问object的一个synchronized(this)同步代码块时,另一个线程仍然可以访问该object中的非synchronized(this)同步代码块。
2、类锁和对象锁
public class SyncTest {
private static int num;
public void setClassText() {
//类锁
synchronized (SyncTest.clas