"git@developer.sourcefind.cn:zhaoyu6/sglang.git" did not exist on "f7b2853ff8b4d2728e4781b45b8c4d7394cd9be9"
memory.go 12 KB
Newer Older
Daniel Hiltgen's avatar
Daniel Hiltgen committed
1
2
3
package llm

import (
4
	"cmp"
5
	"fmt"
Daniel Hiltgen's avatar
Daniel Hiltgen committed
6
	"log/slog"
7
	"maps"
8
	"os"
9
	"slices"
10
11
	"strconv"
	"strings"
Daniel Hiltgen's avatar
Daniel Hiltgen committed
12
13

	"github.com/ollama/ollama/api"
14
	"github.com/ollama/ollama/discover"
15
	"github.com/ollama/ollama/envconfig"
Daniel Hiltgen's avatar
Daniel Hiltgen committed
16
	"github.com/ollama/ollama/format"
Michael Yang's avatar
Michael Yang committed
17
	"github.com/ollama/ollama/fs/ggml"
Daniel Hiltgen's avatar
Daniel Hiltgen committed
18
19
20
)

// This algorithm looks for a complete fit to determine if we need to unload other models
21
func PredictServerFit(allGpus discover.GpuInfoList, f *ggml.GGML, adapters, projectors []string, opts api.Options, numParallel int) (bool, uint64) {
Daniel Hiltgen's avatar
Daniel Hiltgen committed
22
	// Split up the GPUs by type and try them
23
	var estimatedVRAM uint64
Daniel Hiltgen's avatar
Daniel Hiltgen committed
24
25
	for _, gpus := range allGpus.ByLibrary() {
		var layerCount int
26
		estimate := EstimateGPULayers(gpus, f, projectors, opts, numParallel)
27
		layerCount, estimatedVRAM = estimate.Layers, estimate.VRAMSize
Daniel Hiltgen's avatar
Daniel Hiltgen committed
28
		if opts.NumGPU < 0 {
Michael Yang's avatar
Michael Yang committed
29
			if layerCount > 0 && layerCount >= int(f.KV().BlockCount()+1) {
Daniel Hiltgen's avatar
Daniel Hiltgen committed
30
31
32
33
34
35
36
37
38
39
40
				return true, estimatedVRAM
			}
		} else {
			if layerCount > 0 && layerCount >= opts.NumGPU {
				return true, estimatedVRAM
			}
		}
	}
	return false, estimatedVRAM
}

41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
type MemoryEstimate struct {
	// How many layers we predict we can load
	Layers int

	// The size of the graph which occupies the main GPU
	Graph uint64

	// How much VRAM will be allocated given the number of layers we predict
	VRAMSize uint64

	// The total size of the model if loaded into VRAM.  If all layers are loaded, VRAMSize == TotalSize
	TotalSize uint64

	// For multi-GPU scenarios, this provides the tensor split parameter
	TensorSplit string

	// For multi-GPU scenarios, this is the size in bytes per GPU
	GPUSizes []uint64
59
60
61
62
63
64
65
66
67
68
69
70

	// internal fields for logging purposes
	inferenceLibrary    string
	layersRequested     int
	layersModel         int
	availableList       []string
	kv                  uint64
	allocationsList     []string
	memoryWeights       uint64
	memoryLayerOutput   uint64
	graphFullOffload    uint64
	graphPartialOffload uint64
71
72

	projectorWeights, projectorGraph uint64
73
74
}

Daniel Hiltgen's avatar
Daniel Hiltgen committed
75
// Given a model and one or more GPU targets, predict how many layers and bytes we can load, and the total size
Daniel Hiltgen's avatar
Daniel Hiltgen committed
76
// The GPUs provided must all be the same Library
77
func EstimateGPULayers(gpus []discover.GpuInfo, f *ggml.GGML, projectors []string, opts api.Options, numParallel int) MemoryEstimate {
78
79
80
81
82
83
84
85
86
87
	// Graph size for a partial offload, applies to all GPUs
	var graphPartialOffload uint64

	// Graph size when all layers are offloaded, applies to all GPUs
	var graphFullOffload uint64

	// Final graph offload once we know full or partial
	var graphOffload uint64

	// Projectors loaded into GPU0 only
88
89
	var projectorWeights uint64
	var projectorGraph uint64
90
91
92
93

	// Conditional output size on GPU 0
	var memoryLayerOutput uint64

Daniel Hiltgen's avatar
Daniel Hiltgen committed
94
95
	// The sizes of a layer
	var layerSize uint64
Daniel Hiltgen's avatar
Daniel Hiltgen committed
96

97
98
99
100
101
102
103
104
105
	// The sum of all the layer sizes (just for logging)
	var memoryWeights uint64

	// True if all the layers are loaded
	var fullyLoaded bool

	// Overflow that didn't fit into the GPU
	var overflow uint64

106
	overhead := envconfig.GpuOverhead()
107
108
109
110
111
	availableList := make([]string, len(gpus))
	for i, gpu := range gpus {
		availableList[i] = format.HumanBytes2(gpu.FreeMemory)
	}
	slog.Debug("evaluating", "library", gpus[0].Library, "gpu_count", len(gpus), "available", availableList)
Daniel Hiltgen's avatar
Daniel Hiltgen committed
112
113

	for _, projector := range projectors {
114
		weight := projectorMemoryRequirements(projector)
115
		projectorWeights += weight
Daniel Hiltgen's avatar
Daniel Hiltgen committed
116
117
118
119

		// multimodal models require at least 2048 context
		opts.NumCtx = max(opts.NumCtx, 2048)
	}
120
121
122
	if projectorWeights == 0 && projectorGraph == 0 {
		projectorWeights, projectorGraph = f.VisionGraphSize()
	}
Daniel Hiltgen's avatar
Daniel Hiltgen committed
123

Michael Yang's avatar
Michael Yang committed
124
	layers := f.Tensors().GroupLayers()
125
126
127
128
	// add one layer (chosing the max layer) worth of memory as a buffer
	layerSize = slices.MaxFunc(slices.Collect(maps.Values(layers)), func(a, b ggml.Layer) int {
		return cmp.Compare(a.Size(), b.Size())
	}).Size()
Michael Yang's avatar
Michael Yang committed
129

130
	var kvct string
Michael Yang's avatar
Michael Yang committed
131
132
133
	if envconfig.FlashAttention() &&
		discover.GetGPUInfo().FlashAttentionSupported() &&
		f.SupportsFlashAttention() {
134
		requested := strings.ToLower(envconfig.KvCacheType())
Michael Yang's avatar
Michael Yang committed
135
		if requested != "" && f.SupportsKVCacheType(requested) {
136
137
138
139
			kvct = requested
		}
	}

140
	kv, graphPartialOffload, graphFullOffload := f.GraphSize(uint64(opts.NumCtx), uint64(min(opts.NumCtx, opts.NumBatch)), numParallel, kvct)
141

142
143
144
145
146
147
148
149
	if len(kv) > 0 {
		layerSize += kv[0]
	}

	var kvTotal uint64
	for _, kvLayer := range kv {
		kvTotal += kvLayer
	}
150

Daniel Hiltgen's avatar
Daniel Hiltgen committed
151
	if graphPartialOffload == 0 {
152
		graphPartialOffload = f.KV().GQA() * kvTotal / 6
Daniel Hiltgen's avatar
Daniel Hiltgen committed
153
154
155
156
157
	}
	if graphFullOffload == 0 {
		graphFullOffload = graphPartialOffload
	}

158
159
160
	// on metal there's no partial offload overhead
	if gpus[0].Library == "metal" {
		graphPartialOffload = graphFullOffload
Daniel Hiltgen's avatar
Daniel Hiltgen committed
161
162
163
	} else if len(gpus) > 1 {
		// multigpu should always use the partial graph size
		graphFullOffload = graphPartialOffload
164
165
	}

166
	if layer, ok := layers["output_norm"]; ok {
Michael Yang's avatar
Michael Yang committed
167
		memoryLayerOutput += layer.Size()
168
169
	}
	if layer, ok := layers["output"]; ok {
Michael Yang's avatar
Michael Yang committed
170
		memoryLayerOutput += layer.Size()
171
	} else if layer, ok := layers["token_embd"]; ok {
Michael Yang's avatar
Michael Yang committed
172
		memoryLayerOutput += layer.Size()
Michael Yang's avatar
Michael Yang committed
173
174
	}

Daniel Hiltgen's avatar
Daniel Hiltgen committed
175
	// Output layer handled at the end if we have space
176
	gpuZeroOverhead := projectorWeights + projectorGraph
177
178

	// Reduce set of GPUs to only those that have sufficient space to fit overhead and at least one layer
Michael Yang's avatar
Michael Yang committed
179
	var layerCount int
180
181
182
183
	layerCounts := make([]int, len(gpus))
	gpuAllocations := make([]uint64, len(gpus))
	type gs struct {
		i int
184
		g *discover.GpuInfo
185
186
187
188
189
190
191
192
	}
	gpusWithSpace := []gs{}
	for i := range gpus {
		var gzo uint64
		if len(gpusWithSpace) == 0 {
			gzo = gpuZeroOverhead
		}
		// Only include GPUs that can fit the graph, gpu minimum, the layer buffer and at least more layer
193
		if gpus[i].FreeMemory < overhead+gzo+max(graphPartialOffload, graphFullOffload)+gpus[i].MinimumMemory+2*layerSize {
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
			slog.Debug("gpu has too little memory to allocate any layers",
				"id", gpus[i].ID,
				"library", gpus[i].Library,
				"variant", gpus[i].Variant,
				"compute", gpus[i].Compute,
				"driver", fmt.Sprintf("%d.%d", gpus[i].DriverMajor, gpus[i].DriverMinor),
				"name", gpus[i].Name,
				"total", format.HumanBytes2(gpus[i].TotalMemory),
				"available", format.HumanBytes2(gpus[i].FreeMemory),
				"minimum_memory", gpus[i].MinimumMemory,
				"layer_size", format.HumanBytes2(layerSize),
				"gpu_zer_overhead", format.HumanBytes2(gzo),
				"partial_offload", format.HumanBytes2(graphPartialOffload),
				"full_offload", format.HumanBytes2(graphFullOffload),
			)
209
210
211
			continue
		}
		gpusWithSpace = append(gpusWithSpace, gs{i, &gpus[i]})
Daniel Hiltgen's avatar
Daniel Hiltgen committed
212
		gpuAllocations[i] += gpus[i].MinimumMemory + layerSize // We hold off on graph until we know partial vs. full
213
214
215
216
217
218
219
220
	}

	var gpuZeroID int
	if len(gpusWithSpace) > 0 {
		gpuZeroID = gpusWithSpace[0].i
		gpuAllocations[gpuZeroID] += gpuZeroOverhead
	}

Daniel Hiltgen's avatar
Daniel Hiltgen committed
221
	// For all the layers, find where they can fit on the GPU(s)
222
	for i := int(f.KV().BlockCount()) - 1; i >= 0; i-- {
223
224
		// Some models have inconsistent layer sizes
		if blk, ok := layers[fmt.Sprintf("blk.%d", i)]; ok {
Michael Yang's avatar
Michael Yang committed
225
			layerSize = blk.Size()
226
			layerSize += kv[i]
Michael Yang's avatar
Michael Yang committed
227
			memoryWeights += blk.Size()
228
		}
Daniel Hiltgen's avatar
Daniel Hiltgen committed
229

230
231
		if opts.NumGPU >= 0 && layerCount >= opts.NumGPU {
			// Stop allocating on GPU(s) once we hit the users target NumGPU
232
			overflow += layerSize
233
234
235
236
237
238
239
			continue
		}

		// distribute the layers across the GPU(s) that have space
		for j := len(gpusWithSpace); j > 0; j-- {
			g := gpusWithSpace[i%j]
			used := gpuAllocations[g.i] + max(graphPartialOffload, graphFullOffload)
240
			if g.g.FreeMemory > overhead+used+layerSize {
Daniel Hiltgen's avatar
Daniel Hiltgen committed
241
				gpuAllocations[g.i] += layerSize
242
				layerCounts[g.i]++
Michael Yang's avatar
typo  
Michael Yang committed
243
				layerCount++
244
245
246
				break
			} else {
				gpusWithSpace = append(gpusWithSpace[:i%j], gpusWithSpace[i%j+1:]...)
Michael Yang's avatar
typo  
Michael Yang committed
247
			}
Daniel Hiltgen's avatar
Daniel Hiltgen committed
248
		}
249
250
251
252

		if len(gpusWithSpace) == 0 {
			overflow += layerSize
		}
253
	}
Michael Yang's avatar
Michael Yang committed
254
	if layerCount >= int(f.KV().BlockCount()) {
255
256
		fullyLoaded = true
	}
Daniel Hiltgen's avatar
Daniel Hiltgen committed
257
258

	// Determine if we need to consider output then find where it fits
259
	if memoryLayerOutput > 0 && (opts.NumGPU < 0 || layerCount < opts.NumGPU) {
260
261
262
		for j := len(gpusWithSpace); j > 0; j-- {
			g := gpusWithSpace[layerCount%j]
			used := gpuAllocations[g.i] + max(graphPartialOffload, graphFullOffload)
263
			if g.g.FreeMemory > overhead+used+memoryLayerOutput {
264
265
266
267
268
269
				gpuAllocations[g.i] += memoryLayerOutput
				layerCounts[g.i]++
				layerCount++
				break
			}
		}
Daniel Hiltgen's avatar
Daniel Hiltgen committed
270

Michael Yang's avatar
Michael Yang committed
271
		if layerCount < int(f.KV().BlockCount())+1 {
272
273
274
			fullyLoaded = false
			overflow += memoryLayerOutput
		}
Daniel Hiltgen's avatar
Daniel Hiltgen committed
275
276
	}

277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
	// Add the applicable (full or partial) graph allocations
	for i := range gpus {
		if layerCounts[i] <= 0 {
			continue
		}
		if fullyLoaded {
			gpuAllocations[i] += graphFullOffload
		} else {
			gpuAllocations[i] += graphPartialOffload
		}
	}
	if fullyLoaded {
		graphOffload = graphFullOffload
	} else {
		graphOffload = graphPartialOffload
Daniel Hiltgen's avatar
Daniel Hiltgen committed
292
293
	}

294
295
296
297
	// Summaries for the log
	var memoryRequiredPartial, memoryRequiredTotal uint64
	for i := range gpuAllocations {
		memoryRequiredPartial += gpuAllocations[i]
Daniel Hiltgen's avatar
Daniel Hiltgen committed
298
	}
299
	memoryRequiredTotal = memoryRequiredPartial + overflow
Daniel Hiltgen's avatar
Daniel Hiltgen committed
300

301
302
303
304
305
306
307
308
309
310
311
312
	tensorSplit := ""
	if len(gpus) > 1 {
		splits := make([]string, len(gpus))
		for i, count := range layerCounts {
			splits[i] = strconv.Itoa(count)
		}
		tensorSplit = strings.Join(splits, ",")
	}
	allocationsList := []string{}
	for _, a := range gpuAllocations {
		allocationsList = append(allocationsList, format.HumanBytes2(a))
	}
Daniel Hiltgen's avatar
Daniel Hiltgen committed
313

314
315
316
317
318
319
320
321
322
	estimate := MemoryEstimate{
		TotalSize: memoryRequiredTotal,
		Layers:    0,
		Graph:     0,
		VRAMSize:  0,
		GPUSizes:  []uint64{},

		inferenceLibrary:    gpus[0].Library,
		layersRequested:     opts.NumGPU,
Michael Yang's avatar
Michael Yang committed
323
		layersModel:         int(f.KV().BlockCount()) + 1,
324
		availableList:       availableList,
325
		kv:                  kvTotal,
326
327
328
329
330
		allocationsList:     allocationsList,
		memoryWeights:       memoryWeights,
		memoryLayerOutput:   memoryLayerOutput,
		graphFullOffload:    graphFullOffload,
		graphPartialOffload: graphPartialOffload,
331
332
		projectorWeights:    projectorWeights,
		projectorGraph:      projectorGraph,
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
	}

	if gpus[0].Library == "cpu" {
		return estimate
	}
	if layerCount == 0 {
		slog.Debug("insufficient VRAM to load any model layers")
		return estimate
	}
	estimate.Layers = layerCount
	estimate.Graph = graphOffload
	estimate.VRAMSize = memoryRequiredPartial
	estimate.TotalSize = memoryRequiredTotal
	estimate.TensorSplit = tensorSplit
	estimate.GPUSizes = gpuAllocations
	return estimate
}

