interruptCkpthread  410 dmtcpworker.cpp   interruptCkpthread();
interruptCkpthread   60 dmtcpworker.h        static void interruptCkpthread();