The three ways of resolving a threat

P(A)

Producer

P(A)

Consumer

~P(?x)

Clobberer

Promotion: order Clobberer after Consumer

Demotion: order Clobberer before Producer

Separation: constrain ?x’s binding, ?x ~= A

Previous slide

Next slide

Back to first slide

View graphic version