memfence 111 dmtcpplugin.cpp memfence(); //make sure the reads above don't get reordered memfence 120 dmtcpplugin.cpp memfence(); //make sure the loop condition doesn't get optimized memfence 387 mtcp/mtcp_restart.c memfence(); memfence 405 mtcp/mtcp_restart.c memfence();