public void Restore(NaiadReader reader, NaiadSerialization <T> timeSerializer)
{
int before = reader.objectsRead;
this.indices.Restore(reader, timeSerializer, PrimitiveSerializers.Int32);
//Console.Error.WriteLine("% LIT.indices read {0} objects", reader.objectsRead - before);
before = reader.objectsRead;
this.times = FaultToleranceExtensionMethods.RestoreArray <T>(reader, n => {
this.count = n;
return(this.times.Length >= n ? this.times : new T[1 << BufferPoolUtils.Log2(n)]);
}, timeSerializer);
this.redirection = FaultToleranceExtensionMethods.RestoreArray <int>(reader, n => new int[n], PrimitiveSerializers.Int32);
//Console.Error.WriteLine("% LIT.times read {0} objects", reader.objectsRead - before);
before = reader.objectsRead;
this.lastInterned = reader.Read <T>(timeSerializer);
//Console.Error.WriteLine("% LIT.lastInterned read {0} objects", reader.objectsRead - before);
before = reader.objectsRead;
this.lastInternedResult = reader.Read <int>(PrimitiveSerializers.Int32);
//Console.Error.WriteLine("% LIT.lastInternedResult read {0} objects", reader.objectsRead - before);
}
public override void Restore(NaiadReader reader)
{
if (weightedSSerializer == null)
{
weightedSSerializer = AutoSerialization.GetSerializer <S>();
}
this.nextAvailableEpoch = reader.Read <int>(PrimitiveSerializers.Int32);
this.nextSendEpoch = reader.Read <int>(PrimitiveSerializers.Int32);
int inputQueueCount = reader.Read <int>(PrimitiveSerializers.Int32);
for (int i = 0; i < inputQueueCount; ++i)
{
S[] array = FaultToleranceExtensionMethods.RestoreArray <S>(reader, n => new S[n], weightedSSerializer);
bool isLast = reader.Read <bool>(PrimitiveSerializers.Bool);
this.inputQueue.Enqueue(new Instruction(array, isLast));
}
}
public void Restore(NaiadReader reader)
{
this.Counts.Restore(reader, Pointstamp.Serializer, PrimitiveSerializers.Int64);
this.actualFrontier.Restore(reader, Pointstamp.Serializer);
this.Frontier = FaultToleranceExtensionMethods.RestoreArray <Pointstamp>(reader, n => new Pointstamp[n], Pointstamp.Serializer);
}
