|
threadman 0.1.0
Header-only C++23 managed threads, dynamic pools, futures, and executors
|
#include <thread.hpp>

Public Attributes | |
| std::string | name |
| std::optional< std::uint64_t > | pool_id |
| bool | is_core = true |
| ThreadManager * | manager = nullptr |
| bool threadman::ManagedThread::Options::is_core = true |
| ThreadManager* threadman::ManagedThread::Options::manager = nullptr |
| std::string threadman::ManagedThread::Options::name |
| std::optional<std::uint64_t> threadman::ManagedThread::Options::pool_id |