个人中心
文章发布
退出
作者热门文章
- 使用 Spring Initializr 创建 Spring Boot 应用程序
- 在Spring Boot中配置Cassandra
- 在 Spring Boot 上配置 Tomcat 连接池
- 将Camel消息路由到嵌入WildFly的Artemis上
26
4
并发编程的三大特性是原子性、可见性和顺序性。
JVM 采用内存模型的机制来屏蔽各个平台和操作系统之间内存访问的差异，以实现让 Java 程序在各个平台下达到一致的内存访问效果，比如 C 语言中的整型变量，在某些平台下占用了两个字节，在某些平台下占用了四个字节的内存，但 Java 则在任何平台下，int 类型就是四个字节，这就是所谓一致内存访问效果。
Java 的内存模型规定了所有变量都是存在于主内存（RAM）当中的，而每个线程都有自己的工作内存或者本地内存（这一点像 CPU 的 Cache），线程对变量的所有操作都必须在自己的工作内存中进行，而不能直接对主存进行操作，而且每一个线程都不能访问其他线程工作内存或本地内存。
比如在某个线程中对变量 i 的赋值操作 i=1，该线程必须在本地内存中对 i 进行修改之后才能将其写入主内存中。
在 Java 语言中，对基本数据类型的变量读取赋值操作都是原子性的，对引用类型的变量读取和赋值也是原子性的，因此诸如此类的操作是不可被中断的，要么执行，要么不执行。
但有些情况还是容易弄错，下面举例说明。
x=10; // 该操作是原子性的
y=x; // 非原子性的，它包括多个原子性的步骤
y++; // 非原子性操作，它包括多个原子性步骤
z=z+1; // 非原子性操作，它包括多个原子性步骤
上面四个例子中，只有第一个操作是原子性的，我们得出如下结论
总结：volatile 关键字不具备保证原子性的语义。
在多线程环境下，如果某个线程首次读取共享变量，则首先到主内存中获取该变量，然后存入工作内存中，以后只需要在工作内存中读取该变量即可。同样如果对该变量执行了修改的操作，则先将新值写入工作内存中，然后再刷新到主内存中。但是什么时候最新的值会被刷新到主内存中是不太确定的。
Java 提供了以下三种方式来保证可见性。
当一个变量被 volatile 关键字修饰时，对于共享资源的读操作会直接在主内存中进行（当然也会缓存到工作内存中，当其他线程对该共享资源进行了修改，则会导致当前线程在工作内存中的共享资源失效，所以必须从主内存中再次获取），对于共享资源的写操作当然是先要修改工作内存，但是修改结束后会立刻将其刷新到主内存中。
synchronized 关键字能够保证同一时刻只有一个线程获得锁，然后执行同步方法，并且还会确保在释放锁之前，会将对变量的修改刷新到主内存中。
Lock 的 lock 方法能够保证在同一时刻只有一个线程获得锁然后执行同步方法，并且确保在锁释放（Lock 的 unlock 方法）之前会将对变量的修改刷新到主内存当中。
总结：volatile 关键字具有保证可见性的语义。
在 Java 的内存模型中，允许编译器和处理器对指令进行重排序，在单线程的情况下，重排序并不会引起什么问题，但在多线程的情况下，重排序会影响到程序正确运行，Java 提供了三种保证有序性的方式，具体如下。
后两这采用了同步机制，同步代码在执行的时候与在单线程情况下一样自然能够保证顺序性（最终结果的顺序性）。
26
4
0
一 点睛 并发编程的三大特性是原子性、可见性和顺序性。 JVM 采用内存模型的机制来屏蔽各个平台和操作系统之间内存访问的差异，以实现让 Java 程序在各个平台下达到一致的内存访问效果，比如 C 语言
我多次看到这样的结构: class OneTimeWriter { volatile Object o; void synchronized set(Object o) {
这里 http://docs.oracle.com/javase/specs/jls/se8/html/jls-17.html#jls-17.4.8 是什么意思 hbi|Ci = hb|Ci soi|
我试图从 Java 内存模型的角度理解“顺序一致性”。 JLS 的定义，第 17 章对我来说不是那么清楚。 我会给出我的看法，如果我错了请纠正我。具有单线程顺序一致性的程序意味着如果 action1
我有一个关于 JMM 的问题。我知道什么是“之前发生”，但我不明白一件事。有一段代码: private static int x = 0; private static volatile boolea
考虑以下用 Java 编写的多线程代码: 共享变量: boolean n; // non-volatile volatile boolean v; // volatile 线
我正在尝试了解 JMM 的因果关系要求。 JMM 的这一部分描述了它 https://docs.oracle.com/javase/specs/jls/se7/html/jls-17.html#jls
这里 [ http://docs.oracle.com/javase/specs/jls/se7/html/jls-17.html#jls-17.5][1] 它说: Given a write w,
我尝试理解最终字段的语义。 让我们研究代码: public class App { final int[] data; static App instance; public
我最近偶然发现了 this jcstress 中的示例: @JCStressTest @State @Outcome(id = "10", expect =
这篇文章是在阅读后提出的:https://shipilev.net/blog/2016/close-encounters-of-jmm-kind/#pitfall-semi-sync class Bo
我正在寻找一种将对象从后台线程传递到 UI 线程的安全方法。下面的代码是否安全？ // on background thread final HugeObject object = construct
我正在阅读有关 java singleton 的内容，并且遇到了一些奇怪的事情。 我会引用following artice例如(您可以轻松找到更多) 作者提供了以下单例: public class A
以下是 volatile 关键字的使用示例。 public class Test3{ public static volatile boolean stop = false;// if vol
请考虑以下代码片段。 public class Visibility { private volatile SomeData data; public static class Som
对 trylock 的不当使用 T1 T2 x = 42; while (
我只是想知道下面的重新排序在新的 JMM 模型下是否有效 Original Code: instanceVar1 = value ;// normal read operation, no
关闭。这个问题需要更多 focused .它目前不接受答案。 想改进这个问题？更新问题，使其仅关注一个问题 editing this post . 2年前关闭。 Improve this questi
假设这个类: public class AmIThreadSafe { private int a; private int b; AmIThreadSafe(int a, i
JLS 中写到关于 JMM 的 happens-before 关系(第 17.4.5 节): It should be noted that the presence of a happens-bef
我是一名优秀的程序员,十分优秀！