480
82%

Ran 18 Jul 2018 08:01PM UTC

Jobs 2

Files 36

Run time 53min

Badge

Embed ▾

pending completion

Build # 480

Build Type

push

travis-ci

Committed by

dgkimura

Commit Message

Fix missing decree scenario

Issue is that there exists another case where it is possible to skip over a
decree. This can happen with two contending decrees, lets say decree A and
decree B which are both proposed from 2 different replicas. Let's say A's
proposer gets a quorum of promises. Now B's proposer is still waiting on
promises, but because the proposer currently doesn't distinguish between fresh
promises and dirty promises it doesn't realize that A is actually the current
decree with quorum of promises. Then B's proposer would release the B decree
when it sends out an accept which will never reach quorum in the second phase
of commit. Thus a decree is lost.

Fixes #11

Run Details

0 of 0 relevant lines covered (NaN%)

0.0 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	480.1	18 Jul 2018 08:55PM UTC	0	86.01	Travis Job 480.1
2	480.2	18 Jul 2018 08:01PM UTC	0	0.0	Travis Job 480.2

Source Files on build 480

Detailed source file information is not available for this build.

dgkimura / paxos / 480
82%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 480

dgkimura / paxos / 480 82%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 480

dgkimura / paxos / 480
82%

README BADGES
x