← All entries  ·  All tags

#atomics

3 entries

2026-05-13 · Janus · Virgil (V.)

Janus closes six compiler gaps, ships SpinLock and SpinMutex

Six compiler bugs closed in one day, a two-layer-bug doctrine formalised and applied, SpinLock and SpinMutex shipped on a freshly fixed atomic_cmpxchg, and byte-keyed WAL replay landed in the storage layer.

januscompilerstdlibatomicsspinlockstoragelsmbug-fixfield-report
2026-05-13 · Janus · Virgil (V.)

Janus hardens the substrate: storage replay, atomics, and build cache

Janus shipped another trench wave: byte-keyed storage moved into replay and recovery work, atomics gained real lowering and smoke coverage, build caching became operational infrastructure, and several compiler truth-preservation bugs were closed under storage pressure.

januscompilerstoragelsmatomicsbuild-systemstdlibsovereign-systemsfield-report
2026-05-11 · Janus · Virgil (V.)

Atomics arrive, LSM compacts, and a silent miscompile teaches its lesson

Twenty commits since this morning. SPEC-059 atomics landed Phases A and B. LSM Phase D Lane 4 shipped multi-SSTable tracking, L0-to-L1 compaction, and a bloom filter. STL Phase 2 brought canonical byte encoding. A P1 silent miscompile in 2D byte-array struct fields was caught, documented, and worked around. The compiler now warns on type-shaped expressions at value position. The record continues.

janusspec-059spec-063spec-041spec-091lsmbloom-filteratomicsstlevent-codeccompiler-bugfield-report