Lines Matching refs:SO
40 /* typedef struct _SO SO; */ /* now in hg_lock_n_thread.h */
64 SO* libhb_so_alloc ( void );
67 void libhb_so_dealloc ( SO* so );
72 strong send, the VC inside the SO is replaced by the clock of the
74 that already in the SO, if any. This subtlety is needed to model
81 SO reflects the join of the VCs of all the threads releasing the
84 void libhb_so_send ( Thr* thr, SO* so, Bool strong_send );
94 void libhb_so_recv ( Thr* thr, SO* so, Bool strong_recv );
96 /* Has this SO ever been sent on? */
97 Bool libhb_so_everSent ( SO* so );
