Post
by rapadder » Tue Jan 24, 2006 11:41 am
Λοιπόν, γνωρίζουμε ότι εάν ένα Schedule παράγεται από έναν TS (Time Stamp) Scheduler είναι Serializable. Ίσχύει και το αντίστροφο; Όχι ότι κάθε TS είναι Serializable, αλλά ότι για ένα Serializable Schedule υπάρχει κάποιο TS. Νομίζω ότι ισχύει, βλέποντας και την απάντηση στην τελευταία σειρά ασκήσεων όπου αρχικά αναφέρει ότι υπάρχει ένα Serial schedule (Τ3, Τ1, Τ2) και έπειτα ότι είναι consistent with a timestamp-based scheduler that gives T3 the earliest timestamp, then T1 and finally T2.
... Γράφτε κώδικα όσο είναι καιρός ...