dzufferey/psync

feedback from POPL AEC

Closed this issue · 5 comments

Thanks to the POPL AEC reviewer for the feedback.

epsilon: 
[Error] @ InstanceHandler: got an error java.util.NoSuchElementException: next on empty iterator terminating instance: 0

Need to add an option for strict timeout and avoid the early round switch optimization for that example.

testNettyNoiOio is removed.

Added an explanation in the README about the failed seed generation.

[Error] @ InstanceHandler: got an error java.lang.NullPointerException terminating instance: 95
[Error] @ InstanceHandler:   io.netty.buffer.PoolChunk.initBufWithSubpage(PoolChunk.java:381)

was a Netty bug and it is fixed in Netty 4.0.33

SLV has been fixed.

For the Epsilon, I also added the "early moving optimization" as an option that can be disabled. It seems to somewhat help but there is still a but.

The issue with the epsilon was that some instance were not yet started by the time the first round of messages arrives. There is now an option to delay the first round of messages to fix that.