| Objective |
|
|
|
|
|
|
|
|
|
|
| I
propose Parallel Nondeterminator to: |
|||||||||
| • | Check
the determinacy race in the parallel |
||||||||
| execution
of the program written in the |
|||||||||
| language
like Cilk |
|||||||||
| • | Develop
efficient algorithm to decide the |
||||||||
| concurrency
between threads |
|||||||||
| • | Develop
efficient algorithm to reduce the |
||||||||
| number
of entries in access history |
|||||||||