- ubuntu12.04环境下使用kvm ioctl接口实现最简单的虚拟机
- Ubuntu 通过无线网络安装Ubuntu Server启动系统后连接无线网络的方法
- 在Ubuntu上搭建网桥的方法
- ubuntu 虚拟机上网方式及相关配置详解
CFSDN坚持开源创造价值,我们致力于搭建一个资源共享平台,让每一个IT人在这里找到属于你的精彩世界.
这篇CFSDN的博客文章详解C++11原子类型与原子操作由作者收集整理,如果你对这篇文章有兴趣,记得点赞哟.
1.认识原子操作 。
原子操作就是在多线程程序中“最小的且不可并行化的”操作,意味着多个线程访问同一个资源时,有且仅有一个线程能对资源进行操作。通常情况下原子操作可以通过互斥的访问方式来保证,例如Linux下的互斥锁(mutex),Windows下的临界区(Critical Section)等。下面看一个Linux环境使用POSIX标准的pthread库实现多线程下的原子操作:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
#include <pthread.h>
#include <iostream>
using
namespace
std;
int64_t total=0;
pthread_mutex_t m=PTHREAD_MUTEX_INITIALIZER;
//线程函数,用于累加
void
* threadFunc(
void
* args)
{
int64_t endNum=*(int64_t*)args;
for
(int64_t i=1;i<=endNum;++i)
{
pthread_mutex_lock(&m);
total+=i;
pthread_mutex_unlock(&m);
}
}
int
main()
{
int64_t endNum=100;
pthread_t thread1ID=0,thread2ID=0;
//创建线程1
pthread_create(&thread1ID,NULL,threadFunc,&endNum);
//创建线程2
pthread_create(&thread2ID,NULL,threadFunc,&endNum);
//阻塞等待线程1结束并回收资源
pthread_join(thread1ID,NULL);
//阻塞等待线程2结束并回收资源
pthread_join(thread2ID,NULL);
cout<<
"total="
<<total<<endl;
//10100
}
|
上面的代码,两个线程同时对total进行操作,为了保证total+=i 的原子性,采用互斥锁来保证同一时刻只有同一线程执行total+=i操作,所以得出正确结果total=10100。如果没有做互斥处理,那么total同一时刻可能会被两个线程同时操作,即会出现两个线程同时读取了寄存器中的total值,分别操作之后又写入寄存器,这样就会有一个线程的增加操作无效,会得出一个小于10100随机的错误值.
2.C++11实现原子操作 。
在C++11之前,使用第三方API可以实现并行编程,比如pthread多线程库,但是在使用时需要创建互斥锁,以及进行加锁、解锁等操作来保证多线程对临界资源的原子操作,这无疑增加了开发的工作量。不过从C++11开始,C++从语言层面开始支持并行编程,内容包括了管理线程、保护共享数据、线程间的同步操作、低级原子操作等各种类。新标准极大地提高了程序的可移植性,以前的多线程依赖于具体的平台,而现在有了统一的接口.
C++11通过引入原子类型帮助开发者轻松实现原子操作.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
#include <atomic>
#include <thread>
#include <iostream>
using
namespace
std;
atomic_int64_t total = 0;
//atomic_int64_t相当于int64_t,但是本身就拥有原子性
//线程函数,用于累加
void
threadFunc(int64_t endNum)
{
for
(int64_t i = 1; i <= endNum; ++i)
{
total += i;
}
}
int
main()
{
int64_t endNum = 100;
thread
t1(threadFunc, endNum);
thread
t2(threadFunc, endNum);
t1.join();
t2.join();
cout <<
"total="
<< total << endl;
//10100
}
|
程序正常编译并运行输出正确结果total=10100。使用C++11提供的原子类型与多线程标准接口,简洁地实现了多线程对临界资源的原子操作。原子类型C++11中通过atomic<T>类模板来定义,比如atomic_int64_t是通过typedef atomic<int64_t> atomic_int64_t实现的,使用时需包含头文件<atomic>。除了提供atomic_int64_t,还提供了其它的原子类型。常见的原子类型有 。
。
原子类型名称 。 |
对应内置类型 。 |
---|---|
atomic_bool 。 |
bool 。 |
atomic_char 。 |
atomic_char 。 |
atomic_char 。 |
signed char 。 |
atomic_uchar 。 |
unsigned char 。 |
atomic_short 。 |
short 。 |
atomic_ushort 。 |
unsigned short 。 |
atomic_int 。 |
int 。 |
atomic_uint 。 |
unsigned int 。 |
atomic_long 。 |
long 。 |
atomic_ulong 。 |
unsigned long 。 |
atomic_llong 。 |
long long 。 |
atomic_ullong 。 |
unsigned long long 。 |
atomic_ullong 。 |
unsigned long long 。 |
atomic_char16_t 。 |
char16_t 。 |
atomic_char32_t 。 |
char32_t 。 |
atomic_wchar_t 。 |
wchar_t 。 |
。
原子操作是平台相关的,原子类型能够实现原子操作是因为C++11对原子类型的操作进行了抽象,定义了统一的接口,并要求编译器产生平台相关的原子操作的具体实现。C++11标准将原子操作定义为atomic模板类的成员函数,包括读(load)、写(store)、交换(exchange)等。对于内置类型而言,主要是通过重载一些全局操作符来完成的。比如对上文total+=i的原子加操作,是通过对operator+=重载来实现的。使用g++编译的话,在x86_64的机器上,operator+=()函数会产生一条特殊的以lock为前缀的x86_64指令,用于控制总线及实现x86_64平台上的原子性加法.
有一个比较特殊的原子类型是atomic_flag,因为atomic_flag与其他原子类型不同,它是无锁(lock_free)的,即线程对其访问不需要加锁,而其他的原子类型不一定是无锁的。因为atomic<T>并不能保证类型T是无锁的,另外不同平台的处理器处理方式不同,也不能保证必定无锁,所以其他的类型都会有is_lock_free()成员函数来判断是否是无锁的。atomic_flag只支持test_and_set()以及clear()两个成员函数,test_and_set()函数检查 std::atomic_flag 标志,如果 std::atomic_flag 之前没有被设置过,则设置 std::atomic_flag 的标志;如果之前 std::atomic_flag 已被设置,则返回 true,否则返回 false。clear()函数清除 std::atomic_flag 标志使得下一次调用 std::atomic_flag::test_and_set()返回 false。可以用atomic_flag的成员函数test_and_set()和clear()来实现一个自旋锁(spin lock):
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
#include <unistd.h>
#include <atomic>
#include <thread>
#include <iostream>
std::atomic_flag lock = ATOMIC_FLAG_INIT;
void
func1()
{
while
(lock.test_and_set(std::memory_order_acquire))
// 在主线程中设置为true,需要等待t2线程clear
{
std::cout <<
"func1 wait"
<< std::endl;
}
std::cout <<
"func1 do something"
<< std::endl;
}
void
func2()
{
std::cout <<
"func2 start"
<< std::endl;
lock.clear();
}
int
main()
{
lock.test_and_set();
// 设置状态
std::
thread
t1(func1);
usleep(1);
//睡眠1us
std::
thread
t2(func2);
t1.join();
t2.join();
return
0;
}
|
以上代码中,定义了一个atomic_flag对象lock,使用初始值ATOMIC_FLAG_INIT进行初始化,即处于false的状态。线程t1调用test_and_set()一直返回true(因为在主线程中被设置过),所以一直在等待,而等待一段时间后当线程t2运行并调用了clear(),test_and_set()返回了false退出循环等待并进行相应操作。这样一来,就实现了一个线程等待另一个线程的效果。当然,可以封装成锁操作的方式,比如:
1
2
|
void
Lock(atomic_flag& lock){
while
( lock.test_and_set()); }
void
UnLock(atomic_flag& lock){ lock.clear(); }
|
这样一来,就可以通过Lock()和UnLock()的方式来互斥地访问临界区.
以上就是详解C++11原子类型与原子操作的详细内容,更多关于C++11原子类型与原子操作的资料请关注我其它相关文章! 。
原文链接:https://cloud.tencent.com/developer/article/1380964 。
最后此篇关于详解C++11原子类型与原子操作的文章就讲到这里了,如果你想了解更多关于详解C++11原子类型与原子操作的内容请搜索CFSDN的文章或继续浏览相关文章,希望大家以后支持我的博客! 。
有没有办法用连词创建原子 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 之间的唯一区别是调用了
我是一名优秀的程序员,十分优秀!