From b4dcbcc1eaf28847afd4672e1bfb00dfe2eba725 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 26 Mar 2017 04:03:08 +0200 Subject: [PATCH] s4u: fix documentation --- include/simgrid/s4u/Actor.hpp | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/include/simgrid/s4u/Actor.hpp b/include/simgrid/s4u/Actor.hpp index 61402c79e2..28b24912e9 100644 --- a/include/simgrid/s4u/Actor.hpp +++ b/include/simgrid/s4u/Actor.hpp @@ -235,10 +235,13 @@ public: double killTime(); void migrate(Host * new_host); + /** Ask the actor to die. * - * It will only notice your request when doing a simcall next time (a communication or similar). - * SimGrid sometimes have issues when you kill actors that are currently communicating and such. + * Any blocking activity will be canceled, and it will be rescheduled to free its memory. + * Being killed is not something that actors can defer or avoid. + * + * SimGrid still have sometimes issues when you kill actors that are currently communicating and such. * Still. Please report any bug that you may encounter with a minimal working example. */ void kill(); -- 2.20.1