projects
/
cdsspec-compiler.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
add write up
[cdsspec-compiler.git]
/
writeup
/
spell.lst
1
personal_ws-1.1 en 98
2
runtime
3
API
4
dequeuing
5
opCheck
6
overviewing
7
atomics
8
PSO
9
thrd
10
IRIW
11
optimizations
12
atomicity
13
potentialOP
14
interleavings
15
updaters
16
Paraglider
17
hb
18
structureSpec
19
lookups
20
Lev
21
enqueue
22
resizing
23
linearizability
24
lrrr
25
Amit
26
cnt
27
MCS
28
InitVar
29
bool
30
multi
31
spinlock
32
trylock
33
Mellor
34
decrement
35
Valeadis
36
cst
37
happensBefore
38
SideEffect
39
putAll
40
dequeues
41
DeclareStruct
42
MPMC
43
deque
44
DefineFunc
45
methodSpec
46
STL
47
lockfree
48
opLabelCheck
49
rf
50
structureDefine
51
SPSC
52
sb
53
sc
54
hashtables
55
Cppmem
56
prev
57
dequeue
58
reorderings
59
VYRD
60
RW
61
init
62
TSO
63
ConditionA
64
Crummey
65
sw
66
opClear
67
ccccc
68
Valeiadis
69
Relacy
70
Concurrit
71
postconditions
72
iteratively
73
NDetermin
74
LabelA
75
resize
76
succ
77
TVLA
78
acq
79
nondeterministic
80
intra
81
linearizable
82
PreCondition
83
DeclareVar
84
hashtable
85
boolean
86
postcondition
87
PostCondition
88
CheckFence
89
enqueues
90
structs
91
scalability
92
struct
93
opo
94
newNode
95
linearization
96
CAS
97
RCU
98
Colvin
99
dependences