关于C++多线程程序中简单类型(int/bool)的安全性

关于这个问题,很少有听到权威的解答。偶这里也只是收集各处资料,以尝试对今后写出高质量的代码做一定的保证。

通常会联想到这个问题应该跟CPU架构相关。CSDN上也有人做了实验。根据其结论,在x86上,对1字节byte/2字节word/4字节int类型的读写操作都是原子性的。(类似java中的immutable objects的概念)亦即,1个int不会有中间状态,若它原始值是0,往其写入0x12345678,则另一个线程绝对不会读到0x12000000或是0x00005678的值。

根据偶自己的实验,不但int是原子的,在64位x86上,size_t(8字节)也是原子操作(多核,volatile)。

注意:

1. 通常偶们会以为64位系统中的int是64位的,但实际上不一定,请参见ABI这个概念,简单说就是gcc用-m64参数编译,不加其它选项的话,其int为32位,long也为32位,只有long long, size_t为64位。

2. 根据编译器优化选项不同,以上结论有可能被颠覆:一个64位类型的赋值有可能被编译器编译为两个32位的指令。请在实验时看好自己的编译器(确认反汇编 ^_^)


但是,从收集的资料来看,结果是令人沮丧的。要实现在各种CPU上都通用的原子操作,bool/int都没有得到标准的支持。

写一个字节也不安全?请见下面链接:

  • 3
    点赞
  • 8
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
在 C++ 中,多线程共享变量需要注意线程安全问题,即避免多个线程同时对同一个变量进行读写操作。下面介绍几种常见的实现方式: 1. 使用互斥锁(mutex)来保护共享变量,即在访问共享变量之前先加锁,等操作完成后再解锁。这样可以保证同一时间只有一个线程可以访问该变量。示例代码如下: ``` #include <iostream> #include <thread> #include <mutex> std::mutex mtx; // 创建互斥锁 void func(int& shared_var) { for (int i = 0; i < 10000; ++i) { mtx.lock(); // 加锁 shared_var++; mtx.unlock(); // 解锁 } } int main() { int shared_var = 0; std::thread t1(func, std::ref(shared_var)); std::thread t2(func, std::ref(shared_var)); t1.join(); t2.join(); std::cout << "shared_var = " << shared_var << std::endl; return 0; } ``` 2. 使用原子变量(atomic),原子变量可以保证同一时间只有一个线程可以对其进行读写操作,避免数据竞争。示例代码如下: ``` #include <iostream> #include <thread> #include <atomic> std::atomic<int> shared_var(0); // 创建原子变量 void func() { for (int i = 0; i < 10000; ++i) { shared_var++; } } int main() { std::thread t1(func); std::thread t2(func); t1.join(); t2.join(); std::cout << "shared_var = " << shared_var << std::endl; return 0; } ``` 3. 使用条件变量(condition_variable)和锁来实现线程间的同步。条件变量可以用来等待某个条件的发生,当条件满足时,唤醒等待的线程。示例代码如下: ``` #include <iostream> #include <thread> #include <mutex> #include <condition_variable> std::mutex mtx; // 创建互斥锁 std::condition_variable cv; // 创建条件变量 int shared_var = 0; bool ready = false; void func1() { for (int i = 0; i < 10000; ++i) { std::unique_lock<std::mutex> lock(mtx); shared_var++; } ready = true; cv.notify_one(); // 唤醒一个等待的线程 } void func2() { std::unique_lock<std::mutex> lock(mtx); while (!ready) { cv.wait(lock); // 等待条件变量的通知 } std::cout << "shared_var = " << shared_var << std::endl; } int main() { std::thread t1(func1); std::thread t2(func2); t1.join(); t2.join(); return 0; } ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值