public void A_gossip_must_not_reach_convergence_when_unreachable() { var r1 = Reachability.Empty.Unreachable(b1.UniqueAddress, a1.UniqueAddress); var g1 = new Gossip(ImmutableSortedSet.Create(a1, b1), new GossipOverview(r1)) .Seen(a1.UniqueAddress).Seen(b1.UniqueAddress); g1.Convergence(b1.UniqueAddress).Should().BeFalse(); // but from a1's point of view (it knows that itself is not unreachable) g1.Convergence(a1.UniqueAddress).Should().BeTrue(); }
public void A_gossip_must_not_reach_convergence_when_unreachable() { var r1 = Reachability.Empty.Unreachable(b1.UniqueAddress, a1.UniqueAddress); var g1 = new Gossip(ImmutableSortedSet.Create(a1, b1), new GossipOverview(r1)) .Seen(a1.UniqueAddress).Seen(b1.UniqueAddress); g1.Convergence(b1.UniqueAddress).Should().BeFalse(); // but from a1's point of view (it knows that itself is not unreachable) g1.Convergence(a1.UniqueAddress).Should().BeTrue(); }
public void A_gossip_must_reach_convergence_skipping_down() { // e3 is down var g1 = new Gossip(ImmutableSortedSet.Create(a1, b1, e3)).Seen(a1.UniqueAddress).Seen(b1.UniqueAddress); g1.Convergence(a1.UniqueAddress).Should().BeTrue(); }
public void A_gossip_must_reach_convergence_skipping_joining() { // e1 is joining var g1 = new Gossip(ImmutableSortedSet.Create(a1, b1, e1)).Seen(a1.UniqueAddress).Seen(b1.UniqueAddress); g1.Convergence(a1.UniqueAddress, new HashSet <UniqueAddress>()).Should().BeTrue(); }
public void A_gossip_must_reach_convergence_when_downed_node_has_observed_unreachable() { // e3 is Down var r1 = Reachability.Empty.Unreachable(e3.UniqueAddress, a1.UniqueAddress); var g1 = new Gossip(ImmutableSortedSet.Create(a1, b1, e3), new GossipOverview(r1)) .Seen(a1.UniqueAddress).Seen(b1.UniqueAddress).Seen(e3.UniqueAddress); g1.Convergence(b1.UniqueAddress).Should().BeTrue(); }
public void A_gossip_must_reach_convergence_skipping_Leaving_with_ExitingConfirmed() { // c1 is leaving var g1 = new Gossip(ImmutableSortedSet.Create(a1, b1, c1)).Seen(a1.UniqueAddress).Seen(b1.UniqueAddress); g1.Convergence(a1.UniqueAddress, new HashSet <UniqueAddress>() { c1.UniqueAddress }).Should().BeTrue(); }
public void A_gossip_must_not_reach_reach_convergence_for_two_nodes() { var g1 = new Gossip(ImmutableSortedSet.Create(a1, b1)).Seen(a1.UniqueAddress).Seen(b1.UniqueAddress); g1.Convergence(a1.UniqueAddress).Should().BeTrue(); }
public void A_gossip_must_not_reach_convergence_until_all_have_seen_version() { var g1 = new Gossip(ImmutableSortedSet.Create(a1, b1)).Seen(a1.UniqueAddress); g1.Convergence(a1.UniqueAddress).Should().BeFalse(); }
public void A_gossip_must_reach_convergence_for_one_node() { var g1 = new Gossip(ImmutableSortedSet.Create(a1)).Seen(a1.UniqueAddress); g1.Convergence(a1.UniqueAddress, new HashSet <UniqueAddress>()).Should().BeTrue(); }
public void A_gossip_must_reach_convergence_when_downed_node_has_observed_unreachable() { // e3 is Down var r1 = Reachability.Empty.Unreachable(e3.UniqueAddress, a1.UniqueAddress); var g1 = new Gossip(ImmutableSortedSet.Create(a1, b1, e3), new GossipOverview(r1)) .Seen(a1.UniqueAddress).Seen(b1.UniqueAddress).Seen(e3.UniqueAddress); g1.Convergence(b1.UniqueAddress).Should().BeTrue(); }
public void A_gossip_must_reach_convergence_skipping_down() { // e3 is down var g1 = new Gossip(ImmutableSortedSet.Create(a1, b1, e3)).Seen(a1.UniqueAddress).Seen(b1.UniqueAddress); g1.Convergence(a1.UniqueAddress).Should().BeTrue(); }
public void A_gossip_must_not_reach_reach_convergence_for_two_nodes() { var g1 = new Gossip(ImmutableSortedSet.Create(a1, b1)).Seen(a1.UniqueAddress).Seen(b1.UniqueAddress); g1.Convergence(a1.UniqueAddress).Should().BeTrue(); }
public void A_gossip_must_not_reach_convergence_until_all_have_seen_version() { var g1 = new Gossip(ImmutableSortedSet.Create(a1, b1)).Seen(a1.UniqueAddress); g1.Convergence(a1.UniqueAddress).Should().BeFalse(); }