perf: cache repeated long string rendering#857
Draft
He-Pin wants to merge 12 commits into
Draft
Conversation
Motivation: PR databricks#840 introduced a strict JSON fast path for .json imports but still forces a full UTF-8 string decode for every cached file before handing the text to ujson.StringParser. Real-world workloads (e.g. kube-prometheus) import many .json files; decoding each one twice (once into String for parsing, again as cache content) is pure overhead. Key Design Decision: ujson 4.4.3 ships ByteArrayParser, which parses UTF-8 JSON directly from a byte array without an intermediate String. Cache small resolved files as raw bytes (already what we read from disk) and lazily decode text only when the importstr/parser-input path actually needs it. Preserve parse-cache content identity by hashing the cached bytes with SHA-256 (length + hex digest) so external ParseCache implementations keep the same collision resistance as the old full-string key. Modification: * Importer.scala: CachedResolver.parseJsonImport now calls ujson.ByteArrayParser.transform(content.readRawBytes(), visitor) instead of decoding the whole file to String first. * CachedResolvedFile.scala (JVM/Native): small files are cached as Array[Byte]; getParserInput / readString materialize the String lazily; readRawBytes returns the cached bytes directly; contentHash is length + SHA-256 over the cached bytes; binary imports still use StaticBinaryResolvedFile. * PreloaderTests.scala: tighten the strict-JSON fast-path coverage so it fails if the fast path ever falls back to readString(). Result: * Output equality vs upstream sjsonnet and jrsonnet preserved on kube-prometheus and large_string_template. * Native kube-prometheus hyperfine A/B (forward & reverse): clean 139.4 +/- 2.8 ms -> candidate 132.7 +/- 1.9 ms (forward) candidate 132.1 +/- 1.9 ms vs clean 140.3 +/- 2.6 ms (reverse) * Full ./mill __.test green. References: Follow-up to databricks#840
Motivation: Large inline objects produced by strict JSON imports can exceed the small-object shape that computeSortedInlineOrder was originally tuned for. Native sampling on kube-prometheus showed sorted inline-order computation as a materialization hotspot, and insertion sort becomes quadratic on those wider objects. Modification: Keep insertion sort for small inline objects, and use an in-place quicksort with insertion-sort cleanup for larger visible field sets. Record the accepted benchmark result and rejected parser/key-render micro-routes in the performance ledgers. Result: Kube-prometheus Native A/B improved on top of strict JSON byte imports, with forward mean 145.3ms -> 140.0ms and reverse mean 151.6ms -> 148.9ms. Formatting and the full test suite pass. References: Upstream-base: databricks/sjsonnet@cedc083 Prior optimization: 883fca5 perf: parse strict JSON imports from bytes
Motivation: Keep the performance exploration ledger current so future optimization work does not repeat Native-negative or build-invalid routes. Modification: Record rejected short-string, ASCII-safe, inline sort-cache, path-only parse-cache, and Native GC configuration probes with the validation evidence that ruled them out. Result: No runtime code changes are retained; the branch documents the failed hypotheses and preserves the current accepted optimization stack. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Motivation: large_string_template still spent time re-encoding and re-scanning the huge string produced by simple named format interpolation, even when the final result was known to be JSON-string ASCII-safe. Modification: Track whether compiled format literals are ASCII-safe and return Val.Str.asciiSafe from PartialApplyFmt when every simple named dynamic value is also safe. Add regression coverage for safe numeric values, unsafe string values, unsafe static literals, and mixed-key safety. Result: Native large_string_template improved in both command orders (8.64 -> 8.01 ms forward, 8.65 -> 8.17 ms reverse); JVM JMH stayed neutral-positive (0.683 -> 0.677 ms/op); full __.test and checkFormat pass. References: bench/reports/sjsonnet-vs-jrsonnet-gaps.md Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Motivation: A follow-up probe reused parser ASCII-safe metadata to skip static format literal safety scanning after PR databricks#856, but internal debug counter gains did not translate into Native whole-process speed. Modification: Record the rejected parser `_asciiSafe` format hint experiment in the gap ledger and sync-points file so it is not repeated without materially new evidence. Result: The accepted simple-format ASCII-safe optimization remains unchanged, and the rejected hint path is documented with forward/reverse Native benchmark evidence. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Motivation: A Native-only ASCII-safe byte-copy probe tested whether a manual low-byte loop could improve large formatted string rendering after PR databricks#856. Modification: Record the rejected manual copy-loop experiment in the gap ledger and sync-points file with forward/reverse Native benchmark evidence. Result: The optimized implementation remains on the faster platform `String.getBytes(0, len, dst, dstPos)` path, and the slower manual copy route is documented to avoid repeated work. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Motivation: A simple-format loop probe tested whether single-character dynamic values should use `StringBuilder.append(Char)` instead of appending the one-character String. Modification: Record the rejected single-character append experiment in the gap ledger and sync-points file with forward/reverse Native benchmark evidence. Result: The accepted simple-format implementation remains on the faster `append(String)` path, and the slower single-character branch is documented to avoid repeated work. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Motivation: Avoid repeating a ByteRenderer object-rendering route that looked promising on kube but failed guard benchmarks. Modification: Record the minified direct-object comma/empty-state specialization in the gap ledger and sync-points rejection table. Result: The implementation remains reverted; future work should not trade a weak kube gain for a large_string_template regression. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Motivation: Document a Native-only long-string renderer probe so future optimization work does not repeat the same regression. Modification: Add the failed direct charAt escaped-ASCII renderer result to the gap ledger and sync-points table. Result: The code remains reverted because large_string_template regressed in both Native command orders. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Motivation: Keep the performance ledger complete after testing an allocation-saving cycle-tracking variant. Modification: Record the inline small-stack cycle tracking probe and its Native benchmark result in both ledgers. Result: The code remains reverted because kube was noise-level and large_string_template regressed in both command orders. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Motivation: Preserve the outcome of quoted-key cache experiments so future kube work does not repeat unstable variants. Modification: Record HashMap, direct-mapped, and capped ByteRenderer key-cache probes in the performance ledgers. Result: The implementation remains reverted because kube reverse A/B was not stable-positive and some variants regressed. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Motivation: Kube-prometheus output contains many repeated medium/long description strings. Re-rendering each repeated value repeats UTF-8 encoding and JSON escape scanning, while large_string_template's dominant string is huge and unique. Modification: Cache fully rendered quoted bytes for repeated strings between 128 and 4096 characters, with bounded entry count and per-entry byte size. Add a regression test covering repeated escaped strings and record Native/JVM benchmark evidence in the performance ledgers. Result: Native kube-prometheus improves in both command orders: 132.89 -> 132.28 ms forward and 132.26 -> 130.72 ms reverse. large_string_template remains neutral-to-positive because its huge unique string is above the cache cap; focused JVM JMH guard is neutral at 0.666 -> 0.666 ms/op. References: bench/reports/sjsonnet-vs-jrsonnet-gaps.md
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Motivation:
This is stacked after #856 (
perf/simple-format-ascii-safe). The benchmark comparison below isagainst
origin/perf/simple-format-ascii-safe@f2a2e3ba, where this PR adds one commit:7656943f perf: cache repeated long string rendering.kube-prometheus renders many repeated medium/long description strings. Without caching, each repeated value pays the full quoted-string rendering cost again: UTF-8 encoding, JSON escape scanning, and byte copying. This showed up as a remaining Native renderer gap after larger parser/import and inline-object sort work had already been addressed.
Key Design Decision:
Cache only fully rendered quoted bytes for repeated strings in the 128..4096 character range, and cap the cache by both entry count and rendered byte size. This keeps the optimization targeted at repeated Kubernetes-style descriptions while leaving huge unique strings, such as
large_string_template, on the existing renderer path.Modification:
HashMap[String, Array[Byte]]inBaseByteRenderer.Benchmark Results:
Environment:
origin/perf/simple-format-ascii-safe@f2a2e3baperf/long-string-render-cache@7656943f/tmp/sjsonnet-native-long-cache-pr-base/tmp/sjsonnet-native-long-cache-pr-candidateOutput equality:
bench/resources/cpp_suite/large_string_template.jsonnetJMH guard:
Command:
0.666 ms/op0.666 ms/opNative hyperfine: kube-prometheus, forward order, 12 runs:
132.889 ms2.539 ms132.431 ms128.896 ms137.725 ms132.280 ms2.789 ms131.247 ms129.262 ms138.730 msNative hyperfine: kube-prometheus, reverse order, 12 runs:
130.720 ms1.562 ms130.347 ms128.133 ms133.569 ms132.262 ms1.457 ms132.585 ms130.240 ms134.842 msNative hyperfine:
large_string_template, forward order, 30 runs:11.074 ms1.293 ms11.126 ms8.941 ms13.997 ms10.822 ms0.931 ms10.738 ms9.237 ms13.076 msNative hyperfine:
large_string_template, reverse order, 30 runs:11.266 ms1.065 ms10.977 ms9.805 ms14.192 ms11.781 ms1.040 ms11.805 ms10.201 ms14.117 msValidation:
Result:
Analysis:
The kube-prometheus target is positive in both command orders, which is the expected workload for this cache because it contains repeated rendered description strings.
large_string_templateremains neutral-to-positive in both command orders because its dominant string is huge and unique, so it is intentionally above the cache cap and stays on the existing fast path. The JMH guard is exactly neutral at0.666 ms/op, so this does not trade Native improvement for a JVM regression.References:
bench/reports/sjsonnet-vs-jrsonnet-gaps.mdbench/reports/sync-points.mdResult:
Repeated medium/long strings render faster on kube-prometheus with bounded memory overhead, unchanged output, neutral JVM guard behavior, and full test-suite coverage.