关于violate变量的使用

volatile的意义是:
比如两个线程在运行中。第一个线程已经初始化,将变量a载入了缓存后,这时候第二个线程改变了a的值。如果a没有用volatile修饰的话,那么可能在第一个线程中使用a时,还是使用的缓存中没有改变过的值。(这只是一个可能性,因为多线程的运行谁都不能保证结果是什么,这是与不同的系统有关的)。如果使用了volatile修饰,那么保证每次取a的值都不是从缓存中取,而是从a所真正对应的内存地址中取.

 

 

 
避免编译器优化的用法


volatile的本意是“易变的”

由于访问寄存器的速度要快过RAM,所以编译器一般都会作减少存取外部RAM的优化。比如:

static int i=0;

int main(void)
{
...
while (1)
{
if (i) dosomething();
}
}

/* Interrupt service routine. */
void ISR_2(void)
{
i=1;
}

程序的本意是希望ISR_2中断产生时,在main当中调用dosomething函数,但是,由于编译器判断在main函数里面没有修改过i,因此
可能只执行一次对从i到某寄存器的读***作,然后每次if判断都只使用这个寄存器里面的“i副本”,导致dosomething永远也不会被
调用。如果将将变量加上volatile修饰,则编译器保证对此变量的读写***作都不会被优化(肯定执行)。此例中i也应该如此说明。

一般说来,volatile用在如下的几个地方:

1、中断服务程序中修改的供其它程序检测的变量需要加volatile;

2、多任务环境下各任务间共享的标志应该加volatile;

3、存储器映射的硬件寄存器通常也要加volatile说明,因为每次对它的读写都可能由不同意义;

另外,以上这几种情况经常还要同时考虑数据的完整性(相互关联的几个标志读了一半被打断了重写),在1中可以通过关中断来实
现,2中可以禁止任务调度,3中则只能依靠硬件的良好设计了。



volatile 的含义
volatile总是与优化有关,编译器有一种技术叫做数据流分析,分析程序中的变量在哪里赋值、在哪里使用、在哪里失效,分析结果可以用于常量合并,常量传播等优化,进一步可以死代码消除。但有时这些优化不是程序所需要的,这时可以用volatile关键字禁止做这些优化,volatile的字面含义是易变的,它有下面的作用:

1 不会在两个***作之间把volatile变量缓存在寄存器中。在多任务、中断、甚至setjmp环境下,变量可能被其他的程序改变,编译器 自己无法知道,volatile就是告诉编译器这种情况。

2 不做常量合并、常量传播等优化,所以像下面的代码:
volatile int i = 1;
if (i > 0) ...

if的条件不会当作无条件真。

3 对volatile变量的读写不会被优化掉。如果你对一个变量赋值但后面没用到,编译器常常可以省略那个赋值***作,然而对Memory Mapped IO的处理是不能这样优化的。

前面有人说volatile可以保证对内存***作的原子性,这种说法不大准确,其一,x86需要LOCK前缀才能在SMP下保证原子性,其二,RISC根本不能对内存直接运算,要保证原子性得用别的方法,如atomic_inc。

对于jiffies,它已经声明为volatile变量,我认为直接用jiffies++就可以了,没必要用那种复杂的形式,因为那样也不能保证原子性。

你可能不知道在Pentium及后续CPU中,下面两组指令

inc jiffies
;;
mov jiffies, %eax
inc %eax
mov %eax, jiffies

作用相同,但一条指令反而不如三条指令快。


  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
在Java中,编写比较方法时需要遵守“通用契约”,这是为了保证排序算法的正确性。然而,有时候会出现“java时间排序comparison method violate lts general contract”的错误。这是因为在比较方法中违反了通用契约的规定。 通用契约中指定了三个规则: 1. 反对称性(Antisymmetry):如果两个对象进行比较,其中一个大于另一个,那么另一个一定小于前者。如果两个对象相等,它们之间的比较结果应为0。 2. 传递性(Transitivity):如果对象A大于对象B,B大于对象C,那么A一定大于C。同样地,如果A等于B,B等于C,那么A一定等于C。 3. 一致性(Consistency):在比较过程中,如果两个对象发生变化,它们之间的比较结果应该随之改变。 当我们在比较Java中的时间时,经常使用的是Date类。要满足通用契约,我们需要按照时间顺序进行比较。然而,有时候我们在编写比较方法时可能没有正确地实现这些规则,导致了“java时间排序comparison method violate lts general contract”错误。 要解决这个问题,我们需要回顾一下比较方法的实现,并确保满足通用契约的规定。首先,我们应该确保在比较中使用的属性是可比较的,并且没有为null的情况。然后,我们应该检查比较方法是否正确地比较了两个对象的时间顺序,并根据比较结果返回正确的值。 此外,还有一种可能导致此错误的情况是,排序算法中使用了不支持通用契约的比较方法。在这种情况下,我们应该更改排序算法或者使用其他可靠的比较方法。 总之,解决“java时间排序comparison method violate lts general contract”错误,首先我们需要检查并修复比较方法中的错误。确保按照通用契约的规定进行比较,并且没有使用不支持通用契约的比较方法。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值