public void BroadcastCheckpointBarrier(long id, long timestamp, CheckpointOptions checkpointOptions) { var barrier = new CheckpointBarrier(id, timestamp, checkpointOptions); foreach (var streamOutput in StreamOutputs) { streamOutput.BroadcastEvent(barrier); } }
private string GetOptionString(CheckpointOptions option) { string optionString = ""; switch (option) { case CheckpointOptions.Health: optionString = "isHP"; break; case CheckpointOptions.Gaia: optionString = "isGaia"; break; case CheckpointOptions.Monster: optionString = "isMonster"; break; } return(optionString); }
public virtual OperatorSnapshotFutures SnapshotState(long checkpointId, long timestamp, CheckpointOptions checkpointOptions, ICheckpointStreamFactory storageLocation) { throw new NotImplementedException(); }
public CheckpointBarrier(long id, long timestamp, CheckpointOptions checkpointOptions) { Id = id; Timestamp = timestamp; CheckpointOptions = checkpointOptions; }
public TaskCompletionSource <SnapshotResult <IOperatorStateHandle> > Snapshot(long checkpointId, long timestamp, ICheckpointStreamFactory streamFactory, CheckpointOptions checkpointOptions) { throw new System.NotImplementedException(); }