Radjasouria Vinaygame (Storm)

Howdy,

Winter is coming, but before winter we will get to learn about data race detection with Radjasouria Vinaygame. Please join us on November 9 and stay warm by listening to this hot topic.

Speaker

Radjasouria Vinaygame

When

Thursday, November 9, 2023 at 10:00 am.

Where

room Alan Turing 2 or online (Zoom link: https://u-bordeaux-fr.zoom.us/j/84576409959?pwd=MVo2VWhJOW12Z01RQ1VRcnFZRjFQUT09)

Title

Rethinking Data Race Detection in MPI-RMA Programs - paper to be presented at Correctness23

Abstract

Supercomputers are capable of increasingly more computations, and nodes forming them need to communicate even more efficiently with each other. The Message Passing Interface (MPI) proposes a communication model based on one-sided communications called the MPI Remote Memory Access (MPI-RMA). Thanks to these operations, applications can improve the overlap of communications with computations. However, one-sided communications are complex to write since they are subject to data races. This paper rethinks an existing on-the-fly data race detection algorithm for MPI-RMA programs by improving the storage of memory accesses in a Binary Search Tree using a new insertion algorithm based on fragmentation and merging algorithms. Thus, experimental results on real-life applications show that this new insertion algorithm improves the accuracy of the data race detection and can reduce the overhead of the analysis at runtime by a factor up to two.