Ιούνιος+2006+(clocks)

Θέμα 2 (20 Βαθμοί) Εξηγήστε κατά πόσο η σχέση λογική εξάρτησης γεγονότων σε ένα κατανεμημένο σύστημα μπορεί να καταγραφεί χρησιμοποιώντας: Δώστε κατάλληλα παραδείγματα.
 * 1) Φυσικά ρολόγια
 * 2) Λογικά ρολόγια Lamport
 * 3) Διανυσματικά λογικά ρολόγια

__Λύση__: > Η λογική εξάρτηση δίνει απάντηση στο κατά πόσο ένα συγκεκριμένο γεγονός επηρεάζει ένα άλλο. Η λογική σειρά σέβεται αλλά δεν ταυτίζεται με τη χρονική σειρά με την οποία έλαβαν χώρα τα γεγονότα. > Ακόμη και αν καταγράψουμε την ακριβή χρονολογική σειρά των γεγονότων που έλαβαν χώρα στο σύστημα εξακολουθούμε να μη γνωρίζουμε τη σχέση λογικής εξάρτησης μεταξύ τους. > Ακόμα και αν δύο ρολόγια είναι συγχρονισμένα μεταξύ τους, δεν είναι σίγουρο αν έχουν την απαιτούμενη εσωτερική ακρίβεια ή/και όριο απόκλισης ώστε να διατάξουμε χρονικά/λογικά τα γεγονότα μεταξύ τους με βάση φυσικές χρονοσφραγίδες. > Αν ένα γεγονός που προκαλείται σε μια διεργασία λόγω παραλαβής ενός μηνύματος από μια άλλη διεργασία μπορεί να λάβει την ίδια ή ακόμα και μικρότερη χρονοσφραγίδα από το γεγονός που το προκάλεσε. > Δυο διαδοχικά γεγονότα μπορεί να λάβουν την ίδια χρονοσφραγίδα. > Τα ρολόγια Lamport μπορούν να καταγράψουν σχέσεις λογικής εξάρτησης μεταξύ δύο γεγονότων αλλά δεν μπορούν να εγγυηθούν την λογική ανεξαρτησία μεταξύ δυο γεγονότων, παρά μόνο αν οι χρονοσφραγίδες τους είναι ίσες. > Αν TS(ei)=TS(ej) τότε μπορούμε να πούμε ότι τα γεγονότα είναι λογικά ανεξάρτητα, αλλά όχι το αντίστροφο. > Αν e~>e' τότε TS(e) > Τα λογικά διανυσματικά ρολόγια μπορούν να εγγυηθούν και λογική εξάρτηση και λογική ανεξαρτησία μεταξύ δύο γεγονότων. > Αν TS(e)<>TS(e') τότε τα e και e' είναι λογικά ανεξάρτητα. > Αν TS(e) Αν TS(e)>TS(e') τότε το e' προηγείται λογικά του e. >
 * 1) Λογική εξάρτηση - φυσικά ρολόγια:
 * 1) Λογική εξάρτηση - λογικά ρολόγια Lamport:
 * 1) Λογική εξάρτηση - λογικά διανυσματικά ρολόγια:

include component="comments" page="Ιούνιος 2006 (clocks)" limit="10"