images.go 21.4 KB
Newer Older
1
2
3
4
package server

import (
	"bytes"
5
	"context"
6
	"crypto/sha256"
Patrick Devine's avatar
Patrick Devine committed
7
	"encoding/hex"
8
9
10
11
12
	"encoding/json"
	"errors"
	"fmt"
	"io"
	"log"
13
	"log/slog"
14
	"net"
15
	"net/http"
Michael Yang's avatar
Michael Yang committed
16
	"net/url"
17
18
	"os"
	"path/filepath"
Michael Yang's avatar
Michael Yang committed
19
	"runtime"
20
	"slices"
Michael Yang's avatar
Michael Yang committed
21
	"strconv"
22
23
	"strings"

24
	"github.com/ollama/ollama/api"
Michael Yang's avatar
Michael Yang committed
25
	"github.com/ollama/ollama/envconfig"
Michael Yang's avatar
Michael Yang committed
26
	"github.com/ollama/ollama/fs/ggml"
27
	"github.com/ollama/ollama/parser"
Michael Yang's avatar
Michael Yang committed
28
	"github.com/ollama/ollama/template"
Michael Yang's avatar
Michael Yang committed
29
	"github.com/ollama/ollama/types/model"
30
	"github.com/ollama/ollama/version"
31
32
)

33
34
35
36
37
var (
	errCapabilities         = errors.New("does not support")
	errCapabilityCompletion = errors.New("completion")
	errCapabilityTools      = errors.New("tools")
	errCapabilityInsert     = errors.New("insert")
38
39
	errCapabilityVision     = errors.New("vision")
	errCapabilityEmbedding  = errors.New("embedding")
40
	errCapabilityThinking   = errors.New("thinking")
CYJiang's avatar
CYJiang committed
41
	errInsecureProtocol     = errors.New("insecure protocol http")
42
)
Michael Yang's avatar
Michael Yang committed
43

Michael Yang's avatar
Michael Yang committed
44
45
46
47
48
type registryOptions struct {
	Insecure bool
	Username string
	Password string
	Token    string
49
50

	CheckRedirect func(req *http.Request, via []*http.Request) error
Michael Yang's avatar
Michael Yang committed
51
52
}

53
type Model struct {
Michael Yang's avatar
Michael Yang committed
54
	Name           string `json:"name"`
55
	Config         ConfigV2
Michael Yang's avatar
Michael Yang committed
56
57
	ShortName      string
	ModelPath      string
58
	ParentModel    string
Michael Yang's avatar
Michael Yang committed
59
60
61
62
63
	AdapterPaths   []string
	ProjectorPaths []string
	System         string
	License        []string
	Digest         string
64
	Options        map[string]any
Michael Yang's avatar
Michael Yang committed
65
	Messages       []api.Message
Michael Yang's avatar
Michael Yang committed
66
67

	Template *template.Template
68
69
}

70
71
72
// Capabilities returns the capabilities that the model supports
func (m *Model) Capabilities() []model.Capability {
	capabilities := []model.Capability{}
73

74
75
76
77
	// Check for completion capability
	r, err := os.Open(m.ModelPath)
	if err == nil {
		defer r.Close()
78

79
		f, err := ggml.Decode(r, 1024)
80
		if err == nil {
Michael Yang's avatar
Michael Yang committed
81
			if _, ok := f.KV()[fmt.Sprintf("%s.pooling_type", f.KV().Architecture())]; ok {
82
83
84
				capabilities = append(capabilities, model.CapabilityEmbedding)
			} else {
				capabilities = append(capabilities, model.CapabilityCompletion)
85
			}
86
87
			if _, ok := f.KV()[fmt.Sprintf("%s.vision.block_count", f.KV().Architecture())]; ok {
				capabilities = append(capabilities, model.CapabilityVision)
Michael Yang's avatar
tools  
Michael Yang committed
88
			}
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
		} else {
			slog.Error("couldn't decode ggml", "error", err)
		}
	} else {
		slog.Error("couldn't open model file", "error", err)
	}

	if m.Template == nil {
		return capabilities
	}

	// Check for tools capability
	if slices.Contains(m.Template.Vars(), "tools") {
		capabilities = append(capabilities, model.CapabilityTools)
	}

	// Check for insert capability
	if slices.Contains(m.Template.Vars(), "suffix") {
		capabilities = append(capabilities, model.CapabilityInsert)
	}

110
111
112
113
114
	// Check for vision capability in projector-based models
	if len(m.ProjectorPaths) > 0 {
		capabilities = append(capabilities, model.CapabilityVision)
	}

115
116
117
118
119
120
	// Check for thinking capability
	openingTag, closingTag := inferThinkingTags(m.Template.Template)
	if openingTag != "" && closingTag != "" {
		capabilities = append(capabilities, model.CapabilityThinking)
	}

121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
	return capabilities
}

