线程生命周期
粗粒度的物理架构
CUP 的内存架构 数据要求: 原子性、可见性、有序性
L1d缓存数据;L1i缓存指令;
线程会先缓存数据到cup的工作内存中(寄存器、缓存),这样会出现共享数据不安全,线程并发安全行问题。
针对上面问题,cpu提供了总线锁,类似返回了单核时代,只能串行执行;cpu缓存锁,只针对当前数据枷锁,控制锁的粒度,这样提升效率。 这两种方式,都是cpu自己调度的。
JVM内存架构
所有的数据操作,都不能再主内存(可以理解为堆)中做,必须做副本到工作内存(线程独享,比如栈),线程间的数据传递必须通过主内存传递
JDK层面做线程安全保证的方式:
可见性, JDK提供了volatile保证可见性,不能保证原子性,java内存确保线程看到的数据一致,线程更新共享数据时,会直接刷新到主内存
原子性,JDK提供了synchronize同步关键字是jvm代码的实现, 他让线程排队执行
synchronized和volatile的区别:
一旦一个共享变量(类的成员变量、类的静态成员变量)被volatile修饰之后,那么就告诉jvm当前变量的操作都需要从新从主内存中读取,这样保证多线程读的是一致的,但是在set的时候没办法保证一致性;synchronize是锁定当前变量,只有当前线程可以访问,其他线程被阻塞,具备了两层语义:
1)保证了不同线程对这个变量进行操作时的可见性,即一个线程修改了某个变量的值,这新值对其他线程来说是会尽快的被通知到的。
2)禁止进行指令重排序。
volatile本质是在告诉jvm当前变量在寄存器(工作内存)中的值是不确定的,需要从主存中读取;
synchronized则是锁定当前变量,只有当前线程可以访问该变量,其他线程被阻塞住。
1.volatile仅能使用在变量级别;
synchronized则可以使用在变量、方法、和类级别的
2.volatile只能保证可见性和有序性,不能保证原子性
synchronized则可见性、有序性、原子性synchronized都可以包证
3.volatile不会造成线程的阻塞;
synchronized可能会造成线程的阻塞。
4.volatile标记的变量不会被编译器优化;
synchronized标记的变量可以被编译器优化
java 内存划分 类比cpu内存模型