nx_swarm_pack_queue_gate_t68.nx source
↩ module page · 33 lines · 1658 B
1// ORIGINAL. Isolated resource-vector regression: no worker dispatch or hardware writes.
2import "nx_swarm_pack_queue_t68.nx"
3import "nx_gate_verdict.nx"
4func main()->i64 {
5 let ctr:*i64=gv_ctr()
6 gv_head("SWARM-PACK-QUEUE" as *u8)
7 let pc:*i64=sys_mmap(32) as *i64
8 let pr:*i64=sys_mmap(32) as *i64
9 let pg:*i64=sys_mmap(32) as *i64
10 let pv:*i64=sys_mmap(32) as *i64
11 let dc:*i64=sys_mmap(32) as *i64
12 let dr:*i64=sys_mmap(32) as *i64
13 let dg:*i64=sys_mmap(32) as *i64
14 let dv:*i64=sys_mmap(32) as *i64
15 let a:*i64=sys_mmap(32) as *i64
16 pc[0]=1000;pr[0]=1000;pg[0]=0;pv[0]=0
17 dc[0]=100;dr[0]=2000;dg[0]=0;dv[0]=0
18 dc[1]=100;dr[1]=100;dg[1]=0;dv[1]=0
19 let mixed:i64=sk_pack(pc,pr,pg,pv,1,dc,dr,dg,dv,2,a)
20 gv_check("oversized RAM job stays queued while smaller job runs" as *u8,mixed==1&&a[0]== -1&&a[1]==0,ctr)
21 gv_check("queued job consumes no supply" as *u8,pc[0]==900&&pr[0]==900,ctr)
22 pc[0]=0;pr[0]=0
23 let none:i64=sk_pack(pc,pr,pg,pv,1,dc,dr,dg,dv,2,a)
24 gv_check("exhausted pool returns both jobs queued" as *u8,none==0&&a[0]== -1&&a[1]== -1,ctr)
25 let absent:i64=sk_pack(pc,pr,pg,pv,0,dc,dr,dg,dv,2,a)
26 gv_check("empty pool terminates without placement" as *u8,absent==0&&a[0]== -1&&a[1]== -1,ctr)
27 pc[0]=1000;pr[0]=1000;pg[0]=1;pv[0]=500
28 dr[0]=100;dg[0]=1;dv[0]=600
29 let gpu:i64=sk_pack(pc,pr,pg,pv,1,dc,dr,dg,dv,2,a)
30 gv_check("GPU shortfall queues GPU job and permits CPU job" as *u8,gpu==1&&a[0]== -1&&a[1]==0&&pv[0]==500,ctr)
31 gv_check("existing heterogeneous fixture retained" as *u8,sk_gate()==0,ctr)
32 return gv_verdict("SWARM-PACK-QUEUE" as *u8,ctr,"private vectors; no fresh-device, live VRAM, reservation or remote execution proof" as *u8)
33}