TailPinnedEventArgs Classe

Definizione

public ref class TailPinnedEventArgs sealed : EventArgs

public sealed class TailPinnedEventArgs : EventArgs

type TailPinnedEventArgs = class
    inherit EventArgs

Public NotInheritable Class TailPinnedEventArgs
Inherits EventArgs

Ereditarietà

Object

EventArgs

TailPinnedEventArgs

Esempio

In questo esempio viene illustrato come usare l'evento TailPinned per liberare spazio in una sequenza di log.

recordSequence.RetryAppend = true;
recordSequence.TailPinned += new EventHandler<TailPinnedEventArgs>(HandleTailPinned);

void HandleTailPinned(object sender, TailPinnedEventArgs tailPinnedEventArgs)
{
   // tailPinnedEventArgs.TargetSequenceNumber is the target
   // sequence number to free up space to.
   // However, this sequence number is not necessarily valid. We have
   // to use this sequence number as a starting point for finding a
   // valid point within the log to advance toward. You need to
   // identify a record with a sequence number equal to, or greater
   // than TargetSequenceNumber; let's call this
   // realTargetSequenceNumber. Once found, move the base

   recordSequence.AdvanceBaseSequenceNumber(realTargetSequenceNumber);

}

Commenti

L'evento TailPinned può essere generato quando la sequenza di record ha esaurito lo spazio. Quando viene generato questo evento, la parte finale della sequenza , ovvero il numero di sequenza di base, viene spostato in avanti per liberare spazio.