《C++併發編程實戰》讀書筆記(1):線程管控

来源:https://www.cnblogs.com/moonzzz/archive/2023/09/02/17668338.html
-Advertisement-
Play Games

## 1、線程的基本管控 包含頭文件``後,通過構建`std::thread`對象啟動線程,任何可調用類型都適用於`std::thread`。 ```c++ void do_some_work(); struct BackgroundTask { void operator()() const; } ...


1、線程的基本管控

包含頭文件<thread>後,通過構建std::thread對象啟動線程,任何可調用類型都適用於std::thread

void do_some_work();

struct BackgroundTask
{
    void operator()() const;
};

//空的thread對象,不接管任何線程函數
std::thread t1;

//傳入普通函數
std::thread t2(do_some_work);

//傳入lambda函數
std::thread t3([]() { /*do something*/ });

//傳入可調用對象
BackgroundTask task;
std::thread t4(task);
//不能使用std::thread t4(BackgroundTask()),雖然本意是傳入臨時變數,但這會被編譯器解釋成函數聲明。多用一對圓括弧或者使用列表初始化可以解決這個問題。
std::thread t5((BackgroundTask()));
std::thread t6{BackgroundTask()};

啟動線程後,需要明確是等待它結束、還是任由它獨自運行:

  • 調用成員函數join()會先等待線程結束,然後隸屬於該線程的任何存儲空間都會被清除,std::thread對象不再關聯到已結束的線程。
  • 調用成員函數detach()會分離線程使其在後臺運行,此後無法獲得與它關聯的std::thread對象。分離線程的歸屬權和控制權都轉移給了C++運行時庫,線程退出時與之關聯的資源會被正確回收。

調用了join()或是detach()之後,其joinable()方法將返回false,所以也就不能再調用join()。不能對空的std::thread對象調用join()或是detach()。如果線程啟動後既不調用join()也不調用detach(),那麼當std::thread對象銷毀時,其析構函數將調用std::terminate()終止整個程式。

2、向線程函數傳遞參數

若需向線程上的函數傳遞參數,直接向std::thread的構造函數添加更多參數即可。線程具有內部存儲空間,參數會按照預設方式先複製到該處,然後這些副本被當作臨時變數,以右值形式傳遞給線程上的函數。即使函數的相關參數按設想應該是引用,上述過程依然會發生。

void f(int i, const std::string& s);
std::thread t(f, 3, "hello");

上述代碼在新線程上調用f(3, "hello"),儘管f()的第二個參數是std::string類型,但字元串內容仍然以指針const char*的形式傳入,直到進入新線程的上下文環境後才轉換為std::string類型。所以如果參數是指針,需要特別註意其生命周期,否則可能導致嚴重問題,例如:

void f(int i, const std::string& s);

void oops(int param)
{
    char buffer[1024];
    sprintf(buffer, "%d", param);
    std::thread t(f, 3, buffer);
    t.detach();
}

buffer是指向局部數組的指針,我們原本設想buffer會在新線程內轉換成std::string對象,但在此完成之前,oops()函數很有可能已經退出,導致局部數組被銷毀從而引發未定義的行為。這一問題的根源在於:std::thread的構造函數原樣複製所提供的值,並未立即將其轉換成預期的參數類型,等到轉換髮生時,指針可能已經失效。所以解決方法就是,在buffer傳入std::thread的構造函數之前,就先把它轉換成std::string對象:

std::thread t(f, 3, std::string(buffer));

除了指針外,傳遞引用也需要小心。例如我們想要的是非const引用:

void update_widget_data(WidgetData& data);

void oops()
{
    WidgetData data;
    std::thread t(update_widget_data, data);
    t.join();
}

根據update_widget_data函數的聲明,參數需要以引用的方式傳入,但std::thread的構造函數對此卻毫不知情,它忽略了函數所期望的參數類型,直接複製了我們提供的值。然而,線程庫的內部代碼會把參數的副本(std::thread構造時由對象data複製得出,位於新線程的內部存儲空間)以右值的形式傳遞給update_widget_data函數,所以這段代碼會編譯失敗,因為不能向非const引用傳遞右值。解決方法就是使用std::ref()函數加以包裝,這樣傳遞給update_widget_data函數的就是指向data的引用,代碼就能編譯成功:

std::thread t(update_widget_data, std::ref(data));

要將某個類的成員函數設為線程函數,我們需要給出合適的對象指針作為第一個參數,成員函數的參數放在其後的位置。

class X
{
public:
    void do_lengthy_work();
}

X my_x;
std:thread t(&X::do_lengthy_work, &my_x);

對於只能移動、不能複製的對象,傳遞參數時需要使用std::move()來轉移歸屬權。在下麵的例子中,BigObject對象的歸屬權會發生轉移,先進入新創建的線程的內部存儲空間,再轉移給process_big_object()函數。

