并发线程的三大特性
- 可见性
- 原子性
- 有序性
可见性
某些语句触发内存缓存同步刷新。
volatile引用类型(包括数组)只能保证引用本身的可见性,不能保证内部字段的可见性。
-XX:-RestrictContended 配合@Contended使用
缓存行:64个字节
缓存行越大,局部性空间效率越高,但读取时间慢,缓存行越小,局部空间效率越低,但读取时间越快,折中值:64字节
有序性
- 为了提高执行效率,CPU指令可能会乱序执行
- 乱序执行不得影响单线程的最终一致性。
- as-if-serial:单线程程序看上去像序列化执行。
- 乱序在多线程的情况下可能会产生难于察觉的错误。
JVM内存屏障
LoadLoad屏障: Load1.LoadLoad,Load2
在Load2及后续读取操作要读取的数据被访问前,保证Load1要读取的数 据被读取完毕。
StoreStore屏障: 对于这样的语句Store1;StoreStore;Store2 在Store2及后续写入操作执行前,保证Store1的写入操作对其它处理器 可见 LoadStore屏障: 对这样的语句:Load1;LoadStore;Store2 在Store2及后续写入操作被刷出前,保证Load1要读取的数据前读取完 毕 StoreLoad屏障:对于这样的语句Store1;StoreLoad;Load2 在Loade2及后续所有读取操作执行前,保证Store1的写入对所有处理 器可
多线程7问
1.请解释一下对象创建的过程。 2.dcl与volatile问题 3.对象在内存中的存储布局 4.对象头具体包括什么?(MarkWord、klassPointer) synchronized锁信息 5.对象怎么定位?
- 句柄方式
- 直接指针 6.对象怎么分配(栈上-线程本地-end-old)
7.Object o = new Object()在内存中占用多少字节
原子性
8大原子操作
- lock:主内存,标识变量为线程独占
- unLock:主内存,解锁线程独占变量
- read:主内存:读取内存到线程缓存(工作内存)
- load:工作内存,read后的值放入线程本地变量副本
- use:工作内存,传值给执行引擎
- assign:工作内存,执行引擎结果赋值给线程本地变量
- stroe:工作内存,存值到主内存给write备用
- write:主内存,写变量值
多个线程访问共享数据的时候产生竞争数据的不一致,并发访问之下察省的不期望出现的结果。如何保证数据一致性呢----->通过线程同步(线程执行的顺序安排好),如果临界区执行时间长,语句多,叫做锁的粒度比较粗,反之,就是锁的粒度比较细。
CAS
锁的本质是序列化