Execution interlock collapsing under restricted memory models | AMiner