Closed ktoso closed 4 years ago
~We must schedule a periodic cleanup of the dead members otherwise the list would grow indefinitely~
Dead's we remove today, it's just unreachables that stay around.
We may want to allow "keep dead nodes as tombstones".
It depends on the runtime if it needs this feature or not, SWIMNIO would need it for example to be a serious impl.
~We must schedule a periodic cleanup of the dead members otherwise the list would grow indefinitely~
Dead's we remove today, it's just unreachables that stay around.
We may want to allow "keep dead nodes as tombstones".
It depends on the runtime if it needs this feature or not, SWIMNIO would need it for example to be a serious impl.