Lines Matching full:state
8 Note that this file does NOT describe the state machine used in the
9 svn://svn.valgrind.org/branches/YARD version of Helgrind. That state
17 state machine for data race detection. It is described at
32 state machine rules E5 and E6(r). These are, respectively:
85 The resulting state machine, MSMProp2
97 Name Old-State Op Guard New-State Race-If
129 I always found the state names in MSMProp1 confusing. Both MSMProp1
138 The effect of a state Read(VTS,LS) is to constrain all later-observed
143 Hence a Read state places a constraint on writes.
145 The effect of a state Write(VTS,LS) is similar, but it applies to all
151 Hence a Write state places a constraint on all accesses.
