[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