Pedro Henrique Penna
Pedro Henrique Penna
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...
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...
Description ------------ We currently rely on the following unstable features: - [ ] [`test`](https://doc.rust-lang.org/unstable-book/library-features/test.html): mainly used for feature microbenchmarks - [ ] [`allocator_api`](https://doc.rust-lang.org/unstable-book/library-features/allocator-api.html): used for implementing `WakerPageRef` - [ ]...
Context ====== Currently, Demikernel does not support multiple LibOSes, each of which of a different type, to co-exist. This may be limiting when an application interacts with multiple kernel-bypass technologies...
# Description We should introduce a global clock error for improving accuracy of timing statistics. Overall, the idea is to make the following code global: ``` t1 = clock_read(); t2...
# Description We should introduce support for returning values in thread exit/join exit.
# Description We should support a way to query information about a page.
# Description We should fix the default toolchain directory in `build/` and in `.gitignore`.
Description --------------- We are currently messing the kernel logs, by using different string formats to log the output. We should stick to a standard formatting for kernel logs, so it...