[Distrib] ερώτηση σχετική με sequential consistency

[Katerina Doka]

Απάντηση σχετικά με ερώτησησυναδέλφουσας γιατίσε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.

Κατερίνα


-- 
Katerina Doka, PhD
Senior Researcher, Computing Systems Laboratory
National Technical University of Athens
phone: +30 2107721175
Web: http://www.cslab.ntua.gr/~doka

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cslab.ece.ntua.gr/pipermail/distrib/attachments/20170126/cb619e17/attachment.htm>