MPI-PR should stop if not enough space is available on /dev/shm
Closed this issue · 1 comments
edoapra commented
If there is not enough space left on /dev/shm, MPI-PR runs stop with a SIGBUS error.
I have experienced this on docker images with a tiny /dev/shm filesystem.
We should probably be able to detect the /dev/shm problem before the SIGBUS error occurs.