git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7730
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
/* The semantics of SIMIX network operations implies that ONLY transitions
of the same type, in the same rendez-vous point, and from different processes
are dependant, except wait transitions that are always independent */
/* The semantics of SIMIX network operations implies that ONLY transitions
of the same type, in the same rendez-vous point, and from different processes
are dependant, except wait transitions that are always independent */
- if( t1->type == mc_wait
- || t2->type == mc_wait
- || t1->process == t2->process
- || t1->type != t2->type
- || t1->rdv != t2->rdv)
+ if(t1->process == t2->process)
- else
- return TRUE;
-}
-
-
-
+ if(t1->type == mc_isend && t2->type == mc_isend && t1->rdv == t2->rdv)
+ return TRUE;
+ if(t1->type == mc_irecv && t2->type == mc_irecv && t1->rdv == t2->rdv)
+ return TRUE;
+ if(t1->type == mc_wait && t2->type == mc_wait
+ && t1->comm->src_buff != NULL
+ && t1->comm->dst_buff != NULL
+ && t2->comm->src_buff != NULL
+ && t2->comm->dst_buff != NULL
+ && ( t1->comm->dst_buff == t2->comm->src_buff
+ || t1->comm->dst_buff == t2->comm->dst_buff
+ || t2->comm->dst_buff == t1->comm->src_buff))
+ return TRUE;
+
+ return FALSE;
+}
\ No newline at end of file