- 使用 Spring Initializr 创建 Spring Boot 应用程序
- 在Spring Boot中配置Cassandra
- 在 Spring Boot 上配置 Tomcat 连接池
- 将Camel消息路由到嵌入WildFly的Artemis上
所谓原子操作是指不会被线程调度机制打断的操作;这种操作一旦开始,就一直运行到结束,中间不会有任何 context switch (切换到另一个线程)。
下面就以i自增操作为例来实现i的原子性。
i++并不是一步完成的,它包含了三个步骤:
例如,
public class IaddTest {
public int i = 0;
public void add(){
i++;
}
public static void main(String[] args) throws Exception {
IaddTest iaddTest = new IaddTest();
for(int i=0;i<2;i++){ //创建两个线程
new Thread(new Runnable() {
@Override
public void run() {
for(int i=0;i<10000;i++){
iaddTest.add();
}
}
}).start();
}
Thread.sleep(2000L);//sleep两秒,等待两个线程任务全部执行完成
System.out.println(iaddTest.i);
}
}
这段代码中,创建了两个线程分别调用10000次add方法(即两万次i++),理论上最后的输出结果应该为20000,但是实际的运行结果却达不到20000,如下:
这是由于两个线程是并发执行的,当线程1读取i值时,线程2还没有将i+1的值赋给i(例如当i = 1时,线程1读取i=1,同时线程2也读取i=1,然后执行+1操作,结果两个线程都将i赋值为2)。
为了避免这种线程不安全情况的发生,保证程序的正确性,我们就需要将i++进行原子操作。
下面,就通过几种不同的方式来实现原子操作。
分别在i的前后进行加锁和解锁,实现i的原子操作。
完整示例代码如下:
public class IaddTest {
public int i = 0;
private Lock lock = new ReentrantLock(false);
public void add(){
try{
lock.lock(); //加锁
i++;
}catch (Exception e){
e.printStackTrace();
}finally {
lock.unlock(); //解锁
}
}
public static void main(String[] args) throws Exception {
IaddTest iaddTest = new IaddTest();
for(int i=0;i<2;i++){ //创建两个线程
new Thread(new Runnable() {
@Override
public void run() {
for(int i=0;i<10000;i++){
iaddTest.add();
}
}
}).start();
}
Thread.sleep(2000L);//sleep两秒,等待两个线程任务全部执行完成
System.out.println("i:" + iaddTest.i);
}
}
再来看看执行结果:
正确输出20000。
完整示例代码:
public class IaddTest {
public int i = 0;
private Lock lock = new ReentrantLock(false);
// public synchronized void add() //给add方法加锁
public void add(){
synchronized (this){ //给i++加锁
i++;
}
}
public static void main(String[] args) throws Exception {
IaddTest iaddTest = new IaddTest();
for(int i=0;i<2;i++){ //创建两个线程
new Thread(new Runnable() {
@Override
public void run() {
for(int i=0;i<10000;i++){
iaddTest.add();
}
}
}).start();
}
Thread.sleep(2000L);//sleep两秒,等待两个线程任务全部执行完成
System.out.println("i:" + iaddTest.i);
}
}
执行结果:
正确输出20000。
CAS是英文单词Compare and Swap的缩写,翻译过来就是比较并替换。
CAS机制中使用了3个基本操作数:内存地址V,旧的预期值A,要修改的新值B。更新一个变量的时候,只有当变量的预期值A和内存地址V当中的实际值相同时,才会将内存地址V对应的值修改为B。
在sun.misc.Unsafe
中提供了CAS操作的本地方法。
java中认为Unsafe类是不安全的类,所以不能直接通过构造函数构造对象,需要使用反射机制。
private static Unsafe unsafe;
// 通过反射获取theUnsafe属性
Field field = Unsafe.class.getDeclaredField("theUnsafe");
// theUnsafe是private的,设置setAccessible(true)
field.setAccessible(true);
// 获取Unsafe对象
unsafe = (Unsafe) field.get(null);
CAS操作完整示例代码:
public class IaddTest {
public int i = 0;
private static Unsafe unsafe;
private static long fieldOffset;
static {
try {
// 通过反射获取theUnsafe属性
Field field = Unsafe.class.getDeclaredField("theUnsafe");
// theUnsafe是private的,设置setAccessible(true)
field.setAccessible(true);
// 获取Unsafe对象
unsafe = (Unsafe) field.get(null);
// 获取属性i在内存中的实际地址
fieldOffset = unsafe.objectFieldOffset(IaddTest.class.getField("i"));
} catch (Exception e) {
e.printStackTrace();
}
}
public void add(){
int current;
do {
current = unsafe.getIntVolatile(this,fieldOffset);
}while (!unsafe.compareAndSwapInt(this,fieldOffset,i,i+1));
}
public static void main(String[] args) throws Exception {
IaddTest iaddTest = new IaddTest();
for(int i=0;i<2;i++){ //创建两个线程
new Thread(new Runnable() {
@Override
public void run() {
for(int i=0;i<10000;i++){
iaddTest.add();
}
}
}).start();
}
Thread.sleep(2000L);//sleep两秒,等待两个线程任务全部执行完成
System.out.println("i:" + iaddTest.i);
}
}
执行结果:
正确输出20000。
原子类是jdk提供的一些进行原子操作的类,位于java.util.concurrent.atomic
包中。
原子类的底层也是通过调用com.misc.Unsafe类中的CAS机制实现的。
使用时我们只需要创建一个原子类对象,并调用其中的方法即可保证代码的原子性。
public class IaddTest {
AtomicInteger i = new AtomicInteger(0);
public void add(){
i.incrementAndGet();
}
public static void main(String[] args) throws Exception {
IaddTest iaddTest = new IaddTest();
for(int i=0;i<2;i++){ //创建两个线程
new Thread(new Runnable() {
@Override
public void run() {
for(int i=0;i<10000;i++){
iaddTest.add();
}
}
}).start();
}
Thread.sleep(2000L);//sleep两秒,等待两个线程任务全部执行完成
System.out.println("i:" + iaddTest.i);
}
}
执行结果:
正确输出20000。
有没有办法用连词创建原子 if ?也就是说,我可以以某种方式在 C 中自动测试 if(A && B) 吗?如果它在第一个连接处短路,那么没问题,但如果没有短路,则在检查 B 时,A 可能已更改。有什么
我有很多 fork 的过程。子进程做很多事情和另一个系统调用。 当任何子进程从系统调用中获取错误时,它会将错误描述打印到 stderr 并将 SIGUSR1 发送到组长(主要父进程)。 SIGUSR1
阅读 boost::atomic 上的文档和 std::atomic 让我感到困惑的是 atomic 是否接口(interface)应该支持非平凡类型? 也就是说,给定一个只能通过将读/写包含在一个完
我有一个命令,可以将叠加图像放在视频上。 之后,我调整输出大小以适合某些尺寸。 通常一切正常,但有时且仅在某台台式计算机上,当第二次精化开始时,命令返回错误:moov atom not found 让
我最近发现当 LANG 设置为 C.utf8 时,X11 原子 WM_NAME 未在 Swing JFrame 中设置。但为 LANG 的其他值设置。这发生在带有 OpenJDK 11.0.9 的 L
我目前正在使用blackmagic的prorecorder录制视频。我使用 ffmpeg 将视频即时转码为 mp4 视频容器。持续时间未知,因为我正在对 prorecorder 输出到命名管道的 .t
这里真的有人使用 atom 来处理 git 提交消息吗?我想但我遇到了这个问题并且一直坚持使用 git commit -m '....' 。当我尝试使用 atom 时,它会打开 atom,我几乎立即从
考虑: void foo() { std::vector> foo(10); ... } foo 的内容现在有效吗?或者我是否需要显式循环并初始化它们?我检查过 Godbolt,看起来不错,但
在official FAQ我阅读的 Memcached: “发送到 memcached 的所有单独命令都是绝对原子的。” 然而,当涉及到 get_multi 和 set_multi 时,我仍然不清楚。
在测试程序的可扩展性时,我遇到了必须将 memcpy 操作设置为原子操作的情况。我必须将 64 字节的数据从一个位置复制到另一个位置。 我遇到了一种解决方案,即使用旋转变量: struct recor
我对 C++ 原子变量感到困惑。如果我有一个原子 x,我想在一个线程中递增并在另一个线程中读取,我可以执行++x 还是必须执行 x.atomic_fetch_add(1)。在读者线程中,我可以做类似
跟进自 Multiple assignment in one line ,我很想知道这对原子数据类型是如何工作的,特别是 bool 类型的例子。 给定: class foo { std::at
我想创建一个版本控制系统,并且对版本号为 1 的新条目的查询如下所示: ID 和修订号组合起来就是主键。 insert into contentfile (id, name, revision, ac
我在 iOS 项目中有下一个独立的测试片段: /// ... std::atomic_bool ab; ab.store(true); bool expected = false; while (!a
我了解如何使用条件变量(此构造的名称很糟糕,IMO,因为 cv 对象既不是变量也不表示条件)。所以我有一对线程,canonically使用 Boost.Thread 设置为: bool awake =
因此,对于最终项目,我尝试制作一款包含三种不同 meteor 的游戏;铜牌、银牌和金牌。虽然青铜阵列在Setup()中工作正常,但银色和金色 meteor 由于某种未知原因而高速移动。 functio
第一个问题,为什么不在 atomic_compare_exchange_weak 操作的参数中应用后缀求值 (++)?运算前后a的值相同。然而,当在 printf() 中使用时,正如预期的那样,该值会
我正在尝试使用 OpenMP 对已经矢量化的代码进行内部函数并行化,但问题是我使用一个 XMM 寄存器作为外部“变量”,我会在每个循环中递增。现在我正在使用 shared 子句 __m128d xmm
clojure“atom”的文档指出 - "Changes to atoms are always free of race conditions." 但是,竞争条件不仅根据更改定义,而且在不同线程中
我一直在研究原子引用计数的实现。 库之间的大多数操作都非常一致,但我在“减少引用计数”操作中发现了惊人的多样性。 (请注意,通常情况下,shared 和 weak decref 之间的唯一区别是调用了
我是一名优秀的程序员,十分优秀!