Lines Matching +full:wait +full:- +full:state
3 * util/qemu-thread-win32.c.
11 * spin -a docs/event.promela
12 * gcc -O2 pan.c -DSAFETY
22 #define RAW_WAIT do :: event -> break; od
28 #define WAIT RAW_WAIT
30 /* Full model: layer a userspace-only fast path on top of the RAW_*
31 * primitives. SET/RESET/WAIT have exactly the same semantics as
36 #define EV_BUSY -1
38 int state = EV_FREE;
41 #define SET if :: state != EV_SET -> \
42 atomic { /* xchg_result=xchg(state, EV_SET) */ \
43 xchg_result = state; \
44 state = EV_SET; \
46 if :: xchg_result == EV_BUSY -> RAW_SET; \
47 :: else -> skip; \
49 :: else -> skip; \
52 #define RESET if :: state == EV_SET -> atomic { state = state | EV_FREE; } \
53 :: else -> skip; \
57 #define WAIT tmp1 = state; \
58 if :: tmp1 != EV_SET -> \
59 if :: tmp1 == EV_FREE -> \
61 atomic { /* tmp2=cas(state, EV_FREE, EV_BUSY) */ \
62 tmp2 = state; \
63 if :: tmp2 == EV_FREE -> state = EV_BUSY; \
64 :: else -> skip; \
67 if :: tmp2 == EV_SET -> tmp1 = EV_SET; \
68 :: else -> tmp1 = EV_BUSY; \
70 :: else -> skip; \
73 if :: tmp1 == EV_BUSY -> RAW_WAIT; \
74 :: else -> skip; \
76 :: else -> skip; \
83 :: !value ->
86 :: !value -> WAIT;
87 :: else -> skip;
89 :: else -> skip;