Home
last modified time | relevance | path

Searched refs:VTS (Results 1 – 3 of 3) sorted by relevance

/external/valgrind/helgrind/
DREADME_MSMProp2.txt90 States are New, Read(VTS,LS), Write(VTS,LS)
92 where LS is a lockset (as before) and VTS is a vector timestamp.
94 For a thread T with current lockset 'currLS' and current VTS 'currVTS'
138 The effect of a state Read(VTS,LS) is to constrain all later-observed
140 in common with LS, or (2) those writes must happen-after VTS. If
145 The effect of a state Write(VTS,LS) is similar, but it applies to all
148 happen-after VTS. If neither of those two conditions hold, a race is
154 interpretation of the VTS component is that it states the earliest
Dlibhb_core.c2100 VTS; typedef
2103 static VTS* VTS__new ( const HChar* who, UInt sizeTS );
2107 static VTS* VTS__clone ( const HChar* who, VTS* vts );
2113 static VTS* VTS__subtract ( const HChar* who, VTS* vts, XArray* thridsToDel );
2116 static void VTS__delete ( VTS* vts );
2121 static void VTS__singleton ( /*OUT*/VTS* out, Thr* thr, ULong tym );
2126 static void VTS__tick ( /*OUT*/VTS* out, Thr* me, VTS* vts );
2131 static void VTS__join ( /*OUT*/VTS* out, VTS* a, VTS* b );
2145 static UInt VTS__cmpLEQ ( VTS* a, VTS* b );
2150 static Word VTS__cmp_structural ( VTS* a, VTS* b );
[all …]
/external/icu/icu4c/source/data/unidata/
Dppucd.txt1260 …s=control=LINE TABULATION SET,control=VERTICAL TABULATION SET,abbreviation=VTS;NFKD_QC=Y;WB=XX;-XI…