Currently, UserBox allocates its own memory from userspace using the alloc/free usercalls. This is inefficient. Instead, there could be an allocator that uses alloc once (or as needed) to hand out allocations. Care needs to be taken to avoid storing allocation metadata in userspace.
raoulstrackx
commented
1 year ago
Currently,
UserBoxallocates its own memory from userspace using thealloc/freeusercalls. This is inefficient. Instead, there could be an allocator that usesalloconce (or as needed) to hand out allocations. Care needs to be taken to avoid storing allocation metadata in userspace.