// CheckCapabilities checks if the model has the specified capabilities returning an error describing
// any missing or unknown capabilities
func (m *Model) CheckCapabilities(want ...model.Capability) error {
	available := m.Capabilities()
	var errs []error

	// Map capabilities to their corresponding error
	capToErr := map[model.Capability]error{
		model.CapabilityCompletion: errCapabilityCompletion,
		model.CapabilityTools:      errCapabilityTools,
		model.CapabilityInsert:     errCapabilityInsert,
		model.CapabilityVision:     errCapabilityVision,
		model.CapabilityEmbedding:  errCapabilityEmbedding,
137
		model.CapabilityThinking:   errCapabilityThinking,
138
139
140
141
142
	}

	for _, cap := range want {
		err, ok := capToErr[cap]
		if !ok {
Michael Yang's avatar
Michael Yang committed
143
			slog.Error("unknown capability", "capability", cap)
Michael Yang's avatar
Michael Yang committed
144
			return fmt.Errorf("unknown capability: %s", cap)
Michael Yang's avatar
Michael Yang committed
145
		}
146
147
148
149

		if !slices.Contains(available, cap) {
			errs = append(errs, err)
		}
Michael Yang's avatar
Michael Yang committed
150
151
	}

152
	var err error
153
	if len(errs) > 0 {
154
155
156
157
158
159
160
161
		err = fmt.Errorf("%w %w", errCapabilities, errors.Join(errs...))
	}

	if slices.Contains(errs, errCapabilityThinking) {
		if m.Config.ModelFamily == "qwen3" || model.ParseName(m.Name).Model == "deepseek-r1" {
			// append a message to the existing error
			return fmt.Errorf("%w. Pull the model again to get the latest version with full thinking support", err)
		}
Michael Yang's avatar
Michael Yang committed
162
163
	}

164
	return err
165
166
}

Michael Yang's avatar
Michael Yang committed
167
func (m *Model) String() string {
168
	var modelfile parser.Modelfile
Michael Yang's avatar
Michael Yang committed
169

170
	modelfile.Commands = append(modelfile.Commands, parser.Command{
Michael Yang's avatar
Michael Yang committed
171
172
173
		Name: "model",
		Args: m.ModelPath,
	})
174

Michael Yang's avatar
Michael Yang committed
175
	for _, adapter := range m.AdapterPaths {
176
		modelfile.Commands = append(modelfile.Commands, parser.Command{
Michael Yang's avatar
Michael Yang committed
177
178
			Name: "adapter",
			Args: adapter,
Michael Yang's avatar
Michael Yang committed
179
		})
180
181
	}

Michael Yang's avatar
Michael Yang committed
182
	for _, projector := range m.ProjectorPaths {
183
		modelfile.Commands = append(modelfile.Commands, parser.Command{
Michael Yang's avatar
Michael Yang committed
184
185
			Name: "model",
			Args: projector,
Michael Yang's avatar
Michael Yang committed
186
		})
187
188
	}

Michael Yang's avatar
Michael Yang committed
189
	if m.Template != nil {
190
		modelfile.Commands = append(modelfile.Commands, parser.Command{
Michael Yang's avatar
Michael Yang committed
191
			Name: "template",
Michael Yang's avatar
Michael Yang committed
192
			Args: m.Template.String(),
Michael Yang's avatar
Michael Yang committed
193
		})
194
195
	}

Michael Yang's avatar
Michael Yang committed
196
	if m.System != "" {
197
		modelfile.Commands = append(modelfile.Commands, parser.Command{
Michael Yang's avatar
Michael Yang committed
198
199
			Name: "system",
			Args: m.System,
Michael Yang's avatar
Michael Yang committed
200
		})
201
202
203
204
205
206
	}

	for k, v := range m.Options {
		switch v := v.(type) {
		case []any:
			for _, s := range v {
207
				modelfile.Commands = append(modelfile.Commands, parser.Command{
Michael Yang's avatar
Michael Yang committed
208
209
210
					Name: k,
					Args: fmt.Sprintf("%v", s),
				})
211
212
			}
		default:
213
			modelfile.Commands = append(modelfile.Commands, parser.Command{
Michael Yang's avatar
Michael Yang committed
214
215
216
				Name: k,
				Args: fmt.Sprintf("%v", v),
			})
217
218
219
220
		}
	}

	for _, license := range m.License {
221
		modelfile.Commands = append(modelfile.Commands, parser.Command{
Michael Yang's avatar
Michael Yang committed
222
223
224
			Name: "license",
			Args: license,
		})
225
226
227
	}

	for _, msg := range m.Messages {
228
		modelfile.Commands = append(modelfile.Commands, parser.Command{
Michael Yang's avatar
Michael Yang committed
229
			Name: "message",
Michael Yang's avatar
Michael Yang committed
230
			Args: fmt.Sprintf("%s: %s", msg.Role, msg.Content),
Michael Yang's avatar
Michael Yang committed
231
		})
232
233
	}

Michael Yang's avatar
Michael Yang committed
234
	return modelfile.String()
235
236
}

237
type ConfigV2 struct {
238
239
240
241
242
243
	ModelFormat   string   `json:"model_format"`
	ModelFamily   string   `json:"model_family"`
	ModelFamilies []string `json:"model_families"`
	ModelType     string   `json:"model_type"`
	FileType      string   `json:"file_type"`

244
	// required by spec
245
246
	Architecture string `json:"architecture"`
	OS           string `json:"os"`
247
	RootFS       RootFS `json:"rootfs"`
248
249
250
251
252
253
254
}

type RootFS struct {
	Type    string   `json:"type"`
	DiffIDs []string `json:"diff_ids"`
}

Michael Yang's avatar
Michael Yang committed
255
func GetManifest(mp ModelPath) (*Manifest, string, error) {
256
	fp, err := mp.GetManifestPath()
257
	if err != nil {
Patrick Devine's avatar
Patrick Devine committed
258
		return nil, "", err
259
	}
260

Michael Yang's avatar
Michael Yang committed
261
	f, err := os.Open(fp)
262
	if err != nil {
Michael Yang's avatar
Michael Yang committed
263
		return nil, "", err
264
	}
Michael Yang's avatar
Michael Yang committed
265
	defer f.Close()
266

Michael Yang's avatar
Michael Yang committed
267
	sha256sum := sha256.New()
Patrick Devine's avatar
Patrick Devine committed
268

Michael Yang's avatar
Michael Yang committed
269
270
	var manifest Manifest
	if err := json.NewDecoder(io.TeeReader(f, sha256sum)).Decode(&manifest); err != nil {
Patrick Devine's avatar
Patrick Devine committed
271
		return nil, "", err
272
273
	}

Michael Yang's avatar
Michael Yang committed
274
	return &manifest, hex.EncodeToString(sha256sum.Sum(nil)), nil
275
276
277
}

func GetModel(name string) (*Model, error) {
278
	mp := ParseModelPath(name)
Patrick Devine's avatar
Patrick Devine committed
279
	manifest, digest, err := GetManifest(mp)
280
281
282
283
284
	if err != nil {
		return nil, err
	}

	model := &Model{
285
286
287
		Name:      mp.GetFullTagname(),
		ShortName: mp.GetShortTagname(),
		Digest:    digest,
Michael Yang's avatar
Michael Yang committed
288
		Template:  template.DefaultTemplate,
289
290
	}

291
292
293
294
295
	if manifest.Config.Digest != "" {
		filename, err := GetBlobsPath(manifest.Config.Digest)
		if err != nil {
			return nil, err
		}
296

297
298
299
300
301
		configFile, err := os.Open(filename)
		if err != nil {
			return nil, err
		}
		defer configFile.Close()
302

303
304
305
		if err := json.NewDecoder(configFile).Decode(&model.Config); err != nil {
			return nil, err
		}
306
307
	}

308
	for _, layer := range manifest.Layers {
Patrick Devine's avatar
Patrick Devine committed
309
		filename, err := GetBlobsPath(layer.Digest)
310
311
312
313
		if err != nil {
			return nil, err
		}

314
315
316
		switch layer.MediaType {
		case "application/vnd.ollama.image.model":
			model.ModelPath = filename
317
			model.ParentModel = layer.From
318
		case "application/vnd.ollama.image.embed":
319
320
			// Deprecated in versions  > 0.1.2
			// TODO: remove this warning in a future version
321
			slog.Info("WARNING: model contains embeddings, but embeddings in modelfiles have been deprecated and will be ignored.")
322
323
		case "application/vnd.ollama.image.adapter":
			model.AdapterPaths = append(model.AdapterPaths, filename)
Michael Yang's avatar
Michael Yang committed
324
325
		case "application/vnd.ollama.image.projector":
			model.ProjectorPaths = append(model.ProjectorPaths, filename)
Michael Yang's avatar
Michael Yang committed
326
327
		case "application/vnd.ollama.image.prompt",
			"application/vnd.ollama.image.template":
328
329
330
331
332
			bts, err := os.ReadFile(filename)
			if err != nil {
				return nil, err
			}

Michael Yang's avatar
Michael Yang committed
333
			model.Template, err = template.Parse(string(bts))
334
335
336
			if err != nil {
				return nil, err
			}
Michael Yang's avatar
Michael Yang committed
337
		case "application/vnd.ollama.image.system":
338
339
340
341
342
			bts, err := os.ReadFile(filename)
			if err != nil {
				return nil, err
			}

Michael Yang's avatar
Michael Yang committed
343
			model.System = string(bts)
344
		case "application/vnd.ollama.image.params":
Michael Yang's avatar
Michael Yang committed
345
346
347
348
349
			params, err := os.Open(filename)
			if err != nil {
				return nil, err
			}
			defer params.Close()
350

351
			// parse model options parameters into a map so that we can see which fields have been specified explicitly
352
			if err = json.NewDecoder(params).Decode(&model.Options); err != nil {
353
354
				return nil, err
			}
355
356
357
358
359
360
361
362
363
364
		case "application/vnd.ollama.image.messages":
			msgs, err := os.Open(filename)
			if err != nil {
				return nil, err
			}
			defer msgs.Close()

			if err = json.NewDecoder(msgs).Decode(&model.Messages); err != nil {
				return nil, err
			}
Patrick Devine's avatar
Patrick Devine committed
365
366
367
368
369
370
		case "application/vnd.ollama.image.license":
			bts, err := os.ReadFile(filename)
			if err != nil {
				return nil, err
			}
			model.License = append(model.License, string(bts))
371
372
373
374
375
376
		}
	}

	return model, nil
}