void process_big_object(std::unique_ptr<BigObject>);

std::unique_ptr<BigObject> p(new BigObject);
std::thread t(process_big_object, std::move(p));

3、移交線程歸屬權

std::thread不能複製,但支持移動語義。對於一個具體的執行線程,其歸屬權可以在多個std::thread實例之間轉移。

void some_function();

void some_other_function();

std::thread t1(some_function);
std::thread t2 = std::move(t1); //將線程的歸屬權顯式地轉移給t2
t1 = std::thread(some_other_function); //線程原本與std::thread臨時對象關聯,其歸屬權隨即轉移給t1
std::thread t3; //按預設方式構造,未關聯任何線程
t3 = std::move(t2); //t2原本關聯的線程的歸屬權轉移給t3
//經過上面這些轉移,t1與運行some_other_function的線程關聯,t2沒有關聯線程,t3與運行some_function的線程關聯

t1 = std::move(t3); //在這次轉移之時,t1已經關聯運行some_other_function的線程,因此std::thread的析構函數中會調用std::terminate(),終止整個程式。所以只要std::thread對象還在管控著一個線程,就不能簡單地向它賦新值。

因為std::thread支持移動語義,所以只要容器同樣知悉移動意圖,就可以裝載std::thread對象。因此我們可以寫出下列代碼,生成多個線程,然後等待它們運行完成。

void do_work(unsigned id);

void foo()
{
    std::vector<std::thread> threads;
    for (unsigned i = 0; i < 20; ++i)
    {
        threads.push_back(std::thread(do_work, i));
    }
    for (auto& entry : threads)
    {
        entry.join();
    }
}

4、識別線程

使用C++標準庫的std::thread::hardware_concurrency()函數可以獲取系統中邏輯處理器的數量。如果信息無法獲取,該函數可能返回0。

線程ID的類型是std::thread::id,它有兩種獲取方法:

  • 在與線程關聯的std::thread對象上調用成員函數get_id(),即可得到該線程的ID。如果std::thread對象沒有關聯任何執行線程,則調用get_id()返回的是按預設構造方式生成的std::thread::id對象,表示“線程不存在”。
  • 當前線程的ID可以通過調用std::this_thread::get_id()獲取。

std::thread::id對象可以支持很多種操作:

  • 可隨意進行複製操作或比較運算。
  • 可用作關聯容器(std::setstd::mapstd::multisetstd::multimap)的鍵值,無序關聯容器(std::unordered_setstd::unordered_mapstd::unordered_multisetstd::unordered_multimap)的鍵值,或用於排序。
  • 寫到輸出流,例如std::cout << std::this_thread::get_id();

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

