Assume is a data access operation using
,
and
is a data access operation using
.
If for any access
, there is no access
that conflicts
with
, then MPI-/ guarantees sequential consistency.
However, unlike POSIX semantics, the default MPI-/ semantics
for conflicting accesses
do not guarantee sequential consistency.
If and
conflict,
sequential consistency can be guaranteed by either
enabling atomic mode via the MPI_FILE_SET_ATOMICITY routine, or
meeting the
condition
described in Case 3 below.
MPI-Standard for MARMOT