(instance_id: u64)
| 294 | } |
| 295 | |
| 296 | fn take_latest_request(instance_id: u64) -> Option<GpuPickRequest> { |
| 297 | let mut map = registry().lock().unwrap(); |
| 298 | map.get_mut(&instance_id).and_then(|e| e.latest_req.take()) |
| 299 | } |
| 300 | |
| 301 | fn publish_result(instance_id: u64, res: GpuPickResult) { |
| 302 | let mut map = registry().lock().unwrap(); |