A <em>location</em> (or <em>host</em>) is any possible place where
a process may run. Thus it is represented as a <em>physical
A <em>location</em> (or <em>host</em>) is any possible place where
a process may run. Thus it is represented as a <em>physical
typedef struct s_smx_timer* smx_timer_t;
/* ******************************** Synchro ************************************ */
typedef struct s_smx_timer* smx_timer_t;
/* ******************************** Synchro ************************************ */
typedef struct s_smx_sem *smx_sem_t;
/********************************** File *************************************/
typedef struct s_smx_sem *smx_sem_t;
/********************************** File *************************************/
/* ****************************** Process *********************************** */
/** @brief Process datatype
/* ****************************** Process *********************************** */
/** @brief Process datatype
A processt may be defined as a <em>code</em>, with some <em>private
data</em>, executing in a <em>location</em>.
A processt may be defined as a <em>code</em>, with some <em>private
data</em>, executing in a <em>location</em>.
typedef struct s_smx_rvpoint *smx_rdv_t;
/******************************** Context *************************************/
typedef struct s_smx_rvpoint *smx_rdv_t;
/******************************** Context *************************************/