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