<feed xmlns='http://www.w3.org/2005/Atom'>
<title>pure/docs/research/126-batch-executor-stage-one.md, branch master</title>
<subtitle>Verified execution runtime unifying state, persistence, and replication.
</subtitle>
<id>http://git.yeowoo.org/pure/atom?h=master</id>
<link rel='self' href='http://git.yeowoo.org/pure/atom?h=master'/>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/'/>
<updated>2026-10-05T22:27:43Z</updated>
<entry>
<title>024, 126, 127: the lanes are 24 buffers (stage 2), about 200 KB a thread; stage 2 under ASan and UBSan (139 programs, the executor's output)</title>
<updated>2026-10-05T22:27:43Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-05T22:27:43Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=1b64ab89710a637e66604ece15d83f40ba314586'/>
<id>urn:sha1:1b64ab89710a637e66604ece15d83f40ba314586</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Research 126: the batch executor's first stage (024) as built and measured: knapsack 1,041 to 13.6 ms in the executor (the compiled code 7.5; its inner loop 1.17x the tier's, the stage's criterion missed; the table's adds left to stage 4), the executor without batch loops unchanged; what measuring overturned (a call among the steps cost 20% of the instructions, so two copies; run aligned to 64 for its cycles; results apart from operands for vector code); tests; 1024 lanes, 134 KB a thread; 024 and CHECKPOINT say so</title>
<updated>2026-10-05T21:56:44Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-05T21:56:44Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=65b86223e36948c9cfc3693a3c3018bacc0dddb5'/>
<id>urn:sha1:65b86223e36948c9cfc3693a3c3018bacc0dddb5</id>
<content type='text'>
</content>
</entry>
</feed>
