Linearizability and sequential consistency, Software Engineering

Assignment Help:

QUESTION - Fault Tolerance

(a) Three computers together provide a replicated service. The manufacturers claim that each computer has a mean time between failure of five days; a failure typically takes four hours to fix. What is the availability of the replicated service?

(b) In the gossip architecture, why does a replica manager need to keep both a ‘replica' timestamp and a ‘value' timestamp?

(c) Explain the difference between linearizability and sequential consistency, and why the latter is more practical to implement, in general.

(d) Explain why allowing backups to process read operations leads to sequentially consistent rather than linearizable executions in a passive replication system.


Related Discussions:- Linearizability and sequential consistency

Classify the techniques into dynamic or static, Classify the below techniqu...

Classify the below techniques into dynamic or static. i. Data Flow Analysis. ii. Use Case Testing. iii. Equivalence Partitioning. iv. Exploratory Testing. v. Inspec

What is quality, What is quality? Quality, simplistically, means that a...

What is quality? Quality, simplistically, means that a product should meet its requirement. This is problematical for software systems. There is a tension among custom

State the system engineering hierarchy, State the System Engineering Hierar...

State the System Engineering Hierarchy The world view is made up  of a set of domains (Di),which can either be a system or a system of systems. WV = {D1,D2,D3,...........,Dn

Define capability, Define capability. What are the quantities that determin...

Define capability. What are the quantities that determine the degree of capability of a software reliability model? Capability refers to the ability of the model to calculate w

Hardware requirements - inmagic plus software package, Hardware Requirement...

Hardware Requirements: INMAGIC Plus software package requires the following computer configuration:  i)  Micro : IBM PC or compatible with a minimum 640 K RAM.  ii)  Ope

Illustrate the features of function count, Q. Illustrate the Features of fu...

Q. Illustrate the Features of function count? Features:- Function point goes forward is independent of the language tools or methodologies used for implementation.

Define entity and relationship diagram, State Entity and relationship diagr...

State Entity and relationship diagram. ERD depicts linkage between data objects. The ERD is the notation that is used to execute the data modelling activity. The primary

what is qualification testing, Formal testing, usually conducted by the de...

Formal testing, usually conducted by the developer for the consumer, to demonstrate that the software meet its described requirements.

Advantage of microcomputer software packages, Advantage of microcomputer so...

Advantage of microcomputer software packages: i)  compilation and maintenance of reference and fact files;  ii)  compilation of current and retrospective bibliographies

Hart Protocol DD files, I am working on DD development project and I am us...

I am working on DD development project and I am using 475 field communicator for testing DD. While development of DD, I tested DD with SDC 625 PC application using HART modem. I h

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd