Data Race
•
Very different from traditional definition in
Nondeterminator
•
Assumption (correct parallelization)
•
Definition (1
st
half of Kai’s master thesis)
–
Efficient detection (v.s. NP-complete proved
by Kai)
–
Make use of current algorithms/tools
•