Commit 1f2194c7 authored by Kirill Smelkov's avatar Kirill Smelkov

.

parent e644777b
Storage layout
--------------
meta/
data/
1 inbox/ (commit queues)
2 ? (data.fs)
3. packed/
Commit without deadlocks & master
---------------------------------
Nreplica=2
S1 S2
^` .' ^
| x |
|.' ` |
C1 C2
events order
(in parallel)
1a: C1 -> S1 (oid1)
1b: C2 -> S2 (oid1)
(in parallel)
2a: C2 -> S1 (oid2)
2b: C1 -> S2 (oid2)
would be deadlock.
Conflict:
oid1 S1 C1 C2
oid1 S2 C2 C1
who wins?
|
v
sort by (oid, S, Ci, Cj)
|
v
if conflict -> second C gets conflict error; first C succeeds.
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment