diff options
Diffstat (limited to 'research/experiments/045-proof-compiler/2026-10-19-break.jsonl')
| -rw-r--r-- | research/experiments/045-proof-compiler/2026-10-19-break.jsonl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/research/experiments/045-proof-compiler/2026-10-19-break.jsonl b/research/experiments/045-proof-compiler/2026-10-19-break.jsonl index f70a825..7710f47 100644 --- a/research/experiments/045-proof-compiler/2026-10-19-break.jsonl +++ b/research/experiments/045-proof-compiler/2026-10-19-break.jsonl @@ -11,3 +11,4 @@ {"what": "variant v0r: the empty handler and range(p.code) a point (events.c, PURE_JIT=0)", "empty_handler": 1562.6, "range_only": 16051.7, "lists_built": 24211.2, "range_per_point": 14489.1, "range_iterations_per_point": 11.4} {"what": "mechanisms, the app (where.c and where.py: 246,581 samples every 100,003 user instructions, 10 rounds, answers checked)", "machine_instructions_per_point": 40236, "dispatch": 12298, "list_build": 6953, "compute": 5416, "list_read": 5238, "moves": 3601, "call": 2847, "memory": 1609, "unplaced": 1213, "event": 947, "loop": 113} {"what": "mechanisms, variant v0r (range only)", "machine_instructions_per_point": 16089, "dispatch": 6038, "compute": 3697, "list_read": 2729, "moves": 1521, "unplaced": 713, "list_build": 451, "call": 360, "memory": 247, "event": 190, "loop": 144, "floor_divide_and_fmod": 2121} +{"what": "(b) checked again: cost.c now reads Pure's boundaries from its view (it compared only the C's before); the stitched build rebuilt from stitch.c and native-hook.patch at adccf58; both answer all 18,672 lines", "interpreted": {"instructions_per_point": 40189.2, "cycles_per_point": [15398.8, 15433.1]}, "stitched": {"instructions_per_point": 28088.7, "cycles_per_point": [11692.5, 11715.0]}, "instruction_factor": 1.43, "cycle_factor": 1.32, "pure_right": 18672, "lines": 18672} |