Skip to content

Reuse record iterator buffer across records - #21

Merged
noonchen merged 1 commit into
noonchen:mainfrom
henrik-nil-acc:reuse_record_iterator
Jun 8, 2026
Merged

Reuse record iterator buffer across records#21
noonchen merged 1 commit into
noonchen:mainfrom
henrik-nil-acc:reuse_record_iterator

Conversation

@henrik-nil-acc

Copy link
Copy Markdown
Contributor

Iterating a datalog allocated a fresh buffer for every record, churning the allocator and fragmenting the heap, even though only one record's bytes are live at a time.

Iterating a datalog allocated a fresh buffer for every record,
churning the allocator and fragmenting the heap, even though only
one record's bytes are live at a time.
@noonchen

noonchen commented Jun 8, 2026

Copy link
Copy Markdown
Owner

Changes look good to me, let me see what I can do to fix those ci warnings...

@noonchen

noonchen commented Jun 8, 2026

Copy link
Copy Markdown
Owner

ehhh, whatever, I will merge it anyway.

Big thanks! @henrik-nil-acc

@noonchen
noonchen merged commit 13922ec into noonchen:main Jun 8, 2026
3 of 5 checks passed
@henrik-nil-acc
henrik-nil-acc deleted the reuse_record_iterator branch June 8, 2026 13:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants