Comprehensive Tracing

Bi

Ci

Dk

Cj

i

j

k

• when process i sends a union or a delete.scion message, all replicas at i must be clean

• scanning rule: scanning an object causes the corresponding create.scion message to be sent immediately

Previous slide

Next slide

Back to first slide

View graphic version