Michael Yang's avatar
Michael Yang committed
377
func CopyModel(src, dst model.Name) error {
378
379
380
381
382
383
384
	if !dst.IsFullyQualified() {
		return model.Unqualified(dst)
	}
	if !src.IsFullyQualified() {
		return model.Unqualified(src)
	}

385
386
387
388
	if src.Filepath() == dst.Filepath() {
		return nil
	}

Michael Yang's avatar
Michael Yang committed
389
	manifests, err := GetManifestPath()
390
391
392
393
	if err != nil {
		return err
	}

394
	dstpath := filepath.Join(manifests, dst.Filepath())
Michael Yang's avatar
Michael Yang committed
395
	if err := os.MkdirAll(filepath.Dir(dstpath), 0o755); err != nil {
396
397
		return err
	}
Patrick Devine's avatar
Patrick Devine committed
398

399
	srcpath := filepath.Join(manifests, src.Filepath())
Michael Yang's avatar
Michael Yang committed
400
	srcfile, err := os.Open(srcpath)
Patrick Devine's avatar
Patrick Devine committed
401
402
403
	if err != nil {
		return err
	}
Michael Yang's avatar
Michael Yang committed
404
	defer srcfile.Close()
Patrick Devine's avatar
Patrick Devine committed
405

Michael Yang's avatar
Michael Yang committed
406
	dstfile, err := os.Create(dstpath)
Patrick Devine's avatar
Patrick Devine committed
407
408
409
	if err != nil {
		return err
	}
Michael Yang's avatar
Michael Yang committed
410
	defer dstfile.Close()
Patrick Devine's avatar
Patrick Devine committed
411

Michael Yang's avatar
Michael Yang committed
412
413
	_, err = io.Copy(dstfile, srcfile)
	return err
Patrick Devine's avatar
Patrick Devine committed
414
415
}

Michael Yang's avatar
Michael Yang committed
416
func deleteUnusedLayers(deleteMap map[string]struct{}) error {
417
418
	// Ignore corrupt manifests to avoid blocking deletion of layers that are freshly orphaned
	manifests, err := Manifests(true)
419
420
421
	if err != nil {
		return err
	}
Michael Yang's avatar
Michael Yang committed
422

Michael Yang's avatar
Michael Yang committed
423
	for _, manifest := range manifests {
Michael Yang's avatar
Michael Yang committed
424
425
426
427
428
		for _, layer := range manifest.Layers {
			delete(deleteMap, layer.Digest)
		}

		delete(deleteMap, manifest.Config.Digest)
Michael Yang's avatar
Michael Yang committed
429
	}
430
431

	// only delete the files which are still in the deleteMap
Michael Yang's avatar
Michael Yang committed
432
433
434
	for k := range deleteMap {
		fp, err := GetBlobsPath(k)
		if err != nil {
435
			slog.Info(fmt.Sprintf("couldn't get file path for '%s': %v", k, err))
Michael Yang's avatar
Michael Yang committed
436
437
			continue
		}
438
439
440
		if err := os.Remove(fp); err != nil {
			slog.Info(fmt.Sprintf("couldn't remove file '%s': %v", fp, err))
			continue
441
442
443
		}
	}

444
445
446
447
	return nil
}

