面试高频-volatile关键字详解

最新推荐文章于 2023-11-30 13:15:44 发布

qq_24837327

最新推荐文章于 2023-11-30 13:15:44 发布

阅读量236

点赞数

文章标签：多线程

本文链接：https://blog.csdn.net/qq_24837327/article/details/106454113

版权

volatile的应用

在多线程并发编程中synchronized和volatile都扮演着重要的角色，volatile是轻量级的synchronized,但是不具备synchronized的锁的性质，其主要的作用是保证了共享变量的可见性，一致性。可见性的意思是当一个线程修改一个共享变量的时候，另外一个变量能够读到这个修改的值。如果volatile变量修饰符使用恰当的话，它比synchronized的使用成本更低，因为他不会引起上下文的切换和调度。

volatile是如何保证可见性的呢？

java代码示例如下：

instance = new Singleton(); //instance是volatile变量

转变成汇编代码如下。

0x01a3de1d:movb $0x0,0x1104800(%esi);0x01a3de24: lock add1 $0x0,(%esp);

有volatile变量修饰的共享变量进行写操作的时候回多出第二行汇编代码，通过查架构软件开发手册可知，Lock前缀指令在多核处理器下会引发两件事情。

1)将当前处理器缓存行的数据写回到系统内存。

2)这个回写内存的操作会使在其他CPU缓存了该地址内存的数据无效。

为了提高处理速度，处理器不直接和内存进行通信,而是先将系统内存的数据读到内部缓存后在进行操作，但操作完之后不知道何时会写入内存。如果对声明了volatile的变量进行写操作，jvm就会像内存发出一条Lock前缀的指令，将这个变量所在的缓存行写回到系统内存。但是就算是写回到内存如果其他处理器缓存的值还是旧的，在执行计算操作就会有问题，所以为了保证多个处理器的缓存是一致的就引入了缓存一致性协议。每个处理器通过嗅探在总线上传播的数据来检查自己缓存的值是否过期，当处理器发现自己缓存行对应的内存地址被修改，就会将当前处理器的缓存行设置成无效状态，当处理对这个数据进行修改操作的时候，会重新从系统内存中把数据读到处理器缓存里。

缓存一致性协议：

Modified

表示缓存中的块（block）已被修改。这时，缓存中的数据和后端存储（如，内存）不一致。当缓存被收回（内存被收回，块“block”数据将丢失）时，缓存负责将“M”状态（Modified）的块（block）写回到后端存储。

Shared

表示缓存中的块（block）没有被修改，并且至少在一个缓存中存在一个只读状态（缓存中的块“block”数据有被读取拷贝）。缓存中的块（block）数据可以被收回（内存被收回，块“block”数据将丢失）而不需要写回到后端存储。

Invalid

表示块（block）在当前缓存中不存在，这时，如果该块（block）需要存储在这个缓存中，必须从内存或其他缓存中读进来。

1.lock前缀指令会引起处理器缓存回写到内存

2.一个处理的缓存回写到内存会导致其他处理器缓存无效

缓存一致性原理:

cpu从内存中读到变量的时候，检查该变量是否有volatile关键字，也就是上面提到的#lock的汇编指令，如果有汇编指令的话会将会设置成E独占的模式，随后会发生总线嗅探机制时刻监听这个变量是否被其他cpu所读取，如果被其他cpu读取以后会将此变量设置成S共享模式。当前的cpu如果率先修改了此变量的信息，会将这个变量的类型设置成M修改模式，同时锁住缓存行，通知其他CPU此变量已经修改，其他cpu会自动的将自己的状态设置成I失效的模式。当前的cpu会将缓存重新写入到内存当中去，然后将当前的状态设置成E独占的模式。

volatile的使用优化

著名的java并发编程大事Doug Lea在JDK1.7并发包里面新增一个队列集合类LinkedTransferQueue,它在使用volatile变量时，用一种追加字节的方式优化队列和入列的性能。

为什么追加64字节能够提高并发编程的效率呢？

因为对于英特尔酷睿i7等处理器的L1、L2、L3缓存的告诉缓存行是64字节宽，不支持部分填充行，这意味着，如果队列的头结点和尾结点都不足64字节的话，处理器会将他们都读到同一个告诉缓存行中，在多处理器下每个处理器都会缓存同样的头，尾结点，当一个处理器视图修改头结点时，会将整个缓存行锁定，那么在缓存一致性机制的作用下，会导致其他处理器不能访问自己告诉缓存中的尾结点，而队列的入队和出队操作则需要不停修改头结点和尾结点，所以在多处理器的情况下将会严重影响到队列的入队和出队效率。Doug Lea使用追加到64字节的方式来填满高速缓冲区的缓存行，避免头节点和尾结点加载到同一个缓存行，使头，尾结点在修改时不会相互锁定。