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 is coverage analysis, What is Coverage analysis? Determining and as...

What is Coverage analysis? Determining and assessing calculated associated with the invocation of program structural elements to verify the adequacy of a test run. Coverage anal

Calculate the information flow index of individual modules, Q. For the stru...

Q. For the structural chart given in fig.1 calculate the Information Flow index of individual modules as well as whole software. Total information flow = IF (main) + IF (A

What happens when gui maps are loaded, What happens when GUI maps are loade...

What happens when GUI maps are loaded? When a GUI map is loaded following things take place: - All object logical names, window information and physical descriptions gets lo

What is process and procedures, Processes and procedures make sure the corr...

Processes and procedures make sure the correct steps are being implemented to facilitate a successful finished off a task. They also make sure a process is repeatable.

#use case diagram, #use case diagram for car manufactures by considering bu...

#use case diagram for car manufactures by considering build and price of car as use case#

Data dictionary , data dictionary diagram for library management system

data dictionary diagram for library management system

What does verification represent, What does Verification represent? Ver...

What does Verification represent? Verification shows the set of activities that are carried out to confirm that the software correctly executes the specific functionality.

Factory method, For this assignment you will create a program called MMWord...

For this assignment you will create a program called MMWordFix (Multi-Mode WordFix). This program prompts the user to select one of three word filters (uppercase, lowercase, encryp

Supermarkets, A supermarket requires to develop software to encourage regul...

A supermarket requires to develop software to encourage regular customers. For this the customer requires to supply his name address telephone number and driving license number. A

What is a state transition diagram, What is a state transition diagram? ...

What is a state transition diagram? State transition diagram is mainly a collection of states and events. The events cause the system to change its state. It also shows what ac

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