Clean Propagation

Bi

Ci

Dk

Cj

i

j

k

• when process i sends a propagate(x), xi 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