demikernel icon indicating copy to clipboard operation
demikernel copied to clipboard

[scheduler] Better Semantics and Naming for `SchedulerHandle` Functions

Open ppenna opened this issue 2 years ago • 0 comments

Description

Currently, SchedulerHandle is used to refer to both short-living and long-living operations.

The problem here is that each of these take different life-cycle paths and end up having different semantics on when their underlying reference counting is updated on WakerPageRefs.

This design does not expose a clear interface and function names do not help either.

ppenna avatar Apr 06 '22 12:04 ppenna