Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 4483

Theoretical questions in Distributed Computing

0 votes
Accepted

2PC with URBcast

My first question is, can we overcome "blocking" using 2PC (two phase commitment) with Uniform reliable broadcast (URBcast)? No. 2PC is blocking because the protocol cannot progress when the coo …
Martin B.'s user avatar
  • 463
5 votes
Accepted

Is linearizability equivalent to consensus problem?

The thing you get wrong is "we know that linearizability can be achieved in the asynchronous message passing system, while tolerating a minority of process crashes." We don't know that, and in fact it …
Martin B.'s user avatar
  • 463
1 vote

How to Define and Implement (Single-Writer) K-Atomic Snapshot Object?

Regarding Problem 1: I think the first part of the definition is fine. The second item (about the time before $scan$) is not clear to me; More specifically, the order of quatifiers: is it $\exists ti …
Martin B.'s user avatar
  • 463
3 votes

How to understand the "Availability" of the CAP theorem?

Your question is mixing two somewhat orthogonal interpretations of the term "Availability". The "reliability theory"/"engineering" interpretation, where availability is basically the ratio of time th …
Community's user avatar
  • 1
11 votes
Accepted

Distributed Turing Machine?

[Is there] a formal representation of a distributed system on top of a turing machine? Regarding this, the discussion (see link posted by Jukka on comments) is the way to look. The way, I se …
Martin B.'s user avatar
  • 463
4 votes

Processor failures in distributed computing that are not crash or Byzantine

Regarding the already mentioned omission failure models have look at NeigerToueg, which considers different kinds of those. Has a model been studied where, with some probability, a process is on …
Martin B.'s user avatar
  • 463