std::future注意点
4641 ワード
std::futureはスレッド内で非同期に値を取得するクラスで、使用時にいくつかの注意点があります.最近ネットにスレッドプールと書いてあります
テストコードは次のとおりです.
このときstd::futureは解析ブロックのためではなく、commit後に直接メイン関数がmain thread goingを印刷します.
もう一つのテストコードは以下の通りです.
このときstd::futureは析出ブロックのため、資料を調べたところ、
オブジェクトまたはプロバイダが共有状態に保持している最後の参照を返すと、共有状態がプロファイルされます.オブジェクトまたはプロバイダが共有状態に放棄した参照を返します.これらのアクションは、共有ステータスが準備になるまでブロックされません.ただし、以下が真の場合、std::asyncへの呼び出しで共有ステータスが作成され、共有ステータスがまだ準備されておらず、これは共有ステータスへの最後の参照です.
したがってstd::asyncによって作成されるとブロックされます.
#pragma once
#include
#include
#include
#include
#include
#include
#include
namespace std
{
#define MAX_THREAD_NUM 256
class threadpool
{
public:
inline threadpool(unsigned short size = 4) : stoped(false)
{
idlThrNum = size < 1 ? 1 : size;
for (size = 0; size < idlThrNum; ++size)
{
pool.emplace_back([this] {
while (!stoped)
{
std::function task;
{
std::unique_lock<:mutex> lock(m_lock);
cv_task.wait(lock, [this] { return stoped.load() || !tasks.empty(); });
if (!stoped.load() && !tasks.empty())
{
task = std::move(tasks.front());
tasks.pop();
}else{
continue;
}
}
idlThrNum--;
task();
idlThrNum++;
}
idlThrNum--;
});
}
}
inline ~threadpool()
{
stoped.store(true);
cv_task.notify_all();
for (std::thread &t : pool)
{
if (t.joinable())
{
t.join();
}
}
}
template
auto commit(F &&f, Args &&... args) -> std::future
{
if (stoped.load())
{
throw std::runtime_error("commit on Threadpool is stopped");
}
using RetType = decltype(f(args...));
auto task = std::make_shared<:packaged_task>>(std::bind(std::forward(f), std::forward(args)...));
std::future future = task->get_future();
{
std::lock_guard<:mutex> lock(m_lock);
tasks.emplace([task] {
(*task)();
});
}
cv_task.notify_one();
return future;
}
int idlCount() { return idlThrNum; }
private:
using Task = std::function; //
std::vector<:thread> pool; //
std::queue tasks; //
std::mutex m_lock; //
std::condition_variable cv_task; //
std::atomic stoped; //
std::atomic idlThrNum; //
};
} // namespace std
テストコードは次のとおりです.
try
{
std::threadpool pool(std::thread::hardware_concurrency() * 2);
{
std::future result = pool.commit([] {
unsigned long long total = 0;
for (int i = 0; i < 5; i++)
{
std::this_thread::sleep_for(std::chrono::seconds(1));
std::cout << "task execute" << std::endl;
}
std::cout << "task finished" << std::endl;
});
// result.get();
}
std::cout << "main thread going" << std::endl;
char c = ::getchar();
}
catch (const std::exception &e)
{
std::cout << e.what() << std::endl;
}
このときstd::futureは解析ブロックのためではなく、commit後に直接メイン関数がmain thread goingを印刷します.
もう一つのテストコードは以下の通りです.
{
std::future
, ;
;
, : std::async , , this 。
std::future result = std::async(std::launch::async, [] {
std::this_thread::sleep_for(std::chrono::seconds(3));
std::cout << "async finished" << std::endl;
return 3;
});
}
std::cout << "main going" << std::endl;
このときstd::futureは析出ブロックのため、資料を調べたところ、
オブジェクトまたはプロバイダが共有状態に保持している最後の参照を返すと、共有状態がプロファイルされます.オブジェクトまたはプロバイダが共有状態に放棄した参照を返します.これらのアクションは、共有ステータスが準備になるまでブロックされません.ただし、以下が真の場合、std::asyncへの呼び出しで共有ステータスが作成され、共有ステータスがまだ準備されておらず、これは共有ステータスへの最後の参照です.
したがってstd::asyncによって作成されるとブロックされます.