-
Notifications
You must be signed in to change notification settings - Fork 3
/
instanceTracker.go
411 lines (342 loc) · 11.9 KB
/
instanceTracker.go
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
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
package contexts
import (
"bytes"
"fmt"
"github.com/multiversx/mx-chain-core-go/core/check"
logger "github.com/multiversx/mx-chain-logger-go"
"github.com/multiversx/mx-chain-storage-go/lrucache"
"github.com/multiversx/mx-chain-vm-v1_4-go/vmhost"
"github.com/multiversx/mx-chain-vm-v1_4-go/wasmer"
)
type instanceCacheLevel int
const (
// Warm indicates that the instance to track is a warm instance
Warm instanceCacheLevel = iota
// Precompiled indicates that the instance to track is cold and has been created from precompiled code
Precompiled
// Bytecode indicates that the instance to track is cold and has been created from raw bytecode
Bytecode
)
var _ vmhost.StateStack = (*instanceTracker)(nil)
var logTracker = logger.GetOrCreate("vm/tracker")
type instanceTracker struct {
codeHash []byte
codeSize uint64
numRunningInstances int
warmInstanceCache Cacher
instance wasmer.InstanceHandler
cacheLevel instanceCacheLevel
instanceStack []wasmer.InstanceHandler
codeHashStack [][]byte
codeSizeStack []uint64
instances map[string]wasmer.InstanceHandler
}
// NewInstanceTracker creates a new instanceTracker instance
func NewInstanceTracker() (*instanceTracker, error) {
tracker := &instanceTracker{
instances: make(map[string]wasmer.InstanceHandler),
instanceStack: make([]wasmer.InstanceHandler, 0),
codeHashStack: make([][]byte, 0),
codeSizeStack: make([]uint64, 0),
numRunningInstances: 0,
}
var err error
instanceEvictedCallback := tracker.makeInstanceEvictionCallback()
if WarmInstancesEnabled {
tracker.warmInstanceCache, err = lrucache.NewCacheWithEviction(warmCacheSize, instanceEvictedCallback)
} else {
tracker.warmInstanceCache = nil
}
if err != nil {
return nil, err
}
return tracker, nil
}
// InitState initializes the internal instanceTracker state
func (tracker *instanceTracker) InitState() {
tracker.instance = nil
tracker.codeHash = make([]byte, 0)
tracker.instances = make(map[string]wasmer.InstanceHandler)
tracker.codeSize = 0
}
// PushState pushes the active instance and codeHash on the state stacks
func (tracker *instanceTracker) PushState() {
tracker.instanceStack = append(tracker.instanceStack, tracker.instance)
tracker.codeHashStack = append(tracker.codeHashStack, tracker.codeHash)
tracker.codeSizeStack = append(tracker.codeSizeStack, tracker.codeSize)
logTracker.Trace("pushing instance", "id", tracker.instance.ID(), "codeHash", tracker.codeHash)
}
// PopSetActiveState pops the instance and codeHash from the state stacks and sets them as active
func (tracker *instanceTracker) PopSetActiveState() {
instanceStackLen := len(tracker.instanceStack)
if instanceStackLen == 0 {
return
}
activeInstance := tracker.instance
activeCodeHash := tracker.codeHash
stackedPrevInstance := tracker.instanceStack[instanceStackLen-1]
onStack := tracker.IsCodeHashOnTheStack(activeCodeHash)
activeInstanceIsTopOfStack := stackedPrevInstance == activeInstance
cold := !WarmInstancesEnabled
if !activeInstanceIsTopOfStack && (onStack || cold) {
tracker.cleanPoppedInstance(activeInstance, activeCodeHash)
}
tracker.ReplaceInstance(stackedPrevInstance)
tracker.instanceStack = tracker.instanceStack[:instanceStackLen-1]
tracker.codeHash = tracker.codeHashStack[instanceStackLen-1]
tracker.codeHashStack = tracker.codeHashStack[:instanceStackLen-1]
tracker.codeSize = tracker.codeSizeStack[instanceStackLen-1]
tracker.codeSizeStack = tracker.codeSizeStack[:instanceStackLen-1]
}
func (tracker *instanceTracker) cleanPoppedInstance(instance wasmer.InstanceHandler, codeHash []byte) {
if !check.IfNil(instance) {
if instance.Clean() {
tracker.updateNumRunningInstances(-1)
}
logTracker.Trace("clean popped instance", "id", instance.ID(), "codeHash", codeHash)
}
}
// PopDiscard does nothing for the instanceTracker
func (tracker *instanceTracker) PopDiscard() {
}
// ClearStateStack reinitializes the state stack.
func (tracker *instanceTracker) ClearStateStack() {
tracker.codeHashStack = make([][]byte, 0)
tracker.instanceStack = make([]wasmer.InstanceHandler, 0)
tracker.codeSizeStack = make([]uint64, 0)
}
// StackSize returns the size of the instance stack
func (tracker *instanceTracker) StackSize() uint64 {
return uint64(len(tracker.instanceStack))
}
// Instance returns the active instance
func (tracker *instanceTracker) Instance() wasmer.InstanceHandler {
return tracker.instance
}
// GetWarmInstance retrieves a warm instance from the internal cache
func (tracker *instanceTracker) GetWarmInstance(codeHash []byte) (wasmer.InstanceHandler, bool) {
cachedObject, ok := tracker.warmInstanceCache.Get(codeHash)
if !ok {
return nil, false
}
instance, ok := cachedObject.(wasmer.InstanceHandler)
if !ok {
return nil, false
}
return instance, true
}
// CodeHash returns the codeHash of the active instance
func (tracker *instanceTracker) CodeHash() []byte {
return tracker.codeHash
}
// ClearWarmInstanceCache clears the internal warm instance cache
func (tracker *instanceTracker) ClearWarmInstanceCache() {
if WarmInstancesEnabled {
tracker.warmInstanceCache.Clear()
}
}
// UseWarmInstance attempts to retrieve a warm instance for the given codeHash
// and to set it as active; returns false if not possible
func (tracker *instanceTracker) UseWarmInstance(codeHash []byte, newCode bool) bool {
instance, ok := tracker.GetWarmInstance(codeHash)
if !ok {
return false
}
ok = instance.Reset()
if !ok {
tracker.warmInstanceCache.Remove(codeHash)
return false
}
if newCode {
// A warm instance was found, but newCode == true, meaning this is an
// upgrade; the old warm instance must be cleaned
tracker.ForceCleanInstance(false)
return false
}
tracker.SetNewInstance(instance, Warm)
return true
}
// ForceCleanInstance cleans the active instance and evicts it from the
// internal warm instance cache if possible
func (tracker *instanceTracker) ForceCleanInstance(bypassWarmAndStackChecks bool) {
if check.IfNil(tracker.instance) {
logTracker.Trace("cannot clean, instance already nil")
return
}
defer func() {
tracker.UnsetInstance()
numWarmInstances, numColdInstances := tracker.NumRunningInstances()
logTracker.Trace("instance cleaned; num instances", "warm", numWarmInstances, "cold", numColdInstances)
}()
if bypassWarmAndStackChecks {
if tracker.instance.Clean() {
tracker.updateNumRunningInstances(-1)
}
return
}
onStack := tracker.IsCodeHashOnTheStack(tracker.codeHash)
coldOnlyEnabled := !WarmInstancesEnabled
if onStack || coldOnlyEnabled {
if tracker.instance.Clean() {
tracker.updateNumRunningInstances(-1)
}
} else {
tracker.warmInstanceCache.Remove(tracker.codeHash)
}
}
// SaveAsWarmInstance saves the active instance into the internal warm instance cache
func (tracker *instanceTracker) SaveAsWarmInstance() {
lenCacheBeforeSaving := tracker.warmInstanceCache.Len()
codeHashInWarmCache := tracker.warmInstanceCache.Has(tracker.codeHash)
if codeHashInWarmCache {
// Finding an instance in the warm cache at this point means that
// context.instance is a new instance which must replace the one in the
// warm cache, because they have the same bytecode. The old one is removed
// and cleaned before the new one is added to the cache.
logTracker.Trace("warm instance already in cache, evicting",
"id", tracker.instance.ID(),
"codeHash", tracker.codeHash)
tracker.warmInstanceCache.Remove(tracker.codeHash)
}
logTracker.Trace("warm instance not found, saving",
"id", tracker.instance.ID(),
"codeHash", tracker.codeHash,
)
tracker.warmInstanceCache.Put(
tracker.codeHash,
tracker.instance,
1,
)
lenCacheAfterSaving := tracker.warmInstanceCache.Len()
logTracker.Trace("after saving, warm instance size",
"before", lenCacheBeforeSaving,
"after", lenCacheAfterSaving,
)
logTracker.Trace("save warm instance",
"id", tracker.instance.ID(),
"codeHash", tracker.codeHash,
)
}
// SetCodeHash sets the active codeHash; it must correspond with the active instance
func (tracker *instanceTracker) SetCodeHash(codeHash []byte) {
tracker.codeHash = codeHash
}
// SetCodeSize sets the size of the active code
func (tracker *instanceTracker) SetCodeSize(codeSize uint64) {
tracker.codeSize = codeSize
}
// GetCodeSize returns the size of the active code
func (tracker *instanceTracker) GetCodeSize() uint64 {
return tracker.codeSize
}
// SetNewInstance sets the given instance as active and tracks its creation
func (tracker *instanceTracker) SetNewInstance(instance wasmer.InstanceHandler, cacheLevel instanceCacheLevel) {
tracker.ReplaceInstance(instance)
tracker.cacheLevel = cacheLevel
if cacheLevel != Warm {
tracker.updateNumRunningInstances(+1)
}
tracker.instances[instance.ID()] = instance
}
// ReplaceInstance replaces the currently active instance with the given one
func (tracker *instanceTracker) ReplaceInstance(instance wasmer.InstanceHandler) {
var previousInstanceID string
if check.IfNil(tracker.instance) {
logTracker.Trace("ReplaceInstance: previous instance was nil")
previousInstanceID = "nil"
} else {
previousInstanceID = tracker.instance.ID()
}
logTracker.Trace("replaced instance",
"prev id", previousInstanceID,
"new id", instance.ID())
tracker.instance = instance
}
// UnsetInstance replaces the currently active instance with nil
func (tracker *instanceTracker) UnsetInstance() {
if check.IfNil(tracker.instance) {
logTracker.Trace("UnsetInstance: current instance is already nil")
return
}
logTracker.Trace("UnsetInstance",
"id", tracker.instance.ID(),
"codeHash", tracker.codeHash)
tracker.instance = nil
tracker.codeHash = nil
}
// LogCounts prints the instance counter to the log
func (tracker *instanceTracker) LogCounts() {
warm, cold := tracker.NumRunningInstances()
logTracker.Trace("num instances after starting new one",
"warm", warm,
"cold", cold,
"total", tracker.numRunningInstances,
)
}
// NumRunningInstances returns the number of currently running instances (cold and warm)
func (tracker *instanceTracker) NumRunningInstances() (int, int) {
numWarmInstances := 0
if WarmInstancesEnabled {
numWarmInstances = tracker.warmInstanceCache.Len()
}
numColdInstances := tracker.numRunningInstances - numWarmInstances
return numWarmInstances, numColdInstances
}
// IsCodeHashOnTheStack returns true if the given codeHash is found on the codeHash stack
func (tracker *instanceTracker) IsCodeHashOnTheStack(codeHash []byte) bool {
for _, stackedCodeHash := range tracker.codeHashStack {
if bytes.Equal(codeHash, stackedCodeHash) {
return true
}
}
return false
}
// CheckInstances returns an error if there are tracked cold instances which
// have not been cleaned (leak detection)
func (tracker *instanceTracker) CheckInstances() error {
unclosedWarm := 0
unclosedCold := 0
warmInstanceCacheByID := make(map[string]wasmer.InstanceHandler)
for _, key := range tracker.warmInstanceCache.Keys() {
instance, ok := tracker.GetWarmInstance(key)
if !ok {
return fmt.Errorf("degenerate cache")
}
warmInstanceCacheByID[instance.ID()] = instance
}
for id, instance := range tracker.instances {
if instance.AlreadyCleaned() {
continue
}
_, isWarm := warmInstanceCacheByID[id]
if isWarm {
unclosedWarm++
} else {
unclosedCold++
logTracker.Trace("unclosed cold instance", "id", id)
}
}
if unclosedCold != 0 {
return fmt.Errorf(
"unclosed cold instances remaining: cold %d, warm %d",
unclosedCold,
unclosedWarm)
}
return nil
}
func (tracker *instanceTracker) makeInstanceEvictionCallback() func(interface{}, interface{}) {
return func(_ interface{}, value interface{}) {
instance, ok := value.(wasmer.InstanceHandler)
if !ok {
return
}
logTracker.Trace("evicted instance", "id", instance.ID())
if instance.Clean() {
tracker.updateNumRunningInstances(-1)
}
}
}
func (tracker *instanceTracker) updateNumRunningInstances(delta int) {
tracker.numRunningInstances += delta
logTracker.Trace("num running instances updated", "delta", delta)
}