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

Evaluate the bulleted list of information-related items, It goes by many te...

It goes by many terms - information overload, analysis paralysis, data dumping, and so on. You know what we're talking about. It is indeed greater to live in the information age wi

What are the main approaches in debugging, What are the common approaches i...

What are the common approaches in debugging? Brute force method: The memory dumps and run-time tracks are checked and program with write statements is loaded to get clues to er

Explain token count, Token count: -  A program is considered to be series o...

Token count: -  A program is considered to be series of tokens and if we count the number of tokens, some interesting results might be emerge. Tokens are classified as either opera

State lehmans first law, State Lehman's First law. A program that is u...

State Lehman's First law. A program that is used in true world environment essentially must change or become progressively less useful in that environment.

Define the term - inspection, Define the term - Inspection - An inspec...

Define the term - Inspection - An inspection is more formal than walk through. - It includes 3-8 people - a moderator, reader as well as a recorder to take notes. - Subj

Distinguish between verification and validation, Distinguish between verifi...

Distinguish between verification and validation. Verification refers to the set of activities that make sure that software correctly executes a specific function. Validation re

Rational unified software development process, Problem: (a) Using a di...

Problem: (a) Using a diagram, explain the four central concepts and the four phases of the Rational Unified Software Development Process. (b) Explain with an example what

Compare the productivity and difficulty, Q. Compare the Productivity and di...

Q. Compare the Productivity and difficulty? Productivity refers to metrics as well as measures of output from production processes per unit of input. Productivity P perhaps c

What are the elements of design model, What are the elements of design mode...

What are the elements of design model? i. Data design ii. Architectural design iii. Interface design iv. Component-level design

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