_si_walk_probe2.nx source

1// _si_walk_probe2.nx -- DIAGNOSTIC REPRO step 2: same walk but STRUCT-FREE (raw-offset 2// dirent_reclen/dirent_type/dirent_name from nx_syscalls.nx; no NxDirent, no nx_dirent import). 3// probe1 (struct path) crashed signal-11 after open; if THIS passes, root cause = NxDirent 4// struct-on-stack/&d under nx_cc_sovereign -> file as compiler issue; emitter uses raw path. 5// license_tier: ORIGINAL 6import "nx_syscalls.nx" 7func _p(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } 8func _pn(v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m;sys_write(1,"-" as *u8,1)}; let t: *u8=sys_mmap(28); var k: i64=0; if m==0{t[0]=48;k=1}; while m>0{t[k]=48+(m%10);m=m/10;k=k+1}; var i: i64=0; while i<k{bb[i]=t[k-1-i];i=i+1}; sys_write(1,bb,k); return 0 } 9func wp_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } 10func wp_read(path: *u8, buf: *u8, cap: i64) -> i64 { 11 let fd2: i64 = sys_openat_rd(path) 12 if fd2 < 0 { return 0 - 1 } 13 var total: i64 = 0 14 var go: i64 = 1 15 while go == 1 { 16 let base: i64 = buf as i64 17 let n: i64 = sys_read(fd2, (base + total) as *u8, cap - total) 18 if n <= 0 { go = 0 } else { total = total + n } 19 if total >= cap { go = 0 } 20 } 21 sys_close(fd2) 22 return total 23} 24func main() -> i64 { 25 _p("walk-probe2: start (struct-free)\n" as *u8) 26 let dfd: i64 = sys_openat_rd("runtime" as *u8) 27 _p("open dfd=" as *u8); _pn(dfd); _p("\n" as *u8) 28 if dfd < 0 { sys_exit(1); return 1 } 29 let dirbuf: *u8 = sys_mmap(1048640) 30 let pathbuf: *u8 = sys_mmap(4096) 31 let filebuf: *u8 = sys_mmap(4194320) 32 _p("bufs mapped\n" as *u8) 33 var nfiles: i64 = 0 34 var nbytes: i64 = 0 35 var nbatch: i64 = 0 36 var done: i64 = 0 37 while done == 0 { 38 let nb: i64 = sys_getdents64(dfd, dirbuf, 1048576) 39 if nbatch == 0 { _p("first getdents nb=" as *u8); _pn(nb); _p("\n" as *u8) } 40 nbatch = nbatch + 1 41 if nb <= 0 { done = 1 } 42 else { 43 var off: i64 = 0 44 while off < nb { 45 let base: i64 = dirbuf as i64 46 let rec: *u8 = (base + off) as *u8 47 let rl: i64 = dirent_reclen(rec) 48 if rl <= 0 { off = nb } 49 else { 50 let name: *u8 = dirent_name(rec) 51 let nl: i64 = wp_slen(name) 52 var isnx: i64 = 0 53 if nl > 3 { 54 if name[nl-3] == (46 as u8) { if name[nl-2] == (110 as u8) { if name[nl-1] == (120 as u8) { isnx = 1 } } } 55 } 56 if isnx == 1 { 57 var p: i64 = 0 58 let pre: *u8 = "runtime/" as *u8 59 while pre[p] != (0 as u8) { pathbuf[p] = pre[p]; p = p + 1 } 60 var q: i64 = 0 61 while q < nl { pathbuf[p] = name[q]; p = p + 1; q = q + 1 } 62 pathbuf[p] = 0 as u8 63 let fl: i64 = wp_read(pathbuf, filebuf, 4194304) 64 if fl > 0 { nfiles = nfiles + 1; nbytes = nbytes + fl } 65 } 66 off = off + rl 67 } 68 } 69 } 70 } 71 sys_close(dfd) 72 _p("walk-probe2: nx-files=" as *u8); _pn(nfiles); _p(" bytes=" as *u8); _pn(nbytes); _p(" batches=" as *u8); _pn(nbatch); _p("\n" as *u8) 73 if nfiles > 5000 { sys_exit(0); return 0 } 74 sys_exit(1); return 1 75}