Lines Matching refs:queue
26 (* Domains queue up to regain conflict-credit; we have a queue for
28 maximum credit, and another queue for domains that have run out of
70 * from max-credit to paused without getting into the penalty queue. *)
75 (* Functions to handle queues of domains given that the domain might be deleted while in a queue. *)
76 let push dom queue =
77 Queue.push (ref (Some dom)) queue
79 let rec pop queue =
80 match !(Queue.pop queue) with
81 | None -> pop queue
84 let remove_from_queue dom queue =
87 | Some x -> if x=dom then d := None) queue
190 push d q (* Make it queue up again for its next point of credit. *)