1
64%
master: 66%

Ran 15 Feb 2018 07:41AM UTC

Files 47

Run time 37min

Badge

Embed ▾

Committed 15 Feb 2018 07:33AM UTC coverage: 63.58%. First build

Job # 1376.1

Build Type

push

travis-ci

Committed by

jeffallen

Commit Message

Remove race condition in message dispatcher

Code of the form "if len(chan)==0 { send }" is racy because two
goroutines could observe len == 0, and then both try to send. One
will block when it expected to not do so. Replace with a select
to correctly implement the desired behavior that the two goroutines
end up not blocked, and the channel ends up with one value on it.

We have not seen any indication this is causing a bug, but
leaving racy code around is asking for trouble.

Also: Make a flaky test stop failing, since the thing it is
checking is not very important. When this test runs against the
"local" router, it never fails, indicating that this is
a benign race in the TCP implementation, not in our Router.

Fixes #305.

Run Details

4525 of 7117 relevant lines covered (63.58%)

67.77 hits per line

dedis / onet / 1376 / 1
64%
master: 66%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1376.1

dedis / onet / 1376 / 1 64% master: 66%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1376.1

dedis / onet / 1376 / 1
64%
master: 66%

README BADGES
x