restic/cmd/restic/cmd_fsck.go

package main

import (
	"errors"
	"fmt"
	"os"

	"github.com/restic/restic"
	"github.com/restic/restic/backend"
	"github.com/restic/restic/debug"
)

type CmdFsck struct {
	CheckData      bool   `          long:"check-data"      description:"Read data blobs" default:"false"`
	Snapshot       string `short:"s" long:"snapshot"        description:"Only check this snapshot"`
	Orphaned       bool   `short:"o" long:"orphaned"        description:"Check for orphaned blobs"`
	RemoveOrphaned bool   `short:"r" long:"remove-orphaned" description:"Remove orphaned blobs (implies -o)"`

	// lists checking for orphaned blobs
	o_data  *backend.IDSet
	o_trees *backend.IDSet
}

func init() {
	_, err := parser.AddCommand("fsck",
		"check the repository",
		"The fsck command check the integrity and consistency of the repository",
		&CmdFsck{})
	if err != nil {
		panic(err)
	}
}

func fsckFile(opts CmdFsck, s restic.Server, m *restic.Map, IDs []backend.ID) (uint64, error) {
	var bytes uint64

	for _, id := range IDs {
		debug.Log("restic.fsck", "checking data blob %v\n", id)

		// test if blob is in map
		blob, err := m.FindID(id)
		if err != nil {
			return 0, fmt.Errorf("storage ID for data blob %v not found", id)
		}

		bytes += blob.Size

		if opts.CheckData {
			// load content
			_, err := s.Load(backend.Data, blob)
			if err != nil {
				return 0, err
			}
		} else {
			// test if data blob is there
			ok, err := s.Test(backend.Data, blob.Storage)
			if err != nil {
				return 0, err
			}

			if !ok {
				return 0, fmt.Errorf("data blob %v not found", id)
			}
		}

		// if orphan check is active, record storage id
		if opts.o_data != nil {
			opts.o_data.Insert(blob.Storage)
		}
	}

	return bytes, nil
}

func fsckTree(opts CmdFsck, s restic.Server, blob restic.Blob) error {
	debug.Log("restic.fsck", "checking tree %v\n", blob.ID)

	tree, err := restic.LoadTree(s, blob)
	if err != nil {
		return err
	}

	// if orphan check is active, record storage id
	if opts.o_trees != nil {
		// add ID to list
		opts.o_trees.Insert(blob.Storage)
	}

	var firstErr error

	for i, node := range tree.Nodes {
		if node.Name == "" {
			return fmt.Errorf("node %v of tree %v has no name", i, blob.ID)
		}

		if node.Type == "" {
			return fmt.Errorf("node %q of tree %v has no type", node.Name, blob.ID)
		}

		switch node.Type {
		case "file":
			if node.Content == nil {
				return fmt.Errorf("file node %q of tree %v has no content: %v", node.Name, blob.ID, node)
			}

			if node.Content == nil && node.Error == "" {
				return fmt.Errorf("file node %q of tree %v has no content", node.Name, blob.ID)
			}

			bytes, err := fsckFile(opts, s, tree.Map, node.Content)
			if err != nil {
				return err
			}

			if bytes != node.Size {
				return fmt.Errorf("file node %q of tree %v has size %d, but only %d bytes could be found", node.Name, blob, node.Size, bytes)
			}
		case "dir":
			if node.Subtree == nil {
				return fmt.Errorf("dir node %q of tree %v has no subtree", node.Name, blob.ID)
			}

			// lookup blob
			subtreeBlob, err := tree.Map.FindID(node.Subtree)
			if err != nil {
				firstErr = err
				fmt.Fprintf(os.Stderr, "%v\n", err)
			}

			err = fsckTree(opts, s, subtreeBlob)
			if err != nil {
				firstErr = err
				fmt.Fprintf(os.Stderr, "%v\n", err)
			}
		}
	}

	return firstErr
}

func fsck_snapshot(opts CmdFsck, s restic.Server, id backend.ID) error {
	debug.Log("restic.fsck", "checking snapshot %v\n", id)

	sn, err := restic.LoadSnapshot(s, id)
	if err != nil {
		return fmt.Errorf("loading snapshot %v failed: %v", id, err)
	}

	if !sn.Tree.Valid() {
		return fmt.Errorf("snapshot %v has invalid tree %v", sn.ID, sn.Tree)
	}

	err = fsckTree(opts, s, sn.Tree)
	if err != nil {
		debug.Log("restic.fsck", "  checking tree %v for snapshot %v\n", sn.Tree, id)
		fmt.Fprintf(os.Stderr, "snapshot %v:\n  error for tree %v:\n    %v\n", id, sn.Tree, err)
	}

	return err
}

func (cmd CmdFsck) Usage() string {
	return "[fsck-options]"
}

func (cmd CmdFsck) Execute(args []string) error {
	if len(args) != 0 {
		return errors.New("fsck has no arguments")
	}

	if cmd.RemoveOrphaned && !cmd.Orphaned {
		cmd.Orphaned = true
	}

	s, err := OpenRepo()
	if err != nil {
		return err
	}

	if cmd.Snapshot != "" {
		snapshotID, err := s.FindSnapshot(cmd.Snapshot)
		if err != nil {
			return fmt.Errorf("invalid id %q: %v", cmd.Snapshot, err)
		}

		err = fsck_snapshot(cmd, s, snapshotID)
		if err != nil {
			fmt.Fprintf(os.Stderr, "check for snapshot %v failed\n", snapshotID)
		}

		return err
	}

	if cmd.Orphaned {
		cmd.o_data = backend.NewIDSet()
		cmd.o_trees = backend.NewIDSet()
	}

	list, err := s.List(backend.Snapshot)
	debug.Log("restic.fsck", "checking %d snapshots\n", len(list))
	if err != nil {
		return err
	}

	var firstErr error
	for _, snapshotID := range list {
		err := fsck_snapshot(cmd, s, snapshotID)
		if err != nil {
			fmt.Fprintf(os.Stderr, "check for snapshot %v failed\n", snapshotID)
			firstErr = err
		}
	}

	if !cmd.Orphaned {
		return firstErr
	}

	debug.Log("restic.fsck", "starting orphaned check\n")

	l := []struct {
		desc string
		tpe  backend.Type
		set  *backend.IDSet
	}{
		{"data blob", backend.Data, cmd.o_data},
		{"tree", backend.Tree, cmd.o_trees},
	}

	for _, d := range l {
		debug.Log("restic.fsck", "checking for orphaned %v\n", d.desc)

		blobs, err := s.List(d.tpe)
		if err != nil {
			return err
		}

		for _, id := range blobs {
			err := d.set.Find(id)
			if err != nil {
				if !cmd.RemoveOrphaned {
					fmt.Printf("orphaned %v %v\n", d.desc, id)
					continue
				}

				fmt.Printf("removing orphaned %v %v\n", d.desc, id)
				err := s.Remove(d.tpe, id)
				if err != nil {
					return err
				}
			}
		}
	}

	return firstErr
}