凡科网站建设公司,手机浏览器下载网页视频,新网网站后台登陆,十里堡网站建设基本概念
补充一下 java 内存模型中的 可见性、原子性和有序性
可见性#xff1a; 指的是线程之间的可见性#xff0c;一个线程修改的状态对另一个线程是可见的。也就是一个线程修改的结果#xff0c;另一个线程马上可以看到。比如 #xff1a;用 volatile 修饰的变量 指的是线程之间的可见性一个线程修改的状态对另一个线程是可见的。也就是一个线程修改的结果另一个线程马上可以看到。比如 用 volatile 修饰的变量就会具有可见性。volatile 修饰的变量不允许线程内部缓存和重排序即直接修改内存。所以对其他线程是可见的。但是这里要注意一个问题volatile 只能让被他修饰内容具有可见性但不能保证它有原子性。比如 volatile int a 0 ; 之后有一个操作 a这个变量 a 具有可见性但是 a 依然是一个非原子操作也就是这个操作同样存在线程安全问题。 在 java 中volatile、synchronized 和 final 实现可见性。
原子性 原子是程序的最小单位具有不可分割性。比如 a 0这个操作是不可分割的那么我们就可以称这个操作时原子操作。再比如a; 这个操作实际是 a a 1是可分割的所以它不是一个原子操作。非原子操作都会存在线程安全的问题需要我们使用同步技术sychronized来让它变成一个原子操作。一个操作时原子操作那么我们称它具有原子性。
在java 中 synchronized 和在 lock、unlock中操作保证原子性。
有序性 Java 提供了 volatile 和 synchronized 两个关键字来保证线程之间操作的有序性volatile 是因为其本身包含 禁止指令重排序 的语义synchronized 是由一个变量在同一时刻只允许一条线程对其进行 lock 操作 这条规则获得的此规则决定了持有同一个对象锁的两个同步块只能串行执行。
1 /**2 * author zhengbinMac3 */4 public class NoVisibility {5 private static boolean ready;6 private static int number;7 private static class ReaderThread extends Thread {8 Override9 public void run() {
10 while(!ready) {
11 Thread.yield();
12 }
13 System.out.println(number);
14 }
15 }
16 public static void main(String[] args) {
17 new ReaderThread().start();
18 number 42;
19 ready true;
20 }
21 }
在这段代码中 NoVisibility 可能会持续循环下去因为读线程可能永远都看不到 ready 值。甚至 NoVisibility 可能会输出 0因为读线程可能看到了写入 ready 的值但却没有看到之后写入 number 的值这种现场被称为 “重排序”。只要在某个线程中无法检测到重排序的情况即使在其他线程中可以明显地看到该线程中的重排序那么就无法确保线程中的操作将按照程序中指定的顺序来执行。当主线程首先写入 number然后再没有同步的情况下写入 ready 那么读线程看到的顺序可能与写入的顺序完全相反。
在没有同步的情况下编译器、处理器以及运行时间等都可能对操作的执行顺序进行一些意想不到的调整。在缺乏足够同步的多线程程序中要想对内存操作的执行顺序进行判断无法得到正确的结论。 Volatile 原理
Java 语言提供了以中国稍弱的同步机制即 volatile 变量用来确保将变量的更新操作通知到其他线程。当把变量声明为 volatile 类型后编译器运行时就会注意到这个变量是共享的因此不会将该变量上的操作与其他内存操作一起重排序。volatile 变量不会被缓存在寄存器或者对其他处理器不可见的地方因此在读取 volatile 类型的变量时总会返回最新写入的值。
在访问 volatile 变量时不会执行加锁操作因此也就不会使执行线程阻塞因此 volatile 变量是一种比 sychronized 关键字更轻量级的同步机制。 当对非 volatile 变量进行读写的时候每个线程先从内存拷贝变量到 COU缓存中。如果计算机有多个 CPU每个线程可能在不同的 CPU上被处理这意味着每个线程可以拷贝到不同的 CPU cache 中。 而 声明变量是 volatile 的JVM 保证了每次变量都从内存中读跳过了 CPU cache 这一步。
当一个变量定义为 volatile 后将具备两种特性
保证此变量对所有的线程的可见性当一个线程修改了这个变量的值volatile 保证了新值能够立即同步到主内存以及每次使用前立即从主内存刷新。禁止指令重排序优化。有 volatile 修饰的变量赋值后多执行了一个 “load addl $0x0,(%esp)”操作这个操作相当于一个内存屏障指令重排序时不能把后面的指令重排序到内存屏障之前的位置只有一个CPU访问内存时并不需要内存屏障。
指令重排序CPU采用了允许将多条指令不按程序规定的顺序分开发送给各相应电路单元处理
Volatile 性能 volatile 的读性能消耗与普通变量几乎相同但是写操作稍慢因为它需要再本地代码中插入许多内存屏障指令来保证处理器不发生乱序执行。
