退回到 b7516 版本

tools/server/server-queue.h

@@ -44,8 +44,7 @@ public:
     int get_new_id();
 
     // Call when the state of one slot is changed, it will move one task from deferred to main queue
-    // prioritize tasks that use the specified slot (otherwise, pop the first deferred task)
-    void pop_deferred_task(int id_slot);
+    void pop_deferred_task();
 
     // if sleeping, request exiting sleep state and wait until it is done
     // returns immediately if not sleeping
@@ -125,7 +124,7 @@ public:
     // add the id_task to the list of tasks waiting for response
     void add_waiting_task_id(int id_task);
 
-    void add_waiting_task_ids(const std::unordered_set<int> & id_tasks);
+    void add_waiting_tasks(const std::vector<server_task> & tasks);
 
     // when the request is finished, we can remove task associated with it
     void remove_waiting_task_id(int id_task);