demikernel icon indicating copy to clipboard operation
demikernel copied to clipboard

Published 20 hours ago • verified publisher icon microsoft

[scheduler] Use the Unused Space in `WakerPage` for Something Useful

Open ppenna opened this issue 3 years ago • 0 comments

Description

We currently have 32 bytes in the WakerPage unused. We should make something useful out of this space.

One simple idea would be to halve the size of the structure itself.

ppenna avatar Feb 09 '22 20:02 ppenna