JVM内存中的主内存与工作内存即CAS

每个线程有自己的工作空间,称之为栈,而每个栈元素(栈帧)对应一个方法,这个栈帧里边又会分为局部变量、计数器等等区域。

每次new的时候,对象会分配在堆,也就是主内存,线程是通过拷贝副本的方式把变量从主内存到工作内存。

至于volatile,他是为了解决可见性的问题,刚才说了线程会拷贝副本,那么假如多个线程同时操作一个对象,他们把副本值更新回主内存的时候就会有线程安全问题,而用volatile修饰的变量代表让工作线程每次取和赋值都直接从主内存操作,而不是通过工作内存副本

同时,对于synchronized,它的语义不仅仅是在同一个信号上的互斥(mutex),也包含线程和主存之间数据交互的同步,它确保在多处理器、多线程下对内存能有可预见的一致性视图。获取或释放锁会触发一次内存屏障(memory barrier)--强迫线程本地内存和主存同步。当一个线程退出一个synchronized block时,触发一次写屏障(write barrier )--在释放锁前必须把所有在这个同步块里修改过的变量值刷新到主存;同样,进入一个synchronized block时,触发一次读屏障(read barrier)--让本地内存失效,必须从主存中重新获取在这个同步块中将要引用的所有变量的值。正确使用同步能保证一个线程能以可预见的方式看到另一个线程的结果,线程对同步块的操作就像是原子的。“正确使用”的含义是:必须是在同一个锁上同步。

这就解释了为啥双重判断锁的单例模式是线程安全的, 它并不需要添加volatile字段。


CAS : compare and swap .

CAS涉及到预期值,主内存值,更新值 。 当且仅当预期值==主内存值时候,才会将主内存值更新为更新值 。 具体例子可以自己看看 java.util.concurrent.atomic下的原子类。


评论 3
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值