问内存屏障foo/bar的示例疑问？

foo/bar的示例，用assert失败来说明对于cpu1来说，b=1先看到，a=1后看到，有一些疑问。

cpu0执行了a=1，发送了read invalidate信号；cpu0收到cpu1的read b的message，同时也把最新的b=1的response回给了cpu1；

如果cpu0发送的消息能按顺序到达cpu1（这点应该是能保证的），那么cpu1收到b=1的response时候，肯定也收到了对a地址的read invalidate信号啊，如果这样，就不存在assert失败了啊？