Java内存模子的深入领略
|
第三个差别与处理赏罚器总线的事变机制亲近相干。在计较机中，数据通过总线在处理赏罚器和内存之间转达。每次处理赏罚器和内存之间的数据转达都是通过总线事宜来完成的。总线事宜包罗读事宜和写事宜。读事宜从内存传送数据处处理赏罚器，写事宜从处理赏罚器转达数据到内存，每个事宜会读／写内存中一个或多个物理上持续的字。总线会同步试图并发行使总线的事宜。在一个处理赏罚器执行总线事宜时代，总线会榨取其余全部的处理赏罚器和 I／O 装备执行内存的读／写。 总线的事变机制：
如上图所示，假设处理赏罚器 A、B、和 C 同时向总线提倡总线事宜，这时总线仲裁会对竞争作出裁决，假设总线在仲裁后鉴定处理赏罚器 A 在竞争中得胜（总线仲裁会确保全部处理赏罚器都能公正的会见内存）。此时处理赏罚器 A 继承它的总线事宜，而其余两个处理赏罚器则要守候处理赏罚器 A 的总线事宜完成后才气开始再次执行内存会见。假设在处理赏罚器 A 执行总线事宜时代（不管这个总线事宜是读事宜照旧写事宜），处理赏罚器 D 向总线提倡了总线事宜，此时处理赏罚器 D 的这个哀求会被总线榨取。 总线的这些事变机制可以把全部处理赏罚器对内存的会见以串行化的方法来执行；在恣意时刻点，最多只能有一个处理赏罚器能会见内存。这个特征确保了单个总线事宜之中的内存读/写操纵具有原子性。 在一些 32 位的处理赏罚器上，假如要求对 64 位数据的写操纵具有原子性，会有较量大的开销。为了照顾这种处理赏罚器，Java 说话类型勉励但不强求 JVM 对 64 位的 long 型变量和 double 型变量的写具有原子性。当 JVM 在这种处理赏罚器上运行时，会把一个 64 位 long/ double 型变量的写操纵拆分为两个 32 位的写操纵来执行。这两个 32 位的写操纵也许会被分派到差异的总线事宜中执行，此时对这个 64 位变量的写将不具有原子性。 当单个内存操纵不具有原子性，将也许会发买卖想不到效果。请看下面表示图：
如上图所示，假设处理赏罚器 A 写一个 long 型变量，同时处理赏罚器 B 要读这个 long 型变量。处理赏罚器 A 中 64 位的写操纵被拆分为两个 32 位的写操纵，且这两个 32 位的写操纵被分派到差异的写事宜中执行。同时处理赏罚器 B 中 64 位的读操纵被分派到单个的读事宜中执行。当处理赏罚器 A 和 B 按上图的时序来执行时，处理赏罚器 B 将看到仅仅被处理赏罚器 A “写了一半“的无效值。 留意，在 JSR -133 之前的旧内存模子中，一个 64 位 long/ double 型变量的读/写操纵可以被拆分为两个 32 位的读/写操纵来执行。从 JSR -133 内存模子开始（即从JDK5开始），仅仅只应承把一个 64 位 long/ double 型变量的写操纵拆分为两个 32 位的写操纵来执行，恣意的读操纵在JSR -133中都必需具有原子性（即恣意读操纵必必要在单个读事宜中执行）。 举个例子： public void set(long l) {
a = l; //单个 volatile 变量的写
}
public long get() {
return a; //单个 volatile 变量的读
}
public void getAndIncreament() {
a++; // 复合（多个） volatile 变量的读 /写
}
} 假设有多个线程别离挪用上面措施的三个要领，这个措施在语义上和下面措施等价： public synchronized void set(long l) { //对单个平凡变量的写用统一个锁同步
a = l;
}
public synchronized long get() { //对单个平凡变量的读用统一个锁同步
return a;
}
public void getAndIncreament() { //平凡要领挪用
long temp = get(); //挪用已同步的读要领
temp += 1L; //平凡写操纵
set(temp); //挪用已同步的写要领
}
} 如上面示例措施所示，对一个 volatile 变量的单个读/写操纵，与对一个平凡变量的读/写操纵行使统一个锁来同步，它们之间的执行结果沟通。 锁的 happens-before 法则担保开释锁和获取锁的两个线程之间的内存可见性，这意味着对一个 volatile 变量的读，老是能看到（恣意线程）对这个 volatile 变量最后的写入。 锁的语义抉择了临界区代码的执行具有原子性。这意味着纵然是 64 位的 long 型和 double 型变量，只要它是 volatile变量，对该变量的读写就将具有原子性。假如是多个 volatile 操纵或相同于 volatile++ 这种复合操纵，这些操纵整体上不具有原子性。 简而言之，volatile 变量自身具有下列特征：
假设上面的措施 flag 变量用 volatile 修饰 （编辑：湖南网） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |
