nx_lease_lib.nx

buildroot/runtime/nx_lease_lib.nx

25315 B492 linesdepth 6pulls 6 transitivereach 23 importersview sourcekind library

docs dependencies structs consts functions

about

nx_lease_lib.nx -- THE SOVEREIGN LEASE PRIMITIVE as a LIBRARY (extracted VERBATIM from the NAS nx_lease.nx, sha c9eaf727, 2026-09-03, so organs can COMPOSE it instead of forking nx_lease.elf per acquire). Semantics unchanged: first claim by O_CREAT|O_EXCL after an atomic mkdir; takeover of a stale/released lease arbitrated by mkdir on a MONOTONIC GENERATION (stamp field 5 -- never a nonce, see the reverted 2026-08-08 wedge in ls_claim); RELEASE flips the stamp to released and NEVER unlinks (lock dirs are additive). Stamp = one line: held|released<TAB>owner<TAB>epoch<TAB>ttl<TAB>generation NEW here: *_root variants so a caller pins ONE lease root regardless of its CWD, and ls_holder_of for pools that reclaim a dead holder by the OWNER it wrote. nx_lease.nx = this + its CLI main (incl. the forked-racer tooth 8). license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 2 imports · 4 importers

imports: nx_syscalls.nxnx_srcfresh.nx

imported by: nx_bright_rewrite_lib.nxnx_heavyio_lib.nxnx_lease.nxnx_lease_wedge_gate.nx

structs

none

consts

12	const LS_MAGIC_3600: i64 = 3600
14	const LS_STDERR: i64 = 2
15	const LS_PATHCAP: i64 = 256
16	const LS_STAMPCAP: i64 = 512
17	const LS_MODE: i64 = 0x1a4
18	const LS_DMODE: i64 = 0x1ed
19	const LS_MKDIRAT: i64 = 258
20	const LS_ATFDCWD: i64 = 0 - 100
21	const LS_GETPID: i64 = 172
22	const LS_TAB: i64 = 9
23	const LS_NL: i64 = 10
24	const LS_D0: i64 = 48
25	const LS_D9: i64 = 57
26	const LS_B10: i64 = 10
27	const LS_NUMB: i64 = 24
28	const LS_EXIT_USAGE: i64 = 2
29	const LS_EXIT_BUSY: i64 = 3
30	const LS_EXIT_IO: i64 = 4
31	const LS_EXIT_SELF: i64 = 5
32	const LS_V_A: i64 = 97
33	const LS_V_R: i64 = 114
34	const LS_V_C: i64 = 99
35	const LS_V_S: i64 = 115
36	const LS_NONCE_MOD: i64 = 1000000
102	const LS_OPENAT: i64 = 257
103	const LS_O_EXCL_WR: i64 = 0xc1
118	const LS_DEFAULT_ROOT: *u8 = "knowledge/lease/"
267	const LS_ORPHAN_MIN_S: i64 = 30
268	const LS_UNLINKAT: i64 = 263
269	const LS_AT_REMOVEDIR: i64 = 512

functions

