Open sharpneli opened 9 years ago
Currently the kernel binary caching does not check if other MPI threads are using a kernel with the same device name. Therefore it should be changed so that only one MPI thread actually writes the binary file.
See also #86
Currently the kernel binary caching does not check if other MPI threads are using a kernel with the same device name. Therefore it should be changed so that only one MPI thread actually writes the binary file.