|
wxMaxima
|
A priority work-queue thread pool for offloading work to background threads. More...
#include "Version.h"#include <condition_variable>#include <deque>#include <functional>#include <memory>#include <mutex>#include <thread>#include <utility>#include <vector>Go to the source code of this file.
Data Structures | |
| class | BackgroundTask |
| A unit of work that has been handed to the BackgroundQueue. More... | |
| class | BackgroundQueue |
| A process-wide thread pool that runs BackgroundTasks, highest priority first. More... | |
A priority work-queue thread pool for offloading work to background threads.