多处理机上两个程序段之间若有先写后读的数据相关,则()。