shoney.arickathil
7374d4d807
- compiler: `insert Class { ... }` is a typed Ast.Insert in statement
AND expression position, sharing the ctor literal's field grammar;
typechecked with the ctor's omittable rule; result = the row id (Int)
- owner pass: the engine copies at the row API, so an insert BORROWS
its field values -- no transfer, no E304; node is trap-capable and
carries a live-mask drop entry like DbStub did
- emit: builtin 61 window = class-id const + one slot per DECLARED
field in declaration order; omitted defaults emitted, omitted ?scalar
gets WO_NIL_SCALAR, other omitted optionals the zero word; fresh
argument values reaped after (the push/set copy semantics)
- runtime: database/src/db.c executes via the choke-point row API;
rt.db/rt.wal opaque handles on wo_rt; WO_DATA=<dir> = replay
<dir>/shard-0.wal at boot + commit-before-ack per statement (the
builtin's return IS the ack until iteration 8 ticks); failed commit
un-applies the row and traps WO_T_IO; loader validates the class-id
slot (variable window documented in wob.h + format doc)
- the promised diff: trap/pricing-set-price-db-stub is now
run/pricing-set-price-insert printing engine-allocated ids;
durability smoke prints 1,2 then 3,4 across two WO_DATA runs
- old "bare insert is an Ident" unit test rewritten to the new
contract; runner's loader mirror accepts id 61; goldens re-blessed
- gates: oop-accept ALL CRITERIA MET, oop-e2e 71/0, woc-test 566/0,
wovm-test green, log-watcher 7/0
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
24 lines
1 KiB
C
24 lines
1 KiB
C
/* db.h — DB statement executors (iteration 9, Task 3+).
|
|
*
|
|
* The VM reaches the engine through one dispatcher with the same contract
|
|
* as every builtin family: 0 = ok, else a WO_T_* code with *msg set. The
|
|
* engine and WAL handles ride the runtime context as opaque pointers
|
|
* (obj.h's rt.db / rt.wal) — set by main.c at boot, NULL in test binaries
|
|
* that never touch DB statements (a DB builtin with rt.db == NULL traps
|
|
* WO_T_DB "engine not initialized").
|
|
*
|
|
* Commit contract per statement (until iteration 8 brings ticks): the
|
|
* insert applies to RAM, stages its WAL record, and COMMITS before the
|
|
* builtin returns — the builtin returning IS the acknowledgment, so the
|
|
* ack-after-fsync doctrine holds at statement granularity. No WAL
|
|
* (rt.wal == NULL, no WO_DATA) means RAM-only: every test and every
|
|
* corpus fixture runs that way; durability is opt-in by pointing WO_DATA
|
|
* at a directory. */
|
|
#ifndef WO_DB_H
|
|
#define WO_DB_H
|
|
|
|
#include "vm.h"
|
|
|
|
int wo_builtin_db(wo_vm *vm, uint64_t *R, uint32_t ins, const char **msg);
|
|
|
|
#endif /* WO_DB_H */
|