ident
All repositories: gitoria
23.9 KB
// hl:mpackdb plugin — native shared library (mission 066)// Zig port of mpackdb v1.0.7 (MessagePack DB with binary-search indexes).//// Layout:// msgpack.zig — MessagePack codec (msgpackr-compatible, see D12)// engine.zig — DB engine (MPackDB/IndexManager semantics)// mpackdb.zig — this file: plugin ABI surface//// Exports:// hl_mpackdb_open(path, primaryKey, indexes, compact) → handle// handle ops: insert(record) / find_all() / find_pk(v) /// find_index(field, v) / find_range(field, from, to) /// delete_pk(v) / update_pk(v, record) / count() /// compact() / persist() / last_error() / pk_name()//// The `hl:mpackdb` .hl surface (MPackDB.hl, cursor.hl, server.hl) is the public// API; these ops are its transport.//// Cursors materialize matches eagerly into a per-iterator arena; the runtime// deep-copies each record on next(), and the arena is freed at iterator deinit.const std = @import("std");const api = @import("plugin_api");pub const msgpack = @import("msgpack.zig");pub const engine = @import("engine.zig");const HlValue = api.HlValue;const HlObject = api.HlObject;const HlField = api.HlField;const HlIterator = api.HlIterator;const HlHandle = api.HlHandle;const HlString = api.HlString;// the plugins' allocator (plugin_api.zig): a DebugAllocator here mapped and unmapped every// buffer of a page or more, which the per-operation buffers made a syscall pair per callconst gpa = api.allocator;fn hlStr(comptime s: []const u8) HlString {return .{ .ptr = s.ptr, .len = s.len };}// =========================================================================// Path resolution (mission 077, 074 GAP 9)//// CONTRACT — the same one hl:fs got in mission 068: a relative db path resolves// against the MAIN SCRIPT's directory, not the process CWD. `cd /tmp && hybriel// /srv/app/main.hl` must find /srv/app's database, not create a second one in// /tmp. Absolute paths are used as-is. The runtime injects the directory through// the optional plugin hook hl_mpackdb_set_script_dir right after dlopen.// =========================================================================var script_dir: ?[]u8 = null;export fn hl_mpackdb_set_script_dir(ptr: [*]const u8, len: usize) callconv(.c) void {if (script_dir) |old| gpa.free(old);script_dir = gpa.dupe(u8, ptr[0..len]) catch null;}/// Resolve a (possibly relative) db path against the script dir. The returned/// slice is gpa-allocated; caller frees.fn resolvePath(path: []const u8) ?[]u8 {if (path.len == 0 or path[0] == '/') return gpa.dupe(u8, path) catch null;if (script_dir) |sd| return std.fmt.allocPrint(gpa, "{s}/{s}", .{ sd, path }) catch null;return gpa.dupe(u8, path) catch null;}// =========================================================================// HlValue ⇄ msgpack.Value conversion// =========================================================================/// AN EMPTY LIST is marked by its `fields` address (ticket #58) — the runtime's/// contract, stated in native/src/plugin_loader.zig beside the same constant. Zero/// fields alone read back as an empty hybrid, and `tags = []` was stored as a map.const EMPTY_LIST_FIELDS: [*]HlField = @ptrFromInt(0x4C49_5354_0000_0008);fn isEmptyList(obj: *const HlObject) bool {return obj.field_count == 0 and obj.fields == EMPTY_LIST_FIELDS;}/// Hybriel value (as HlObject tree) → msgpack value, allocated in `arena`./// An HlObject whose keys are exactly the sequence "0".."n-1" (in order)/// becomes a msgpack array; everything else becomes a map. Hybriel null and/// undefined both arrive as hl_null → msgpack nil.fn hlToMsgpack(arena: std.mem.Allocator, v: HlValue) msgpack.Value {switch (v.type) {.hl_null => return .nil,.hl_bool => return .{ .boolean = v.data.boolean },.hl_number => return .{ .number = v.data.number },.hl_string => {const s = v.data.string.ptr[0..v.data.string.len];const copy = arena.dupe(u8, s) catch return .nil;return .{ .str = copy };},.hl_object => {const obj = v.data.object;const fields = obj.fields[0..obj.field_count];// strict numeric sequence "0".."n-1" → array; an empty list carries its// mark (ticket #58), or `tags = []` was stored as an empty mapvar is_array = fields.len > 0 or isEmptyList(obj);for (fields, 0..) |f, i| {const k = f.key.ptr[0..f.key.len];var buf: [20]u8 = undefined;const expect = std.fmt.bufPrint(&buf, "{d}", .{i}) catch "";if (!std.mem.eql(u8, k, expect)) {is_array = false;break;}}if (is_array) {const items = arena.alloc(msgpack.Value, fields.len) catch return .nil;for (fields, 0..) |f, i| items[i] = hlToMsgpack(arena, f.value);return .{ .array = items };}const entries = arena.alloc(msgpack.Entry, fields.len) catch return .nil;for (fields, 0..) |f, i| {const k = arena.dupe(u8, f.key.ptr[0..f.key.len]) catch return .nil;entries[i] = .{ .key = .{ .str = k }, .value = hlToMsgpack(arena, f.value) };}return .{ .map = entries };},else => return .nil,}}/// msgpack value → HlValue tree allocated in `arena` (no deinit hooks — the/// runtime deep-copies immediately; the arena outlives the call).fn msgpackToHl(arena: std.mem.Allocator, v: msgpack.Value) HlValue {switch (v) {.nil, .undef => return api.makeNull(),.boolean => |b| return api.makeBool(b),.number => |n| return api.makeNumber(n),.str => |s| return api.makeString(s),.bin => |b| return api.makeString(b),.array => |items| {const fields = arena.alloc(HlField, items.len) catch return api.makeNull();for (items, 0..) |it, i| {var buf: [20]u8 = undefined;const k = std.fmt.bufPrint(&buf, "{d}", .{i}) catch "";const key = arena.dupe(u8, k) catch return api.makeNull();fields[i] = .{ .key = .{ .ptr = key.ptr, .len = key.len }, .value = msgpackToHl(arena, it) };}const obj = arena.create(HlObject) catch return api.makeNull();obj.* = .{ .fields = if (items.len == 0) EMPTY_LIST_FIELDS else fields.ptr, .field_count = fields.len, .deinit_fn = null };return api.makeObject(obj);},.map => |entries| {const fields = arena.alloc(HlField, entries.len) catch return api.makeNull();var n: usize = 0;for (entries) |e| {const key: []const u8 = switch (e.key) {.str => |s| s,.number => |num| blk: {var buf: [40]u8 = undefined;const k = engine.jsNumFmt(&buf, num);break :blk arena.dupe(u8, k) catch continue;},else => continue,};fields[n] = .{ .key = .{ .ptr = key.ptr, .len = key.len }, .value = msgpackToHl(arena, e.value) };n += 1;}const obj = arena.create(HlObject) catch return api.makeNull();obj.* = .{ .fields = fields.ptr, .field_count = n, .deinit_fn = null };return api.makeObject(obj);},.ext => {if (v.timestampMs()) |ms| return api.makeNumber(ms);return api.makeNull();},}}fn hlKey(v: HlValue) ?engine.Key {return switch (v.type) {.hl_number => .{ .num = v.data.number },.hl_string => .{ .str = v.data.string.ptr[0..v.data.string.len] },else => null,};}// =========================================================================// Record iterator (eagerly materialized)// =========================================================================const RecIterState = struct {// THE ITERATOR LIVES IN ITS STATE (the emit soak, 2026-10-02): the runtime frees// only its own wrapper and hands deinit the context, so a separately created// HlIterator was never freed — 40 bytes per find/range/fetch, for good.iter: HlIterator = undefined,arena_state: std.heap.ArenaAllocator,records: []msgpack.Value = &.{},idx: usize = 0,};fn recIterNext(ctx: ?*anyopaque) callconv(.c) HlValue {const state: *RecIterState = @ptrCast(@alignCast(ctx orelse return api.makeNull()));if (state.idx >= state.records.len) {// THE LAST RECORD IS ALREADY COPIED OUT: the arena goes now, not when the// collector sweeps the iterator, which counts none of these bytes and so can// leave thousands of drained lookups' records waiting (hybriel#126, notes)state.records = &.{};_ = state.arena_state.reset(.free_all);return api.makeNull();}const v = state.records[state.idx];state.idx += 1;return msgpackToHl(state.arena_state.allocator(), v);}fn recIterDeinit(ctx: ?*anyopaque) callconv(.c) void {const state: *RecIterState = @ptrCast(@alignCast(ctx orelse return));state.arena_state.deinit();gpa.destroy(state);}fn makeRecordIterator(records: []msgpack.Value, arena_state: std.heap.ArenaAllocator) HlValue {const state = gpa.create(RecIterState) catch return api.makeNull();state.* = .{ .arena_state = arena_state, .records = records };state.iter = .{.context = @ptrCast(state),.next_fn = &recIterNext,.deinit_fn = &recIterDeinitOuter,};return api.makeIterator(&state.iter);}// The runtime's IterWrapper deinit calls iter.deinit_fn then frees its own// wrapper — but the HlIterator struct itself is ours to free.fn recIterDeinitOuter(ctx: ?*anyopaque) callconv(.c) void {recIterDeinit(ctx);}// =========================================================================// DB handle// =========================================================================//// Process-wide table registry (ticket #110). Within one process, a table// path has ONE open engine.Db, shared by every hl_mpackdb_open() on it —// whatever module instance or realm calls it. `hl:mpackdb`'s .so is loaded// once and mapped once by the dynamic linker no matter how many realms// dlopen it (same path, same mapping), so these are already process-wide// statics; the registry just gives multiple opens of the same table a// single Db to share instead of a fresh one each time. A single realm's// event loop drives every call here — mpackdb has never been thread-safe —// so no mutex.//// The file is never compacted or rewritten while a handle on it is live:// only the FIRST open of a path in this process actually runs// engine.Db.open (and so is the only one that can compact-on-open, per// ticket #21's existing rule); every later open of the same path reuses// that live Db untouched, and its own primaryKey/indexes/compact args are// ignored — the table's schema was fixed by the first opener. Compaction// happens only when asked for explicitly (compactNow()) or when the LAST// handle on a path closes.const SharedDb = struct {db: *engine.Db,key: []const u8, // owned; also the registry's stored key for this entryrefcount: usize,};var registry: std.StringHashMapUnmanaged(*SharedDb) = .empty;fn acquireShared(path: []const u8, opts: engine.OpenOptions) ?*SharedDb {const key = engine.tableKey(gpa, path) catch return null;if (registry.get(key)) |existing| {gpa.free(key);existing.refcount += 1;return existing;}const db = engine.Db.open(gpa, path, opts) catch |e| {std.debug.print("mpackdb plugin: open failed: {s}\n", .{@errorName(e)});gpa.free(key);return null;};const shared = gpa.create(SharedDb) catch {db.close();gpa.free(key);return null;};shared.* = .{ .db = db, .key = key, .refcount = 1 };registry.put(gpa, key, shared) catch {db.close();gpa.destroy(shared);gpa.free(key);return null;};return shared;}/// Drop this handle's reference. On the LAST reference: compact away any/// tombstones (ticket #110 — that's the one moment compaction may run/// implicitly) and close for real.fn releaseShared(shared: *SharedDb) void {shared.refcount -= 1;if (shared.refcount > 0) return;_ = registry.remove(shared.key);if (shared.db.deleted.items.len > 0) {shared.db.compact() catch |e| {std.debug.print("mpackdb plugin: close-compact failed: {s}\n", .{@errorName(e)});};}shared.db.close();gpa.free(shared.key);gpa.destroy(shared);}const DbState = struct {shared: *SharedDb,};export fn hl_mpackdb_open(argc: u32, argv: [*]const HlValue) callconv(.c) HlValue {if (argc < 1 or argv[0].type != .hl_string) return api.makeNull();const raw_path = argv[0].data.string.ptr[0..argv[0].data.string.len];// mission 077: script-relative, like every other path in Hybriel.const path = resolvePath(raw_path) orelse return api.makeNull();defer gpa.free(path);var opts = engine.OpenOptions{};if (argc > 1 and argv[1].type == .hl_string and argv[1].data.string.len > 0) {opts.primary_key = argv[1].data.string.ptr[0..argv[1].data.string.len];}var index_names: [64][]const u8 = undefined;var index_count: usize = 0;if (argc > 2 and argv[2].type == .hl_object) {const obj = argv[2].data.object;for (obj.fields[0..obj.field_count]) |f| {if (f.value.type != .hl_string) continue;if (index_count >= index_names.len) break;index_names[index_count] = f.value.data.string.ptr[0..f.value.data.string.len];index_count += 1;}}opts.indexes = index_names[0..index_count];if (argc > 3 and argv[3].type == .hl_bool) {opts.compact = argv[3].data.boolean;}const shared = acquireShared(path, opts) orelse return api.makeNull();const state = gpa.create(DbState) catch {releaseShared(shared);return api.makeNull();};state.* = .{ .shared = shared };const handle = gpa.create(HlHandle) catch {releaseShared(shared);gpa.destroy(state);return api.makeNull();};handle.* = .{.context = @ptrCast(state),.call_fn = &handleCall,.close_fn = &handleClose,.type_name = hlStr("MPackDB"),};return api.makeHandle(handle);}fn errDeinit(val: *HlValue) callconv(.c) void {if (val.type == .hl_error) {const s = val.data.string;gpa.free(@constCast(s.ptr[0..s.len]));}}/// mission 077 (074 GAP 10): querying a field that carries no index is a/// MISTAKE, not an empty result — mpackdb only answers through binary-searched/// indexes, so `[]` was indistinguishable from "no such record" and hid the/// missing declaration. The message names the field, the op and every index the/// db was actually opened with (insertion order: primary key first).fn makeNoIndexError(db: *engine.Db, op: []const u8, field: []const u8) HlValue {var list: std.ArrayList(u8) = .empty;defer list.deinit(gpa);for (db.idx.keys()) |k| {if (list.items.len > 0) list.appendSlice(gpa, ", ") catch {};list.append(gpa, '\'') catch {};list.appendSlice(gpa, k) catch {};list.append(gpa, '\'') catch {};}const declared = if (list.items.len == 0) "none" else list.items;const msg = std.fmt.allocPrint(gpa,"mpackdb.{s}: no index on field '{s}' — this db is indexed on [{s}]; every query goes through an index (declare it in `indexes` when opening, or query the primary key)",.{ op, field, declared },) catch return api.makeError("mpackdb: no index on that field");var v = api.makeError(msg);v.deinit_fn = &errDeinit;return v;}fn handleClose(ctx: ?*anyopaque) callconv(.c) void {const state: *DbState = @ptrCast(@alignCast(ctx orelse return));releaseShared(state.shared);gpa.destroy(state);}fn pkStringDeinit(val: *HlValue) callconv(.c) void {if (val.type == .hl_string) {const s = val.data.string;gpa.free(@constCast(s.ptr[0..s.len]));}}fn handleCall(ctx: ?*anyopaque, op: HlString, argc: u32, argv: [*]const HlValue) callconv(.c) HlValue {const state: *DbState = @ptrCast(@alignCast(ctx orelse return api.makeNull()));const db = state.shared.db;const method = op.ptr[0..op.len];if (std.mem.eql(u8, method, "insert")) {if (argc < 1 or argv[0].type != .hl_object) return api.makeNull();var arena_state = std.heap.ArenaAllocator.init(gpa);defer arena_state.deinit();const arena = arena_state.allocator();const rec = hlToMsgpack(arena, argv[0]);if (rec != .map) return api.makeNull();const res = db.insert(arena, rec, false) catch |e| {if (e != error.DuplicateKey) {std.debug.print("mpackdb plugin: insert failed: {s}\n", .{@errorName(e)});db.last_error = std.fmt.bufPrint(&db.last_error_buf, "insert failed: {s}", .{@errorName(e)}) catch "insert failed";}return api.makeNull();};switch (res) {.pk_num => |n| return api.makeNumber(n),.pk_str => |s| {const copy = gpa.dupe(u8, s) catch return api.makeNull();var out = api.makeString(copy);out.deinit_fn = &pkStringDeinit;return out;},.record => return api.makeBool(true),}}if (std.mem.eql(u8, method, "find_all")) {var arena_state = std.heap.ArenaAllocator.init(gpa);const arena = arena_state.allocator();var records: std.ArrayList(msgpack.Value) = .empty;db.refresh();var scanner = engine.Db.Scanner.init(db, arena, true);while (true) {const maybe = scanner.next(arena) catch break;const rec = maybe orelse break;records.append(arena, rec.value) catch break;}scanner.deinit();const slice = records.toOwnedSlice(arena) catch &.{};return makeRecordIterator(@constCast(slice), arena_state);}if (std.mem.eql(u8, method, "find_pk")) {if (argc < 1) return api.makeNull();const key = hlKey(argv[0]) orelse return api.makeNull();var arena_state = std.heap.ArenaAllocator.init(gpa);const arena = arena_state.allocator();var locs: std.ArrayList(engine.Loc) = .empty;db.findPkLocs(arena, key, &locs) catch {arena_state.deinit();return api.makeNull();};return locsToIterator(db, arena_state, locs.items);}if (std.mem.eql(u8, method, "find_index")) {if (argc < 2 or argv[0].type != .hl_string) return api.makeNull();const field = argv[0].data.string.ptr[0..argv[0].data.string.len];const key = hlKey(argv[1]) orelse return api.makeNull();var arena_state = std.heap.ArenaAllocator.init(gpa);const arena = arena_state.allocator();var locs: std.ArrayList(engine.Loc) = .empty;db.findIndexLocs(arena, field, key, &locs) catch |e| {arena_state.deinit();if (e == error.NoSuchIndex) return makeNoIndexError(db, "find", field);return api.makeNull();};return locsToIterator(db, arena_state, locs.items);}if (std.mem.eql(u8, method, "find_range")) {if (argc < 1 or argv[0].type != .hl_string) return api.makeNull();const field = argv[0].data.string.ptr[0..argv[0].data.string.len];const from: ?engine.Key = if (argc > 1) hlKey(argv[1]) else null;const to: ?engine.Key = if (argc > 2) hlKey(argv[2]) else null;var arena_state = std.heap.ArenaAllocator.init(gpa);const arena = arena_state.allocator();var locs: std.ArrayList(engine.Loc) = .empty;db.findRangeLocs(arena, field, from, to, &locs) catch |e| {arena_state.deinit();if (e == error.NoSuchIndex) return makeNoIndexError(db, "range", field);return api.makeNull();};return locsToIterator(db, arena_state, locs.items);}if (std.mem.eql(u8, method, "delete_pk")) {if (argc < 1) return api.makeNull();const key = hlKey(argv[0]) orelse return api.makeNull();var arena_state = std.heap.ArenaAllocator.init(gpa);defer arena_state.deinit();const arena = arena_state.allocator();var deleted: std.ArrayList(msgpack.Value) = .empty;const n = db.deletePk(arena, key, &deleted) catch |e| {std.debug.print("mpackdb plugin: delete failed: {s}\n", .{@errorName(e)});return api.makeNull();};return api.makeNumber(@floatFromInt(n));}if (std.mem.eql(u8, method, "update_pk")) {if (argc < 2 or argv[1].type != .hl_object) return api.makeNull();const key = hlKey(argv[0]) orelse return api.makeNull();var arena_state = std.heap.ArenaAllocator.init(gpa);defer arena_state.deinit();const arena = arena_state.allocator();const rec = hlToMsgpack(arena, argv[1]);if (rec != .map) return api.makeNull();const n = db.updatePk(arena, key, rec) catch |e| {if (e == error.RecordLacksPrimaryKey) {db.last_error = std.fmt.bufPrint(&db.last_error_buf, "update refused: the record carries no '{s}' (update's record must carry the primary key)", .{db.pk orelse ""}) catch "update refused: the record carries no primary key";return api.makeNull();}if (e != error.DuplicateKey) {std.debug.print("mpackdb plugin: update failed: {s}\n", .{@errorName(e)});}return api.makeNull();};return api.makeNumber(@floatFromInt(n));}if (std.mem.eql(u8, method, "count")) {var arena_state = std.heap.ArenaAllocator.init(gpa);defer arena_state.deinit();const arena = arena_state.allocator();db.refresh();var scanner = engine.Db.Scanner.init(db, arena, true);defer scanner.deinit();var n: usize = 0;while (true) {const maybe = scanner.next(arena) catch break;if (maybe == null) break;n += 1;}return api.makeNumber(@floatFromInt(n));}if (std.mem.eql(u8, method, "compact")) {db.compact() catch |e| {std.debug.print("mpackdb plugin: compact failed: {s}\n", .{@errorName(e)});};return api.makeNull();}if (std.mem.eql(u8, method, "persist")) {db.persistNow() catch |e| {std.debug.print("mpackdb plugin: persist failed: {s}\n", .{@errorName(e)});};return api.makeNull();}if (std.mem.eql(u8, method, "last_error")) {return api.makeString(db.last_error);}// The primary key field name with its */@/! prefixes stripped — the .hl// wrapper needs the bare name to route find(field, …) to find_pk.if (std.mem.eql(u8, method, "pk_name")) {const p = db.pk orelse return api.makeNull();return api.makeString(p);}return api.makeNull();}/// Decode records at `locs` into the iterator arena and wrap them.fn locsToIterator(db: *engine.Db, arena_state: std.heap.ArenaAllocator, locs: []const engine.Loc) HlValue {var st = arena_state;const arena = st.allocator();var records: std.ArrayList(msgpack.Value) = .empty;for (locs) |loc| {const rec = db.readAt(arena, loc) catch continue;records.append(arena, rec) catch break;}const slice = records.toOwnedSlice(arena) catch &.{};return makeRecordIterator(@constCast(slice), st);}test {_ = msgpack;_ = engine;}
Branches
- mainmain branch
Latest commits
- 5fdbb6b2ident mission 009: report — scratch folder notemre
- 74235815ident mission 009 (4/4): docs (README files map + same-output test, STATUS, LOG), report, tests/letcount.py + realdata-baseline/comparemre
- fe183516ident mission 009 (3/4): let only where reassigned — 293 never-reassigned lets are plain declarations; kept: reassigned, loop bodies, names of a file member, a name declared twice in one function; same outputmre
- d2e7f91bident mission 009 (2/4): one lib file per topic (login, accounts, identities, apps, invites, selector, notify + helpers, util), function routes as thin wrappers in lib/api.hl, project.hl = the map; same outputmre
- 91017164ident mission 009 (1/4): file moves — the root .hl files into lib/ (api.hl → lib/api-helpers.hl), styles.hl → components/styles.hl; imports adjusted, no other changemre
- f8bdcbc2ident: Hybriel master 06617221 (plugin allocators 3a781359 + 413f60e4, mpackdb 2cb7ae5e, http1 773de63e); all gates greenmre
- ff78726cident: Hybriel master 190aa11d (fc838894 GC correctness, #127, #126 closure scopes); gates all greenmre
- a3a7d21aident: Hybriel master 8efba065 (#126 GC by bytes, #48 lambda params copy); session-writing lambdas take &sessionmre
- 98226b41antcolony#40: mission references point to the moved missionsmre
- ff805b9aantcolony#40: history (LOG.md), worker briefs (missions/) and reports moved here from antcolony, numbered per project; old numbers in antcolony docs/mission-map.mdmre
- 51a7bcdfident: Hybriel master 73267707 (#122); /code uses the new page() signature; pending address passed as parameter; once-checksmre
- 836f644fident#24: installable app (manifest, service worker, data-free offline /start), own iconmre
- 8bebbbf2deploy.sh: back up live storage/.sessions/.env before every deploy (newest 5 kept)mre
- cc063ea2deploy.sh: never send .git or .gitignore to Byrodinmre
- 81b15b7bState of 2026-09-27, before the move to gitoriamre