在多处理机环境中,两个程序段之间如果存在“先读后写”的数据反相关时,下列说法正确的是