Sufficient conditions

• Sufficient Conditions

  • issued in program order
  • after write issues, the issuing process waits for the write to complete before issuing next memory operation
  • after read is issues, the issuing process waits for the read to complete and for the write whose value is being returned to complete (gloabaly) befor issuing its next operation

• Write completion

  • can detect when write appears on bus

• Write atomicity:

  • if a read returns the value of a write, that write has already become visible to all others already

Previous slide

Next slide

Back to first slide

View graphic version