C++11標準庫 原子變數 <atomic> 梳理

来源:https://www.cnblogs.com/DSCL-ing/p/18302143
-Advertisement-
Play Games

目錄<atomic>原子操作的概念CAS實現原理CAS操作的偽代碼:使用CAS完成變數的原子操作:CAS 操作的保證lock和鎖的概念atomic模板類構造函數公共成員函數:atomic與互斥鎖的效率比對 <atomic> C++11提供了一個原子類型std::atomic,通過這個原子類型管理的內 ...


目錄

<atomic>

C++11提供了一個原子類型std::atomic,通過這個原子類型管理的內部變數就可以稱之為原子變數.

原子類型只支持bool、char、int、long、指針等整型類型作為模板參數(不支持浮點類型和複合類型)。

原子操作的概念

在原子操作過程中,線程不會發生調度。原子操作是一種不可中斷的操作,一旦開始執行,就會一直運行到結束,不會被其他線程打斷。因此,在原子操作期間,操作系統的線程調度器不會將CPU分配給其他線程,以確保原子操作的完整性和正確性。

CAS實現原理

CAS(Compare-And-Swap 或 Compare-And-Set)是一種原子操作,用於實現多線程編程中的同步機制。它的基本原理是通過比較和交換來確保一個變數在多個線程訪問時的正確性。CAS是許多併發數據結構和演算法的基礎,比如無鎖隊列、無鎖棧等。

CAS操作的偽代碼:

硬體提供的原子性支持,如彙編lock指令等 //整個代碼執行都是不可中斷的(不是串列)
(asm::lock:)
bool compare_and_swap(int* addr, int expected, int new_value) {
    int current = *addr; // 讀取當前值
    if (current == expected) { //比較當前值和預期值
        *addr = new_value; // 如果當前值等於預期值,則更新
        return true;
    }
    return false; // 否則,不更新
}
(asm::unlock:)

使用CAS完成變數的原子操作:

// 共用的整數變數
int shared_var = 10; //ABA問題:無法得知shared_var的全程狀態.被修改去又修改回,起止狀態不變,過程改變,狀態在過程中發生改變CAS卻誤以為沒有改變過.可能導致發生一些隱晦的錯誤.
//避免ABA,有做變數版本號機制(tag,flag等),或更複雜的實現. -- 有的說回退機制可以:不可以,單單回退機制無法解決ABA問題


void thread_function() {
    int expected_value = 10; // 希望 shared_var 的當前值是一般是shared_var的原始值,即10
    int new_value = 20;      // 目的 將shared_var 更新為 20

    // 使用 CAS 操作來原子地更新 shared_var
    bool success = compare_and_swap(&shared_var, expected_value, new_value);

    if (success) {
        // CAS 操作成功
        // 這裡可以繼續處理其他邏輯
    } else {
        // CAS 操作失敗,shared_var 的值不是我們預期的 expected_value
        // 可能需要重試或處理其他情況
    }
}

CAS 操作的保證

儘管可能會發生 CPU 上下文切換,但 CAS 操作的保證在於其執行過程中的不可中斷性。即使發生了 CPU 上下文切換,操作系統和處理器會保證 CAS 操作的執行過程是原子的,其他線程或處理器無法在 CAS 操作期間對其操作的記憶體位置進行修改。

(CAS == 邏輯檢查變數狀態+硬體支持語句原子性)

lock和鎖的概念

彙編中的lock指令首碼和編程中的鎖(如互斥鎖)雖然在概念上都涉及到同步和確保操作的原子性,但它們是不同的東西,作用機制和應用場景也不同。

  • lock指令首碼用於多處理器系統中的彙編指令,確保特定的記憶體操作在多個處理器上是原子的。它的作用是鎖住匯流排或使用緩存一致性協議,確保在指令執行期間其他處理器無法訪問涉及的記憶體位置。lock首碼常用於需要原子操作的低級同步機制中,例如在實現原子性增減、比較交換等操作時。

  • 編程中的鎖(如互斥鎖、讀寫鎖)是一種高級同步原語,用於確保同一時刻只有一個線程可以訪問臨界區(共用資源)。用於保護臨界區,防止數據競爭,確保線程安全。常見的應用場景包括多線程程式中的共用數據訪問、資料庫中的事務管理等。