38	func ls_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 1: ls_werr
39	func ls_werr(s: *u8) -> i64 { sys_write(LS_STDERR, s, ls_slen(s)); return 0 } called by 2: main ls_claim_takeover calls 2: sys_write ls_slen
40	func ls_wn(v: i64) -> i64 called by 1: main calls 2: sys_write sys_mmap
53	func ls_cat(d: u8, off: i64, s: u8) -> i64 called by 7: main ls_dirpath_root ls_claim ls_claim_takeover ls_claim_x ls_stamp_path+1
59	func ls_catn(d: *u8, off: i64, v: i64) -> i64 called by 6: main main ls_claim ls_claim_takeover ls_claim_x ls_unclaim calls 1: sys_mmap
71	func ls_eq(a: u8, b: u8) -> i64 called by 1: ls_release_root
78	func ls_name_ok(s: *u8) -> i64 called by 1: main
104	func ls_open_excl(p: *u8) -> i64 { return __syscall(LS_OPENAT, LS_ATFDCWD, p as i64, LS_O_EXCL_WR, LS_MODE, 0, 0) } called by 1: ls_claim
108	func ls_mkdir(p: *u8) -> i64 { return __syscall(LS_MKDIRAT, LS_ATFDCWD, p as i64, LS_DMODE, 0, 0, 0) } called by 5: br_run_split hio_pool_acquire ls_claim_takeover ls_acquire_root ls_acquire
111	func ls_dirpath_root(root: u8, name: u8, out: *u8) -> i64 called by 5: ls_probe_roots ls_dirpath ls_acquire_root ls_release_root ls_holder_of calls 1: ls_cat
119	func ls_dirpath(name: u8, out: u8) -> i64 { return ls_dirpath_root(LS_DEFAULT_ROOT, name, out) } calls 1: ls_dirpath_root
120	func ls_read(path: u8, buf: u8, cap: i64) -> i64 called by 4: ls_probe_roots ls_acquire_root ls_release_root ls_holder_of calls 3: sys_openat_rd sys_read sys_close
140	func ls_parse2(buf: u8, n: i64, ob: u8, obcap: i64) -> i64 called by 3: ls_acquire_root ls_release_root ls_holder_of
189	func ls_claim(dir: u8, owner: u8, ttl: i64, gen: i64, gate: i64) -> i64 called by 1: ls_acquire_root calls 9: sys_mmap ls_cat ls_catn sys_now_realtime_sec ls_open_excl sys_write+3
270	func ls_rmdir(p: *u8) -> i64 { return __syscall(LS_UNLINKAT, LS_ATFDCWD, p as i64, LS_AT_REMOVEDIR, 0, 0, 0) } called by 3: ls_claim_takeover lw_clearlock lw_clearroot
271	func ls_orphan_age_s(ttl: i64) -> i64 { if ttl > LS_ORPHAN_MIN_S { return ttl } return LS_ORPHAN_MIN_S } called by 2: ls_claim main
273	func ls_path_age_s(p: *u8) -> i64 called by 1: ls_claim_takeover calls 2: sf_mtime_ns sys_now_realtime_sec
280	func ls_claim_takeover(dir: u8, sp: u8, sb: *u8, so: i64, gen: i64, gate: i64, orphan_age_s: i64) -> i64 called by 2: ls_claim ls_claim_x calls 13: sys_mmap ls_cat ls_catn ls_pid sys_openat_wr sys_write+7
311	func ls_claim_x(dir: u8, owner: u8, ttl: i64, gen: i64, gate: i64, orphan_age_s: i64) -> i64 called by 1: main calls 5: sys_mmap ls_cat ls_catn sys_now_realtime_sec ls_claim_takeover
334	func ls_stamp_path(dir: u8, out: u8) -> i64 called by 5: ls_probe_roots ls_unclaim ls_acquire_root ls_release_root ls_holder_of calls 1: ls_cat
341	func ls_unclaim(dir: u8, owner: u8, nonce: i64) -> i64 called by 1: ls_release_root calls 9: sys_mmap ls_stamp_path ls_cat ls_catn sys_now_realtime_sec sys_openat_wr+3
372	func ls_pid() -> i64 { return __syscall(LS_GETPID, 0, 0, 0, 0, 0, 0) } called by 9: main br_owner main hg_fx_paths main hio_owner+3
374	func ls_acquire_root(root: u8, name: u8, owner: u8, ttl: i64, hb: u8) -> i64 called by 5: main br_run_split hio_pool_acquire main ls_acquire calls 9: ls_mkdir sys_mmap ls_dirpath_root ls_pid sys_now_realtime_sec ls_claim+3
452	func ls_release_root(root: u8, name: u8, owner: *u8) -> i64 called by 7: main br_run_split main hio_pool_acquire hio_pool_release main+1 calls 7: sys_mmap ls_dirpath_root ls_stamp_path ls_read ls_parse2 ls_eq+1
474	func ls_acquire(name: u8, owner: u8, ttl: i64, hb: *u8) -> i64 called by 2: main main calls 2: ls_mkdir ls_acquire_root
478	func ls_release(name: u8, owner: u8) -> i64 { return ls_release_root(LS_DEFAULT_ROOT, name, owner) } called by 2: main main calls 1: ls_release_root
482	func ls_holder_of(root: u8, name: u8, hb: *u8) -> i64 calls 5: sys_mmap ls_dirpath_root ls_stamp_path ls_read ls_parse2