Fully drain a task on removeTaskFromQueue (cancel): always zRem queued_requests + sRem processing_tasks so a cancelled/given-up task is neither counted (queue_num/queue_time) nor retried, even if it already left ml_tasks.
Fully drain a task on removeTaskFromQueue (cancel): always zRem queued_requests + sRem processing_tasks so a cancelled/given-up task is neither counted (queue_num/queue_time) nor retried, even if it already left ml_tasks.