atomic模板類

構造函數

atomic() noexcept = default;

constexpr atomic( T desired ) noexcept;

atomic( const atomic& ) = delete;      //禁止拷貝

desired:用以初始化的值

空對象初始化方式:

MSVC中類成員atomic類型允許帶有預設值(MSVC優化).但這不是標準C++行為.atomic類型的成員只能在構造函數中完成初始化.

而GCC中不允許使用預設值,是由編譯器實現的.

如果我們要自己實現一個不允許使用預設值的類型,則可以顯式定義構造函數+explicitimage-20240706220220790

公共成員函數:

  • operator=
//模擬原生變數的行為,賦值給原生變數
T operator=( T desired ) noexcept;
T operator=( T desired ) volatile noexcept;

//禁止拷貝賦值重載
atomic& operator=( const atomic& ) = delete;
atomic& operator=( const atomic& ) volatile = delete;

  • store

和operator=功能一樣,將數據存儲到原生變數中,沒有返回值

void store( T desired, std::memory_order order = std::memory_order_seq_cst ) noexcept;
void store( T desired, std::memory_order order = std::memory_order_seq_cst ) volatile noexcept;

desired:存儲到原子變數中的值
order :程式代碼記憶體執行順序約束(跨平臺使用)

volatile:保證記憶體可見性,修飾函數時表示可以通過該函數訪問到volatile修飾的變數.

  • load

取出原生變數的值.

T load( std::memory_order order = std::memory_order_seq_cst ) const noexcept;
T load( std::memory_order order = std::memory_order_seq_cst ) const volatile noexcept;
  • operator T()
operator T() const volatile noexcept;
operator T() const noexcept;

類類型轉換運算符重載.將原子變數類型轉化成T類型.

意思是,通過原子變數得到的值就是T類型的值,即得到原生變數的值.等同於load().

示例:

image-20240706221939479

  • exchange
T exchange (T val, memory_order sync = memory_order_seq_cst) volatile noexcept;
T exchange (T val, memory_order sync = memory_order_seq_cst) noexcept;

和store()功能類似,將數據存儲/覆蓋到原生變數中.

不同的功能是,exchange還會返回被覆蓋的舊數據.

  • compare_exchange_weak & compare_exchange_strong

使用C++11原子量實現自旋鎖 - 兔曉俠 - 博客園 (cnblogs.com)

compare_exchange_weak 與 compare_exchange_strong 主要的區別在於記憶體中的值與expected相等的時候,CAS操作是否一定能成功.

compare_exchange_weak有概率會返回失敗,而compare_exchange_strong則一定會成功

因此,compare_exchange_weak必須與迴圈搭配使用來保證在失敗的時候重試CAS操作。得到的好處是在某些平臺上compare_exchange_weak性能更好。按照上面的模型,我們本來就要和while搭配使用,可以使用compare_exchange_weak。

最後記憶體序的選擇沒有特殊需求直接使用預設的std::memory_order_seq_cst。

  • atomic提供的一組用於對原子變數進行修改的特化函數

atomic - C++ Reference (cplusplus.com)

image-20240706222538244

分別是 加、減、按位與、按位或、按位異或、自增、自減、賦值類 操作。

各個 operator 對應的 fetch_ 操作表

操作符 操作符重載函數 等級的成員函數 整形 指針 其他
+ atomic::operator+= atomic::fetch_add
- atomic::operator-= atomic::fetch_sub
& atomic::operator&= atomic::fetch_and
| atomic::operator|= atomic::fetch_or
^ atomic::operator^= atomic::fetch_xor

image-20240706222939115

  • C++11還為常用的atomic提供了別名

std::atomic - cppreference.com

有很多,舉例出一部分

