From: Christophe Thiéry <christopho128@gmail.com>
Date: Fri, 14 Oct 2011 15:46:45 +0000 (+0200)
Subject: In case of failures, a process may become runnable without time step
X-Git-Tag: exp_20120216~558^2~5
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/731c795835a76fc79039a130c1d5717d1ba939b9

In case of failures, a process may become runnable without time step

Since commit e5922b4 (clean unfinished comms when terminating a process),
the test msg-actions was failing on a deadlock instead of waking up
the last process (who can terminate normally after a failed recv).
---

diff --git a/src/simix/smx_global.c b/src/simix/smx_global.c
index ebd3dea594..3485c6b1e9 100644
--- a/src/simix/smx_global.c
+++ b/src/simix/smx_global.c
@@ -240,7 +240,7 @@ void SIMIX_run(void)
     /* Clean processes to destroy */
     SIMIX_process_empty_trash();
 
-  } while (time != -1.0);
+  } while (time != -1.0 || xbt_dynar_length(simix_global->process_to_run) > 0);
 
   if (xbt_swag_size(simix_global->process_list) != 0) {
 
@@ -363,6 +363,9 @@ void SIMIX_display_process_status(void)
       XBT_INFO("Process %ld (%s@%s): waiting for %s action %p (%s) to finish", process->pid, process->name, process->smx_host->name,
 	  action_description, process->waiting_action, process->waiting_action->name);
     }
+    else {
+      XBT_INFO("Process %ld (%s@%s)", process->pid, process->name, process->smx_host->name);
+    }
   }
 }