2017-08-28 12:17:10 +00:00
|
|
|
// Package ae provides tools to synchronize state between local and remote consul servers.
|
2017-08-28 12:17:09 +00:00
|
|
|
package ae
|
|
|
|
|
|
|
|
import (
|
2017-10-18 14:50:15 +00:00
|
|
|
"errors"
|
2017-08-28 12:17:09 +00:00
|
|
|
"log"
|
|
|
|
"math"
|
2017-10-18 14:50:15 +00:00
|
|
|
"sync"
|
2017-08-28 12:17:09 +00:00
|
|
|
"time"
|
|
|
|
|
|
|
|
"github.com/hashicorp/consul/lib"
|
|
|
|
)
|
|
|
|
|
2017-08-28 12:17:10 +00:00
|
|
|
// scaleThreshold is the number of nodes after which regular sync runs are
|
|
|
|
// spread out farther apart. The value should be a power of 2 since the
|
|
|
|
// scale function uses log2.
|
|
|
|
//
|
|
|
|
// When set to 128 nodes the delay between regular runs is doubled when the
|
|
|
|
// cluster is larger than 128 nodes. It doubles again when it passes 256
|
|
|
|
// nodes, and again at 512 nodes and so forth. At 8192 nodes, the delay
|
|
|
|
// factor is 8.
|
|
|
|
//
|
|
|
|
// If you update this, you may need to adjust the tuning of
|
|
|
|
// CoordinateUpdatePeriod and CoordinateUpdateMaxBatchSize.
|
|
|
|
const scaleThreshold = 128
|
|
|
|
|
|
|
|
// scaleFactor returns a factor by which the next sync run should be delayed to
|
|
|
|
// avoid saturation of the cluster. The larger the cluster grows the farther
|
|
|
|
// the sync runs should be spread apart.
|
|
|
|
//
|
|
|
|
// The current implementation uses a log2 scale which doubles the delay between
|
|
|
|
// runs every time the cluster doubles in size.
|
|
|
|
func scaleFactor(nodes int) int {
|
|
|
|
if nodes <= scaleThreshold {
|
|
|
|
return 1.0
|
2017-08-28 12:17:09 +00:00
|
|
|
}
|
2017-08-28 12:17:10 +00:00
|
|
|
return int(math.Ceil(math.Log2(float64(nodes))-math.Log2(float64(scaleThreshold))) + 1.0)
|
2017-08-28 12:17:09 +00:00
|
|
|
}
|
|
|
|
|
2017-08-30 10:25:49 +00:00
|
|
|
type State interface {
|
|
|
|
SyncChanges() error
|
|
|
|
SyncFull() error
|
|
|
|
}
|
|
|
|
|
2017-08-28 12:17:10 +00:00
|
|
|
// StateSyncer manages background synchronization of the given state.
|
|
|
|
//
|
|
|
|
// The state is synchronized on a regular basis or on demand when either
|
|
|
|
// the state has changed or a new Consul server has joined the cluster.
|
|
|
|
//
|
|
|
|
// The regular state sychronization provides a self-healing mechanism
|
|
|
|
// for the cluster which is also called anti-entropy.
|
2017-08-28 12:17:09 +00:00
|
|
|
type StateSyncer struct {
|
|
|
|
// State contains the data that needs to be synchronized.
|
2017-08-30 10:25:49 +00:00
|
|
|
State State
|
2017-08-28 12:17:09 +00:00
|
|
|
|
2017-10-19 09:12:56 +00:00
|
|
|
// Interval is the time between two full sync runs.
|
2017-08-28 12:17:09 +00:00
|
|
|
Interval time.Duration
|
|
|
|
|
2017-08-30 10:25:49 +00:00
|
|
|
// ShutdownCh is closed when the application is shutting down.
|
|
|
|
ShutdownCh chan struct{}
|
|
|
|
|
|
|
|
// Logger is the logger.
|
|
|
|
Logger *log.Logger
|
|
|
|
|
2017-08-28 12:17:10 +00:00
|
|
|
// ClusterSize returns the number of members in the cluster to
|
|
|
|
// allow staggering the sync runs based on cluster size.
|
2017-08-30 10:25:49 +00:00
|
|
|
// This needs to be set before Run() is called.
|
2017-08-28 12:17:09 +00:00
|
|
|
ClusterSize func() int
|
|
|
|
|
2017-08-30 10:25:49 +00:00
|
|
|
// SyncFull allows triggering an immediate but staggered full sync
|
|
|
|
// in a non-blocking way.
|
|
|
|
SyncFull *Trigger
|
2017-08-28 12:17:09 +00:00
|
|
|
|
2017-08-30 10:25:49 +00:00
|
|
|
// SyncChanges allows triggering an immediate partial sync
|
|
|
|
// in a non-blocking way.
|
|
|
|
SyncChanges *Trigger
|
2017-08-28 12:17:09 +00:00
|
|
|
|
2017-08-30 10:25:49 +00:00
|
|
|
// paused stores whether sync runs are temporarily disabled.
|
2017-10-18 14:50:15 +00:00
|
|
|
pauseLock sync.Mutex
|
2017-10-19 09:11:57 +00:00
|
|
|
paused int
|
2017-08-28 12:17:09 +00:00
|
|
|
|
2017-10-19 09:12:56 +00:00
|
|
|
// stagger randomly picks a duration between 0s and the given duration.
|
|
|
|
stagger func(time.Duration) time.Duration
|
|
|
|
|
|
|
|
// serverUpInterval is the max time after which a full sync is
|
|
|
|
// performed when a server has been added to the cluster.
|
|
|
|
serverUpInterval time.Duration
|
|
|
|
|
|
|
|
// retryFailInterval is the time after which a failed full sync is retried.
|
|
|
|
retryFailInterval time.Duration
|
2017-08-28 12:17:09 +00:00
|
|
|
}
|
|
|
|
|
2017-08-28 12:17:10 +00:00
|
|
|
const (
|
|
|
|
// serverUpIntv is the max time to wait before a sync is triggered
|
|
|
|
// when a consul server has been added to the cluster.
|
|
|
|
serverUpIntv = 3 * time.Second
|
2017-08-28 12:17:09 +00:00
|
|
|
|
2017-08-28 12:17:10 +00:00
|
|
|
// retryFailIntv is the min time to wait before a failed sync is retried.
|
|
|
|
retryFailIntv = 15 * time.Second
|
|
|
|
)
|
2017-08-28 12:17:09 +00:00
|
|
|
|
2017-10-19 09:20:24 +00:00
|
|
|
func NewStateSyncer(state State, intv time.Duration, shutdownCh chan struct{}, logger *log.Logger) *StateSyncer {
|
2017-10-19 09:12:56 +00:00
|
|
|
s := &StateSyncer{
|
|
|
|
State: state,
|
|
|
|
Interval: intv,
|
|
|
|
ShutdownCh: shutdownCh,
|
|
|
|
Logger: logger,
|
|
|
|
SyncFull: NewTrigger(),
|
|
|
|
SyncChanges: NewTrigger(),
|
|
|
|
serverUpInterval: serverUpIntv,
|
|
|
|
retryFailInterval: retryFailIntv,
|
|
|
|
}
|
|
|
|
s.stagger = func(d time.Duration) time.Duration {
|
|
|
|
f := scaleFactor(s.ClusterSize())
|
|
|
|
return lib.RandomStagger(time.Duration(f) * d)
|
|
|
|
}
|
|
|
|
return s
|
|
|
|
}
|
|
|
|
|
2017-10-18 14:50:15 +00:00
|
|
|
var errPaused = errors.New("paused")
|
|
|
|
|
2017-08-28 12:17:10 +00:00
|
|
|
// Run is the long running method to perform state synchronization
|
|
|
|
// between local and remote servers.
|
|
|
|
func (s *StateSyncer) Run() {
|
2017-08-30 10:25:49 +00:00
|
|
|
if s.ClusterSize == nil {
|
|
|
|
panic("ClusterSize not set")
|
|
|
|
}
|
|
|
|
|
2017-08-28 12:17:16 +00:00
|
|
|
FullSync:
|
2017-08-28 12:17:09 +00:00
|
|
|
for {
|
2017-08-30 10:25:49 +00:00
|
|
|
// attempt a full sync
|
2017-10-18 14:50:15 +00:00
|
|
|
err := s.ifNotPausedRun(s.State.SyncFull)
|
|
|
|
if err != nil {
|
|
|
|
if err != errPaused {
|
|
|
|
s.Logger.Printf("[ERR] agent: failed to sync remote state: %v", err)
|
|
|
|
}
|
2017-08-28 12:17:10 +00:00
|
|
|
|
2017-08-28 12:17:09 +00:00
|
|
|
select {
|
2017-08-30 10:25:49 +00:00
|
|
|
// trigger a full sync immediately.
|
|
|
|
// this is usually called when a consul server was added to the cluster.
|
|
|
|
// stagger the delay to avoid a thundering herd.
|
|
|
|
case <-s.SyncFull.Notif():
|
2017-08-28 12:17:10 +00:00
|
|
|
select {
|
2017-10-19 09:12:56 +00:00
|
|
|
case <-time.After(s.stagger(s.serverUpInterval)):
|
2017-10-19 11:21:55 +00:00
|
|
|
continue FullSync
|
2017-08-28 12:17:10 +00:00
|
|
|
case <-s.ShutdownCh:
|
|
|
|
return
|
|
|
|
}
|
2017-08-28 12:17:09 +00:00
|
|
|
|
2017-08-28 12:17:10 +00:00
|
|
|
// retry full sync after some time
|
|
|
|
// todo(fs): why don't we use s.Interval here?
|
2017-10-19 09:12:56 +00:00
|
|
|
case <-time.After(s.retryFailInterval + s.stagger(s.retryFailInterval)):
|
2017-10-19 11:21:55 +00:00
|
|
|
continue FullSync
|
2017-08-28 12:17:09 +00:00
|
|
|
|
2017-08-28 12:17:10 +00:00
|
|
|
case <-s.ShutdownCh:
|
|
|
|
return
|
2017-08-28 12:17:09 +00:00
|
|
|
}
|
2017-08-30 10:25:49 +00:00
|
|
|
}
|
2017-08-28 12:17:10 +00:00
|
|
|
|
2017-08-30 10:25:49 +00:00
|
|
|
// do partial syncs until it is time for a full sync again
|
|
|
|
for {
|
|
|
|
select {
|
|
|
|
// trigger a full sync immediately
|
|
|
|
// this is usually called when a consul server was added to the cluster.
|
|
|
|
// stagger the delay to avoid a thundering herd.
|
|
|
|
case <-s.SyncFull.Notif():
|
2017-08-28 12:17:10 +00:00
|
|
|
select {
|
2017-10-19 09:12:56 +00:00
|
|
|
case <-time.After(s.stagger(s.serverUpInterval)):
|
2017-08-28 12:17:16 +00:00
|
|
|
continue FullSync
|
2017-08-28 12:17:10 +00:00
|
|
|
case <-s.ShutdownCh:
|
|
|
|
return
|
|
|
|
}
|
2017-08-30 10:25:49 +00:00
|
|
|
|
|
|
|
// time for a full sync again
|
2017-10-19 09:12:56 +00:00
|
|
|
case <-time.After(s.Interval + s.stagger(s.Interval)):
|
2017-08-30 10:25:49 +00:00
|
|
|
continue FullSync
|
|
|
|
|
|
|
|
// do partial syncs on demand
|
|
|
|
case <-s.SyncChanges.Notif():
|
2017-10-18 14:50:15 +00:00
|
|
|
err := s.ifNotPausedRun(s.State.SyncChanges)
|
|
|
|
if err != nil && err != errPaused {
|
2017-08-30 10:25:49 +00:00
|
|
|
s.Logger.Printf("[ERR] agent: failed to sync changes: %v", err)
|
|
|
|
}
|
|
|
|
|
|
|
|
case <-s.ShutdownCh:
|
|
|
|
return
|
2017-08-28 12:17:10 +00:00
|
|
|
}
|
2017-08-28 12:17:09 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2017-08-28 12:17:10 +00:00
|
|
|
|
2017-10-18 14:50:15 +00:00
|
|
|
func (s *StateSyncer) ifNotPausedRun(f func() error) error {
|
|
|
|
s.pauseLock.Lock()
|
|
|
|
defer s.pauseLock.Unlock()
|
2017-10-19 09:11:57 +00:00
|
|
|
if s.paused != 0 {
|
2017-10-18 14:50:15 +00:00
|
|
|
return errPaused
|
|
|
|
}
|
|
|
|
return f()
|
|
|
|
}
|
|
|
|
|
2017-08-28 12:17:10 +00:00
|
|
|
// Pause temporarily disables sync runs.
|
|
|
|
func (s *StateSyncer) Pause() {
|
2017-10-18 14:50:15 +00:00
|
|
|
s.pauseLock.Lock()
|
2017-10-19 09:11:57 +00:00
|
|
|
s.paused++
|
2017-10-18 14:50:15 +00:00
|
|
|
s.pauseLock.Unlock()
|
2017-08-28 12:17:10 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Paused returns whether sync runs are temporarily disabled.
|
|
|
|
func (s *StateSyncer) Paused() bool {
|
2017-10-18 14:50:15 +00:00
|
|
|
s.pauseLock.Lock()
|
|
|
|
defer s.pauseLock.Unlock()
|
2017-10-19 09:11:57 +00:00
|
|
|
return s.paused != 0
|
2017-08-28 12:17:10 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Resume re-enables sync runs.
|
|
|
|
func (s *StateSyncer) Resume() {
|
2017-10-18 14:50:15 +00:00
|
|
|
s.pauseLock.Lock()
|
2017-10-19 09:11:57 +00:00
|
|
|
s.paused--
|
|
|
|
if s.paused < 0 {
|
|
|
|
panic("unbalanced pause/resume")
|
|
|
|
}
|
|
|
|
if s.paused == 0 {
|
|
|
|
s.SyncChanges.Trigger()
|
2017-08-28 12:17:10 +00:00
|
|
|
}
|
2017-10-18 14:50:15 +00:00
|
|
|
s.pauseLock.Unlock()
|
2017-08-30 10:25:49 +00:00
|
|
|
}
|