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); }