Lines Matching refs:dom
78 let push dom queue =
79 Queue.push (ref (Some dom)) queue
86 let remove_from_queue dom queue =
89 | Some x -> if x=dom then d := None) queue
111 let dom = Hashtbl.find doms.table id in
112 Domain.close dom;
114 if dom.Domain.conflict_credit <= !Define.conflict_burst_limit
116 remove_from_queue dom doms.doms_with_conflict_penalty;
117 if (dom.Domain.conflict_credit <= 0.) then remove_from_queue dom doms.doms_conflict_paused
127 let dom = Domain.make domid mfn port interface doms.eventchn in
128 Hashtbl.add doms.table domid dom;
129 Domain.bind_interdomain dom;
130 dom
147 let dom = Domain.make 0 Nativeint.zero port interface doms.eventchn in
148 Hashtbl.add doms.table 0 dom;
149 Domain.bind_interdomain dom;
150 Domain.notify dom;
151 dom
153 let decr_conflict_credit doms dom =
154 dom.Domain.caused_conflicts <- Int64.add 1L dom.Domain.caused_conflicts;
155 let before = dom.Domain.conflict_credit in
157 debug "decr_conflict_credit dom%d %F -> %F" (Domain.get_id dom) before after;
158 dom.Domain.conflict_credit <- after;
167 push dom doms.doms_with_conflict_penalty
171 push dom doms.doms_conflict_paused;
190 …debug "incr_conflict_credit_from_queue: dom%d: %F -> %F" (Domain.get_id d) before d.Domain.conflic…
208 let inc dom =
209 let before = dom.Domain.conflict_credit in
211 dom.Domain.conflict_credit <- after;
212 debug "incr_conflict_credit dom%d: %F -> %F" (Domain.get_id dom) before after;