Cautions about Threads
l
Reasoning about concurrent programs
is inherently more difficult than
reasoning about sequential ones.
l
They can exhibit
non-deterministic
behavior, when variables are shared
among threads.