0e3584884f
init in compile mode is ~2.4 s (tier loading, analyzer self-compile, macro recompilation), paid by every process that builds a ctx from source — each jpm-test file, embedders, workers. init-cached marshals the built ctx to a disk image (same root-env dicts as snapshot/fork) and later processes unmarshal it in ~5 ms, any process: nothing from the baking process is needed at load. The cache key fingerprints the embedded .clj stdlib (which covers jolt-core: analyzer, IR, core tiers), the .janet seed sources next to the module, the janet version, the init opts, and the env knobs that shape a ctx (JOLT_PATH/ MUTABLE/AOT_CORE/FEATURES) — any change rebuilds. Corrupt or non-ctx images fall back to a rebuild (unmarshal of garbage can 'succeed' with a scalar, so the shape is checked, not just the throw). Writes are atomic (tmp + rename) so racing cold starts never publish a torn image. JOLT_NO_IMAGE_CACHE=1 opts out; JOLT_IMAGE_CACHE_DIR overrides the location (default TMPDIR). Test consumers switch to init-cached (harness, suite-worker, conformance, the behavioral unit/integration tests); tests that validate the bootstrap itself (bootstrap-fixpoint, staged-bootstrap, aot round-trip, direct-linking) and the deps tests (tmp-dir :paths would fragment the key) keep real init. Full jpm test: 2:46 -> 1:58 (~29%). New ctx-image-test covers cold/warm, cross-process load (subprocess runs defn/redef/macros/protocols/multimethods off the baked image), per-opts keying, and corrupt-image fallback.
56 lines
2.5 KiB
Text
56 lines
2.5 KiB
Text
(use ../../src/jolt/api)
|
|
(defn ct-eval [ctx s] (normalize-pvecs (eval-string ctx s)))
|
|
(print "LazySeq Tests")
|
|
|
|
(print "1: lazy-seq from list...")
|
|
(let [ctx (init-cached)]
|
|
(assert (= true (ct-eval ctx "(= [1 2 3] (take 10 (lazy-seq [1 2 3])))")) "lazy-seq list")
|
|
(assert (= true (ct-eval ctx "(= 3 (count (lazy-seq [1 2 3])))")) "count lazy-seq"))
|
|
(print " ok")
|
|
|
|
(print "2: lazy-cat concatenation...")
|
|
(let [ctx (init-cached)]
|
|
(assert (= true (ct-eval ctx "(= [1 2 3 4] (take 10 (lazy-cat [1 2] [3 4])))")) "lazy-cat concat")
|
|
(assert (= true (ct-eval ctx "(= 4 (count (lazy-cat [1 2] [3 4])))")) "lazy-cat count"))
|
|
(print " ok")
|
|
|
|
(print "3: first/rest on lazy-seqs...")
|
|
(let [ctx (init-cached)]
|
|
(assert (= true (ct-eval ctx "(= 1 (first (lazy-seq [1 2 3])))")) "first lazy")
|
|
(assert (= true (ct-eval ctx "(= 2 (first (rest (lazy-seq [1 2 3]))))")) "first rest lazy"))
|
|
(print " ok")
|
|
|
|
(print "4: drop/nth on lazy-seqs...")
|
|
(let [ctx (init-cached)]
|
|
(assert (= true (ct-eval ctx "(= [3 4 5] (take 10 (drop 2 (lazy-seq [1 2 3 4 5]))))")) "drop 2 take 10")
|
|
(assert (= true (ct-eval ctx "(= 3 (nth (lazy-seq [1 2 3 4 5]) 2))")) "nth lazy"))
|
|
(print " ok")
|
|
|
|
(print "5: concat on lazy-seqs...")
|
|
(let [ctx (init-cached)]
|
|
(assert (= true (ct-eval ctx "(= 5 (count (concat (lazy-seq [1 2]) (lazy-seq [3 4 5]))))")) "concat lazy"))
|
|
(print " ok")
|
|
|
|
(print "6: reverse/sort on lazy-seqs...")
|
|
(let [ctx (init-cached)]
|
|
(assert (= true (ct-eval ctx "(= [3 2 1] (reverse (lazy-seq [1 2 3])))")) "reverse lazy")
|
|
(assert (= true (ct-eval ctx "(= [1 2 3] (sort (lazy-seq [3 1 2])))")) "sort lazy"))
|
|
(print " ok")
|
|
|
|
(print "7: distinct on lazy-seqs...")
|
|
(let [ctx (init-cached)]
|
|
(assert (= true (ct-eval ctx "(= [1 2 3] (distinct (lazy-seq [1 2 1 3 2])))")) "distinct lazy"))
|
|
(print " ok")
|
|
|
|
(print "8: fib-seq (deferred — eager core-map needs lazy upgrade)...")
|
|
(let [ctx (init-cached)]
|
|
(print " The cell-by-cell lazy-seq architecture is correct. concat, take,")
|
|
(print " drop, nth, first, rest all work with self-referencing patterns.")
|
|
(print " core-map still eagerly realizes all lazy-seq arguments, which")
|
|
(print " loops on infinite sequences. Making core-map return a lazy")
|
|
(print " result would complete the self-referencing lazy-seq story.")
|
|
(print " When fixed: (def fib-seq (lazy-cat [0 1] (map + (rest fib-seq) fib-seq)))")
|
|
(print " → (take 10 fib-seq) = [0 1 1 2 3 5 8 13 21 34]"))
|
|
(print " ok (deferred — core-map needs lazy upgrade)")
|
|
|
|
(print "\nAll LazySeq tests passed!")
|