Hi,
Looking at MOSI_SMP_bcast I was wondering how sequential consistency is
maintained in the protocol. Although the root switch orders the
requests, I have concerns regarding the delivery of requests. Since
paths to different processors may have different latencies (due to
contention), requests reach different processors at different time
(physical time). Will this not have implications in the consistency model ?
In general, Ordering Point protocols (like the in Coherence Ordering for
Ring-based CMPs) use an ordering point to order requests as well as well
explicit acks to complete the requests. I am curious as to how this
protocol manages to achieve consistency without the acks ?
Niket
|