Michael Yang's avatar
Michael Yang committed
351
352
353
func (m MemoryEstimate) LogValue() slog.Value {
	attrs := []slog.Attr{
		slog.String("library", m.inferenceLibrary),
Daniel Hiltgen's avatar
Daniel Hiltgen committed
354
355
		slog.Group(
			"layers",
Michael Yang's avatar
Michael Yang committed
356
			// requested number of layers to offload
357
			"requested", m.layersRequested,
358
			// The number of layers the model has (including output)
359
			"model", m.layersModel,
Daniel Hiltgen's avatar
Daniel Hiltgen committed
360
			// estimated number of layers that can be offloaded
361
362
363
			"offload", m.Layers,
			// multi-gpu split for tensors
			"split", m.TensorSplit,
Daniel Hiltgen's avatar
Daniel Hiltgen committed
364
365
366
		),
		slog.Group(
			"memory",
367
			// memory available by GPU for offloading
368
			"available", m.availableList,
Michael Yang's avatar
Michael Yang committed
369
			"gpu_overhead", format.HumanBytes2(envconfig.GpuOverhead()),
Daniel Hiltgen's avatar
Daniel Hiltgen committed
370
371
372
			slog.Group(
				"required",
				// memory required for full offloading
373
				"full", format.HumanBytes2(m.TotalSize),
Daniel Hiltgen's avatar
Daniel Hiltgen committed
374
				// memory required to offload layers.estimate layers
375
				"partial", format.HumanBytes2(m.VRAMSize),
Daniel Hiltgen's avatar
Daniel Hiltgen committed
376
				// memory of KV cache
377
				"kv", format.HumanBytes2(m.kv),
378
				// Allocations across the GPUs
379
				"allocations", m.allocationsList,
Daniel Hiltgen's avatar
Daniel Hiltgen committed
380
381
382
383
			),
			slog.Group(
				"weights",
				// memory of the weights
384
				"total", format.HumanBytes2(m.memoryWeights+m.memoryLayerOutput),
Daniel Hiltgen's avatar
Daniel Hiltgen committed
385
				// memory of repeating layers
Michael Yang's avatar
Michael Yang committed
386
				"repeating", format.HumanBytes2(m.memoryWeights),
Daniel Hiltgen's avatar
Daniel Hiltgen committed
387
				// memory of non-repeating layers
388
				"nonrepeating", format.HumanBytes2(m.memoryLayerOutput),
Daniel Hiltgen's avatar
Daniel Hiltgen committed
389
390
391
392
			),
			slog.Group(
				"graph",
				// memory of graph when fully offloaded
393
				"full", format.HumanBytes2(m.graphFullOffload),
Daniel Hiltgen's avatar
Daniel Hiltgen committed
394
				// memory of graph when not fully offloaded
395
				"partial", format.HumanBytes2(m.graphPartialOffload),
Daniel Hiltgen's avatar
Daniel Hiltgen committed
396
397
			),
		),
Michael Yang's avatar
Michael Yang committed
398
399
400
401
402
403
404
405
406
407
408
	}

	if m.projectorWeights > 0 {
		attrs = append(attrs, slog.Group(
			"projector",
			"weights", format.HumanBytes2(m.projectorWeights),
			"graph", format.HumanBytes2(m.projectorGraph),
		))
	}

	return slog.GroupValue(attrs...)
Daniel Hiltgen's avatar
Daniel Hiltgen committed
409
}
410

411
func projectorMemoryRequirements(filename string) (weights uint64) {
412
413
	file, err := os.Open(filename)
	if err != nil {
414
		return 0
415
416
417
	}
	defer file.Close()

418
	ggml, _, err := ggml.Decode(file, 1024)
419
	if err != nil {
420
		return 0
421
422
	}

Michael Yang's avatar
Michael Yang committed
423
424
	for _, layer := range ggml.Tensors().GroupLayers() {
		weights += layer.Size()
425
426
	}

427
	return weights
428
}