| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207 |
- package processor
- import (
- "context"
- "encoding/hex"
- "github.com/certusone/wormhole/node/pkg/common"
- "github.com/certusone/wormhole/node/pkg/db"
- "github.com/certusone/wormhole/node/pkg/vaa"
- "github.com/prometheus/client_golang/prometheus"
- "github.com/prometheus/client_golang/prometheus/promauto"
- "time"
- "go.uber.org/zap"
- )
- var (
- aggregationStateEntries = promauto.NewGauge(
- prometheus.GaugeOpts{
- Name: "wormhole_aggregation_state_entries",
- Help: "Current number of aggregation state entries (including unexpired succeed ones)",
- })
- aggregationStateExpiration = promauto.NewCounter(
- prometheus.CounterOpts{
- Name: "wormhole_aggregation_state_expirations_total",
- Help: "Total number of expired submitted aggregation states",
- })
- aggregationStateLate = promauto.NewCounter(
- prometheus.CounterOpts{
- Name: "wormhole_aggregation_state_late_total",
- Help: "Total number of late aggregation states (cluster achieved consensus without us)",
- })
- aggregationStateTimeout = promauto.NewCounter(
- prometheus.CounterOpts{
- Name: "wormhole_aggregation_state_timeout_total",
- Help: "Total number of aggregation states expired due to timeout after exhausting retries",
- })
- aggregationStateRetries = promauto.NewCounter(
- prometheus.CounterOpts{
- Name: "wormhole_aggregation_state_retries_total",
- Help: "Total number of aggregation states queued for resubmission",
- })
- aggregationStateUnobserved = promauto.NewCounter(
- prometheus.CounterOpts{
- Name: "wormhole_aggregation_state_unobserved_total",
- Help: "Total number of aggregation states expired due to no matching local message observations",
- })
- aggregationStateFulfillment = promauto.NewCounterVec(
- prometheus.CounterOpts{
- Name: "wormhole_aggregation_state_settled_signatures_total",
- Help: "Total number of signatures produced by a validator, counted after waiting a fixed amount of time",
- }, []string{"addr", "origin", "status"})
- )
- const (
- settlementTime = time.Second * 30
- )
- // handleCleanup handles periodic retransmissions and cleanup of VAAs
- func (p *Processor) handleCleanup(ctx context.Context) {
- p.logger.Info("aggregation state summary", zap.Int("cached", len(p.state.vaaSignatures)))
- aggregationStateEntries.Set(float64(len(p.state.vaaSignatures)))
- for hash, s := range p.state.vaaSignatures {
- delta := time.Since(s.firstObserved)
- switch {
- case !s.submitted && s.ourVAA != nil && delta > settlementTime:
- // Expire pending VAAs post settlement time if we have a stored quorum VAA.
- //
- // This occurs when we observed a message after the cluster has already reached
- // consensus on it, causing us to never achieve quorum.
- if _, err := p.db.GetSignedVAABytes(*db.VaaIDFromVAA(s.ourVAA)); err == nil {
- // If we have a stored quorum VAA, we can safely expire the state.
- //
- // This is a rare case, and we can safely expire the state, since we
- // have a quorum VAA.
- p.logger.Info("Expiring late VAA", zap.String("digest", hash), zap.Duration("delta", delta))
- aggregationStateLate.Inc()
- delete(p.state.vaaSignatures, hash)
- break
- } else if err != db.ErrVAANotFound {
- p.logger.Error("failed to look up VAA in database",
- zap.String("digest", hash),
- zap.Error(err),
- )
- }
- fallthrough
- case !s.settled && delta > settlementTime:
- // After 30 seconds, the VAA is considered settled - it's unlikely that more observations will
- // arrive, barring special circumstances. This is a better time to count misses than submission,
- // because we submit right when we quorum rather than waiting for all observations to arrive.
- s.settled = true
- // Use either the most recent (in case of a VAA we haven't seen) or stored gs, if available.
- var gs *common.GuardianSet
- if s.gs != nil {
- gs = s.gs
- } else {
- gs = p.gs
- }
- hasSigs := len(s.signatures)
- wantSigs := CalculateQuorum(len(gs.Keys))
- quorum := hasSigs >= wantSigs
- var chain vaa.ChainID
- if s.ourVAA != nil {
- chain = s.ourVAA.EmitterChain
- // If a notifier is configured, send a notification for any missing signatures.
- //
- // Only send a notification if we have a VAA. Otherwise, bogus observations
- // could cause invalid alerts.
- if p.notifier != nil && hasSigs < len(gs.Keys) {
- p.logger.Info("sending miss notification", zap.String("digest", hash))
- // Find names of missing validators
- missing := make([]string, 0, len(gs.Keys))
- for _, k := range gs.Keys {
- if s.signatures[k] == nil {
- name := hex.EncodeToString(k.Bytes())
- h := p.gst.LastHeartbeat(k)
- // Pick first node if there are multiple peers.
- for _, hb := range h {
- name = hb.NodeName
- break
- }
- missing = append(missing, name)
- }
- }
- // Send notification for individual message when quorum has failed or
- // more than one node is missing.
- if !quorum || len(missing) > 1 {
- go func(v *vaa.VAA, hasSigs, wantSigs int, quorum bool, missing []string) {
- if err := p.notifier.MissingSignaturesOnTransaction(v, hasSigs, wantSigs, quorum, missing); err != nil {
- p.logger.Error("failed to send notification", zap.Error(err))
- }
- }(s.ourVAA, hasSigs, wantSigs, quorum, missing)
- }
- }
- }
- p.logger.Info("VAA considered settled",
- zap.String("digest", hash),
- zap.Duration("delta", delta),
- zap.Int("have_sigs", hasSigs),
- zap.Int("required_sigs", wantSigs),
- zap.Bool("quorum", quorum),
- zap.Stringer("emitter_chain", chain),
- )
- for _, k := range gs.Keys {
- if _, ok := s.signatures[k]; ok {
- aggregationStateFulfillment.WithLabelValues(k.Hex(), s.source, "present").Inc()
- } else {
- aggregationStateFulfillment.WithLabelValues(k.Hex(), s.source, "missing").Inc()
- }
- }
- case s.submitted && delta.Hours() >= 1:
- // We could delete submitted VAAs right away, but then we'd lose context about additional (late)
- // observation that come in. Therefore, keep it for a reasonable amount of time.
- // If a very late observation arrives after cleanup, a nil aggregation state will be created
- // and then expired after a while (as noted in observation.go, this can be abused by a byzantine guardian).
- p.logger.Info("expiring submitted VAA", zap.String("digest", hash), zap.Duration("delta", delta))
- delete(p.state.vaaSignatures, hash)
- aggregationStateExpiration.Inc()
- case !s.submitted && ((s.ourMsg != nil && s.retryCount >= 14400 /* 120 hours */) || (s.ourMsg == nil && s.retryCount >= 10 /* 5 minutes */)):
- // Clearly, this horse is dead and continued beatings won't bring it closer to quorum.
- p.logger.Info("expiring unsubmitted VAA after exhausting retries", zap.String("digest", hash), zap.Duration("delta", delta))
- delete(p.state.vaaSignatures, hash)
- aggregationStateTimeout.Inc()
- case !s.submitted && delta.Minutes() >= 5:
- // Poor VAA has been unsubmitted for five minutes - clearly, something went wrong.
- // If we have previously submitted an observation, we can make another attempt to get it over
- // the finish line by rebroadcasting our sig. If we do not have a VAA, it means we either never observed it,
- // or it got revived by a malfunctioning guardian node, in which case, we can't do anything
- // about it and just delete it to keep our state nice and lean.
- if s.ourMsg != nil {
- p.logger.Info("resubmitting VAA observation",
- zap.String("digest", hash),
- zap.Duration("delta", delta),
- zap.Uint("retry", s.retryCount))
- p.sendC <- s.ourMsg
- s.retryCount += 1
- aggregationStateRetries.Inc()
- } else {
- // For nil state entries, we log the quorum to determine whether the
- // network reached consensus without us. We don't know the correct guardian
- // set, so we simply use the most recent one.
- hasSigs := len(s.signatures)
- wantSigs := CalculateQuorum(len(p.gs.Keys))
- p.logger.Info("expiring unsubmitted nil VAA",
- zap.String("digest", hash),
- zap.Duration("delta", delta),
- zap.Int("have_sigs", hasSigs),
- zap.Int("required_sigs", wantSigs),
- zap.Bool("quorum", hasSigs >= wantSigs),
- )
- delete(p.state.vaaSignatures, hash)
- aggregationStateUnobserved.Inc()
- }
- }
- }
- }
|