public void GCounter_equality_must_factor_nodes()
{
var c1 = new GCounter();
var c2 = c1.Increment(_node1);
var c3 = c1.Increment(_node2);
c2.Equals(c3).Should().BeFalse();
}
public void GCounter_must_be_able_to_increment_each_node_record_by_arbitrary_delta()
{
var c1 = new GCounter();
var c2 = c1.Increment(_node1, 3);
var c3 = c2.Increment(_node1, 4);
var c4 = c3.Increment(_node2, 2);
var c5 = c4.Increment(_node2, 7);
var c6 = c5.Increment(_node2);
c6.State[_node1].Should().Be(7);
c6.State[_node2].Should().Be(10);
}
public void GCounter_must_be_able_to_increment_each_node_record_by_one()
{
var c1 = new GCounter();
var c2 = c1.Increment(_node1);
var c3 = c2.Increment(_node1);
var c4 = c3.Increment(_node2);
var c5 = c4.Increment(_node2);
var c6 = c5.Increment(_node2);
c6.State[_node1].Should().Be(2);
c6.State[_node2].Should().Be(3);
}
public void A_GCounter_should_be_able_to_increment_each_node_record_by_arbitrary_delta()
{
var c1 = new GCounter();
var c2 = c1.Increment(_node1, 3);
var c3 = c2.Increment(_node1, 4);
var c4 = c3.Increment(_node2, 2);
var c5 = c4.Increment(_node2, 7);
var c6 = c5.Increment(_node2);
Assert.Equal(new BigInteger(7), c6.State[_node1]);
Assert.Equal(new BigInteger(10), c6.State[_node2]);
}
public void A_GCounter_should_be_able_to_increment_each_node_record_by_one()
{
var c1 = new GCounter();
var c2 = c1.Increment(_node1);
var c3 = c2.Increment(_node1);
var c4 = c3.Increment(_node2);
var c5 = c4.Increment(_node2);
var c6 = c5.Increment(_node2);
Assert.Equal(new BigInteger(2), c6.State[_node1]);
Assert.Equal(new BigInteger(3), c6.State[_node2]);
}
public void GCounter_must_be_able_to_summarize_the_history_to_the_correct_aggregated_value()
{
var c1 = new GCounter();
var c2 = c1.Increment(_node1, 3);
var c3 = c2.Increment(_node1, 4);
var c4 = c3.Increment(_node2, 2);
var c5 = c4.Increment(_node2, 7);
var c6 = c5.Increment(_node2);
c6.State[_node1].Should().Be(7);
c6.State[_node2].Should().Be(10);
c6.Value.Should().Be(17);
}
public void A_GCounter_should_be_able_to_summarize_the_history_to_the_correct_aggregated_value()
{
var c1 = new GCounter();
var c2 = c1.Increment(_node1, 3);
var c3 = c2.Increment(_node1, 4);
var c4 = c3.Increment(_node2, 2);
var c5 = c4.Increment(_node2, 7);
var c6 = c5.Increment(_node2);
Assert.Equal(new BigInteger(7), c6.State[_node1]);
Assert.Equal(new BigInteger(10), c6.State[_node2]);
Assert.Equal(new BigInteger(17), c6.Value);
}
public void GCounter_must_be_able_to_have_its_history_correctly_merged_with_another_GCounter1()
{
// counter 1
var c11 = new GCounter();
var c12 = c11.Increment(_node1, 3);
var c13 = c12.Increment(_node1, 4);
var c14 = c13.Increment(_node2, 2);
var c15 = c14.Increment(_node2, 7);
var c16 = c15.Increment(_node2);
Assert.Equal(7UL, c16.State[_node1]);
Assert.Equal(10UL, c16.State[_node2]);
Assert.Equal(17UL, c16.Value);
// counter 2
var c21 = new GCounter();
var c22 = c21.Increment(_node1, 2);
var c23 = c22.Increment(_node1, 2);
var c24 = c23.Increment(_node2, 3);
var c25 = c24.Increment(_node2, 2);
var c26 = c25.Increment(_node2);
Assert.Equal(4UL, c26.State[_node1]);
Assert.Equal(6UL, c26.State[_node2]);
Assert.Equal(10UL, c26.Value);
// merge both ways
var merged1 = c16.Merge(c26);
Assert.Equal(7UL, merged1.State[_node1]);
Assert.Equal(10UL, merged1.State[_node2]);
Assert.Equal(17UL, merged1.Value);
var merged2 = c16.Merge(c26);
Assert.Equal(7UL, merged2.State[_node1]);
Assert.Equal(10UL, merged2.State[_node2]);
Assert.Equal(17UL, merged2.Value);
}
public void A_GCounter_should_be_able_to_have_its_history_correctly_merged_with_another_GCounter2()
{
// counter 1
var c11 = new GCounter();
var c12 = c11.Increment(_node1, 2);
var c13 = c12.Increment(_node1, 2);
var c14 = c13.Increment(_node2, 2);
var c15 = c14.Increment(_node2, 7);
var c16 = c15.Increment(_node2);
Assert.Equal(new BigInteger(4), c16.State[_node1]);
Assert.Equal(new BigInteger(10), c16.State[_node2]);
Assert.Equal(new BigInteger(14), c16.Value);
// counter 2
var c21 = new GCounter();
var c22 = c21.Increment(_node1, 3);
var c23 = c22.Increment(_node1, 4);
var c24 = c23.Increment(_node2, 3);
var c25 = c24.Increment(_node2, 2);
var c26 = c25.Increment(_node2);
Assert.Equal(new BigInteger(7), c26.State[_node1]);
Assert.Equal(new BigInteger(6), c26.State[_node2]);
Assert.Equal(new BigInteger(13), c26.Value);
// merge both ways
var merged1 = c16.Merge(c26);
Assert.Equal(new BigInteger(7), merged1.State[_node1]);
Assert.Equal(new BigInteger(10), merged1.State[_node2]);
Assert.Equal(new BigInteger(17), merged1.Value);
var merged2 = c16.Merge(c26);
Assert.Equal(new BigInteger(7), merged2.State[_node1]);
Assert.Equal(new BigInteger(10), merged2.State[_node2]);
Assert.Equal(new BigInteger(17), merged2.Value);
}
public void GCounter_must_support_pruning()
{
var c1 = new GCounter();
var c2 = c1.Increment(_node1);
var c3 = c2.Increment(_node2);
Assert.True(c2.NeedPruningFrom(_node1));
Assert.False(c2.NeedPruningFrom(_node2));
Assert.True(c3.NeedPruningFrom(_node1));
Assert.True(c3.NeedPruningFrom(_node2));
Assert.Equal(2UL, c3.Value);
var c4 = c3.Prune(_node1, _node2);
Assert.True(c4.NeedPruningFrom(_node2));
Assert.False(c4.NeedPruningFrom(_node1));
Assert.Equal(2UL, c4.Value);
var c5 = c4.Increment(_node1).PruningCleanup(_node1);
Assert.False(c5.NeedPruningFrom(_node1));
Assert.Equal(2UL, c4.Value);
}
/// <summary> /// Merges data from provided <see cref="GCounter"/> into current CRDT, /// creating new immutable instance in a result. /// </summary> /// <param name="counter">TBD</param> /// <returns>TBD</returns> public LocalGCounter Merge(GCounter counter) => new LocalGCounter(_currentNode, _crdt.Merge(counter));
/// <summary>
/// TBD
/// </summary>
/// <param name="cluster">TBD</param>
/// <param name="counter"></param>
public LocalGCounter(Cluster.Cluster cluster, GCounter counter) : this(cluster.SelfUniqueAddress, counter)
{
}
/// <summary>
/// TBD
/// </summary>
/// <param name="currentNode">TBD</param>
/// <param name="crdt">TBD</param>
internal LocalGCounter(UniqueAddress currentNode, GCounter crdt) : this()
{
_currentNode = currentNode;
_crdt = crdt;
}
/// <summary>
/// TBD
/// </summary>
/// <param name="counter">TBD</param>
public Surrogate(GCounter counter)
{
this._counter = counter;
}
/// <summary> /// Creates an instance of GCounter scoped to a current cluster. /// </summary> /// <param name="cluster">TBD</param> /// <param name="counter">TBD</param> /// <returns>TBD</returns> public static LocalGCounter GCounter(this Cluster.Cluster cluster, GCounter counter) => new LocalGCounter(cluster, counter);
