volatile的使用优化

探讨了在多处理器环境下,通过将共享内存变量填充至64字节宽的缓存行,如何优化LinkedTransferQueue队列的并发性能。解释了为何此方法能避免头尾节点的缓存行锁定,提升多处理器系统的队列出队和入队效率。

在JDK 7 的并发包中有一个队列集合类Linked-TransferQueue,它在使用volatile变量的时候,用一种追加字节的方式来优化队列出队和入队的性能。

追加字节真的能提高性能吗?

这种方式看起来很神奇,但如果深入理解处理器架构就能理解其中的奥秘。让我们先看看LinkedTeansferQueue这个类,它使用一个内部类类型来定义队列的头结点和尾节点,而这个内部类相对于父类只做了一件事情,就是将共享内存变量追加到64字节,在加上父类的value变量,一共64个字节。

想一想为什么追加64字节能够提高并发编程的效率?

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

那么是不是在使用volatile时都需要追加到64字节呢?

不是的,在两种情况下不应该使用这种方式:

1、缓存行是非64字节宽的处理器,比如P6系列和奔腾处理器,它们的L1 和L2高速缓存行是32个字节宽。

2、共享变量不会被频繁地写。因为使用追加字节的方式需要处理器读取更多的字节到高速缓冲区,这本身就会带来一定的性能消耗,如果共享变量不被频繁的写的话,锁的几率也非常小,就没有必要通过追加字节的方式来避免相互锁定。

在C语言中,`volatile` 关键字用于告诉编译器该变量的值可能会以程序无法预知的方式被改变,因此编译器不应对其进优化,每次使用变量时都应直接从内存中读取或写入最新值。以下是几种常见的使用场景及示例: ### 硬件寄存器访问 在嵌入式系统中,经常需要与硬件寄存器进交互,硬件寄存器的值可能会被硬件自动修改。使用 `volatile` 关键字可以确保每次访问寄存器时都能获取到最新的值。 ```c // 定义一个指向硬件寄存器的 volatile 指针 volatile unsigned int* const REGISTER_ADDRESS = (volatile unsigned int*)0x12345678; // 读取寄存器的值 unsigned int value = *REGISTER_ADDRESS; // 向寄存器写入值 *REGISTER_ADDRESS = 0xABCD; ``` ### 多线程或中断处理 在多线程环境或存在中断处理的程序中,一个线程或中断服务程序可能会修改某个变量的值,而另一个线程或主程序需要读取该变量使用 `volatile` 关键字可以避免编译器对该变量优化,确保每次读取到的都是最新值。 ```c // 定义一个 volatile 变量用于线程间通信 volatile int flag = 0; // 线程1:等待 flag 被设置 while (flag == 0) { // 等待 } // 执后续操作 // 线程2:设置 flag flag = 1; ``` ### 示例代码解释 ```c #include <stdio.h> volatile int i = 10; int main(void) { int a, b; a = i; // 伪代码,里面不含有对 a 、 b 以及 i 的操作 b = i; if (a == b) { printf("a = b\n"); } else { printf("a != b\n"); } return 0; } ``` 在这个示例中,变量 `i` 被声明为 `volatile`,这意味着编译器不会对其进优化,每次访问 `i` 时都会直接从内存中读取值。如果 `i` 没有被声明为 `volatile`,编译器可能会认为 `i` 的值在两次读取之间不会改变,从而将第一次读取的值缓存起来,第二次直接使用缓存的值,而不是再次从内存中读取。 ### 总结 `volatile` 关键字的主要作用是禁用编译器的优化为,强制编译器每次访问 `volatile` 变量时都直接从内存中读取或写入最新值,而非使用寄存器中的缓存值。在硬件寄存器访问、多线程或中断处理等场景中,合理使用 `volatile` 关键字可以确保程序的正确性和稳定性 [^1][^2][^3]。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值