int PID; /* used for debugging purposes */
int PPID; /* The parent PID */
m_task_t waiting_task;
+ int blocked;
+ int suspended;
+ m_host_t put_host; /* used for debugging purposes */
+ m_channel_t put_channel; /* used for debugging purposes */
int argc; /* arguments number if any */
char **argv; /* arguments table if any */
MSG_error_t last_errno; /* the last value returned by a MSG_function */
MSG_error_t __MSG_wait_for_computation(m_process_t process, m_task_t task);
MSG_error_t __MSG_task_wait_event(m_process_t process, m_task_t task);
+MSG_error_t __MSG_process_block();
+MSG_error_t __MSG_process_unblock(m_process_t process);
+int __MSG_process_isBlocked(m_process_t process);
+
#endif