func PruneLayers() error {
Michael Yang's avatar
Michael Yang committed
448
	deleteMap := make(map[string]struct{})
449
450
451
452
453
454
455
	p, err := GetBlobsPath("")
	if err != nil {
		return err
	}

	blobs, err := os.ReadDir(p)
	if err != nil {
456
		slog.Info(fmt.Sprintf("couldn't read dir '%s': %v", p, err))
457
458
459
460
461
		return err
	}

	for _, blob := range blobs {
		name := blob.Name()
462
		name = strings.ReplaceAll(name, "-", ":")
463
464
465
466
467
468
469
470
471
472
473

		_, err := GetBlobsPath(name)
		if err != nil {
			if errors.Is(err, ErrInvalidDigestFormat) {
				// remove invalid blobs (e.g. partial downloads)
				if err := os.Remove(filepath.Join(p, blob.Name())); err != nil {
					slog.Error("couldn't remove blob", "blob", blob.Name(), "error", err)
				}
			}

			continue
Michael Yang's avatar
Michael Yang committed
474
		}
475
476

		deleteMap[name] = struct{}{}
477
478
	}

479
	slog.Info(fmt.Sprintf("total blobs: %d", len(deleteMap)))
480

Michael Yang's avatar
Michael Yang committed
481
	if err := deleteUnusedLayers(deleteMap); err != nil {
482
		slog.Error(fmt.Sprintf("couldn't remove unused layers: %v", err))
483
		return nil
484
485
	}

486
	slog.Info(fmt.Sprintf("total unused blobs removed: %d", len(deleteMap)))
487
488
489
490

	return nil
}

Michael Yang's avatar
Michael Yang committed
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
func PruneDirectory(path string) error {
	info, err := os.Lstat(path)
	if err != nil {
		return err
	}

	if info.IsDir() && info.Mode()&os.ModeSymlink == 0 {
		entries, err := os.ReadDir(path)
		if err != nil {
			return err
		}

		for _, entry := range entries {
			if err := PruneDirectory(filepath.Join(path, entry.Name())); err != nil {
				return err
			}
		}

		entries, err = os.ReadDir(path)
		if err != nil {
			return err
		}

		if len(entries) > 0 {
			return nil
		}

		return os.Remove(path)
	}

	return nil
}

Michael Yang's avatar
Michael Yang committed
524
func PushModel(ctx context.Context, name string, regOpts *registryOptions, fn func(api.ProgressResponse)) error {
525
	mp := ParseModelPath(name)
526
527
	fn(api.ProgressResponse{Status: "retrieving manifest"})

528
	if mp.ProtocolScheme == "http" && !regOpts.Insecure {
CYJiang's avatar
CYJiang committed
529
		return errInsecureProtocol
530
531
	}

Patrick Devine's avatar
Patrick Devine committed
532
	manifest, _, err := GetManifest(mp)
533
	if err != nil {
534
		fn(api.ProgressResponse{Status: "couldn't retrieve manifest"})
535
536
537
		return err
	}

538
	var layers []Layer
Jeffrey Morgan's avatar
Jeffrey Morgan committed
539
	layers = append(layers, manifest.Layers...)
540
	if manifest.Config.Digest != "" {
541
		layers = append(layers, manifest.Config)
542
	}
543
544

	for _, layer := range layers {
Michael Yang's avatar
Michael Yang committed
545
		if err := uploadBlob(ctx, mp, layer, regOpts, fn); err != nil {
546
			slog.Info(fmt.Sprintf("error uploading blob: %v", err))
547
548
			return err
		}
549
550
	}

551
	fn(api.ProgressResponse{Status: "pushing manifest"})
Michael Yang's avatar
Michael Yang committed
552
553
	requestURL := mp.BaseURL()
	requestURL = requestURL.JoinPath("v2", mp.GetNamespaceRepository(), "manifests", mp.Tag)
554
555
556
557
558
559

	manifestJSON, err := json.Marshal(manifest)
	if err != nil {
		return err
	}

Michael Yang's avatar
Michael Yang committed
560
561
	headers := make(http.Header)
	headers.Set("Content-Type", "application/vnd.docker.distribution.manifest.v2+json")
Michael Yang's avatar
Michael Yang committed
562
	resp, err := makeRequestWithRetry(ctx, http.MethodPut, requestURL, headers, bytes.NewReader(manifestJSON), regOpts)
563
564
565
566
567
	if err != nil {
		return err
	}
	defer resp.Body.Close()

568
	fn(api.ProgressResponse{Status: "success"})
569
570
571
572

	return nil
}

