github.com/ethw3/go-ethereuma@v0.0.0-20221013053120-c14602a4c23c/core/rawdb/freezer.go (about)

     1  // Copyright 2019 The go-ethereum Authors
     2  // This file is part of the go-ethereum library.
     3  //
     4  // The go-ethereum library is free software: you can redistribute it and/or modify
     5  // it under the terms of the GNU Lesser General Public License as published by
     6  // the Free Software Foundation, either version 3 of the License, or
     7  // (at your option) any later version.
     8  //
     9  // The go-ethereum library is distributed in the hope that it will be useful,
    10  // but WITHOUT ANY WARRANTY; without even the implied warranty of
    11  // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
    12  // GNU Lesser General Public License for more details.
    13  //
    14  // You should have received a copy of the GNU Lesser General Public License
    15  // along with the go-ethereum library. If not, see <http://www.gnu.org/licenses/>.
    16  
    17  package rawdb
    18  
    19  import (
    20  	"errors"
    21  	"fmt"
    22  	"math"
    23  	"os"
    24  	"path/filepath"
    25  	"sync"
    26  	"sync/atomic"
    27  	"time"
    28  
    29  	"github.com/ethw3/go-ethereuma/common"
    30  	"github.com/ethw3/go-ethereuma/ethdb"
    31  	"github.com/ethw3/go-ethereuma/log"
    32  	"github.com/ethw3/go-ethereuma/metrics"
    33  	"github.com/prometheus/tsdb/fileutil"
    34  )
    35  
    36  var (
    37  	// errReadOnly is returned if the freezer is opened in read only mode. All the
    38  	// mutations are disallowed.
    39  	errReadOnly = errors.New("read only")
    40  
    41  	// errUnknownTable is returned if the user attempts to read from a table that is
    42  	// not tracked by the freezer.
    43  	errUnknownTable = errors.New("unknown table")
    44  
    45  	// errOutOrderInsertion is returned if the user attempts to inject out-of-order
    46  	// binary blobs into the freezer.
    47  	errOutOrderInsertion = errors.New("the append operation is out-order")
    48  
    49  	// errSymlinkDatadir is returned if the ancient directory specified by user
    50  	// is a symbolic link.
    51  	errSymlinkDatadir = errors.New("symbolic link datadir is not supported")
    52  )
    53  
    54  // freezerTableSize defines the maximum size of freezer data files.
    55  const freezerTableSize = 2 * 1000 * 1000 * 1000
    56  
    57  // Freezer is a memory mapped append-only database to store immutable ordered
    58  // data into flat files:
    59  //
    60  // - The append-only nature ensures that disk writes are minimized.
    61  // - The memory mapping ensures we can max out system memory for caching without
    62  //   reserving it for go-ethereum. This would also reduce the memory requirements
    63  //   of Geth, and thus also GC overhead.
    64  type Freezer struct {
    65  	// WARNING: The `frozen` and `tail` fields are accessed atomically. On 32 bit platforms, only
    66  	// 64-bit aligned fields can be atomic. The struct is guaranteed to be so aligned,
    67  	// so take advantage of that (https://golang.org/pkg/sync/atomic/#pkg-note-BUG).
    68  	frozen uint64 // Number of blocks already frozen
    69  	tail   uint64 // Number of the first stored item in the freezer
    70  
    71  	// This lock synchronizes writers and the truncate operation, as well as
    72  	// the "atomic" (batched) read operations.
    73  	writeLock  sync.RWMutex
    74  	writeBatch *freezerBatch
    75  
    76  	readonly     bool
    77  	tables       map[string]*freezerTable // Data tables for storing everything
    78  	instanceLock fileutil.Releaser        // File-system lock to prevent double opens
    79  	closeOnce    sync.Once
    80  }
    81  
    82  // NewFreezer creates a freezer instance for maintaining immutable ordered
    83  // data according to the given parameters.
    84  //
    85  // The 'tables' argument defines the data tables. If the value of a map
    86  // entry is true, snappy compression is disabled for the table.
    87  func NewFreezer(datadir string, namespace string, readonly bool, maxTableSize uint32, tables map[string]bool) (*Freezer, error) {
    88  	// Create the initial freezer object
    89  	var (
    90  		readMeter  = metrics.NewRegisteredMeter(namespace+"ancient/read", nil)
    91  		writeMeter = metrics.NewRegisteredMeter(namespace+"ancient/write", nil)
    92  		sizeGauge  = metrics.NewRegisteredGauge(namespace+"ancient/size", nil)
    93  	)
    94  	// Ensure the datadir is not a symbolic link if it exists.
    95  	if info, err := os.Lstat(datadir); !os.IsNotExist(err) {
    96  		if info.Mode()&os.ModeSymlink != 0 {
    97  			log.Warn("Symbolic link ancient database is not supported", "path", datadir)
    98  			return nil, errSymlinkDatadir
    99  		}
   100  	}
   101  	// Leveldb uses LOCK as the filelock filename. To prevent the
   102  	// name collision, we use FLOCK as the lock name.
   103  	lock, _, err := fileutil.Flock(filepath.Join(datadir, "FLOCK"))
   104  	if err != nil {
   105  		return nil, err
   106  	}
   107  	// Open all the supported data tables
   108  	freezer := &Freezer{
   109  		readonly:     readonly,
   110  		tables:       make(map[string]*freezerTable),
   111  		instanceLock: lock,
   112  	}
   113  
   114  	// Create the tables.
   115  	for name, disableSnappy := range tables {
   116  		table, err := newTable(datadir, name, readMeter, writeMeter, sizeGauge, maxTableSize, disableSnappy, readonly)
   117  		if err != nil {
   118  			for _, table := range freezer.tables {
   119  				table.Close()
   120  			}
   121  			lock.Release()
   122  			return nil, err
   123  		}
   124  		freezer.tables[name] = table
   125  	}
   126  
   127  	if freezer.readonly {
   128  		// In readonly mode only validate, don't truncate.
   129  		// validate also sets `freezer.frozen`.
   130  		err = freezer.validate()
   131  	} else {
   132  		// Truncate all tables to common length.
   133  		err = freezer.repair()
   134  	}
   135  	if err != nil {
   136  		for _, table := range freezer.tables {
   137  			table.Close()
   138  		}
   139  		lock.Release()
   140  		return nil, err
   141  	}
   142  
   143  	// Create the write batch.
   144  	freezer.writeBatch = newFreezerBatch(freezer)
   145  
   146  	log.Info("Opened ancient database", "database", datadir, "readonly", readonly)
   147  	return freezer, nil
   148  }
   149  
   150  // Close terminates the chain freezer, unmapping all the data files.
   151  func (f *Freezer) Close() error {
   152  	f.writeLock.Lock()
   153  	defer f.writeLock.Unlock()
   154  
   155  	var errs []error
   156  	f.closeOnce.Do(func() {
   157  		for _, table := range f.tables {
   158  			if err := table.Close(); err != nil {
   159  				errs = append(errs, err)
   160  			}
   161  		}
   162  		if err := f.instanceLock.Release(); err != nil {
   163  			errs = append(errs, err)
   164  		}
   165  	})
   166  	if errs != nil {
   167  		return fmt.Errorf("%v", errs)
   168  	}
   169  	return nil
   170  }
   171  
   172  // HasAncient returns an indicator whether the specified ancient data exists
   173  // in the freezer.
   174  func (f *Freezer) HasAncient(kind string, number uint64) (bool, error) {
   175  	if table := f.tables[kind]; table != nil {
   176  		return table.has(number), nil
   177  	}
   178  	return false, nil
   179  }
   180  
   181  // Ancient retrieves an ancient binary blob from the append-only immutable files.
   182  func (f *Freezer) Ancient(kind string, number uint64) ([]byte, error) {
   183  	if table := f.tables[kind]; table != nil {
   184  		return table.Retrieve(number)
   185  	}
   186  	return nil, errUnknownTable
   187  }
   188  
   189  // AncientRange retrieves multiple items in sequence, starting from the index 'start'.
   190  // It will return
   191  //  - at most 'max' items,
   192  //  - at least 1 item (even if exceeding the maxByteSize), but will otherwise
   193  //   return as many items as fit into maxByteSize.
   194  func (f *Freezer) AncientRange(kind string, start, count, maxBytes uint64) ([][]byte, error) {
   195  	if table := f.tables[kind]; table != nil {
   196  		return table.RetrieveItems(start, count, maxBytes)
   197  	}
   198  	return nil, errUnknownTable
   199  }
   200  
   201  // Ancients returns the length of the frozen items.
   202  func (f *Freezer) Ancients() (uint64, error) {
   203  	return atomic.LoadUint64(&f.frozen), nil
   204  }
   205  
   206  // Tail returns the number of first stored item in the freezer.
   207  func (f *Freezer) Tail() (uint64, error) {
   208  	return atomic.LoadUint64(&f.tail), nil
   209  }
   210  
   211  // AncientSize returns the ancient size of the specified category.
   212  func (f *Freezer) AncientSize(kind string) (uint64, error) {
   213  	// This needs the write lock to avoid data races on table fields.
   214  	// Speed doesn't matter here, AncientSize is for debugging.
   215  	f.writeLock.RLock()
   216  	defer f.writeLock.RUnlock()
   217  
   218  	if table := f.tables[kind]; table != nil {
   219  		return table.size()
   220  	}
   221  	return 0, errUnknownTable
   222  }
   223  
   224  // ReadAncients runs the given read operation while ensuring that no writes take place
   225  // on the underlying freezer.
   226  func (f *Freezer) ReadAncients(fn func(ethdb.AncientReaderOp) error) (err error) {
   227  	f.writeLock.RLock()
   228  	defer f.writeLock.RUnlock()
   229  
   230  	return fn(f)
   231  }
   232  
   233  // ModifyAncients runs the given write operation.
   234  func (f *Freezer) ModifyAncients(fn func(ethdb.AncientWriteOp) error) (writeSize int64, err error) {
   235  	if f.readonly {
   236  		return 0, errReadOnly
   237  	}
   238  	f.writeLock.Lock()
   239  	defer f.writeLock.Unlock()
   240  
   241  	// Roll back all tables to the starting position in case of error.
   242  	prevItem := atomic.LoadUint64(&f.frozen)
   243  	defer func() {
   244  		if err != nil {
   245  			// The write operation has failed. Go back to the previous item position.
   246  			for name, table := range f.tables {
   247  				err := table.truncateHead(prevItem)
   248  				if err != nil {
   249  					log.Error("Freezer table roll-back failed", "table", name, "index", prevItem, "err", err)
   250  				}
   251  			}
   252  		}
   253  	}()
   254  
   255  	f.writeBatch.reset()
   256  	if err := fn(f.writeBatch); err != nil {
   257  		return 0, err
   258  	}
   259  	item, writeSize, err := f.writeBatch.commit()
   260  	if err != nil {
   261  		return 0, err
   262  	}
   263  	atomic.StoreUint64(&f.frozen, item)
   264  	return writeSize, nil
   265  }
   266  
   267  // TruncateHead discards any recent data above the provided threshold number.
   268  func (f *Freezer) TruncateHead(items uint64) error {
   269  	if f.readonly {
   270  		return errReadOnly
   271  	}
   272  	f.writeLock.Lock()
   273  	defer f.writeLock.Unlock()
   274  
   275  	if atomic.LoadUint64(&f.frozen) <= items {
   276  		return nil
   277  	}
   278  	for _, table := range f.tables {
   279  		if err := table.truncateHead(items); err != nil {
   280  			return err
   281  		}
   282  	}
   283  	atomic.StoreUint64(&f.frozen, items)
   284  	return nil
   285  }
   286  
   287  // TruncateTail discards any recent data below the provided threshold number.
   288  func (f *Freezer) TruncateTail(tail uint64) error {
   289  	if f.readonly {
   290  		return errReadOnly
   291  	}
   292  	f.writeLock.Lock()
   293  	defer f.writeLock.Unlock()
   294  
   295  	if atomic.LoadUint64(&f.tail) >= tail {
   296  		return nil
   297  	}
   298  	for _, table := range f.tables {
   299  		if err := table.truncateTail(tail); err != nil {
   300  			return err
   301  		}
   302  	}
   303  	atomic.StoreUint64(&f.tail, tail)
   304  	return nil
   305  }
   306  
   307  // Sync flushes all data tables to disk.
   308  func (f *Freezer) Sync() error {
   309  	var errs []error
   310  	for _, table := range f.tables {
   311  		if err := table.Sync(); err != nil {
   312  			errs = append(errs, err)
   313  		}
   314  	}
   315  	if errs != nil {
   316  		return fmt.Errorf("%v", errs)
   317  	}
   318  	return nil
   319  }
   320  
   321  // validate checks that every table has the same length.
   322  // Used instead of `repair` in readonly mode.
   323  func (f *Freezer) validate() error {
   324  	if len(f.tables) == 0 {
   325  		return nil
   326  	}
   327  	var (
   328  		length uint64
   329  		name   string
   330  	)
   331  	// Hack to get length of any table
   332  	for kind, table := range f.tables {
   333  		length = atomic.LoadUint64(&table.items)
   334  		name = kind
   335  		break
   336  	}
   337  	// Now check every table against that length
   338  	for kind, table := range f.tables {
   339  		items := atomic.LoadUint64(&table.items)
   340  		if length != items {
   341  			return fmt.Errorf("freezer tables %s and %s have differing lengths: %d != %d", kind, name, items, length)
   342  		}
   343  	}
   344  	atomic.StoreUint64(&f.frozen, length)
   345  	return nil
   346  }
   347  
   348  // repair truncates all data tables to the same length.
   349  func (f *Freezer) repair() error {
   350  	var (
   351  		head = uint64(math.MaxUint64)
   352  		tail = uint64(0)
   353  	)
   354  	for _, table := range f.tables {
   355  		items := atomic.LoadUint64(&table.items)
   356  		if head > items {
   357  			head = items
   358  		}
   359  		hidden := atomic.LoadUint64(&table.itemHidden)
   360  		if hidden > tail {
   361  			tail = hidden
   362  		}
   363  	}
   364  	for _, table := range f.tables {
   365  		if err := table.truncateHead(head); err != nil {
   366  			return err
   367  		}
   368  		if err := table.truncateTail(tail); err != nil {
   369  			return err
   370  		}
   371  	}
   372  	atomic.StoreUint64(&f.frozen, head)
   373  	atomic.StoreUint64(&f.tail, tail)
   374  	return nil
   375  }
   376  
   377  // convertLegacyFn takes a raw freezer entry in an older format and
   378  // returns it in the new format.
   379  type convertLegacyFn = func([]byte) ([]byte, error)
   380  
   381  // MigrateTable processes the entries in a given table in sequence
   382  // converting them to a new format if they're of an old format.
   383  func (f *Freezer) MigrateTable(kind string, convert convertLegacyFn) error {
   384  	if f.readonly {
   385  		return errReadOnly
   386  	}
   387  	f.writeLock.Lock()
   388  	defer f.writeLock.Unlock()
   389  
   390  	table, ok := f.tables[kind]
   391  	if !ok {
   392  		return errUnknownTable
   393  	}
   394  	// forEach iterates every entry in the table serially and in order, calling `fn`
   395  	// with the item as argument. If `fn` returns an error the iteration stops
   396  	// and that error will be returned.
   397  	forEach := func(t *freezerTable, offset uint64, fn func(uint64, []byte) error) error {
   398  		var (
   399  			items     = atomic.LoadUint64(&t.items)
   400  			batchSize = uint64(1024)
   401  			maxBytes  = uint64(1024 * 1024)
   402  		)
   403  		for i := offset; i < items; {
   404  			if i+batchSize > items {
   405  				batchSize = items - i
   406  			}
   407  			data, err := t.RetrieveItems(i, batchSize, maxBytes)
   408  			if err != nil {
   409  				return err
   410  			}
   411  			for j, item := range data {
   412  				if err := fn(i+uint64(j), item); err != nil {
   413  					return err
   414  				}
   415  			}
   416  			i += uint64(len(data))
   417  		}
   418  		return nil
   419  	}
   420  	// TODO(s1na): This is a sanity-check since as of now no process does tail-deletion. But the migration
   421  	// process assumes no deletion at tail and needs to be modified to account for that.
   422  	if table.itemOffset > 0 || table.itemHidden > 0 {
   423  		return fmt.Errorf("migration not supported for tail-deleted freezers")
   424  	}
   425  	ancientsPath := filepath.Dir(table.index.Name())
   426  	// Set up new dir for the migrated table, the content of which
   427  	// we'll at the end move over to the ancients dir.
   428  	migrationPath := filepath.Join(ancientsPath, "migration")
   429  	newTable, err := newFreezerTable(migrationPath, kind, table.noCompression, false)
   430  	if err != nil {
   431  		return err
   432  	}
   433  	var (
   434  		batch  = newTable.newBatch()
   435  		out    []byte
   436  		start  = time.Now()
   437  		logged = time.Now()
   438  		offset = newTable.items
   439  	)
   440  	if offset > 0 {
   441  		log.Info("found previous migration attempt", "migrated", offset)
   442  	}
   443  	// Iterate through entries and transform them
   444  	if err := forEach(table, offset, func(i uint64, blob []byte) error {
   445  		if i%10000 == 0 && time.Since(logged) > 16*time.Second {
   446  			log.Info("Processing legacy elements", "count", i, "elapsed", common.PrettyDuration(time.Since(start)))
   447  			logged = time.Now()
   448  		}
   449  		out, err = convert(blob)
   450  		if err != nil {
   451  			return err
   452  		}
   453  		if err := batch.AppendRaw(i, out); err != nil {
   454  			return err
   455  		}
   456  		return nil
   457  	}); err != nil {
   458  		return err
   459  	}
   460  	if err := batch.commit(); err != nil {
   461  		return err
   462  	}
   463  	log.Info("Replacing old table files with migrated ones", "elapsed", common.PrettyDuration(time.Since(start)))
   464  	// Release and delete old table files. Note this won't
   465  	// delete the index file.
   466  	table.releaseFilesAfter(0, true)
   467  
   468  	if err := newTable.Close(); err != nil {
   469  		return err
   470  	}
   471  	files, err := os.ReadDir(migrationPath)
   472  	if err != nil {
   473  		return err
   474  	}
   475  	// Move migrated files to ancients dir.
   476  	for _, f := range files {
   477  		// This will replace the old index file as a side-effect.
   478  		if err := os.Rename(filepath.Join(migrationPath, f.Name()), filepath.Join(ancientsPath, f.Name())); err != nil {
   479  			return err
   480  		}
   481  	}
   482  	// Delete by now empty dir.
   483  	if err := os.Remove(migrationPath); err != nil {
   484  		return err
   485  	}
   486  	return nil
   487  }