-Advertisement-
Play Games
更多相關文章
  • ## Gateway 簡介 Spring Cloud Gateway 基於 Spring 5、Spring Boot 2 和 Project Reactor 等技術,是在 Spring 生態系統之上構建的 API 網關服務,Gateway 旨在提供一種簡單而有效的方式來對 API 進行路由以及提供一 ...
  • 如何在Python中進行素因式分解。 ### 質因數分解的概述 在數學中,一個數的因數是指那些可以除以給定數並留下零餘數的數字。 質數是只有兩個因數的獨特數字,一個和數字本身。這類數字的一些例子是3,7,11,13,等等。 素數因數化是指找到所有乘以原數的素數。我們可以考慮一個簡單的例子:數字6。 ...
  • 在測試並行開發(TPD)中,代碼開發是第一位的。儘管如此,我們還是要寫出開發的測試,並執行它們來驗證代碼的準確性(而不是直接運行代碼或使用控制台)。 在Python中,我們有一個叫做單元測試的過程,裡面有mock 和patch 函數。這篇文章將討論這兩個角色的用途和區別。 ### Mock 和Pat ...
  • # 字元串擴展 ## 1、字元串的三種定義方式 單引號,雙引號,三引號 ``` a='abc'; b="sdf"; c='''ewrc'''; print(a,b,c); ``` ## 2、字元串的拼接 ``` #字元串字面量之間的拼接 print("我是一名"+"大學生"+","+"學習智能醫學工 ...
  • 今天學習了spring cloud 中的註冊中心——eureka,作為微服務的註冊中心,eureka需要對服務的可用狀態進行一個體現。直觀的體現方式就是在eureka啟動後的ui界面上可以看到服務的是否可用。 在某一個時刻下,如果後端某一個服務不可用了,eureka不會立即將其從ui界面上刪除。而是 ...
  • **原文鏈接:** [go-zero 的自適應熔斷器](https://mp.weixin.qq.com/s/r1kTYUK_r-JalvhzAKKQwg) 上篇文章我們介紹了微服務的限流,詳細分析了計數器限流和令牌桶限流演算法,這篇文章來說說熔斷。 熔斷和限流還不太一樣,限流是控制請求速率,只要還能 ...
  • ## 標準庫 `cmp` 原文在[這裡](https://pkg.go.dev/cmp) go 1.21 新增 `cmp` 包提供了與有序變臉比較相關的類型和函數。 ### Ordered 定義如下: ```go type Ordered interface { ~int | ~int8 | ~in ...
  • ### 歡迎訪問我的GitHub > 這裡分類和彙總了欣宸的全部原創(含配套源碼):[https://github.com/zq2599/blog_demos](https://github.com/zq2599/blog_demos) ### 題目描述 - 難度:**困難** - 編程語言:Jav ...
一周排行
    -Advertisement-
    Play Games
  • 1、預覽地址:http://139.155.137.144:9012 2、qq群:801913255 一、前言 隨著網路的發展,企業對於信息系統數據的保密工作愈發重視,不同身份、角色對於數據的訪問許可權都應該大相徑庭。 列如 1、不同登錄人員對一個數據列表的可見度是不一樣的,如數據列、數據行、數據按鈕 ...
  • 前言 上一篇文章寫瞭如何使用RabbitMQ做個簡單的發送郵件項目,然後評論也是比較多,也是準備去學習一下如何確保RabbitMQ的消息可靠性,但是由於時間原因,先來說說設計模式中的簡單工廠模式吧! 在瞭解簡單工廠模式之前,我們要知道C#是一款面向對象的高級程式語言。它有3大特性,封裝、繼承、多態。 ...
  • Nodify學習 一:介紹與使用 - 可樂_加冰 - 博客園 (cnblogs.com) Nodify學習 二:添加節點 - 可樂_加冰 - 博客園 (cnblogs.com) 介紹 Nodify是一個WPF基於節點的編輯器控制項,其中包含一系列節點、連接和連接器組件,旨在簡化構建基於節點的工具的過程 ...
  • 創建一個webapi項目做測試使用。 創建新控制器,搭建一個基礎框架,包括獲取當天日期、wiki的請求地址等 創建一個Http請求幫助類以及方法,用於獲取指定URL的信息 使用http請求訪問指定url,先運行一下,看看返回的內容。內容如圖右邊所示,實際上是一個Json數據。我們主要解析 大事記 部 ...
  • 最近在不少自媒體上看到有關.NET與C#的資訊與評價,感覺大家對.NET與C#還是不太瞭解,尤其是對2016年6月發佈的跨平臺.NET Core 1.0,更是知之甚少。在考慮一番之後,還是決定寫點東西總結一下,也回顧一下.NET的發展歷史。 首先,你沒看錯,.NET是跨平臺的,可以在Windows、 ...
  • Nodify學習 一:介紹與使用 - 可樂_加冰 - 博客園 (cnblogs.com) Nodify學習 二:添加節點 - 可樂_加冰 - 博客園 (cnblogs.com) 添加節點(nodes) 通過上一篇我們已經創建好了編輯器實例現在我們為編輯器添加一個節點 添加model和viewmode ...
  • 前言 資料庫併發,數據審計和軟刪除一直是數據持久化方面的經典問題。早些時候,這些工作需要手寫複雜的SQL或者通過存儲過程和觸發器實現。手寫複雜SQL對軟體可維護性構成了相當大的挑戰,隨著SQL字數的變多,用到的嵌套和複雜語法增加,可讀性和可維護性的難度是幾何級暴漲。因此如何在實現功能的同時控制這些S ...
  • 類型檢查和轉換:當你需要檢查對象是否為特定類型,並且希望在同一時間內將其轉換為那個類型時,模式匹配提供了一種更簡潔的方式來完成這一任務,避免了使用傳統的as和is操作符後還需要進行額外的null檢查。 複雜條件邏輯:在處理複雜的條件邏輯時,特別是涉及到多個條件和類型的情況下,使用模式匹配可以使代碼更 ...
  • 在日常開發中,我們經常需要和文件打交道,特別是桌面開發,有時候就會需要載入大批量的文件,而且可能還會存在部分文件缺失的情況,那麼如何才能快速的判斷文件是否存在呢?如果處理不當的,且文件數量比較多的時候,可能會造成卡頓等情況,進而影響程式的使用體驗。今天就以一個簡單的小例子,簡述兩種不同的判斷文件是否... ...
  • 前言 資料庫併發,數據審計和軟刪除一直是數據持久化方面的經典問題。早些時候,這些工作需要手寫複雜的SQL或者通過存儲過程和觸發器實現。手寫複雜SQL對軟體可維護性構成了相當大的挑戰,隨著SQL字數的變多,用到的嵌套和複雜語法增加,可讀性和可維護性的難度是幾何級暴漲。因此如何在實現功能的同時控制這些S ...