Posted by Heiko Schuldt on January 29, 2001 at 13:16:38:
In Reply to: TO nicht in VSR??? posted by Andreas on January 29, 2001 at 12:39:28:
: : 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???
Sorry, da habe ich mich ungluecklich ausgedrueckt!
Das TP-Protokoll, bei dem die Zeitstempelordnung fix vorgegeben ist, ist mit 2PL nicht vergleichbar (siehe Uebingsblatt 8).
Zudem laesst sich nicht unbedingt jeder korrekte CPSR-Schedule (SGT-Schedule) durch dieses Verfahren erzeugen, wohl ist aber umgekehrt jeder TO-Schedule CPSR (sonst wuerde das Protokoll ja keinen Sinn machen).
Also ist auch nicht jeder VSR-Schedule aus TO (dies gilt sogar dann, wenn die Zeitstempel-Ordnung beliebig gewaehlt werden kann, Beispiel siehe oben). Umgekehrt aber, da jeder TO-Schedule CPSR ist,
ist natuerlich auch jeder TO-Schedule VSR.
-- Heiko