github.com/cockroachdb/pebble@v1.1.2/tool/manifest.go (about)

     1  // Copyright 2019 The LevelDB-Go and Pebble Authors. All rights reserved. Use
     2  // of this source code is governed by a BSD-style license that can be found in
     3  // the LICENSE file.
     4  
     5  package tool
     6  
     7  import (
     8  	"fmt"
     9  	"io"
    10  	"sort"
    11  	"time"
    12  
    13  	"github.com/cockroachdb/pebble"
    14  	"github.com/cockroachdb/pebble/internal/base"
    15  	"github.com/cockroachdb/pebble/internal/humanize"
    16  	"github.com/cockroachdb/pebble/internal/manifest"
    17  	"github.com/cockroachdb/pebble/record"
    18  	"github.com/cockroachdb/pebble/sstable"
    19  	"github.com/spf13/cobra"
    20  )
    21  
    22  // manifestT implements manifest-level tools, including both configuration
    23  // state and the commands themselves.
    24  type manifestT struct {
    25  	Root      *cobra.Command
    26  	Dump      *cobra.Command
    27  	Summarize *cobra.Command
    28  	Check     *cobra.Command
    29  
    30  	opts      *pebble.Options
    31  	comparers sstable.Comparers
    32  	fmtKey    keyFormatter
    33  	verbose   bool
    34  
    35  	filterStart key
    36  	filterEnd   key
    37  
    38  	summarizeDur time.Duration
    39  }
    40  
    41  func newManifest(opts *pebble.Options, comparers sstable.Comparers) *manifestT {
    42  	m := &manifestT{
    43  		opts:         opts,
    44  		comparers:    comparers,
    45  		summarizeDur: time.Hour,
    46  	}
    47  	m.fmtKey.mustSet("quoted")
    48  
    49  	m.Root = &cobra.Command{
    50  		Use:   "manifest",
    51  		Short: "manifest introspection tools",
    52  	}
    53  
    54  	// Add dump command
    55  	m.Dump = &cobra.Command{
    56  		Use:   "dump <manifest-files>",
    57  		Short: "print manifest contents",
    58  		Long: `
    59  Print the contents of the MANIFEST files.
    60  `,
    61  		Args: cobra.MinimumNArgs(1),
    62  		Run:  m.runDump,
    63  	}
    64  	m.Dump.Flags().Var(&m.fmtKey, "key", "key formatter")
    65  	m.Dump.Flags().Var(&m.filterStart, "filter-start", "start key filters out all version edits that only reference sstables containing keys strictly before the given key")
    66  	m.Dump.Flags().Var(&m.filterEnd, "filter-end", "end key filters out all version edits that only reference sstables containing keys at or strictly after the given key")
    67  	m.Root.AddCommand(m.Dump)
    68  	m.Root.PersistentFlags().BoolVarP(&m.verbose, "verbose", "v", false, "verbose output")
    69  
    70  	// Add summarize command
    71  	m.Summarize = &cobra.Command{
    72  		Use:   "summarize <manifest-files>",
    73  		Short: "summarize manifest contents",
    74  		Long: `
    75  Summarize the edits to the MANIFEST files over time.
    76  `,
    77  		Args: cobra.MinimumNArgs(1),
    78  		Run:  m.runSummarize,
    79  	}
    80  	m.Root.AddCommand(m.Summarize)
    81  	m.Summarize.Flags().DurationVar(
    82  		&m.summarizeDur, "dur", time.Hour, "bucket duration as a Go duration string (eg, '1h', '15m')")
    83  
    84  	// Add check command
    85  	m.Check = &cobra.Command{
    86  		Use:   "check <manifest-files>",
    87  		Short: "check manifest contents",
    88  		Long: `
    89  Check the contents of the MANIFEST files.
    90  `,
    91  		Args: cobra.MinimumNArgs(1),
    92  		Run:  m.runCheck,
    93  	}
    94  	m.Root.AddCommand(m.Check)
    95  	m.Check.Flags().Var(
    96  		&m.fmtKey, "key", "key formatter")
    97  
    98  	return m
    99  }
   100  
   101  func (m *manifestT) printLevels(cmp base.Compare, stdout io.Writer, v *manifest.Version) {
   102  	for level := range v.Levels {
   103  		if level == 0 && len(v.L0SublevelFiles) > 0 && !v.Levels[level].Empty() {
   104  			for sublevel := len(v.L0SublevelFiles) - 1; sublevel >= 0; sublevel-- {
   105  				fmt.Fprintf(stdout, "--- L0.%d ---\n", sublevel)
   106  				v.L0SublevelFiles[sublevel].Each(func(f *manifest.FileMetadata) {
   107  					if !anyOverlapFile(cmp, f, m.filterStart, m.filterEnd) {
   108  						return
   109  					}
   110  					fmt.Fprintf(stdout, "  %s:%d", f.FileNum, f.Size)
   111  					formatSeqNumRange(stdout, f.SmallestSeqNum, f.LargestSeqNum)
   112  					formatKeyRange(stdout, m.fmtKey, &f.Smallest, &f.Largest)
   113  					fmt.Fprintf(stdout, "\n")
   114  				})
   115  			}
   116  			continue
   117  		}
   118  		fmt.Fprintf(stdout, "--- L%d ---\n", level)
   119  		iter := v.Levels[level].Iter()
   120  		for f := iter.First(); f != nil; f = iter.Next() {
   121  			if !anyOverlapFile(cmp, f, m.filterStart, m.filterEnd) {
   122  				continue
   123  			}
   124  			fmt.Fprintf(stdout, "  %s:%d", f.FileNum, f.Size)
   125  			formatSeqNumRange(stdout, f.SmallestSeqNum, f.LargestSeqNum)
   126  			formatKeyRange(stdout, m.fmtKey, &f.Smallest, &f.Largest)
   127  			fmt.Fprintf(stdout, "\n")
   128  		}
   129  	}
   130  }
   131  
   132  func (m *manifestT) runDump(cmd *cobra.Command, args []string) {
   133  	stdout, stderr := cmd.OutOrStdout(), cmd.OutOrStderr()
   134  	for _, arg := range args {
   135  		func() {
   136  			f, err := m.opts.FS.Open(arg)
   137  			if err != nil {
   138  				fmt.Fprintf(stderr, "%s\n", err)
   139  				return
   140  			}
   141  			defer f.Close()
   142  
   143  			fmt.Fprintf(stdout, "%s\n", arg)
   144  
   145  			var bve manifest.BulkVersionEdit
   146  			bve.AddedByFileNum = make(map[base.FileNum]*manifest.FileMetadata)
   147  			var cmp *base.Comparer
   148  			var editIdx int
   149  			rr := record.NewReader(f, 0 /* logNum */)
   150  			for {
   151  				offset := rr.Offset()
   152  				r, err := rr.Next()
   153  				if err != nil {
   154  					fmt.Fprintf(stdout, "%s\n", err)
   155  					break
   156  				}
   157  
   158  				var ve manifest.VersionEdit
   159  				err = ve.Decode(r)
   160  				if err != nil {
   161  					fmt.Fprintf(stdout, "%s\n", err)
   162  					break
   163  				}
   164  				if err := bve.Accumulate(&ve); err != nil {
   165  					fmt.Fprintf(stdout, "%s\n", err)
   166  					break
   167  				}
   168  
   169  				if cmp != nil && !anyOverlap(cmp.Compare, &ve, m.filterStart, m.filterEnd) {
   170  					continue
   171  				}
   172  
   173  				empty := true
   174  				fmt.Fprintf(stdout, "%d/%d\n", offset, editIdx)
   175  				if ve.ComparerName != "" {
   176  					empty = false
   177  					fmt.Fprintf(stdout, "  comparer:     %s", ve.ComparerName)
   178  					cmp = m.comparers[ve.ComparerName]
   179  					if cmp == nil {
   180  						fmt.Fprintf(stdout, " (unknown)")
   181  					}
   182  					fmt.Fprintf(stdout, "\n")
   183  					m.fmtKey.setForComparer(ve.ComparerName, m.comparers)
   184  				}
   185  				if ve.MinUnflushedLogNum != 0 {
   186  					empty = false
   187  					fmt.Fprintf(stdout, "  log-num:       %d\n", ve.MinUnflushedLogNum)
   188  				}
   189  				if ve.ObsoletePrevLogNum != 0 {
   190  					empty = false
   191  					fmt.Fprintf(stdout, "  prev-log-num:  %d\n", ve.ObsoletePrevLogNum)
   192  				}
   193  				if ve.NextFileNum != 0 {
   194  					empty = false
   195  					fmt.Fprintf(stdout, "  next-file-num: %d\n", ve.NextFileNum)
   196  				}
   197  				if ve.LastSeqNum != 0 {
   198  					empty = false
   199  					fmt.Fprintf(stdout, "  last-seq-num:  %d\n", ve.LastSeqNum)
   200  				}
   201  				entries := make([]manifest.DeletedFileEntry, 0, len(ve.DeletedFiles))
   202  				for df := range ve.DeletedFiles {
   203  					empty = false
   204  					entries = append(entries, df)
   205  				}
   206  				sort.Slice(entries, func(i, j int) bool {
   207  					if entries[i].Level != entries[j].Level {
   208  						return entries[i].Level < entries[j].Level
   209  					}
   210  					return entries[i].FileNum < entries[j].FileNum
   211  				})
   212  				for _, df := range entries {
   213  					fmt.Fprintf(stdout, "  deleted:       L%d %s\n", df.Level, df.FileNum)
   214  				}
   215  				for _, nf := range ve.NewFiles {
   216  					empty = false
   217  					fmt.Fprintf(stdout, "  added:         L%d %s:%d",
   218  						nf.Level, nf.Meta.FileNum, nf.Meta.Size)
   219  					formatSeqNumRange(stdout, nf.Meta.SmallestSeqNum, nf.Meta.LargestSeqNum)
   220  					formatKeyRange(stdout, m.fmtKey, &nf.Meta.Smallest, &nf.Meta.Largest)
   221  					if nf.Meta.CreationTime != 0 {
   222  						fmt.Fprintf(stdout, " (%s)",
   223  							time.Unix(nf.Meta.CreationTime, 0).UTC().Format(time.RFC3339))
   224  					}
   225  					fmt.Fprintf(stdout, "\n")
   226  				}
   227  				if empty {
   228  					// NB: An empty version edit can happen if we log a version edit with
   229  					// a zero field. RocksDB does this with a version edit that contains
   230  					// `LogNum == 0`.
   231  					fmt.Fprintf(stdout, "  <empty>\n")
   232  				}
   233  				editIdx++
   234  			}
   235  
   236  			if cmp != nil {
   237  				v, err := bve.Apply(
   238  					nil /* version */, cmp.Compare, m.fmtKey.fn, 0,
   239  					m.opts.Experimental.ReadCompactionRate,
   240  					nil /* zombies */, manifest.AllowSplitUserKeys,
   241  				)
   242  				if err != nil {
   243  					fmt.Fprintf(stdout, "%s\n", err)
   244  					return
   245  				}
   246  				m.printLevels(cmp.Compare, stdout, v)
   247  			}
   248  		}()
   249  	}
   250  }
   251  
   252  func anyOverlap(cmp base.Compare, ve *manifest.VersionEdit, start, end key) bool {
   253  	if start == nil && end == nil {
   254  		return true
   255  	}
   256  	for _, df := range ve.DeletedFiles {
   257  		if anyOverlapFile(cmp, df, start, end) {
   258  			return true
   259  		}
   260  	}
   261  	for _, nf := range ve.NewFiles {
   262  		if anyOverlapFile(cmp, nf.Meta, start, end) {
   263  			return true
   264  		}
   265  	}
   266  	return false
   267  }
   268  
   269  func anyOverlapFile(cmp base.Compare, f *manifest.FileMetadata, start, end key) bool {
   270  	if f == nil {
   271  		return true
   272  	}
   273  	if start != nil {
   274  		if v := cmp(f.Largest.UserKey, start); v < 0 {
   275  			return false
   276  		} else if f.Largest.IsExclusiveSentinel() && v == 0 {
   277  			return false
   278  		}
   279  	}
   280  	if end != nil && cmp(f.Smallest.UserKey, end) >= 0 {
   281  		return false
   282  	}
   283  	return true
   284  }
   285  
   286  func (m *manifestT) runSummarize(cmd *cobra.Command, args []string) {
   287  	for _, arg := range args {
   288  		err := m.runSummarizeOne(cmd.OutOrStdout(), arg)
   289  		if err != nil {
   290  			fmt.Fprintf(cmd.OutOrStderr(), "%s\n", err)
   291  		}
   292  	}
   293  }
   294  
   295  func (m *manifestT) runSummarizeOne(stdout io.Writer, arg string) error {
   296  	f, err := m.opts.FS.Open(arg)
   297  	if err != nil {
   298  		return err
   299  	}
   300  	defer f.Close()
   301  	fmt.Fprintf(stdout, "%s\n", arg)
   302  
   303  	type summaryBucket struct {
   304  		bytesAdded      [manifest.NumLevels]uint64
   305  		bytesCompactOut [manifest.NumLevels]uint64
   306  	}
   307  	var (
   308  		bve           manifest.BulkVersionEdit
   309  		newestOverall time.Time
   310  		oldestOverall time.Time // oldest after initial version edit
   311  		buckets       = map[time.Time]*summaryBucket{}
   312  		metadatas     = map[base.FileNum]*manifest.FileMetadata{}
   313  	)
   314  	bve.AddedByFileNum = make(map[base.FileNum]*manifest.FileMetadata)
   315  	rr := record.NewReader(f, 0 /* logNum */)
   316  	for i := 0; ; i++ {
   317  		r, err := rr.Next()
   318  		if err == io.EOF {
   319  			break
   320  		} else if err != nil {
   321  			return err
   322  		}
   323  
   324  		var ve manifest.VersionEdit
   325  		err = ve.Decode(r)
   326  		if err != nil {
   327  			return err
   328  		}
   329  		if err := bve.Accumulate(&ve); err != nil {
   330  			return err
   331  		}
   332  
   333  		veNewest, veOldest := newestOverall, newestOverall
   334  		for _, nf := range ve.NewFiles {
   335  			_, seen := metadatas[nf.Meta.FileNum]
   336  			metadatas[nf.Meta.FileNum] = nf.Meta
   337  			if nf.Meta.CreationTime == 0 {
   338  				continue
   339  			}
   340  
   341  			t := time.Unix(nf.Meta.CreationTime, 0).UTC()
   342  			if veNewest.Before(t) {
   343  				veNewest = t
   344  			}
   345  			// Only update the oldest if we haven't already seen this
   346  			// file; it might've been moved in which case the sstable's
   347  			// creation time is from when it was originally created.
   348  			if veOldest.After(t) && !seen {
   349  				veOldest = t
   350  			}
   351  		}
   352  		// Ratchet up the most recent timestamp we've seen.
   353  		if newestOverall.Before(veNewest) {
   354  			newestOverall = veNewest
   355  		}
   356  
   357  		if i == 0 || newestOverall.IsZero() {
   358  			continue
   359  		}
   360  		// Update oldestOverall once, when we encounter the first version edit
   361  		// at index >= 1. It should be approximately the start time of the
   362  		// manifest.
   363  		if !newestOverall.IsZero() && oldestOverall.IsZero() {
   364  			oldestOverall = newestOverall
   365  		}
   366  
   367  		bucketKey := newestOverall.Truncate(m.summarizeDur)
   368  		b := buckets[bucketKey]
   369  		if b == nil {
   370  			b = &summaryBucket{}
   371  			buckets[bucketKey] = b
   372  		}
   373  
   374  		// Increase `bytesAdded` for any version edits that only add files.
   375  		// These are either flushes or ingests.
   376  		if len(ve.NewFiles) > 0 && len(ve.DeletedFiles) == 0 {
   377  			for _, nf := range ve.NewFiles {
   378  				b.bytesAdded[nf.Level] += nf.Meta.Size
   379  			}
   380  			continue
   381  		}
   382  
   383  		// Increase `bytesCompactOut` for the input level of any compactions
   384  		// that remove bytes from a level (excluding intra-L0 compactions).
   385  		// compactions.
   386  		destLevel := -1
   387  		if len(ve.NewFiles) > 0 {
   388  			destLevel = ve.NewFiles[0].Level
   389  		}
   390  		for dfe := range ve.DeletedFiles {
   391  			if dfe.Level != destLevel {
   392  				b.bytesCompactOut[dfe.Level] += metadatas[dfe.FileNum].Size
   393  			}
   394  		}
   395  	}
   396  
   397  	formatUint64 := func(v uint64, _ time.Duration) string {
   398  		if v == 0 {
   399  			return "."
   400  		}
   401  		return humanize.Bytes.Uint64(v).String()
   402  	}
   403  	formatRate := func(v uint64, dur time.Duration) string {
   404  		if v == 0 {
   405  			return "."
   406  		}
   407  		secs := dur.Seconds()
   408  		if secs == 0 {
   409  			secs = 1
   410  		}
   411  		return humanize.Bytes.Uint64(uint64(float64(v)/secs)).String() + "/s"
   412  	}
   413  
   414  	if newestOverall.IsZero() {
   415  		fmt.Fprintf(stdout, "(no timestamps)\n")
   416  	} else {
   417  		// NB: bt begins unaligned with the bucket duration (m.summarizeDur),
   418  		// but after the first bucket will always be aligned.
   419  		for bi, bt := 0, oldestOverall; !bt.After(newestOverall); bi, bt = bi+1, bt.Truncate(m.summarizeDur).Add(m.summarizeDur) {
   420  			// Truncate the start time to calculate the bucket key, and
   421  			// retrieve the appropriate bucket.
   422  			bk := bt.Truncate(m.summarizeDur)
   423  			var bucket summaryBucket
   424  			if buckets[bk] != nil {
   425  				bucket = *buckets[bk]
   426  			}
   427  
   428  			if bi%10 == 0 {
   429  				fmt.Fprintf(stdout, "                     ")
   430  				fmt.Fprintf(stdout, "_______L0_______L1_______L2_______L3_______L4_______L5_______L6_____TOTAL\n")
   431  			}
   432  			fmt.Fprintf(stdout, "%s\n", bt.Format(time.RFC3339))
   433  
   434  			// Compute the bucket duration. It may < `m.summarizeDur` if this is
   435  			// the first or last bucket.
   436  			bucketEnd := bt.Truncate(m.summarizeDur).Add(m.summarizeDur)
   437  			if bucketEnd.After(newestOverall) {
   438  				bucketEnd = newestOverall
   439  			}
   440  			dur := bucketEnd.Sub(bt)
   441  
   442  			stats := []struct {
   443  				label  string
   444  				format func(uint64, time.Duration) string
   445  				vals   [manifest.NumLevels]uint64
   446  			}{
   447  				{"Ingest+Flush", formatUint64, bucket.bytesAdded},
   448  				{"Ingest+Flush", formatRate, bucket.bytesAdded},
   449  				{"Compact (out)", formatUint64, bucket.bytesCompactOut},
   450  				{"Compact (out)", formatRate, bucket.bytesCompactOut},
   451  			}
   452  			for _, stat := range stats {
   453  				var sum uint64
   454  				for _, v := range stat.vals {
   455  					sum += v
   456  				}
   457  				fmt.Fprintf(stdout, "%20s   %8s %8s %8s %8s %8s %8s %8s %8s\n",
   458  					stat.label,
   459  					stat.format(stat.vals[0], dur),
   460  					stat.format(stat.vals[1], dur),
   461  					stat.format(stat.vals[2], dur),
   462  					stat.format(stat.vals[3], dur),
   463  					stat.format(stat.vals[4], dur),
   464  					stat.format(stat.vals[5], dur),
   465  					stat.format(stat.vals[6], dur),
   466  					stat.format(sum, dur))
   467  			}
   468  		}
   469  		fmt.Fprintf(stdout, "%s\n", newestOverall.Format(time.RFC3339))
   470  	}
   471  
   472  	dur := newestOverall.Sub(oldestOverall)
   473  	fmt.Fprintf(stdout, "---\n")
   474  	fmt.Fprintf(stdout, "Estimated start time: %s\n", oldestOverall.Format(time.RFC3339))
   475  	fmt.Fprintf(stdout, "Estimated end time:   %s\n", newestOverall.Format(time.RFC3339))
   476  	fmt.Fprintf(stdout, "Estimated duration:   %s\n", dur.String())
   477  
   478  	return nil
   479  }
   480  
   481  func (m *manifestT) runCheck(cmd *cobra.Command, args []string) {
   482  	stdout, stderr := cmd.OutOrStdout(), cmd.OutOrStderr()
   483  	ok := true
   484  	for _, arg := range args {
   485  		func() {
   486  			f, err := m.opts.FS.Open(arg)
   487  			if err != nil {
   488  				fmt.Fprintf(stderr, "%s\n", err)
   489  				ok = false
   490  				return
   491  			}
   492  			defer f.Close()
   493  
   494  			var v *manifest.Version
   495  			var cmp *base.Comparer
   496  			rr := record.NewReader(f, 0 /* logNum */)
   497  			// Contains the FileMetadata needed by BulkVersionEdit.Apply.
   498  			// It accumulates the additions since later edits contain
   499  			// deletions of earlier added files.
   500  			addedByFileNum := make(map[base.FileNum]*manifest.FileMetadata)
   501  			for {
   502  				offset := rr.Offset()
   503  				r, err := rr.Next()
   504  				if err != nil {
   505  					if err == io.EOF {
   506  						break
   507  					}
   508  					fmt.Fprintf(stdout, "%s: offset: %d err: %s\n", arg, offset, err)
   509  					ok = false
   510  					break
   511  				}
   512  
   513  				var ve manifest.VersionEdit
   514  				err = ve.Decode(r)
   515  				if err != nil {
   516  					fmt.Fprintf(stdout, "%s: offset: %d err: %s\n", arg, offset, err)
   517  					ok = false
   518  					break
   519  				}
   520  				var bve manifest.BulkVersionEdit
   521  				bve.AddedByFileNum = addedByFileNum
   522  				if err := bve.Accumulate(&ve); err != nil {
   523  					fmt.Fprintf(stderr, "%s\n", err)
   524  					ok = false
   525  					return
   526  				}
   527  
   528  				empty := true
   529  				if ve.ComparerName != "" {
   530  					empty = false
   531  					cmp = m.comparers[ve.ComparerName]
   532  					if cmp == nil {
   533  						fmt.Fprintf(stdout, "%s: offset: %d comparer %s not found",
   534  							arg, offset, ve.ComparerName)
   535  						ok = false
   536  						break
   537  					}
   538  					m.fmtKey.setForComparer(ve.ComparerName, m.comparers)
   539  				}
   540  				empty = empty && ve.MinUnflushedLogNum == 0 && ve.ObsoletePrevLogNum == 0 &&
   541  					ve.LastSeqNum == 0 && len(ve.DeletedFiles) == 0 &&
   542  					len(ve.NewFiles) == 0
   543  				if empty {
   544  					continue
   545  				}
   546  				// TODO(sbhola): add option to Apply that reports all errors instead of
   547  				// one error.
   548  				newv, err := bve.Apply(v, cmp.Compare, m.fmtKey.fn, 0, m.opts.Experimental.ReadCompactionRate, nil /* zombies */, manifest.AllowSplitUserKeys)
   549  				if err != nil {
   550  					fmt.Fprintf(stdout, "%s: offset: %d err: %s\n",
   551  						arg, offset, err)
   552  					fmt.Fprintf(stdout, "Version state before failed Apply\n")
   553  					m.printLevels(cmp.Compare, stdout, v)
   554  					fmt.Fprintf(stdout, "Version edit that failed\n")
   555  					for df := range ve.DeletedFiles {
   556  						fmt.Fprintf(stdout, "  deleted: L%d %s\n", df.Level, df.FileNum)
   557  					}
   558  					for _, nf := range ve.NewFiles {
   559  						fmt.Fprintf(stdout, "  added: L%d %s:%d",
   560  							nf.Level, nf.Meta.FileNum, nf.Meta.Size)
   561  						formatSeqNumRange(stdout, nf.Meta.SmallestSeqNum, nf.Meta.LargestSeqNum)
   562  						formatKeyRange(stdout, m.fmtKey, &nf.Meta.Smallest, &nf.Meta.Largest)
   563  						fmt.Fprintf(stdout, "\n")
   564  					}
   565  					ok = false
   566  					break
   567  				}
   568  				v = newv
   569  			}
   570  		}()
   571  	}
   572  	if ok {
   573  		fmt.Fprintf(stdout, "OK\n")
   574  	}
   575  }