Fix MC

[simgrid.git] / src / simix / smx_process_private.h

diff --git a/src/simix/smx_process_private.h b/src/simix/smx_process_private.h
index 837cc22..d844aba 100644 (file)
--- a/src/simix/smx_process_private.h
+++ b/src/simix/smx_process_private.h
@@ -54,6 +54,7 @@ public:
 
   // TODO, pack them
   std::exception_ptr exception;
+  bool finished     = false;
   bool blocked      = false;
   bool suspended    = false;
   bool auto_restart = false;
@@ -72,12 +73,14 @@ public:
 
   friend void intrusive_ptr_add_ref(Process* process)
   {
+    // Atomic operation! Do not split in two instructions!
     auto previous = (process->refcount_)++;
     xbt_assert(previous != 0);
     (void) previous;
   }
   friend void intrusive_ptr_release(Process* process)
   {
+    // Atomic operation! Do not split in two instructions!
     auto count = --(process->refcount_);
     if (count == 0)
       delete process;