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

Explain communicational cohesion, Communicational cohesion : Communicationa...

Communicational cohesion : Communicational cohesion is when parts of a module are grouped because they operate on the similar data (e.g. a module which operates on the similar reco

Explain information management strategy, Question: (a) ‘Information Str...

Question: (a) ‘Information Strategy involves the encompassing of an organisation's information requirements and information systems planning with its long-term objectives.' T

What is the use of a data flow diagram, What is the use of a data flow diag...

What is the use of a data flow diagram? A data flow diagram is used to represent the functional view of an application domain. It represents all the significant business proces

Explain dalvik virtual machine, Question 1 Write short notes on (i) Lex...

Question 1 Write short notes on (i) Lexical Analysis (ii) Syntax Analysis (iii) Semantic Analysis 2 Explain various data structures used in Macro Processor Design 3 Descr

The majority charge carriers in p-type semiconductor, The majority charge c...

The majority charge carriers in p-type semiconductor are?? The majority charge carriers are  holes.

Design test cases for loop testing, Q. Regard as a program that reads a set...

Q. Regard as a program that reads a set of Data for 'n' no. of triangles. The program reads three integer values like representing the sides of triangles. The program prints for ea

K-map, m2+m3+m5+m7+m12+m8+m9 simplify using k-map

m2+m3+m5+m7+m12+m8+m9 simplify using k-map

What is masm? explain its features, Question 1 What is MASM? Explain its f...

Question 1 What is MASM? Explain its features Question 2 Explain the significance of Lexical analysis and Syntax analysis Question 3 What are macros and macro processors

How can manager be used to handle exceptions in QTP, How can recovery scena...

How can recovery scenario manager be used to handle exceptions in QTP? QTP provides a wizard through Recovery Scenario Manger which can recover unexpected errors and events wh

What are interrupts, What are interrupts In a microprocessor system, th...

What are interrupts In a microprocessor system, there are three main types of interrupt that cause a break in the normal implementing of a program

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