-
Notifications
You must be signed in to change notification settings - Fork 4
Expand file tree
/
Copy pathcontroller.go
More file actions
282 lines (228 loc) · 10.7 KB
/
controller.go
File metadata and controls
282 lines (228 loc) · 10.7 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
package nextgc
import (
"math"
"time"
"github.com/go-logr/logr"
"github.com/newcloudtechnologies/memlimiter/stats"
"github.com/newcloudtechnologies/memlimiter/utils/breaker"
"github.com/pkg/errors"
"github.com/newcloudtechnologies/memlimiter/backpressure"
"github.com/newcloudtechnologies/memlimiter/controller"
memlimiter_utils "github.com/newcloudtechnologies/memlimiter/utils"
)
// controllerImpl - ПД-регулятор
//nolint:govet // структура создаётся в ед. экземпляре, сильно ни на что не влияет
type controllerImpl struct {
input stats.Subscription // вход: поток оперативной статистики сервиса
consumptionReporter memlimiter_utils.ConsumptionReporter // вход: информация о специализированных потребителях памяти
backpressureOperator backpressure.Operator // выход: обрабатывает управляющие команды, выдаваемые регулятором
applicationTerminator memlimiter_utils.ApplicationTerminator // выход: аварийная остановка приложения
// компоненты регулятора
//
// NOTE: На определённом этапе планировалось сделать полноценный ПИД-регулятор, но в итоге вышел
// не совсем обычный ПД-регулятор. В пропорциональной составляющей заложена
// не прямая, а обратная пропорциональность, а интегральная и дифференциальная составляющие отсутствуют.
// Интегральной, видимо, не будет никогда, а дифференциальную нужно будет доработать,
// если в системе будут наблюдаться проблемы с автоколебаниями.
componentP *componentP
// закешированные значения, описывающее актуальное состояние ПИД-регулятора
//
// NOTE: см. замечание выше
pValue float64 // значение, выданное пропорциональным компонентом
sumValue float64 // итоговое значение управляющего сигнала
goAllocLimit uint64 // акутальный бюджет памяти для Go [байты]
utilization float64 // актуальная утилизация бюджета памяти
consumptionReport *memlimiter_utils.ConsumptionReport // отчёт о потреблении памяти специальными потребителями
controlParameters *stats.ControlParameters // значение управляющих параметров
getStatsChan chan *getStatsRequest
cfg *ControllerConfig
logger logr.Logger
breaker *breaker.Breaker
}
type getStatsRequest struct {
result chan *stats.ControllerStats
}
func (r *getStatsRequest) respondWith(resp *stats.ControllerStats) {
r.result <- resp
}
func (c *controllerImpl) GetStats() (*stats.ControllerStats, error) {
req := &getStatsRequest{result: make(chan *stats.ControllerStats, 1)}
select {
case c.getStatsChan <- req:
case <-c.breaker.Done():
return nil, c.breaker.Err()
}
select {
case resp := <-req.result:
return resp, nil
case <-c.breaker.Done():
return nil, c.breaker.Err()
}
}
func (c *controllerImpl) loop() {
defer c.breaker.Dec()
ticker := time.NewTicker(c.cfg.Period.Duration)
defer ticker.Stop()
for {
select {
case serviceStats := <-c.input.Updates():
// обновление состояния осуществляется при каждом поступлении статистики от Сервуса
if err := c.updateState(serviceStats); err != nil {
c.logger.Error(err, "update state")
// невозможность вычислить контрольные параметры - фатальная ошибка;
// завершаем приложение через побочный эффект
c.applicationTerminator.Terminate(err)
return
}
case <-ticker.C:
// а вот отправка управляющего сигнала выполняется с периодичностью, независящей от Сервуса;
// клиент обязан сам убедиться, что период отправки управляющего сигнала больше либо равен периоду отправки статистики Сервусом,
// иначе один и тот же сигнал будет высылаться несколько раз
if err := c.applyControlValue(); err != nil {
c.logger.Error(err, "apply control value")
// невозможность применить контрольные параметры - фатальная ошибка;
// завершаем приложение через побочный эффект
c.applicationTerminator.Terminate(err)
return
}
case req := <-c.getStatsChan:
req.respondWith(c.aggregateStats())
case <-c.breaker.Done():
return
}
}
}
func (c *controllerImpl) updateState(serviceStats *stats.ServiceStats) error {
// извлекаем оперативную информацию о спец. потребителях памяти, если она предоставляется клиентом
if c.consumptionReporter != nil {
var err error
c.consumptionReport, err = c.consumptionReporter.PredefinedConsumers(serviceStats.Custom)
if err != nil {
return errors.Wrap(err, "predefined consumers")
}
}
c.updateUtilization(serviceStats)
if err := c.updateControlValues(); err != nil {
return errors.Wrap(err, "update control values")
}
c.updateControlParameters()
return nil
}
func (c *controllerImpl) updateUtilization(serviceStats *stats.ServiceStats) {
// Чтобы понять, сколько памяти можно аллоцировать на нужды Go,
// требуется вычесть из общего лимита на RSS память, в явном виде потраченную в CGO.
// Иными словами, если аллокации в CGO будут расти, то аллокации в Go должны ужиматься.
var cgoAllocs uint64
if c.consumptionReport != nil {
for _, value := range c.consumptionReport.Cgo {
cgoAllocs += value
}
}
c.goAllocLimit = c.cfg.RSSLimit.Value - cgoAllocs
c.utilization = float64(serviceStats.NextGC) / float64(c.goAllocLimit)
}
func (c *controllerImpl) updateControlValues() error {
var err error
c.pValue, err = c.componentP.value(c.utilization)
if err != nil {
return errors.Wrap(err, "component p value")
}
// TODO: при появлении новых компонент суммировать их значения здесь:
c.sumValue = c.pValue
// Сатурация выхода регулятора, чтобы эффект вышел не слишком сильным
// Детали:
// https://en.wikipedia.org/wiki/Saturation_arithmetic
// https://habr.com/ru/post/345972/
const (
lowerBound = 0
upperBound = 99 // иначе GOGC превратится в 0
)
c.sumValue = memlimiter_utils.ClampFloat64(c.sumValue, lowerBound, upperBound)
return nil
}
func (c *controllerImpl) updateControlParameters() {
c.controlParameters = &stats.ControlParameters{}
c.updateControlParameterGOGC()
c.updateControlParameterThrottling()
}
const percents = 100
func (c *controllerImpl) updateControlParameterGOGC() {
// В зелёной зоне воздействие сбрасывается до дефолтов.
if uint32(c.utilization*percents) < c.cfg.DangerZoneGOGC {
c.controlParameters.GOGC = backpressure.DefaultGOGC
return
}
// В красной зоне для GC устанавливаются более консервативные настройки
roundedValue := uint32(math.Round(c.sumValue))
c.controlParameters.GOGC = int(backpressure.DefaultGOGC - roundedValue)
}
func (c *controllerImpl) updateControlParameterThrottling() {
// В зелёной зоне воздействие сбрасывается до дефолтов.
if uint32(c.utilization*percents) < c.cfg.DangerZoneThrottling {
c.controlParameters.ThrottlingPercentage = backpressure.NoThrottling
return
}
// В красной зоне для GC устанавливаются более консервативные настройки
roundedValue := uint32(math.Round(c.sumValue))
c.controlParameters.ThrottlingPercentage = roundedValue
}
func (c *controllerImpl) applyControlValue() error {
if c.controlParameters == nil {
c.logger.Info("control parameters are not ready yet")
return nil
}
if err := c.backpressureOperator.SetControlParameters(c.controlParameters); err != nil {
return errors.Wrapf(err, "set control parameters: %v", c.controlParameters)
}
return nil
}
func (c *controllerImpl) aggregateStats() *stats.ControllerStats {
res := &stats.ControllerStats{
MemoryBudget: &stats.MemoryBudgetStats{
RSSLimit: c.cfg.RSSLimit.Value,
GoAllocLimit: c.goAllocLimit,
Utilization: c.utilization,
},
NextGC: &stats.ControllerNextGCStats{
P: c.pValue,
Output: c.sumValue,
},
}
if c.consumptionReport != nil {
res.MemoryBudget.SpecialConsumers = &stats.SpecialConsumersStats{}
res.MemoryBudget.SpecialConsumers.Go = c.consumptionReport.Go
res.MemoryBudget.SpecialConsumers.Cgo = c.consumptionReport.Cgo
}
return res
}
// Quit корректно завершает работу.
func (c *controllerImpl) Quit() {
c.breaker.Shutdown()
c.breaker.Wait()
}
// NewControllerFromConfig - контроллер регулятора.
func NewControllerFromConfig(
logger logr.Logger,
cfg *ControllerConfig,
input stats.Subscription,
consumptionReporter memlimiter_utils.ConsumptionReporter,
backpressureOperator backpressure.Operator,
applicationTerminator memlimiter_utils.ApplicationTerminator,
) controller.Controller {
c := &controllerImpl{
input: input,
consumptionReporter: consumptionReporter,
backpressureOperator: backpressureOperator,
componentP: newComponentP(logger, cfg.ComponentProportional),
pValue: 0,
sumValue: 0,
applicationTerminator: applicationTerminator,
controlParameters: nil,
getStatsChan: make(chan *getStatsRequest),
cfg: cfg,
logger: logger,
breaker: breaker.NewBreakerWithInitValue(1),
}
go c.loop()
return c
}