Verify correctness for cost-based execution with nonblocking communication

huttered40 / critter

Critical path analysis of MPI parallel programs

BSD 2-Clause "Simplified" License

2 stars 1 forks source link

Verify correctness for cost-based execution with nonblocking communication #62

Open huttered40 opened 1 year ago

huttered40 commented 1 year ago

I suspect this feature is not currently functioning right for nonblocking communication, due to current protocol that keeps propagation separate from kernel execution. The propagation happens in inspect_comm, not initiate_comm, and this also poses problems for the complete_comm routines. Should I call initiate_comm anyways? see intercept/comm.cxx