Windows System Programming Third Edition

BEYOND THE WINDOWS API

311

should be

to ensure that each thread stores and fetches the

variable to and from memory, rather than assuming that the variable is held

in a register that is specific to the thread.

Here are some additional guidelines and rules of thumb that can be helpful.

• Use the condi tion variable model properly, being certain not to use two

distinct mute

xes with the same event. Understand the condition variable

model on which you depend. Be certain that the invariant holds before waiting

on a condition variable.

• Understand your invariants and condition variable predicates, even if

they are stated only

informally. Be certain that the ...