MPI_File_write_ordered_end(3) on Linux
The text ef197b4d9728, as Debian 10 (Buster) shipped it.
Complete a split collective write using shared file pointer
The text ef197b4d9728, as Debian 10 (Buster) shipped it.
Complete a split collective write using shared file pointer