shoney.arickathil
631d277e0c
- 16 tasks complete: arena, object model, borrow word, containers, RC + budgeted cycle collector, wob_build, validating loader, interpreter core (dual dispatch), object opcodes, drop-map unwinding, builtins + DB_STUB + TRAP, ICALL, wovm CLI + just recipes - 13 test suites × 2 dispatch flavors (ASan+UBSan) + CLI smoke, all green - .wob v1 format pinned in src/wob.h + docs/plan/oop-vm/00-wob-format.md - wo-rt.c reference event-loop preserved for sub-project 2 This is Iteration 2 of the OOP milestone; compiler front (Iteration 3) is in progress on this branch. They meet at Iteration 4 (emitter+e2e).
37 lines
942 B
C
37 lines
942 B
C
/* test_borrow — the borrow-word state machine (spec section 4). */
|
|
#include "borrow.h"
|
|
#include "t.h"
|
|
|
|
int main(void) {
|
|
wo_hdr o = {0};
|
|
|
|
/* free -> shared -> shared: readers stack */
|
|
T_EQ(wo_borrow_shared(&o), 0);
|
|
T_EQ(wo_borrow_shared(&o), 0);
|
|
T_EQ(o.borrow, 2);
|
|
|
|
/* shared blocks exclusive */
|
|
T_EQ(wo_borrow_excl(&o), -1);
|
|
|
|
/* release readers back to free */
|
|
wo_release_shared(&o);
|
|
wo_release_shared(&o);
|
|
T_EQ(o.borrow, WO_BORROW_FREE);
|
|
|
|
/* free -> exclusive */
|
|
T_EQ(wo_borrow_excl(&o), 0);
|
|
T_EQ(o.borrow, WO_BORROW_EXCL);
|
|
|
|
/* exclusive blocks both */
|
|
T_EQ(wo_borrow_excl(&o), -1);
|
|
T_EQ(wo_borrow_shared(&o), -1);
|
|
|
|
/* release restores free; full cycle works again */
|
|
wo_release_excl(&o);
|
|
T_EQ(o.borrow, WO_BORROW_FREE);
|
|
T_EQ(wo_borrow_shared(&o), 0);
|
|
wo_release_shared(&o);
|
|
T_EQ(o.borrow, WO_BORROW_FREE);
|
|
|
|
return t_report("test_borrow");
|
|
}
|