Απάντηση σχετικά με ερώτησησυναδέλφουσας γιατίσεactive replication (πουεγγυάταιsequential consistency) χρησιμοποιείταιreliable, totally ordered multicast (καιόχιαπλόFIFO multicast):

Το sequential consistency, όπως και το linerarizability) παρέχει τη συμπεριφορά μοναδικού αντιγράφου. Αυτό σημαίνει ότι πάντα πρέπει όλοι να βλέπουν τα updates με την ίδια σειρά. Η διαφορά με το linearizability είναι ότι αυτή η σειρά δεν είναι απαραίτητα η αυστηρή χρονική σειρά με την οποία έγιναν τα updates. Η χρονική σειρά με την οποία έγιναν τα updates διατηρείται μόνο για updates που προέρχονται από την ίδια διεργασία.

Αυτό φαίνεται στο slide 28 του distributed_06.pptx. Το example 1 είναι sequentially consistent γιατί και η P3 και η P4 βλέπουν τα updates με την ίδια σειρά (πρώτα το Β και μετά το Α), παρόλο που αυτή η σειρά δε συμπίπτει με τη χρονική σειρά που έγιναν τα updates (πρώτα το Α και μετά το Β). Το example 2 δε διατηρεί sequential consistency γιατί δε διατηρείται η συμπεριφορά μοναδικού αντιγράφου, δλδ οι P3 και η P4 βλέπουν τα updates με διαφορετική μεταξύ τους σειρά.

Γιαυτόχρησιμοποιείταιreliable totally ordered multicast. Το reliable εξασφαλίζει ότι όλα τα processes παίρνουν το ίδιο σύνολο από requests και το total order εξασφαλίζει ότι τα παίρνουν με την ίδια σειρά.

Επειδή δεν ήταν πολύ ξεκάθαρο στα slides, το άλλαξα, μπορείτε να κατεβάσετε την καινούρια version από το site.

Κατερίνα