WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
This Concept Map, created with IHMC CmapTools, has information related to: ch15 repl faul, Fault-tolerant services Linearizabilit the strictest criterion for a replication system The real-time requirement means clients should receive up-to-date information but may not be practical due to difficulties of synchronizing clocks a weaker criterion is sequential consistency linearizability is not intended to be used with transactional replication systems Consider a replicated service with two clients, that perform read and update operations. A client waits for one operation to complete before doing another., The real-time requirement means clients should receive up-to-date information but may not be practical due to difficulties of synchronizing clocks a weaker criterion is sequential consistency linearizability is not intended to be used with transactional replication systems Consider a replicated service with two clients, that perform read and update operations. A client waits for one operation to complete before doing another. ???? a replicated object service is linearizable if for any execution there is some interleaving of clients’ operations such that: the interleaved sequence of operations meets the specification of a (single) correct copy of the objects the order of operations in the interleaving is consistent with the real time at which they occurred, The real-time requirement means clients should receive up-to-date information but may not be practical due to difficulties of synchronizing clocks a weaker criterion is sequential consistency linearizability is not intended to be used with transactional replication systems Consider a replicated service with two clients, that perform read and update operations. A client waits for one operation to complete before doing another. ???? For any set of client operations there is a virtual interleaving (which would be correct for a set of single objects). Each client sees a view of the objects that is consistent with this, that is, the results of clients operations make sense within the interleaving the bank example did not make sense: if the second update is observed,the first update should be observed too., Fault-tolerant services ???? provision of a service that is correct even if f processes fail by replicating data and functionality at RMs assume communication reliable and no partitions RMs are assumed to behave according to specification or to crash intuitively, a service is correct if it responds despite failures and clients can’t tell the difference between replicated data and a single copy but care is needed to ensure that a set of replicas produce the same result as a single one would