Re: Nochmal MVSR und Versionenordnung

Subject:

Comments:
: : Nach dem Auffrischen der älteren Kapitel ist mir jetzt Folgendes nicht mehr klar: : : Bei der Def. des MV-Abhängigkeitsgraphs S' (Folie 2-5) steht, dass es pro Schedule mehrere Versionenordnungen geben kann. : : Der Test eines Mehrversionen-Schedules auf MVSR ist in NP wegen dieser verschiedenen Versionenordnungen, für die S' getestet werden muss. : : Im Beispiel (Folie 2-8) testen wir S' aber nur für EINE Versionenordnung (y1<<y3<<y2), und es scheint, dass diese durch die Schreiber im Schedule implizit gegeben ist. : : Ist in diesem Beispiel der Test auf MVSR deshalb so einfach, weil im Schedule so viele Schreiber vorkommen, dass die Versionenordnung auf y schon vollständig gegeben ist, oder habe ich die Bedeutung von "Versionenordnung" falsch verstanden? : Prinziplell muessen beim Test auf MVSR alle Versionenordnungen betrachtet werden. Im Beispiel : von Folie 2-8 hat die verwendete Ordnung y1 << y3 << y2 schon das Ergebnis geliefert, : dass der Schedule korrekt ist. Die anderen Versionenordnungen brauchen daher nicht mehr ueberprueft werden : (es ist also schoen, wenn man gleich ein positives Ergebnis findet). : Wenn der resultierende Graph jedoch zyklisch ware koennte man noch nicht auf eine Verletzung von MVSR schliessen, : da ja noch nicht alle Versionenordnungen untersucht wurden. Dann muessten alle Permutationen : der drei Versionen y1, y2, y3 zusaetzlich noch getestet werden. : : Gruss, Heiko

Optional Link URL:
Link Title:
Optional Image URL: