TailPinnedEventArgs Classe

Définition

public ref class TailPinnedEventArgs sealed : EventArgs

public sealed class TailPinnedEventArgs : EventArgs

type TailPinnedEventArgs = class
    inherit EventArgs

Public NotInheritable Class TailPinnedEventArgs
Inherits EventArgs

Héritage

Object

EventArgs

TailPinnedEventArgs

Exemples

Cet exemple montre comment utiliser l’événement pour libérer de l’espace TailPinned dans une séquence de journaux.

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

}

Remarques

L’événement TailPinned peut être déclenché lorsque la séquence d’enregistrements a dépassé l’espace. Lorsque cet événement est déclenché, la fin de la séquence (autrement dit, le numéro de séquence de base) est déplacée vers l’avant pour libérer de l’espace.