Refine memory dependence's notion of volatile semantics