| 61 | } |
| 62 | |
| 63 | void server_queue::defer(server_task && task) { |
| 64 | std::unique_lock<std::mutex> lock(mutex_tasks); |
| 65 | QUE_DBG("defer task, id = %d\n", task.id); |
| 66 | queue_tasks_deferred.push_back(std::move(task)); |
| 67 | time_last_task = ggml_time_ms(); |
| 68 | condition_tasks.notify_one(); |
| 69 | } |
| 70 | |
| 71 | int server_queue::get_new_id() { |
| 72 | std::unique_lock<std::mutex> lock(mutex_tasks); |
no test coverage detected