Skip to content

feat(Isla): Partition page-table allocation arenas - #236

Merged
tperami merged 1 commit into
feature/isla-bounded-allocatorfrom
feature/pgt-allocation-arenas
Sep 14, 2026
Merged

tperami merged 1 commit into
feature/isla-bounded-allocatorfrom
feature/pgt-allocation-arenas

Conversation

@febyeji

@febyeji febyeji commented Aug 31, 2026

Copy link
Copy Markdown
Collaborator

Keep code and translation-table allocations within dedicated 2 MiB arenas, and begin page-table data allocation after them.

@tperami

tperami commented Sep 7, 2026

Copy link
Copy Markdown
Collaborator

Can you rebase this, please?

@febyeji
febyeji force-pushed the feature/pgt-allocation-arenas branch from 2231457 to 547f750 Compare September 7, 2026 19:52
@febyeji
febyeji force-pushed the feature/pgt-allocation-arenas branch from 547f750 to 7991fda Compare September 8, 2026 10:24

@tperami tperami left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Some code readability things, but the code is good. Probably should mention the hardcoded layout in commit message too

Comment thread cli/lib/isla/converter.ml Outdated
Comment thread cli/lib/isla/converter.ml Outdated
Comment thread cli/lib/isla/converter.ml
Comment thread cli/lib/isla/converter.ml Outdated
Comment thread cli/tests/arm/vm/LDR+size+VM.litmus.toml
Use the fixed layout of 0-2 MiB for code, 2-4 MiB for translation tables, and addresses at or above 4 MiB for data.
@febyeji
febyeji force-pushed the feature/pgt-allocation-arenas branch from 7991fda to efe3e21 Compare September 9, 2026 10:18
@tperami
tperami added this pull request to the merge queue Sep 14, 2026
Merged via the queue into main with commit 0afca56 Sep 14, 2026
2 checks passed
@tperami
tperami deleted the feature/pgt-allocation-arenas branch September 15, 2026 08:01
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