From ff2e0823e97d10477341192d72f5d9e61d9d5bad Mon Sep 17 00:00:00 2001 From: eunhhu Date: Sun, 18 Oct 2026 23:29:42 +0100 Subject: 027's 4f-2: no fixed count of states: the header's u16 alone (PURE_MODULE_STATES gone); a module's transient and counted states are flags of each, the lists views and functions change or name sets of states (state_words words, a bit each), the verifier's walked lists a list with its length, duplicate names found by sorting them; an app's eighteen arrays of each state (values, texts, lists, the stored lists' slots, the last save's and the burst's, a reader's, an event's values and marks) in one block sized to its module, a replace laying the new module's apart and taking it once nothing can fail; the runtime's lists placed past any state (PURE_LIST_HEARD 0x10000), their slots after the states'; a snapshot's arrays sized so too; pure_app_read false without room (pure-serve then shows none); a save's drafts, values and the tree's revisions on the stack for 64 states, else on the heap; the JIT compiles modules of 32 states at most (its sets a word), the app's lists read through a pointer; a view reads the app's values as they are (no state changes in one), no copy of 32 a evaluation; unit test: 300 states loaded and the last counted; a hole closed: pure_app_stop read the arrays a failed start never laid; PureApp 4,256 bytes, not 8,504; counts: b39b against b38 with batches within 0.06%, without batches knapsack +0.49%, join +0.23%, the rest within 0.17%; the bank's queries (s38 and s39b in turns, three each) field -1.99%, found -1.18%, in_credit -1.10%, large -0.99%, the rest -0.58% to +0.11% (the first build, s39, copied a view's values at run time's size: in_credit +2.4%); 008 and 027 --- .../040-against-c/2026-10-18-counts-s39.jsonl | 6 ++++++ .../040-against-c/2026-10-18-counts-s39b.jsonl | 6 ++++++ .../experiments/041-batches/2026-10-18-counts.jsonl | 20 ++++++++++++++++++++ 3 files changed, 32 insertions(+) create mode 100644 research/experiments/040-against-c/2026-10-18-counts-s39.jsonl create mode 100644 research/experiments/040-against-c/2026-10-18-counts-s39b.jsonl (limited to 'research/experiments') diff --git a/research/experiments/040-against-c/2026-10-18-counts-s39.jsonl b/research/experiments/040-against-c/2026-10-18-counts-s39.jsonl new file mode 100644 index 0000000..b3974b3 --- /dev/null +++ b/research/experiments/040-against-c/2026-10-18-counts-s39.jsonl @@ -0,0 +1,6 @@ +{"serve": "pure-serve", "per_branch": {"instructions": 26865370, "cycles": 12036945}, "in_credit": {"instructions": 3459783, "cycles": 1544059}, "large": {"instructions": 1425182, "cycles": 613806}, "ranks": {"instructions": 24331855, "cycles": 14797872}, "none": {"instructions": 616733, "cycles": 189978}, "field": {"instructions": 9068055, "cycles": 3315372}, "found": {"instructions": 14212606, "cycles": 10506721}} +{"serve": "pure-serve", "per_branch": {"instructions": 27478337, "cycles": 11973088}, "in_credit": {"instructions": 3593583, "cycles": 1683318}, "large": {"instructions": 1432214, "cycles": 623081}, "ranks": {"instructions": 24671480, "cycles": 14969381}, "none": {"instructions": 617421, "cycles": 190697}, "field": {"instructions": 9139254, "cycles": 3188551}, "found": {"instructions": 14290286, "cycles": 10504663}} +{"serve": "pure-serve", "per_branch": {"instructions": 27239776, "cycles": 11894390}, "in_credit": {"instructions": 3543744, "cycles": 1646137}, "large": {"instructions": 1425142, "cycles": 605810}, "ranks": {"instructions": 24538183, "cycles": 14871801}, "none": {"instructions": 616741, "cycles": 196591}, "field": {"instructions": 9068063, "cycles": 3325094}, "found": {"instructions": 14208759, "cycles": 10712719}} +{"serve": "pure-serve", "per_branch": {"instructions": 27304131, "cycles": 11738981}, "in_credit": {"instructions": 3554533, "cycles": 1587122}, "large": {"instructions": 1432198, "cycles": 603337}, "ranks": {"instructions": 24574447, "cycles": 14918480}, "none": {"instructions": 617429, "cycles": 194561}, "field": {"instructions": 9139262, "cycles": 3195565}, "found": {"instructions": 14289814, "cycles": 10579366}} +{"serve": "pure-serve", "per_branch": {"instructions": 26920520, "cycles": 11706646}, "in_credit": {"instructions": 3471996, "cycles": 1591913}, "large": {"instructions": 1425214, "cycles": 614624}, "ranks": {"instructions": 24360461, "cycles": 15245805}, "none": {"instructions": 616741, "cycles": 191201}, "field": {"instructions": 9068166, "cycles": 3325358}, "found": {"instructions": 14212487, "cycles": 10701986}} +{"serve": "pure-serve", "per_branch": {"instructions": 27236206, "cycles": 11723950}, "in_credit": {"instructions": 3539403, "cycles": 1599065}, "large": {"instructions": 1432238, "cycles": 600774}, "ranks": {"instructions": 24538532, "cycles": 14802465}, "none": {"instructions": 617421, "cycles": 189548}, "field": {"instructions": 9139255, "cycles": 3194542}, "found": {"instructions": 14292022, "cycles": 10576899}} diff --git a/research/experiments/040-against-c/2026-10-18-counts-s39b.jsonl b/research/experiments/040-against-c/2026-10-18-counts-s39b.jsonl new file mode 100644 index 0000000..a539cef --- /dev/null +++ b/research/experiments/040-against-c/2026-10-18-counts-s39b.jsonl @@ -0,0 +1,6 @@ +{"serve": "pure-serve", "per_branch": {"instructions": 27360804, "cycles": 11545807}, "in_credit": {"instructions": 3571052, "cycles": 1643630}, "large": {"instructions": 1425086, "cycles": 638653}, "ranks": {"instructions": 24605299, "cycles": 15131628}, "none": {"instructions": 616733, "cycles": 189773}, "field": {"instructions": 9068158, "cycles": 3292104}, "found": {"instructions": 14207567, "cycles": 10574932}} +{"serve": "pure-serve", "per_branch": {"instructions": 27135595, "cycles": 11877425}, "in_credit": {"instructions": 3516959, "cycles": 1701094}, "large": {"instructions": 1410989, "cycles": 596882}, "ranks": {"instructions": 24462411, "cycles": 14996706}, "none": {"instructions": 617412, "cycles": 191578}, "field": {"instructions": 8887523, "cycles": 3098617}, "found": {"instructions": 14040405, "cycles": 10512668}} +{"serve": "pure-serve", "per_branch": {"instructions": 27293600, "cycles": 12094763}, "in_credit": {"instructions": 3556001, "cycles": 1645229}, "large": {"instructions": 1425126, "cycles": 610823}, "ranks": {"instructions": 24569038, "cycles": 14957957}, "none": {"instructions": 616741, "cycles": 191024}, "field": {"instructions": 9068064, "cycles": 3388688}, "found": {"instructions": 14206167, "cycles": 10807883}} +{"serve": "pure-serve", "per_branch": {"instructions": 26973339, "cycles": 11639213}, "in_credit": {"instructions": 3480613, "cycles": 1591285}, "large": {"instructions": 1411029, "cycles": 607636}, "ranks": {"instructions": 24373751, "cycles": 14914522}, "none": {"instructions": 617412, "cycles": 191694}, "field": {"instructions": 8887420, "cycles": 3106773}, "found": {"instructions": 14041324, "cycles": 10311028}} +{"serve": "pure-serve", "per_branch": {"instructions": 27079702, "cycles": 11842700}, "in_credit": {"instructions": 3507813, "cycles": 1608816}, "large": {"instructions": 1425238, "cycles": 627439}, "ranks": {"instructions": 24449335, "cycles": 14965019}, "none": {"instructions": 616741, "cycles": 191783}, "field": {"instructions": 9068064, "cycles": 3317887}, "found": {"instructions": 14211959, "cycles": 10770860}} +{"serve": "pure-serve", "per_branch": {"instructions": 27231972, "cycles": 11876324}, "in_credit": {"instructions": 3538419, "cycles": 1736665}, "large": {"instructions": 1410965, "cycles": 615990}, "ranks": {"instructions": 24514950, "cycles": 15068801}, "none": {"instructions": 617412, "cycles": 207334}, "field": {"instructions": 8887420, "cycles": 3101559}, "found": {"instructions": 14039620, "cycles": 10365033}} diff --git a/research/experiments/041-batches/2026-10-18-counts.jsonl b/research/experiments/041-batches/2026-10-18-counts.jsonl index 7b29e36..45e7776 100644 --- a/research/experiments/041-batches/2026-10-18-counts.jsonl +++ b/research/experiments/041-batches/2026-10-18-counts.jsonl @@ -138,3 +138,23 @@ {"version":"b38","way":"rounds","work":"matmul","instructions":21163848735,"cycles":7467484636} {"version":"b38","way":"batches","work":"bfs","instructions":3339436314,"cycles":1648001735} {"version":"b38","way":"rounds","work":"bfs","instructions":4697444852,"cycles":2103018632} +{"version":"b39","way":"batches","work":"roots","instructions":157245460,"cycles":109743101} +{"version":"b39","way":"rounds","work":"roots","instructions":2715503224,"cycles":1022247002} +{"version":"b39","way":"batches","work":"knapsack","instructions":348029618,"cycles":105495098} +{"version":"b39","way":"rounds","work":"knapsack","instructions":22162560908,"cycles":7850938130} +{"version":"b39","way":"batches","work":"join","instructions":1783718615,"cycles":1081415678} +{"version":"b39","way":"rounds","work":"join","instructions":7723675399,"cycles":3499418387} +{"version":"b39","way":"batches","work":"matmul","instructions":702228698,"cycles":227384027} +{"version":"b39","way":"rounds","work":"matmul","instructions":21186408154,"cycles":7049343147} +{"version":"b39","way":"batches","work":"bfs","instructions":3345454177,"cycles":1709328930} +{"version":"b39","way":"rounds","work":"bfs","instructions":4705142450,"cycles":2084825460} +{"version":"b39b","way":"batches","work":"roots","instructions":157250010,"cycles":109528701} +{"version":"b39b","way":"rounds","work":"roots","instructions":2715503306,"cycles":1021040066} +{"version":"b39b","way":"batches","work":"knapsack","instructions":348029584,"cycles":105163550} +{"version":"b39b","way":"rounds","work":"knapsack","instructions":22162560899,"cycles":7840125192} +{"version":"b39b","way":"batches","work":"join","instructions":1783718499,"cycles":1021101298} +{"version":"b39b","way":"rounds","work":"join","instructions":7723675521,"cycles":3522966551} +{"version":"b39b","way":"batches","work":"matmul","instructions":702228822,"cycles":227369118} +{"version":"b39b","way":"rounds","work":"matmul","instructions":21186408258,"cycles":7035750569} +{"version":"b39b","way":"batches","work":"bfs","instructions":3341451010,"cycles":1659602824} +{"version":"b39b","way":"rounds","work":"bfs","instructions":4705138988,"cycles":2092014946} -- cgit v1.2.3