Loading...

XML

Word

Printable

Steps to Reproduce:
Hide

Nodes A and B (remove FD or FD_ALL from config, only leave FD_SOCK)

A sends unicast mesages to B

Suspend B (ctrl-z)

Have A send unicast messages to B until A blocks (B doesn't send credit responses back to A because it is suspended)

Kill -9 B
==> A won't unblock on the view change !
This is because on UFC line 115ff, the loop doesn't check for presence or absence of the target node
Show
Nodes A and B (remove FD or FD_ALL from config, only leave FD_SOCK) A sends unicast mesages to B Suspend B (ctrl-z) Have A send unicast messages to B until A blocks (B doesn't send credit responses back to A because it is suspended) Kill -9 B ==> A won't unblock on the view change ! This is because on UFC line 115ff, the loop doesn't check for presence or absence of the target node

When we have A and B, and A is blocked due to credits on B, and B subsequently leaves or crashes, A won't unblock