別名 原始類型定義
atomic_bool(C++11) std::atomic
atomic_char(C++11) std::atomic
atomic_schar(C++11) std::atomic
atomic_uchar(C++11) std::atomic
atomic_short(C++11) std::atomic
atomic_ushort(C++11) std::atomic
atomic_int(C++11) std::atomic
atomic_uint(C++11) std::atomic
atomic_long(C++11) std::atomic
atomic_ulong(C++11) std::atomic
atomic_llong(C++11) std::atomic
atomic_ullong(C++11) std::atomic

atomic與互斥鎖的效率比對

常式:

#include <iostream>
#include <thread>
#include <mutex>
#include <atomic>
#include <functional>
using namespace std;

struct Counter
{
  Counter():m_value(0){}
  void increment()
  {
    for (int i = 0; i < 100000000; ++i)
    {
      lock_guard<mutex> locker(m_mutex);
      m_value++;
    }
  }

  void decrement()
  {
    for (int i = 0; i < 100000000; ++i)
    {
      lock_guard<mutex> locker(m_mutex);
      m_value--;
    }
  }

  int m_value = 0;
  //std::atomic<int> m_value ;
  mutex m_mutex;
};

int main()
{
  Counter c;
  auto increment = bind(&Counter::increment, &c);
  auto decrement = bind(&Counter::decrement, &c);
  thread t1(increment);
  thread t2(decrement);

  t1.join();
  t2.join();
  std::cout<<"Counter: "<<c.m_value<<"\n";

  return 0;
}

GCC下互斥鎖版本耗時:

image-20240706213919972

GCC下原子變數版本耗時:

image-20240706214047274

顯然,在基本類型線程同步的場景下,原子變數性能更為高效.


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 本文介紹基於R語言中的UBL包,讀取.csv格式的Excel表格文件,實現SMOTE演算法與SMOGN演算法,對機器學習、深度學習回歸中,訓練數據集不平衡的情況加以解決的具體方法~ ...
  • 什麼是I8n 國際化(I18n)指的是設計和開發產品的過程,使得它們能夠適應多種語言和文化環境,而不需要進行大量的代碼更改。這通常涉及到創建一個基礎版本的產品,然後通過配置和資源文件來添加對不同語言和地區的支持。 這樣,當產品需要在新的地理區域或語言環境中使用時,只需要添加或更新相應的資源文件,而不 ...
  • 目錄<future>future模板類成員函數:promise類promise的使用常式:packaged_task模板類常式:async模板函數常式:shared_future模板類 <future> 標準庫提供了一些工具來獲取非同步任務(即在單獨的線程中啟動的函數)的返回值,並捕捉其所拋出的異常。 ...
  • 目錄<condition_variable>condition_variable類類方法生產者消費者模型 -- 阻塞隊列單條件變數版condition_variable_any模板類區別優缺點 <condition_variable> 條件變數是C++11提供的另外一種用於等待的同步機制,它能阻塞一 ...
  • 大家好,我是 Java陳序員。 我們在日常生活中,有時候因為工作需要,需要發佈一些問卷調查,來統計數據,獲得反饋! 今天,給大家介紹一款開箱即用的開源問卷調查系統! 關註微信公眾號:【Java陳序員】,獲取開源項目分享、AI副業分享、超200本經典電腦電子書籍等。 項目介紹 TDuck —— 一款 ...
  • 工作中只要接觸過第三方開放平臺的都離不開 OpenApi,幾乎各大平臺都會有自己的 OpenApi 比如微信、淘寶、京東、抖音等。在 OpenApi 對接的過程中最首要的環節就是授權,獲取到平臺的授權 Token 至關重要。 ...
  • 目錄<mutex>std::call_once函數常式:使用call_once實現的單例模式std::mutex類 -- 獨占互斥鎖成員函數std::recursive_mutex類 -- 遞歸互斥鎖使用註意:描述:std::timed_mutex類 -- 超時互斥鎖描述:成員函數:std::rec ...
  • 最近筆者在實際項目開發中會頻繁涉及到服務之間的遠程調用、功能變數名稱的配置和請求的轉發等與電腦網路相關的知識。 這些其實在讀本科和考研的時候都有學習過理論,但為了更透徹地掌握便於在工作中使用,我還是決定寫一篇文章來分享實際開發中是怎麼應用的。 ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...