Hot, archived and snapshot records

This figure documents the historical i386 source baseline. Current native x86-64/AArch64 qualification is recorded separately; this is not an ELF64 or native SMP implementation diagram.

Full-size SVG
Hot, archived and snapshot records Instrumented operations enter the 16,384-event hot ring. cjournal spills compact records into bounded SlFS segments, with up to 512 events per file and 32 segment slots. Queries look up resident events or read archived records through the segment index. The separate journal.bin snapshot holds up to 512 restart records. Neither retention tier is unbounded, and emitting an event is not itself a durable disk commit. emit->ring ring->spill ring->snapshot explicit / periodic snapshot spill->segments read->hot resident ID hot->ring resident ID hot->archive aged-out ID archive->segments index narrows disk read emit Instrumented kernel operation ring Hot causal ring 16,384 events · bounded retention spill cjournal spill up to 512 records per segment segments SlFS segment files + index up to 32 segment slots read Query / trace / parents / effects hot Hot lookup archive Archived read-through compact record; payload bytes not retained snapshot Separate causal_persist snapshot up to 512 records · journal.bin note Both tiers are bounded. Retention can remove old ancestry. A successful emit alone is not a durable disk commit.
Hot, archived and snapshot records Instrumented operations enter the 16,384-event hot ring. cjournal spills compact records into bounded SlFS segments, with up to 512 events per file and 32 segment slots. Queries look up resident events or read archived records through the segment index. The separate journal.bin snapshot holds up to 512 restart records. Neither retention tier is unbounded, and emitting an event is not itself a durable disk commit. Bounded tiers: old ancestry can be removed. Emit success alone is not a durable disk commit. emit->ring ring->spill ring:e->snapshot:e explicit / periodic spill->segments read->hot hot:e->ring:e resident ID hot->archive aged-out ID archive:w->segments:w index → disk read emit Instrumented kernel operation ring Hot causal ring 16,384 events · bounded retention spill cjournal spill ≤512 records per segment segments SlFS segment files + index ≤32 segment slots snapshot Separate causal_persist snapshot ≤512 records · journal.bin read Query / trace / parents / effects hot Hot lookup archive Archived read-through compact record, not payload bytes

The hot ring, segment journal and restart snapshot have separate retention and lookup roles.

Text equivalent and source references
  • Instrumented operations enter the 16,384-event hot ring. cjournal spills compact records into bounded SlFS segments, with up to 512 events per file and 32 segment slots.
  • Queries look up resident events or read archived records through the segment index. The separate journal.bin snapshot holds up to 512 restart records. Neither retention tier is unbounded, and emitting an event is not itself a durable disk commit.

Storage / query dataflow. Source paths refer to the atlas baseline; the kernel checkout is private.

  • include/causal.h · CAUSAL_MAX_EVENTS
  • include/cjournal.h · segment limits
  • kernel/graph/cjournal.c · cjournal_query_by_id
  • include/causal_persist.h · PERSIST_MAX, PERSIST_PATH

Download SVG · Editable DOT