Static Local Concurrency Errors Detection in MPI-RMA Programs.
Emmanuelle SaillardMarc SergentCélia Tassadit Ait KaciDenis BarthouPublished in: Correctness@SC (2022)
Keyphrases
- detection algorithm
- object detection
- automatic detection
- error detection
- general purpose
- detection method
- parallel algorithm
- high performance computing
- detection accuracy
- object oriented languages
- data flow
- concurrency control
- nested transactions
- false alarms
- risk management
- message passing
- databases
- object oriented
- database systems