Skip to content
Snippets Groups Projects
Commit 9c0f2143 authored by Florian Fischer's avatar Florian Fischer
Browse files

make cancellation in all emper variants sound

* Document data races of a future's state.
* Get and set a Future's state only through methods. This helps to
  add possibly needed atomic operations.
* Use atomics to get/set cancel and prepare state in IO_SINGLE_URING vaiant
* Add more IO debug messages
* Use the BPS of Futures with callbacks similar to those of forgotten
  ones to signal their preparation. The preparation mark the
  last moment where the Future is used in EMPER and after that the memory
  can be dropped.
  ATTENTION: This means not that the used resources of the IO request
  can be dropped. The kernel may still use a supplied buffer for example.
* Fix Future chain cancellation in SubmitActor
parent 95722c1b
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment