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

What are dynamic testing tools, Q. What are dynamic testing tools? Explain ...

Q. What are dynamic testing tools? Explain the functions that they must support. Ans. Dynamic testing tools: 1: coverage analyzers (execution verifiers): A coverage anal

What are the fundamental activities of a software process, What are the fun...

What are the fundamental activities of a software process?   Specification  Design and implementation Validation Evolution

Case study – newsagent shop system, A newsagent shop employs several newspa...

A newsagent shop employs several newspaper deliverers to hand-deliver the morning newspapers to customers' houses. The customers all live fairly close to the shop and the delivere

Explain the term- silktest host and silktest project, Explain the term- Sil...

Explain the term- SilkTest Host and  SilkTest Project SilkTest Host - SilkTest component which manages and executes test scripts. It generally runs on a machine different t

What is variable trace, 1. "Variable trace" is a (computer) record of the n...

1. "Variable trace" is a (computer) record of the names and the values of variables accessed and/or changed during the implementation of a computer program. 2. "Value trace" is

Explain automated testing, Automated testing is a formally specified and co...

Automated testing is a formally specified and controlled method of formal testing approach. or That part of software testing that is assisted with software tool(s) that does

Explain test harness systems and test archiving systems, Q. Explain Test ha...

Q. Explain Test harness systems and Test archiving systems? Test harness systems: This is one that is bound around the test object and that permits the easy modification a

Relationship between people and effort, Ask question #Minimumreal time exam...

Ask question #Minimumreal time example 100 words accepted#

Introduction to software testing, Derive input space partitioning tests for...

Derive input space partitioning tests for the BoundedQueue class with the following signature:

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