C++ 11 中的内存模型

内存模型是描述程序如何与内存交互的规范。在 C++ 11 中,创建了标准化内存模型,为并发、排序和多线程问题提供解决方案。该框架指定了 C++ 程序中如何访问和排列内存。在本文中,我们将讨论 C++ 11 内存模型、其特性和优点。

C++ 中内存模型的需求
C++ 11 中引入标准化内存模型的主要原因是为了在多线程应用程序中提供一致且可预测的行为。它通过提供原子操作、内存顺序等功能,为并发问题提供现代解决方案,并标准化 C++ 抽象机的内存处理,以提高跨平台和编译器兼容性。

C++内存模型的特点
C++内存模型的主要特点如下:

  1. 顺序一致性
  2. 原子操作
  3. 内存顺序

1. 原子操作
原子操作是对原子对象类型执行的操作。在 C++ 中,只有原子对象允许在多线程应用程序中并发读/写/访问操作,而不会导致任何数据争用或未定义的错误。原子在 <atomic> 标头内定义。

// C++ program to illustrate the concept of an atomic 
// operation using std::atomic. 
include <atomic> 
include <iostream> 
include <thread> 

using namespace std; 

// 原子变量确保原子操作 ;
atomic<int> counter(0); 

// 在循环中递增计数器的函数 
void incrementCounter() 

    for (int i = 0; i < 10000; ++i) { 
        counter.fetch_add(1, memory_order_relaxed); 
        
// 使用 fetch_add 原子式递增计数器
     
// memory_order_relaxed 用于最小化 
     
//同步开销 ;
    } 


// driver code 
int main() 

    
// 创建一个线程,用于递增计数器 ;
    thread t1(incrementCounter); 
    
// 创建另一个线程来递增计数器 ;
    thread t2(incrementCounter); 

    t1.join();
//等待第一条线程结束 ;
    t2.join();
// 等待第二个线程结束 ;

    
//在两个 
    
//线程都结束后,打印计数器的最终值;
    cout <<
"Counter value: "
        << counter.load(memory_order_relaxed) << endl; 

    return 0; 
}


输出
Counter value: 20000

2. 顺序一致性
顺序一致性是多个线程中操作顺序的高级保证。它保证程序中的指令按照源代码中的顺序执行。

// C++ program to illustrate the sequential consistency 
include <atomic> 
include <iostream> 
include <thread> 
using namespace std; 

// 声明原子整数 x 和 y,初始化为 0 ;
atomic<int> x(0), y(0); 

// 声明整数 res1 和 res2 以存储结果 ;
int res1, res2; 

// first thread callable 
void thread1() 

    
// 在 x 中存储 1,并保持顺序一致性 ;
    x.store(1, memory_order_seq_cst); 
    
//以顺序  一致性 将 y 的值加载到 res1 中;
    res1 = y.load(memory_order_seq_cst); 


// 定义第二个线程的函数 ;
void thread2() 

    
//在 y 中存储 1,并保持顺序一致性 ;
    y.store(1, memory_order_seq_cst); 
    
//以顺序   一致性 将 x 的值加载到 res2 中;
    res2 = x.load(memory_order_seq_cst); 


// Main function 
int main() 

    
// 创建两个线程 t1 和 t2 ;
    thread t1(thread1); 
    thread t2(thread2); 

    
//等待两个线程结束 ;
    t1.join(); 
    t2.join(); 

    cout <<
"res1: " << res1 << endl; 
    cout <<
"res2: " << res2 << endl; 
    
// 可能的结果: res1 == 1 && res2 == 1, res1 == 0 ;
   
//res1 和 res2 都为 0 是不可能的,因为这将违反顺序一致性 ;
}

输出:
res1: 0
res2: 1


3. 内存排序
内存排序是指执行读写操作的顺序。C++ 中有五种类型的内存排序:

  1. memory_order_relaxed
  2. memory_order_consume
  3. memory_order_acquire
  4. memory_order_release
  5. memory_order_acq_rel
  6. memory_order_seq_cst

// C++ program to illustrate the concept of memory ordering. 
include <atomic> 
include <iostream> 
include <thread> 
using namespace std; 

atomic<int> x(0); 
atomic<int> y(0); 

// 用函数将值写入 x 和 y,并放宽内存 
//排序 ;
void wr() 

    x.store(1, memory_order_relaxed); 
    y.store(1, memory_order_relaxed); 


// 从 x 和 y 处读取值的函数,内存宽松 
// 排序 ;
void rd() 

    while (y.load(memory_order_relaxed) != 1) { 
       
// 一直转到 y 被其他线程写入为止 
      
// Memory_order_relaxed 用于最小化 
      
// 同步开销 ;
    } 
    if (x.load(memory_order_relaxed) == 1) { 
        
// Check if both x and y are 1 
        cout <<
"x and y are both 1" << endl; 
    } 


int main() 

    thread t1(wr);
// Create a thread for writing values 
    thread t2(rd);
// Create a thread for reading values 

    t1.join();
// Wait for the writing thread to finish 
    t2.join();
// Wait for the reading thread to finish 

    return 0; 
}


输出:x and y are both 1

C++ 内存模型的优点
标准化内存模型具有以下优点:

  • 跨平台兼容性:C++11 内存模型提供了一组定义的多线程上下文中内存操作的指南。由于这种标准化,C++ 应用程序可以在许多系统和各种编译器上一致地运行。
  • 并发性:内存模型为各种线程如何访问和更新内存提供了一套清晰的指导方针,这使得构建正确且高效的并发编程变得更加容易。

结论
C++ 中的 C++11 标准的统一内存模型解决了并发编程问题。在多线程环境中,该模型提供了分配内存和协调内存操作的规则。它的优点包括更好的并发支持、更多的可预测性和更大的可移植性。