<feed xmlns='http://www.w3.org/2005/Atom'>
<title>pure/research/experiments/042-tiles, 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-08T13:24:44Z</updated>
<entry>
<title>042 tiles: knapsack's two passes with the lanes numbered the batch executor's way (memory's order, ascending): clang -O2 1.87 ms, gcc -O3 2.11, gcc -O2 9.02 (C 6.2, the compiled code 7.9)</title>
<updated>2026-10-08T13:24:44Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-08T13:24:44Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=c7656b76297b15b2054b7476fb03880ab0115c89'/>
<id>urn:sha1:c7656b76297b15b2054b7476fb03880ab0115c89</id>
<content type='text'>
</content>
</entry>
<entry>
<title>042 tiles (research 133): a register-tile interpreter in two forms, computed goto in one function (make.py: GCC spills every slot across the indirect branch) and threaded tail calls with the slots as vector arguments (make2.py: an operation its vector instructions, a load and a branch; clang's musttail, GCC's sibling calls); knapsack's inner loop, BFS's frontier and roots' Newton steps against tight passes and C: roots 5.8 ms (C 6.9, the compiled code 9.57), knapsack 29.4 (passes 2.9 with clang, 9.6 gcc; C 6.2; compiled 7.9), BFS 18.1 (passes 9.8; C 8.6; compiled 7.7); NEON gathers lane by lane cost the tiles what they gain in registers</title>
<updated>2026-10-08T12:39:18Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-08T12:39:18Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=ea9507f1c1f97e453d02f3610a03558974de5240'/>
<id>urn:sha1:ea9507f1c1f97e453d02f3610a03558974de5240</id>
<content type='text'>
</content>
</entry>
</feed>
