A mechanic that keeps many of something keeps them as rows of a Table<T> rather than a list it scans. Removal swaps the last row in; a handle (22-bit slot, 9-bit generation) goes stale when its entity is removed. tb_set_f / tb_set_xz / tb_set_i stamp a change tick and refile the row in every index over that column in O(1): tb_grid (a doubly linked spatial hash, rings outward for nearest, rehashing as it grows), tb_index (a cached query: the rows of each value of a kind column, gated by an active column), tb_nearest_of / tb_within_of (a rare kind from its own list), tb_nearest_where (a predicate on the record), tb_within_recs (into the caller's list), tb_changed_since / tb_added_since, IntMap. No question allocates or writes: Ludic frees nothing, and the old lists' per-call copies leaked every frame. ludic.things keeps its Things as a Table<Thing> with x, z, kind and active as columns; every verb writes the record and the row together (a Thing carries its handle and table, so thing_hide(t) still needs no state), thing_set_on / thing_set_xz / thing_place_at are the silent forms the game used to do by assignment, and things_verify holds the columns against the records. things_near(_of) fill a caller's list, thing_of_kind walks a kind, things_count_of counts one, and things_tick visits only the kinds that tick. thing_find answers the first-placed by uid. Against a []Record scanned (M4 Pro): nearest 0.37 / 1.5 / 7.2 us at 10k / 100k / 1M (list 30 / 307 / 3075), by id 0.09 us at 100k (list 17), a move refiled in 11-44 ns. ecs_fuzz_test holds the grid, the kind index and the record queries against a scan through 9000 random changes. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
110 lines
3.8 KiB
Text
110 lines
3.8 KiB
Text
# queries.ludic - where the Things are, answered by the table's indexes rather than a scan. Only
|
|
# active Things answer, except thing_by_uid and things_each_all, which ask about everything that
|
|
# exists. A kind below 0 is any kind.
|
|
function th_of(t: Thing, kind: int) -> bool { return kind < 0 or t.kind == kind }
|
|
|
|
# the first-placed active one of a kind (and of that id, unless id < 0)
|
|
export function thing_find(things_st: ThingsState, kind: int, id: int) -> Thing {
|
|
let tb = things_st.th.tab
|
|
var best: Thing = null
|
|
if kind < 0 {
|
|
for r in 0 .. tb_len(tb) { best = th_earlier(best, tb.rec[r], id) }
|
|
return best
|
|
}
|
|
let rows = ix_rows(things_st.th.kinds, kind)
|
|
for k in 0 .. len(rows) { best = th_earlier(best, tb.rec[rows[k]], id) }
|
|
return best
|
|
}
|
|
|
|
# the one of the two placed first that is active and has the id asked for
|
|
function th_earlier(best: Thing, t: Thing, id: int) -> Thing {
|
|
if not t.active or (id >= 0 and t.id != id) { return best }
|
|
if best == null or t.uid < best.uid { return t }
|
|
return best
|
|
}
|
|
|
|
export function thing_by_uid(things_st: ThingsState, uid: int) -> Thing {
|
|
let r = tb_row(things_st.th.tab, imap_get(things_st.th_uids, uid, -1))
|
|
if r < 0 { return null }
|
|
return things_st.th.tab.rec[r]
|
|
}
|
|
|
|
# the nearest active one of a kind to (x, z), or null
|
|
export function thing_nearest(things_st: ThingsState, kind: int, x: float, z: float) -> Thing {
|
|
let tb = things_st.th.tab
|
|
var r = -1
|
|
if kind < 0 { r = tb_nearest(tb, things_st.th.grid, x, z, 0.0, -1, 0) } else {
|
|
r = tb_nearest_of(tb, things_st.th.grid, things_st.th.kinds, x, z, 0.0, kind)
|
|
}
|
|
if r < 0 { return null }
|
|
return tb.rec[r]
|
|
}
|
|
|
|
# the squared ground distance from a Thing to (x, z)
|
|
export function thing_dist2(t: Thing, x: float, z: float) -> float {
|
|
let dx = t.x - x
|
|
let dz = t.z - z
|
|
return dx * dx + dz * dz
|
|
}
|
|
|
|
# every active one within r of (x, z), nearest first, in a new list: for a question asked now and
|
|
# then - a frame's question is things_near, into a list the caller keeps
|
|
export function things_within(things_st: ThingsState, x: float, z: float, r: float) -> []Thing {
|
|
let found = new []Thing
|
|
things_near(things_st, x, z, r, found)
|
|
let out = new []Thing
|
|
for k in 0 .. len(found) { th_insert(out, found[k], x, z) }
|
|
return out
|
|
}
|
|
|
|
function th_insert(out: []Thing, t: Thing, x: float, z: float) -> void {
|
|
push(out, t)
|
|
var j = len(out) - 1
|
|
while j > 0 and thing_dist2(out[j - 1], x, z) > thing_dist2(t, x, z) {
|
|
out[j] = out[j - 1]
|
|
j -= 1
|
|
}
|
|
out[j] = t
|
|
}
|
|
|
|
# every active one of a kind, first placed first
|
|
export function things_each(things_st: ThingsState, kind: int) -> []Thing {
|
|
return th_listed(things_st, ix_rows(things_st.th.kinds, kind))
|
|
}
|
|
|
|
# every one of a kind, active or not
|
|
export function things_each_all(things_st: ThingsState, kind: int) -> []Thing {
|
|
return th_listed(things_st, ix_rows(things_st.th.every, kind))
|
|
}
|
|
|
|
# how many active ones of a kind there are, without a list
|
|
export function things_count_of(things_st: ThingsState, kind: int) -> int {
|
|
return ix_count(things_st.th.kinds, kind)
|
|
}
|
|
|
|
function th_listed(things_st: ThingsState, rows: words) -> []Thing {
|
|
let out = new []Thing
|
|
for k in 0 .. len(rows) { push(out, things_st.th.tab.rec[rows[k]]) }
|
|
return th_by_uid_order(out)
|
|
}
|
|
|
|
function th_by_uid_order(xs: []Thing) -> []Thing {
|
|
for i in 1 .. len(xs) {
|
|
let t = xs[i]
|
|
var j = i
|
|
while j > 0 and xs[j - 1].uid > t.uid {
|
|
xs[j] = xs[j - 1]
|
|
j -= 1
|
|
}
|
|
xs[j] = t
|
|
}
|
|
return xs
|
|
}
|
|
|
|
# the i-th active one of a kind, 0 .. things_count_of(kind) - 1, in the index's order (which a
|
|
# removal or a hide changes: walk it within a frame, never keep an i)
|
|
export function thing_of_kind(things_st: ThingsState, kind: int, i: int) -> Thing {
|
|
let rows = ix_rows(things_st.th.kinds, kind)
|
|
if i < 0 or i >= len(rows) { return null }
|
|
return things_st.th.tab.rec[rows[i]]
|
|
}
|