Michael Yang's avatar
Michael Yang committed
573
func PullModel(ctx context.Context, name string, regOpts *registryOptions, fn func(api.ProgressResponse)) error {
574
575
	mp := ParseModelPath(name)

576
	// build deleteMap to prune unused layers
Michael Yang's avatar
Michael Yang committed
577
	deleteMap := make(map[string]struct{})
Michael Yang's avatar
Michael Yang committed
578
579
580
	manifest, _, err := GetManifest(mp)
	if errors.Is(err, os.ErrNotExist) {
		// noop
581
582
	} else if err != nil {
		slog.Warn("pulling model with bad existing manifest", "name", name, "error", err)
Michael Yang's avatar
Michael Yang committed
583
584
585
	} else {
		for _, l := range manifest.Layers {
			deleteMap[l.Digest] = struct{}{}
586
		}
Michael Yang's avatar
Michael Yang committed
587
588
		if manifest.Config.Digest != "" {
			deleteMap[manifest.Config.Digest] = struct{}{}
589
590
591
		}
	}

592
	if mp.ProtocolScheme == "http" && !regOpts.Insecure {
CYJiang's avatar
CYJiang committed
593
		return errInsecureProtocol
594
	}
595

596
	fn(api.ProgressResponse{Status: "pulling manifest"})
597

598
	manifest, err = pullModelManifest(ctx, mp, regOpts)
599
	if err != nil {
600
		return fmt.Errorf("pull model manifest: %s", err)
601
602
	}

603
	var layers []Layer
Bruce MacDonald's avatar
Bruce MacDonald committed
604
	layers = append(layers, manifest.Layers...)
605
	if manifest.Config.Digest != "" {
606
		layers = append(layers, manifest.Config)
607
	}
608

609
	skipVerify := make(map[string]bool)
610
	for _, layer := range layers {
611
612
613
614
615
616
617
		cacheHit, err := downloadBlob(ctx, downloadOpts{
			mp:      mp,
			digest:  layer.Digest,
			regOpts: regOpts,
			fn:      fn,
		})
		if err != nil {
618
619
			return err
		}
620
		skipVerify[layer.Digest] = cacheHit
621
		delete(deleteMap, layer.Digest)
622
	}
623
	delete(deleteMap, manifest.Config.Digest)
624

Michael Yang's avatar
Michael Yang committed
625
626
	fn(api.ProgressResponse{Status: "verifying sha256 digest"})
	for _, layer := range layers {
627
628
629
		if skipVerify[layer.Digest] {
			continue
		}
Michael Yang's avatar
Michael Yang committed
630
		if err := verifyBlob(layer.Digest); err != nil {
631
632
633
634
635
636
637
638
			if errors.Is(err, errDigestMismatch) {
				// something went wrong, delete the blob
				fp, err := GetBlobsPath(layer.Digest)
				if err != nil {
					return err
				}
				if err := os.Remove(fp); err != nil {
					// log this, but return the original error
639
					slog.Info(fmt.Sprintf("couldn't remove file with digest mismatch '%s': %v", fp, err))
640
641
				}
			}
Michael Yang's avatar
Michael Yang committed
642
643
644
645
			return err
		}
	}

646
	fn(api.ProgressResponse{Status: "writing manifest"})
647

648
	manifestJSON, err := json.Marshal(manifest)
649
650
651
652
	if err != nil {
		return err
	}

653
	fp, err := mp.GetManifestPath()
654
655
656
	if err != nil {
		return err
	}
657
658
659
	if err := os.MkdirAll(filepath.Dir(fp), 0o755); err != nil {
		return err
	}
660

Bruce MacDonald's avatar
Bruce MacDonald committed
661
	err = os.WriteFile(fp, manifestJSON, 0o644)
662
	if err != nil {
663
		slog.Info(fmt.Sprintf("couldn't write to %s", fp))
664
665
666
		return err
	}

Michael Yang's avatar
Michael Yang committed
667
668
	if !envconfig.NoPrune() && len(deleteMap) > 0 {
		fn(api.ProgressResponse{Status: "removing unused layers"})
Michael Yang's avatar
Michael Yang committed
669
		if err := deleteUnusedLayers(deleteMap); err != nil {
670
			fn(api.ProgressResponse{Status: fmt.Sprintf("couldn't remove unused layers: %v", err)})
671
672
673
		}
	}

674
	fn(api.ProgressResponse{Status: "success"})
675
676
677
678

	return nil
}

Michael Yang's avatar
Michael Yang committed
679
func pullModelManifest(ctx context.Context, mp ModelPath, regOpts *registryOptions) (*Manifest, error) {
Michael Yang's avatar
Michael Yang committed
680
	requestURL := mp.BaseURL().JoinPath("v2", mp.GetNamespaceRepository(), "manifests", mp.Tag)
681

Michael Yang's avatar
Michael Yang committed
682
683
	headers := make(http.Header)
	headers.Set("Accept", "application/vnd.docker.distribution.manifest.v2+json")
Michael Yang's avatar
Michael Yang committed
684
	resp, err := makeRequestWithRetry(ctx, http.MethodGet, requestURL, headers, nil, regOpts)
685
686
687
688
689
	if err != nil {
		return nil, err
	}
	defer resp.Body.Close()

Michael Yang's avatar
Michael Yang committed
690
	var m Manifest
691
692
693
694
	if err := json.NewDecoder(resp.Body).Decode(&m); err != nil {
		return nil, err
	}

Michael Yang's avatar
Michael Yang committed
695
	return &m, err
696
697
698
}

// GetSHA256Digest returns the SHA256 hash of a given buffer and returns it, and the size of buffer
Michael Yang's avatar
Michael Yang committed
699
func GetSHA256Digest(r io.Reader) (string, int64) {
Michael Yang's avatar
Michael Yang committed
700
701
702
703
704
705
	h := sha256.New()
	n, err := io.Copy(h, r)
	if err != nil {
		log.Fatal(err)
	}

Michael Yang's avatar
Michael Yang committed
706
	return fmt.Sprintf("sha256:%x", h.Sum(nil)), n
707
708
}

Michael Yang's avatar
lint  
Michael Yang committed
709
var errUnauthorized = errors.New("unauthorized: access denied")
710

Michael Yang's avatar
Michael Yang committed
711
func makeRequestWithRetry(ctx context.Context, method string, requestURL *url.URL, headers http.Header, body io.ReadSeeker, regOpts *registryOptions) (*http.Response, error) {
Michael Yang's avatar
lint  
Michael Yang committed
712
	for range 2 {
Michael Yang's avatar
Michael Yang committed
713
		resp, err := makeRequest(ctx, method, requestURL, headers, body, regOpts)
Michael Yang's avatar
Michael Yang committed
714
		if err != nil {
Michael Yang's avatar
Michael Yang committed
715
			if !errors.Is(err, context.Canceled) {
716
				slog.Info(fmt.Sprintf("request failed: %v", err))
Michael Yang's avatar
Michael Yang committed
717
718
			}

Michael Yang's avatar
Michael Yang committed
719
720
			return nil, err
		}
Michael Yang's avatar
Michael Yang committed
721
722
723

		switch {
		case resp.StatusCode == http.StatusUnauthorized:
724
725
			resp.Body.Close()

Michael Yang's avatar
Michael Yang committed
726
			// Handle authentication error with one retry
Michael Yang's avatar
Michael Yang committed
727
728
			challenge := parseRegistryChallenge(resp.Header.Get("www-authenticate"))
			token, err := getAuthorizationToken(ctx, challenge)
Michael Yang's avatar
Michael Yang committed
729
730
731
			if err != nil {
				return nil, err
			}
Michael Yang's avatar
Michael Yang committed
732
733
734
735
736
737
738
739
			regOpts.Token = token
			if body != nil {
				_, err = body.Seek(0, io.SeekStart)
				if err != nil {
					return nil, err
				}
			}
		case resp.StatusCode == http.StatusNotFound:
740
			resp.Body.Close()
Michael Yang's avatar
Michael Yang committed
741
742
			return nil, os.ErrNotExist
		case resp.StatusCode >= http.StatusBadRequest:
743
			defer resp.Body.Close()
Michael Yang's avatar
Michael Yang committed
744
745
746
747
748
749
750
			responseBody, err := io.ReadAll(resp.Body)
			if err != nil {
				return nil, fmt.Errorf("%d: %s", resp.StatusCode, err)
			}
			return nil, fmt.Errorf("%d: %s", resp.StatusCode, responseBody)
		default:
			return resp, nil
Michael Yang's avatar
Michael Yang committed
751
752
753
		}
	}

Michael Yang's avatar
Michael Yang committed
754
	return nil, errUnauthorized
Michael Yang's avatar
Michael Yang committed
755
756
}

757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
// testMakeRequestDialContext specifies the dial function for the http client in
// makeRequest. It can be used to resolve hosts in model names to local
// addresses for testing. For example, the model name ("example.com/my/model")
// can be directed to push/pull from "127.0.0.1:1234".
//
// This is not safe to set across goroutines. It should be set in
// the main test goroutine, and not by tests marked to run in parallel with
// t.Parallel().
//
// It should be cleared after use, otherwise it will affect other tests.
//
// Ideally we would have some set this up the stack, but the code is not
// structured in a way that makes this easy, so this will have to do for now.
var testMakeRequestDialContext func(ctx context.Context, network, addr string) (net.Conn, error)

Michael Yang's avatar
Michael Yang committed
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
func makeRequest(ctx context.Context, method string, requestURL *url.URL, headers http.Header, body io.Reader, regOpts *registryOptions) (*http.Response, error) {
	if requestURL.Scheme != "http" && regOpts != nil && regOpts.Insecure {
		requestURL.Scheme = "http"
	}

	req, err := http.NewRequestWithContext(ctx, method, requestURL.String(), body)
	if err != nil {
		return nil, err
	}

	if headers != nil {
		req.Header = headers
	}

	if regOpts != nil {
		if regOpts.Token != "" {
			req.Header.Set("Authorization", "Bearer "+regOpts.Token)
		} else if regOpts.Username != "" && regOpts.Password != "" {
			req.SetBasicAuth(regOpts.Username, regOpts.Password)
		}
	}

794
	req.Header.Set("User-Agent", fmt.Sprintf("ollama/%s (%s %s) Go/%s", version.Version, runtime.GOARCH, runtime.GOOS, runtime.Version()))
Michael Yang's avatar
Michael Yang committed
795
796
797
798
799
800
801
802
803
804

	if s := req.Header.Get("Content-Length"); s != "" {
		contentLength, err := strconv.ParseInt(s, 10, 64)
		if err != nil {
			return nil, err
		}

		req.ContentLength = contentLength
	}

805
	c := &http.Client{
806
		CheckRedirect: regOpts.CheckRedirect,
Michael Yang's avatar
Michael Yang committed
807
	}
808
809
810
811
812
813
	if testMakeRequestDialContext != nil {
		tr := http.DefaultTransport.(*http.Transport).Clone()
		tr.DialContext = testMakeRequestDialContext
		c.Transport = tr
	}
	return c.Do(req)
Michael Yang's avatar
Michael Yang committed
814
815
}

Patrick Devine's avatar
Patrick Devine committed
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
func getValue(header, key string) string {
	startIdx := strings.Index(header, key+"=")
	if startIdx == -1 {
		return ""
	}

	// Move the index to the starting quote after the key.
	startIdx += len(key) + 2
	endIdx := startIdx

	for endIdx < len(header) {
		if header[endIdx] == '"' {
			if endIdx+1 < len(header) && header[endIdx+1] != ',' { // If the next character isn't a comma, continue
				endIdx++
				continue
			}
			break
		}
		endIdx++
	}
	return header[startIdx:endIdx]
}

Michael Yang's avatar
Michael Yang committed
839
func parseRegistryChallenge(authStr string) registryChallenge {
Patrick Devine's avatar
Patrick Devine committed
840
841
	authStr = strings.TrimPrefix(authStr, "Bearer ")

Michael Yang's avatar
Michael Yang committed
842
	return registryChallenge{
Patrick Devine's avatar
Patrick Devine committed
843
844
845
846
847
848
		Realm:   getValue(authStr, "realm"),
		Service: getValue(authStr, "service"),
		Scope:   getValue(authStr, "scope"),
	}
}

849
var errDigestMismatch = errors.New("digest mismatch, file must be downloaded again")
850

Michael Yang's avatar
Michael Yang committed
851
852
853
854
855
856
857
858
859
860
861
862
863
864
func verifyBlob(digest string) error {
	fp, err := GetBlobsPath(digest)
	if err != nil {
		return err
	}

	f, err := os.Open(fp)
	if err != nil {
		return err
	}
	defer f.Close()

	fileDigest, _ := GetSHA256Digest(f)
	if digest != fileDigest {
865
		return fmt.Errorf("%w: want %s, got %s", errDigestMismatch, digest, fileDigest)
Michael Yang's avatar
Michael Yang committed
866
867
868
869
	}

	return nil
}