Posted by Andreas on January 29, 2001 at 12:39:28:
In Reply to: Re: Fragen zu 2PL vs. TO vs. SGT posted by Heiko Schuldt on January 29, 2001 at 10:11:18:
: Im linken Bild (TO mit fix vorgegebener Zeitstempelordnung) ist TO NICHT in CPSR bzw. SGT enthalten. Ebenso ist dieses TO auch mit VSR nicht vergleichbar. Ein Beispiel fuer VSR aber nicht TO (mit BOT-Ordnung = Zeitstempelordnung) ist der
: folgende Schedule: r1(x) w2(y) r1(y).
Das erstaunt mich -- CPSR ist doch unser Korrektheitskriterium!? So wie ich's seinerzeit verstanden habe, ist VSR die groesste "korrekte" Klasse (FSSR ist ja nur am Ende "korrekt"), laesst sich aber nicht in sinnvoller Zeit testen, deshalb ist fuer uns CPSR die Klasse korrekter Schedules.
Wie wuerde denn ein Schedule aussehen, der in TO, aber nicht in VSR ist???
Merci und Gruss,
Andreas