shmFile           434 dmtcpworker.cpp       string shmFile = jalib::Filesystem::GetDeviceName(PROTECTED_SHM_FD);
shmFile           435 dmtcpworker.cpp       JASSERT(!shmFile.empty());
shmFile           436 dmtcpworker.cpp       unlink(shmFile.c_str());