Lines Matching refs:before
153 let before = dom.Domain.conflict_credit in
154 let after = max (-1.0) (before -. 1.0) in
155 debug "decr_conflict_credit dom%d %F -> %F" (Domain.get_id dom) before after;
158 before >= !Define.conflict_burst_limit
160 let newly_paused = before > 0.0 && after <= 0.0 in
186 let before = d.Domain.conflict_credit in (* just for debug-logging *)
188 …debug "incr_conflict_credit_from_queue: dom%d: %F -> %F" (Domain.get_id d) before d.Domain.conflic…
207 let before = dom.Domain.conflict_credit in
208 let after = min (before +. 1.0) !Define.conflict_burst_limit in
210 debug "incr_conflict_credit dom%d: %F -> %F" (Domain.get_id dom) before after;
212 if before <= 0.0 && after > 0.0
215 if before < !Define.conflict_burst_limit