[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

The unlinearizability example



Folks:
 There was an error in the example I put in the slides yesterday to show that an inconsistent plan can be reduced to find a
consistent linearization. Basically, the non-primitive tasks A and B need only have one delete effect each. See the changed slide
enclosed below.

Rao



725a55fb.jpg