On 07/19/2016 08:09 PM, Nik Sultana wrote:
I think if we're asking to restart a service, then it might be
expedient to avoid certain cleanups or deallocation at the stopping
phase, since the same allocations or state will (optimistically
speaking) be recreated soon at the starting phase. This could save
wasted effort saved at the stopping phase. Presumably there would need
some kind of timer to ensure that the full cleanup and deallocation
does take place eventually, if the start fails. Cold vs warm vs tepid
restart?
Generally when I'm asking to restart a service, I'm doing it because I
want it to drop all of its state. Frequently, I want it to come back
up, cleanly, as quickly as it can.
-Mindy
_______________________________________________
MirageOS-devel mailing list
[email protected]
https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel