memory.go 12.4 KB
Newer Older
Daniel Hiltgen's avatar
Daniel Hiltgen committed
1
2
3
package llm

import (
4
	"fmt"
Daniel Hiltgen's avatar
Daniel Hiltgen committed
5
	"log/slog"
6
	"os"
7
8
	"strconv"
	"strings"
Daniel Hiltgen's avatar
Daniel Hiltgen committed
9
10

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

// This algorithm looks for a complete fit to determine if we need to unload other models
18
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
19
	// Split up the GPUs by type and try them
20
	var estimatedVRAM uint64
Daniel Hiltgen's avatar
Daniel Hiltgen committed
21
22
	for _, gpus := range allGpus.ByLibrary() {
		var layerCount int
23
		estimate := EstimateGPULayers(gpus, f, projectors, opts, numParallel)
24
		layerCount, estimatedVRAM = estimate.Layers, estimate.VRAMSize
Daniel Hiltgen's avatar
Daniel Hiltgen committed
25
		if opts.NumGPU < 0 {
Michael Yang's avatar
Michael Yang committed
26
			if layerCount > 0 && layerCount >= int(f.KV().BlockCount()+1) {
Daniel Hiltgen's avatar
Daniel Hiltgen committed
27
28
29
30
31
32
33
34
35
36
37
				return true, estimatedVRAM
			}
		} else {
			if layerCount > 0 && layerCount >= opts.NumGPU {
				return true, estimatedVRAM
			}
		}
	}
	return false, estimatedVRAM
}

38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
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
56
57
58
59
60
61
62
63
64
65
66
67

	// 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
68
69

	projectorWeights, projectorGraph uint64
70
71
}

Daniel Hiltgen's avatar
Daniel Hiltgen committed
72
// 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
73
// The GPUs provided must all be the same Library
74
func EstimateGPULayers(gpus []discover.GpuInfo, f *ggml.GGML, projectors []string, opts api.Options, numParallel int) MemoryEstimate {
75
76
77
78
79
80
81
82
83
84
	// 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
85
86
87
88
89
	var llamaEngineProjectorWeights uint64

	// Projectors loaded with output layer
	var ollamaEngineProjectorWeights uint64
	var ollamaEngineProjectorGraph 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
		llamaEngineProjectorWeights += projectorMemoryRequirements(projector)
Daniel Hiltgen's avatar
Daniel Hiltgen committed
115
116
117
118

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

Michael Yang's avatar
Michael Yang committed
124
	layers := f.Tensors().GroupLayers()
Michael Yang's avatar
typo  
Michael Yang committed
125
126
	// add one layer worth of memory as a buffer
	if blk0, ok := layers["blk.0"]; ok {
Michael Yang's avatar
Michael Yang committed
127
		layerSize = blk0.Size()
Daniel Hiltgen's avatar
Daniel Hiltgen committed
128
129
	} else {
		slog.Warn("model missing blk.0 layer size")
Michael Yang's avatar
typo  
Michael Yang committed
130
	}
Michael Yang's avatar
Michael Yang committed
131

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

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

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

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

Daniel Hiltgen's avatar
Daniel Hiltgen committed
153
	if graphPartialOffload == 0 {
154
155
156
157
158
159
		headsKV := f.KV().HeadCountKVMin()
		if headsKV == 0 {
			headsKV = 1
		}
		gqa := f.KV().HeadCountMax() / headsKV
		graphPartialOffload = gqa * kvTotal / 6
Daniel Hiltgen's avatar
Daniel Hiltgen committed
160
161
162
163
164
	}
	if graphFullOffload == 0 {
		graphFullOffload = graphPartialOffload
	}

165
166
167
	// on metal there's no partial offload overhead
	if gpus[0].Library == "metal" {
		graphPartialOffload = graphFullOffload
Daniel Hiltgen's avatar
Daniel Hiltgen committed
168
169
170
	} else if len(gpus) > 1 {
		// multigpu should always use the partial graph size
		graphFullOffload = graphPartialOffload
171
172
	}

173
	// Output layer handled at the end if we have space
174
	if layer, ok := layers["output_norm"]; ok {
Michael Yang's avatar
Michael Yang committed
175
		memoryLayerOutput += layer.Size()
176
177
	}
	if layer, ok := layers["output"]; ok {
Michael Yang's avatar
Michael Yang committed
178
		memoryLayerOutput += layer.Size()
179
	} else if layer, ok := layers["token_embd"]; ok {
Michael Yang's avatar
Michael Yang committed
180
		memoryLayerOutput += layer.Size()
Michael Yang's avatar
Michael Yang committed
181
182
	}

183
	gpuZeroOverhead := llamaEngineProjectorWeights
184
185

	// 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
186
	var layerCount int
187
188
189
190
	layerCounts := make([]int, len(gpus))
	gpuAllocations := make([]uint64, len(gpus))
	type gs struct {
		i int
191
		g *discover.GpuInfo
192
193
194
195
196
197
198
199
	}
	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
200
		if gpus[i].FreeMemory < overhead+gzo+max(graphPartialOffload, graphFullOffload)+gpus[i].MinimumMemory+2*layerSize {
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
			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),
			)
216
217
218
			continue
		}
		gpusWithSpace = append(gpusWithSpace, gs{i, &gpus[i]})
Daniel Hiltgen's avatar
Daniel Hiltgen committed
219
		gpuAllocations[i] += gpus[i].MinimumMemory + layerSize // We hold off on graph until we know partial vs. full
220
221
222
223
224
225
	}

	var gpuZeroID int
	if len(gpusWithSpace) > 0 {
		gpuZeroID = gpusWithSpace[0].i
		gpuAllocations[gpuZeroID] += gpuZeroOverhead
226
227
	} else {
		overflow += gpuZeroOverhead
228
229
	}

Daniel Hiltgen's avatar
Daniel Hiltgen committed
230
	// For all the layers, find where they can fit on the GPU(s)
231
	for i := int(f.KV().BlockCount()) - 1; i >= 0; i-- {
232
233
		// Some models have inconsistent layer sizes
		if blk, ok := layers[fmt.Sprintf("blk.%d", i)]; ok {
Michael Yang's avatar
Michael Yang committed
234
			layerSize = blk.Size()
235
			layerSize += kv[i]
Michael Yang's avatar
Michael Yang committed
236
			memoryWeights += blk.Size()
237
		}
Daniel Hiltgen's avatar
Daniel Hiltgen committed
238

239
240
		if opts.NumGPU >= 0 && layerCount >= opts.NumGPU {
			// Stop allocating on GPU(s) once we hit the users target NumGPU
241
			overflow += layerSize
242
243
244
245
246
247
248
			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)
249
			if g.g.FreeMemory > overhead+used+layerSize {
Daniel Hiltgen's avatar
Daniel Hiltgen committed
250
				gpuAllocations[g.i] += layerSize
251
				layerCounts[g.i]++
Michael Yang's avatar
typo  
Michael Yang committed
252
				layerCount++
253
254
255
				break
			} else {
				gpusWithSpace = append(gpusWithSpace[:i%j], gpusWithSpace[i%j+1:]...)
Michael Yang's avatar
typo  
Michael Yang committed
256
			}
Daniel Hiltgen's avatar
Daniel Hiltgen committed
257
		}
258
259
260
261

		if len(gpusWithSpace) == 0 {
			overflow += layerSize
		}
262
	}
Michael Yang's avatar
Michael Yang committed
263
	if layerCount >= int(f.KV().BlockCount()) {
264
265
		fullyLoaded = true
	}
Daniel Hiltgen's avatar
Daniel Hiltgen committed
266
267

	// Determine if we need to consider output then find where it fits
268
269
	memoryLastLayer := memoryLayerOutput + ollamaEngineProjectorWeights + ollamaEngineProjectorGraph
	if memoryLastLayer > 0 {
270
271
272
273
		if opts.NumGPU < 0 || layerCount < opts.NumGPU {
			for j := len(gpusWithSpace); j > 0; j-- {
				g := gpusWithSpace[layerCount%j]
				used := gpuAllocations[g.i] + max(graphPartialOffload, graphFullOffload)
274
275
				if g.g.FreeMemory > overhead+used+memoryLastLayer {
					gpuAllocations[g.i] += memoryLastLayer
276
277
278
279
					layerCounts[g.i]++
					layerCount++
					break
				}
280
281
			}
		}
Daniel Hiltgen's avatar
Daniel Hiltgen committed
282

Michael Yang's avatar
Michael Yang committed
283
		if layerCount < int(f.KV().BlockCount())+1 {
284
			fullyLoaded = false
285
			overflow += memoryLastLayer
286
		}
Daniel Hiltgen's avatar
Daniel Hiltgen committed
287
288
	}

289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
	// 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
304
305
	}

306
307
308
309
	// Summaries for the log
	var memoryRequiredPartial, memoryRequiredTotal uint64
	for i := range gpuAllocations {
		memoryRequiredPartial += gpuAllocations[i]
Daniel Hiltgen's avatar
Daniel Hiltgen committed
310
	}
311
	memoryRequiredTotal = memoryRequiredPartial + overflow
Daniel Hiltgen's avatar
Daniel Hiltgen committed
312

313
314
315
316
317
318
319
320
321
322
323
324
	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
325

326
327
328
329
330
331
332
333
334
	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
335
		layersModel:         int(f.KV().BlockCount()) + 1,
336
		availableList:       availableList,
337
		kv:                  kvTotal,
338
339
340
341
342
		allocationsList:     allocationsList,
		memoryWeights:       memoryWeights,
		memoryLayerOutput:   memoryLayerOutput,
		graphFullOffload:    graphFullOffload,
		graphPartialOffload: graphPartialOffload,
343
344
		projectorWeights:    llamaEngineProjectorWeights + ollamaEngineProjectorWeights,
		projectorGraph:      ollamaEngineProjectorGraph,
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
	}

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

	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
421
}
422

423
func projectorMemoryRequirements(filename string) (weights uint64) {
424
425
	file, err := os.Open(filename)
	if err != nil {
426
		return 0
427
428
429
	}
	defer file.Close()

430
	ggml, err := ggml.Decode(file, 1024)
431
	if err != nil {
432
		return 0
433
434
	}

Michael Yang's avatar
Michael Yang committed
435
436
	for _, layer := range ggml.Tensors().GroupLayers() {
		weights += layer.Size()
437
438
	}

439
	return weights
440
}