Changes to Conflict Resolution

Problem: IPC conflicts can not be handled readily by posting ordering constraints

Culprits are not known up-front

Solution: Wait until the producer, consumer and threatening steps are all primitive

Optimizations possible

A

B

C

P

~P

Yang’s downward unlinearizability [1990]

Previous slide Next slide Back to first slide View graphic version