public static DeleteSet Read(IDSDecoder decoder)
{
var ds = new DeleteSet();
var numClients = (int)decoder.Reader.ReadVarUint();
Debug.Assert(numClients >= 0);
for (int i = 0; i < numClients; i++)
{
decoder.ResetDsCurVal();
var client = (int)decoder.Reader.ReadVarUint();
var numberOfDeletes = (int)decoder.Reader.ReadVarUint();
if (numberOfDeletes > 0)
{
if (!ds.Clients.TryGetValue(client, out var dsField))
{
dsField = new List <DeleteItem>(numberOfDeletes);
ds.Clients[client] = dsField;
}
for (int j = 0; j < numberOfDeletes; j++)
{
var deleteItem = new DeleteItem(decoder.ReadDsClock(), decoder.ReadDsLength());
dsField.Add(deleteItem);
}
}
}
return(ds);
}
public static IDictionary <int, int> ReadStateVector(IDSDecoder decoder)
{
var ssLength = (int)decoder.Reader.ReadVarUint();
var ss = new Dictionary <int, int>(ssLength);
for (int i = 0; i < ssLength; i++)
{
var client = (int)decoder.Reader.ReadVarUint();
var clock = (int)decoder.Reader.ReadVarUint();
ss[client] = clock;
}
return(ss);
}
public void ReadAndApplyDeleteSet(IDSDecoder decoder, Transaction transaction)
{
var unappliedDs = new DeleteSet();
var numClients = decoder.Reader.ReadVarUint();
for (int i = 0; i < numClients; i++)
{
decoder.ResetDsCurVal();
var client = (int)decoder.Reader.ReadVarUint();
var numberOfDeletes = decoder.Reader.ReadVarUint();
if (!Clients.TryGetValue(client, out var structs))
{
structs = new List <AbstractStruct>();
// NOTE: Clients map is not updated.
}
var state = GetState(client);
for (int deleteIndex = 0; deleteIndex < numberOfDeletes; deleteIndex++)
{
var clock = decoder.ReadDsClock();
var clockEnd = clock + decoder.ReadDsLength();
if (clock < state)
{
if (state < clockEnd)
{
unappliedDs.Add(client, state, clockEnd - state);
}
var index = StructStore.FindIndexSS(structs, clock);
// We can ignore the case of GC and Delete structs, because we are going to skip them.
var str = structs[index];
// Split the first item if necessary.
if (!str.Deleted && str.Id.Clock < clock)
{
var splitItem = (str as Item).SplitItem(transaction, clock - str.Id.Clock);
structs.Insert(index + 1, splitItem);
// Increase, we now want to use the next struct.
index++;
}
while (index < structs.Count)
{
str = structs[index++];
if (str.Id.Clock < clockEnd)
{
if (!str.Deleted)
{
if (clockEnd < str.Id.Clock + str.Length)
{
var splitItem = (str as Item).SplitItem(transaction, clockEnd - str.Id.Clock);
structs.Insert(index, splitItem);
}
str.Delete(transaction);
}
}
else
{
break;
}
}
}
else
{
unappliedDs.Add(client, clock, clockEnd - clock);
}
}
}
if (unappliedDs.Clients.Count > 0)
{
// @TODO: No need for encoding+decoding ds anymore.
using var unappliedDsEncoder = new DSEncoderV2();
unappliedDs.Write(unappliedDsEncoder);
_pendingDeleteReaders.Add(new DSDecoderV2(new MemoryStream(unappliedDsEncoder.ToArray())));
}
}