Skip to content

Conversation

@alwin-joshy
Copy link
Contributor

@alwin-joshy alwin-joshy commented Feb 3, 2025

Fixed a couple of bugs related to allocations that are fixed to a particular physical address.

@alwin-joshy alwin-joshy force-pushed the fixed_allocation branch 3 times, most recently from 1521ead to 9f74862 Compare February 4, 2025 00:06
Fixed allocations, which need to be allocated at a specific
physical address, were being allocated after regular
allocations, which can be allocated at arbitrary addresses.
This meant that regular allocations occasionally stole the
memory  needed by fixed allocations, which resulted in a
runtime error. This patch ensures that all fixed allocations
are completed before normal allocations

Signed-off-by: Alwin Joshy <joshyalwin@gmail.com>
Prior to this patch, fixed and regular allocations used two
different allocation methods, FixedUntypedAlloc and
ObjectAllocator respectively. These operated on the same underlying
untyped objects but did not maintain coherency about how much of
the untyped had already been allocated, which lead to runtime
invocation errors when an untyped contains both fixed and regular
allocations. This patch removes FixedUntypedAlloc and changes
everything to use ObjectAlloc.

Signed-off-by: Alwin Joshy <joshyalwin@gmail.com>
Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
@Ivan-Velickovic Ivan-Velickovic merged commit 8928884 into seL4:main Mar 2, 2025
10 of 11 checks passed
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