A time-stamping system to detect memory consistency errors in MPI one-sided applications

Open Webpage

Thanh-Dang Diep, Kien Trung Pham, Karl Fürlinger, Nam Thoai

Published: 01 Jan 2019, Last Modified: 11 Nov 2024Parallel Comput. 2019EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Highlights•Proposing a novel time-stamping system for MPI one-sided communication.•The time-stamping system helps MC-CChecker overcome the limitation of MC-Checker.•Showing the effectiveness of the time-stamping based on experimental results.•Presenting a variant of the encoded vector clock to mitigate overhead of the proposed time-stamping system.•Suggesting how to extend the time-stamping system in the context of MPI-3.