Check, fix and document safety of tansiv-client's usage of Qemu timers
Tanqemu uses Qemu timers for deadline handling. The comments justifying the safe usage are not complete though.
The following must be checked:
-
requirements when calling Qemu functions; -
make sure that arbitrary sequences of start()
andstop()
and reference counters ofTimerContext
remain safe.
Maybe using the typestate pattern could help?