![]() |
MySQL 26.7.0
Source Code Documentation
|
#include <cstdint>#include <limits>#include <memory>#include <ostream>#include "mysql/scheduler/task_id.h"Go to the source code of this file.
Classes | |
| class | mysql::scheduler::Scheduler_clock |
| Interface for clock implementations scheduler uses to schedule tasks. More... | |
Namespaces | |
| namespace | mysql |
| namespace | mysql::scheduler |
Typedefs | |
| using | mysql::scheduler::Scheduler_clock_ptr = std::shared_ptr< Scheduler_clock > |
Enumerations | |
| enum class | mysql::scheduler::Scheduler_dependency_type { mysql::scheduler::end_to_start , mysql::scheduler::start_to_start } |
Variables | |
| constexpr std::size_t | mysql::scheduler::clock_unblock_delta {4} |
| When unblocking, we tweak clock by this count. More... | |