boost并发编程boost::atomic

三个用于并发编程的组件:
atomic,thread,asio(用于同步和异步io操作)
 

atomic

atomic,封装了不同计算机硬件的底层操作原语,提供了跨平台的原子操作功能,解决并发竞争读写变量的困扰。
包含头文件<boost/atomic.hpp>,

atomic可以把对类型T的操作原子化,T的要求:
1.标量类型,(算数,枚举,指针)
2.只有平凡拷贝/转移构造、赋值和析构函数的类,并且可以使用memcmp执行比操作,通常这样的类都是pod
注:int memcmp(const void *buf1, const void *buf2, unsigned int count);
比较内存区域buf1和buf2的前count个字节。
atomic针对整数类型和指针类型进行特化,增加一些特殊操作。并定义了typedef。

基本操作:
两种方式创建atomic对象:
1、atomic<int> a(10);
assert(a==10);//安全函数,若表达式不成立结束程序
2、atomic<long> L;
cout << L<<endl;//初始值不确定
最重要的两个成员函数:
store()(operator=) 和 load()(operator T())以原子方式存取,不会因为并发访问导致数据不一致。

 1     boost::atomic<bool> b(1);
 2     assert(b != 0);
 3     std::cout << b << std::endl;
 4  
 5     b.store(0);//存值
 6     std::cout << b << std::endl;
 7  
 8     boost::atomic<int> n1(100);
 9     std::cout << n1.exchange(200) << std::endl;//交换两个值,并且返回原值100
10     std::cout << n1 << std::endl;
11  
12  
13     n1 = 200;
14     int n2 = 201;
15     n1.compare_exchange_weak(n2, 313);//n1 和 n2相比较,相等就输出313,如果不相等 n1 = n2 = 200;
16     std::cout << n1 << "\t" << n2 << std::endl;
17     //返回true 或 false 表示原值是否被修改
18     //区别为weak执行速度快,但有可能执行成功却返回false
19     n2 = 201;
20     n1 = 2000;
21     n1.compare_exchange_strong(n2, 313);//功能与weak相同
22     std::cout << n1 << "\t" << n2 << std::endl;
23  
24     //整数atomic用法
25     boost::atomic<int> n3(10);
26     std::cout << n3.fetch_add(10) << std::endl;//加法操作返回原值
27     std::cout << n3 << std::endl;
28     //重载操作符后,都是返回运算后的值
29     std::cout << n3++ << std::endl;
30     std::cout << ++n3 << std::endl;
31     //二进制
32     //它使用boost.preprocessor预处理元编程工具将一组或多组01数字在编译期展开成为一个八进制数字。每个数字组之间可以用空格分隔,每组可以容纳1个到8个0/1数字。
33     //这里特别要注意的是,数字组的长度一定不能超过八个,由于预处理器宏展开的限制,嵌套层次太深会导致无法通过编译,报出一大堆错误。
34     //在编译时展开,没有任何运行时开销
35     boost::atomic<int> n4{ BOOST_BINARY(1101) };//    #include <boost/utility/binary.hpp>     //或者  #include <boost/utility.hpp> 
36     auto x = n4.fetch_and(BOOST_BINARY(0101));//逻辑与运算,返回原值n4
37     std::cout << x << std::endl;
38     std::cout << n4 << std::endl;

实际上每一个atomic<T>成员函数都有一个memory——order缺省参数,指定了原子操作的内存顺序要求,不允许编译器或者cpu核心为了优化而调整代码或者指令的顺序执行

 

猜你喜欢

转载自www.cnblogs.com/fnlingnzb-learner/p/10334945.html