Function build_g_array

crates/ffi/src/aiur/protocol.rs:662–668

Build a Lean `Array G` from a slice of field elements.

(values: &[G])

    // Admit-when-alone: a shard whose estimate alone exceeds the
    // budget must still run (by itself) rather than deadlock.
    while *used > 0 && *used + bytes > self.budget {
      used = self.cv.wait(used).unwrap();
    }
    *used += bytes;
  }

  fn release(&self, bytes: usize) {
    *self.reserved.lock().unwrap() -= bytes;
    self.cv.notify_all();
  }