+ // Handling of receiving thread
+ xbt_mutex_t receiver_mutex;
+ xbt_cond_t receiver_cond;
+ m_process_t receiver_thread;
+ static int receiver_wrapper(int, char* []);
+ void receiver1(msg_comm_t& comm, m_task_t& task, const char* mbox);
+ void receiver();
+
+ // Used to chek if a communication is successfull before destroying it
+ static void comm_check_n_destroy(msg_comm_t comm);
+ // If comm is over, call comm_check_n_destroy(comm), and return true