Java 关键字-violate

简介

  • 一个变量被此修饰则表明是对所有线程可见的,满足一致性 即各个线程的工作内存能立即发现该变量的改变并保证一致性。
  • 防止指令重排序。

细节

一个变量被violate修饰,则被虚拟机解释转换成虚拟机识别的指令如下:

lock addl $Oxo,(%esp)
  • 多一个lock
  • 后面是空指令
    • lock和nop不能同时执行
  • lock作用
    • 使CPU的Cache立即写入内存,该写入动作会使其他CPU的Cache无效化。也即是对变量进行了store和write操作。 所以通过这个带lock前缀的空操作能试对violate修饰的变量的修改对其他CPU立即可见
    • 设立了一个内存屏障,使后面的指令不能重排序到前面的指令。意味着所有之前的操作都已经执行完成了
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”错误,首先我们需要检查并修复比较方法中的错误。确保按照通用契约的规定进行比较,并且没有使用不支持通用契约的比较方法。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值