| 114 | } |
| 115 | |
| 116 | void ThreadedSchedulingAgent::stop() { |
| 117 | SchedulingAgent::stop(); |
| 118 | std::lock_guard<std::mutex> lock(mutex_); |
| 119 | for (const auto& processor_id : processors_running_) { |
| 120 | logger_->log_error("SchedulingAgent is stopped before processor was unscheduled: %s", processor_id.to_string()); |
| 121 | thread_pool_.stopTasks(processor_id.to_string()); |
| 122 | } |
| 123 | } |
| 124 | |
| 125 | void ThreadedSchedulingAgent::unschedule(std::shared_ptr<core::Processor> processor) { |
| 126 | std::lock_guard<std::mutex> lock(mutex_); |