correctness-model/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