Leader keeps sending messages to instance that was removed from cluster

Start cluster of 2 instances:

# terminal 1
picodata run --instance-id=i1 --cluster-id=c1 --listen=:3301 --peer=:3301 --data-dir=tmp-1
# terminal 2
picodata run --instance-id=i2 --cluster-id=c1 --listen=:3302 --peer=:3301 --data-dir=tmp-2

Stop second instance and remove all of it's data:

kill <i2 pid>
rm -r tmp-2

Restart i2:

picodata run --instance-id=i2 --cluster-id=c1 --listen=:3302 --peer=:3301 --data-dir=tmp-2

Now i2 has a different raft_id, and there's only 2 instances in the box.space.raft_group, but i1 keeps sending messages to raft_id:2 which get ignored

Кажется это происходит потому, что никто не удаляет его (raft_id 2) из лернеров. Видимо это должен делать conf_change_loop.

added backlog label

PS кажется двух инстансов для демонстрации проблемы не достаточно. Как мы выяснили в #60 (closed), перебутстрапить один из двух инстансов невозможно - кворум пропадает.

с тех пор мы добавили авто свитчовер, так что перебутстрапить можно в случае graceful shutdown. Но не в случае kill -9, это да

changed milestone to %Release 0.2 - Sharding MVP

Resolved in fce8128b (!340 (merged))

        assert_eq!(
            cc(&[p1()], &[1, 99], &[]),
            // Unknown voters should be removed
            cc![RemoveNode(99)]
        );

        assert_eq!(
            cc(&[p1()], &[1], &[99]),
            // Unknown learners are removed as well
            cc![RemoveNode(99)]
        );

closed