ober/gerbil-sqlite
1
0
Fork 0
Code Issues Pull requests 7 Projects Releases Packages Wiki Activity Actions

Mark hot runtime structs final #8

Open
ober wants to merge 1 commit from optimize-prepared-hotpaths into optimize-prepared-runtime
pull from: optimize-prepared-hotpaths
merge into: ober:optimize-prepared-runtime
Conversation 0 Commits 1 Files changed 9 +44 -39
ober commented 2026-08-11 22:18:23 -04:00
Owner
Copy link

Adds Gerbil final: #t annotations to closed internal runtime structs in pmap, btree/page/record/writer, eval, exec, and DML metadata. This is a Gerbil-specific optimizer hint; it does not change SQL behavior or exported API shape.\n\nVerification:\n- make build\n- GERBIL_LOADPATH="/Users/user/mine/gerbil-sqlite:/Users/user/mine/gerbil-sqlite/.gerbil/lib:/Users/user/mine/gerbil-sqlite/gerbil-compat:/Users/user/mine/gerbil-sqlite/gerbil-compat/.gerbil/lib" timeout 240 /opt/gerbil/bin/gerbil env gxi tests/unit/test-api.ss\n- GERBIL_LOADPATH="/Users/user/mine/gerbil-sqlite:/Users/user/mine/gerbil-sqlite/.gerbil/lib:/Users/user/mine/gerbil-sqlite/gerbil-compat:/Users/user/mine/gerbil-sqlite/gerbil-compat/.gerbil/lib" timeout 240 /opt/gerbil/bin/gerbil env gxi tests/unit/test-exec.ss\n- N=1000 make bench-compiled: gsqlite 2.2x slower than SQLite overall\n- N=1000 make bench-prepared-compiled: gsqlite 10.9x slower than SQLite overall; prepared INSERT 4.6x, prepared range SELECT 13.5x, prepared indexed UPDATE 13.0x\n- make binary\n- make smoke

Adds Gerbil final: #t annotations to closed internal runtime structs in pmap, btree/page/record/writer, eval, exec, and DML metadata. This is a Gerbil-specific optimizer hint; it does not change SQL behavior or exported API shape.\n\nVerification:\n- make build\n- GERBIL_LOADPATH="/Users/user/mine/gerbil-sqlite:/Users/user/mine/gerbil-sqlite/.gerbil/lib:/Users/user/mine/gerbil-sqlite/gerbil-compat:/Users/user/mine/gerbil-sqlite/gerbil-compat/.gerbil/lib" timeout 240 /opt/gerbil/bin/gerbil env gxi tests/unit/test-api.ss\n- GERBIL_LOADPATH="/Users/user/mine/gerbil-sqlite:/Users/user/mine/gerbil-sqlite/.gerbil/lib:/Users/user/mine/gerbil-sqlite/gerbil-compat:/Users/user/mine/gerbil-sqlite/gerbil-compat/.gerbil/lib" timeout 240 /opt/gerbil/bin/gerbil env gxi tests/unit/test-exec.ss\n- N=1000 make bench-compiled: gsqlite 2.2x slower than SQLite overall\n- N=1000 make bench-prepared-compiled: gsqlite 10.9x slower than SQLite overall; prepared INSERT 4.6x, prepared range SELECT 13.5x, prepared indexed UPDATE 13.0x\n- make binary\n- make smoke
Mark hot runtime structs final
All checks were successful
ci / test (push) Successful in 4s
Details
ci / test (pull_request) Successful in 4s
Details
96b73f7feb
All checks were successful
ci / test (push) Successful in 4s
Details
ci / test (pull_request) Successful in 4s
Details
This pull request can be merged automatically.
You are not authorized to merge this pull request.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin optimize-prepared-hotpaths:optimize-prepared-hotpaths
git switch optimize-prepared-hotpaths

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch optimize-prepared-runtime
git merge --no-ff optimize-prepared-hotpaths
git switch optimize-prepared-hotpaths
git rebase optimize-prepared-runtime
git switch optimize-prepared-runtime
git merge --ff-only optimize-prepared-hotpaths
git switch optimize-prepared-hotpaths
git rebase optimize-prepared-runtime
git switch optimize-prepared-runtime
git merge --no-ff optimize-prepared-hotpaths
git switch optimize-prepared-runtime
git merge --squash optimize-prepared-hotpaths
git switch optimize-prepared-runtime
git merge --ff-only optimize-prepared-hotpaths
git switch optimize-prepared-runtime
git merge optimize-prepared-hotpaths
git push origin optimize-prepared-runtime
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
ober/gerbil-sqlite!8
No description provided.