pub fn pick_machine<const NV: usize>(
vm_free: [b32; NV],
has_free: [bool; NV],
) -> (bool, b8)Expand description
The verify machine a new request goes to: the one with the most free contexts, the lowest index on a tie (R-11). Fixed priority filled machine 0’s 32 contexts before any other, so with the uBFT service’s 16 tags outstanding a second machine never received work.