| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907 |
- // Copyright (C) 2014 The Syncthing Authors.
- //
- // This Source Code Form is subject to the terms of the Mozilla Public
- // License, v. 2.0. If a copy of the MPL was not distributed with this file,
- // You can obtain one at https://mozilla.org/MPL/2.0/.
- package db
- import (
- "bytes"
- "context"
- "encoding/binary"
- "time"
- "github.com/greatroar/blobloom"
- "github.com/syncthing/syncthing/lib/db/backend"
- "github.com/syncthing/syncthing/lib/protocol"
- "github.com/syncthing/syncthing/lib/sync"
- "github.com/syncthing/syncthing/lib/util"
- "github.com/thejerf/suture"
- )
- const (
- // We set the bloom filter capacity to handle 100k individual items with
- // a false positive probability of 1% for the first pass. Once we know
- // how many items we have we will use that number instead, if it's more
- // than 100k. For fewer than 100k items we will just get better false
- // positive rate instead.
- indirectGCBloomCapacity = 100000
- indirectGCBloomFalsePositiveRate = 0.01 // 1%
- indirectGCBloomMaxBytes = 32 << 20 // Use at most 32MiB memory, which covers our desired FP rate at 27 M items
- indirectGCDefaultInterval = 13 * time.Hour
- indirectGCTimeKey = "lastIndirectGCTime"
- // Use indirection for the block list when it exceeds this many entries
- blocksIndirectionCutoff = 3
- recheckDefaultInterval = 30 * 24 * time.Hour
- )
- // Lowlevel is the lowest level database interface. It has a very simple
- // purpose: hold the actual backend database, and the in-memory state
- // that belong to that database. In the same way that a single on disk
- // database can only be opened once, there should be only one Lowlevel for
- // any given backend.
- type Lowlevel struct {
- *suture.Supervisor
- backend.Backend
- folderIdx *smallIndex
- deviceIdx *smallIndex
- keyer keyer
- gcMut sync.RWMutex
- gcKeyCount int
- indirectGCInterval time.Duration
- recheckInterval time.Duration
- }
- func NewLowlevel(backend backend.Backend, opts ...Option) *Lowlevel {
- db := &Lowlevel{
- Supervisor: suture.New("db.Lowlevel", suture.Spec{
- // Only log restarts in debug mode.
- Log: func(line string) {
- l.Debugln(line)
- },
- PassThroughPanics: true,
- }),
- Backend: backend,
- folderIdx: newSmallIndex(backend, []byte{KeyTypeFolderIdx}),
- deviceIdx: newSmallIndex(backend, []byte{KeyTypeDeviceIdx}),
- gcMut: sync.NewRWMutex(),
- indirectGCInterval: indirectGCDefaultInterval,
- recheckInterval: recheckDefaultInterval,
- }
- for _, opt := range opts {
- opt(db)
- }
- db.keyer = newDefaultKeyer(db.folderIdx, db.deviceIdx)
- db.Add(util.AsService(db.gcRunner, "db.Lowlevel/gcRunner"))
- return db
- }
- type Option func(*Lowlevel)
- // WithRecheckInterval sets the time interval in between metadata recalculations
- // and consistency checks.
- func WithRecheckInterval(dur time.Duration) Option {
- return func(db *Lowlevel) {
- if dur > 0 {
- db.recheckInterval = dur
- }
- }
- }
- // WithIndirectGCInterval sets the time interval in between GC runs.
- func WithIndirectGCInterval(dur time.Duration) Option {
- return func(db *Lowlevel) {
- if dur > 0 {
- db.indirectGCInterval = dur
- }
- }
- }
- // ListFolders returns the list of folders currently in the database
- func (db *Lowlevel) ListFolders() []string {
- return db.folderIdx.Values()
- }
- // updateRemoteFiles adds a list of fileinfos to the database and updates the
- // global versionlist and metadata.
- func (db *Lowlevel) updateRemoteFiles(folder, device []byte, fs []protocol.FileInfo, meta *metadataTracker) error {
- db.gcMut.RLock()
- defer db.gcMut.RUnlock()
- t, err := db.newReadWriteTransaction()
- if err != nil {
- return err
- }
- defer t.close()
- var dk, gk, keyBuf []byte
- devID := protocol.DeviceIDFromBytes(device)
- for _, f := range fs {
- name := []byte(f.Name)
- dk, err = db.keyer.GenerateDeviceFileKey(dk, folder, device, name)
- if err != nil {
- return err
- }
- ef, ok, err := t.getFileTrunc(dk, true)
- if err != nil {
- return err
- }
- if ok && unchanged(f, ef) {
- continue
- }
- if ok {
- meta.removeFile(devID, ef)
- }
- meta.addFile(devID, f)
- l.Debugf("insert; folder=%q device=%v %v", folder, devID, f)
- if err := t.putFile(dk, f, false); err != nil {
- return err
- }
- gk, err = db.keyer.GenerateGlobalVersionKey(gk, folder, name)
- if err != nil {
- return err
- }
- keyBuf, _, err = t.updateGlobal(gk, keyBuf, folder, device, f, meta)
- if err != nil {
- return err
- }
- if err := t.Checkpoint(func() error {
- return meta.toDB(t, folder)
- }); err != nil {
- return err
- }
- }
- if err := meta.toDB(t, folder); err != nil {
- return err
- }
- return t.Commit()
- }
- // updateLocalFiles adds fileinfos to the db, and updates the global versionlist,
- // metadata, sequence and blockmap buckets.
- func (db *Lowlevel) updateLocalFiles(folder []byte, fs []protocol.FileInfo, meta *metadataTracker) error {
- db.gcMut.RLock()
- defer db.gcMut.RUnlock()
- t, err := db.newReadWriteTransaction()
- if err != nil {
- return err
- }
- defer t.close()
- var dk, gk, keyBuf []byte
- blockBuf := make([]byte, 4)
- for _, f := range fs {
- name := []byte(f.Name)
- dk, err = db.keyer.GenerateDeviceFileKey(dk, folder, protocol.LocalDeviceID[:], name)
- if err != nil {
- return err
- }
- ef, ok, err := t.getFileByKey(dk)
- if err != nil {
- return err
- }
- if ok && unchanged(f, ef) {
- continue
- }
- if ok {
- if !ef.IsDirectory() && !ef.IsDeleted() && !ef.IsInvalid() {
- for _, block := range ef.Blocks {
- keyBuf, err = db.keyer.GenerateBlockMapKey(keyBuf, folder, block.Hash, name)
- if err != nil {
- return err
- }
- if err := t.Delete(keyBuf); err != nil {
- return err
- }
- }
- }
- keyBuf, err = db.keyer.GenerateSequenceKey(keyBuf, folder, ef.SequenceNo())
- if err != nil {
- return err
- }
- if err := t.Delete(keyBuf); err != nil {
- return err
- }
- l.Debugf("removing sequence; folder=%q sequence=%v %v", folder, ef.SequenceNo(), ef.FileName())
- }
- f.Sequence = meta.nextLocalSeq()
- if ok {
- meta.removeFile(protocol.LocalDeviceID, ef)
- }
- meta.addFile(protocol.LocalDeviceID, f)
- l.Debugf("insert (local); folder=%q %v", folder, f)
- if err := t.putFile(dk, f, false); err != nil {
- return err
- }
- gk, err = db.keyer.GenerateGlobalVersionKey(gk, folder, []byte(f.Name))
- if err != nil {
- return err
- }
- keyBuf, _, err = t.updateGlobal(gk, keyBuf, folder, protocol.LocalDeviceID[:], f, meta)
- if err != nil {
- return err
- }
- keyBuf, err = db.keyer.GenerateSequenceKey(keyBuf, folder, f.Sequence)
- if err != nil {
- return err
- }
- if err := t.Put(keyBuf, dk); err != nil {
- return err
- }
- l.Debugf("adding sequence; folder=%q sequence=%v %v", folder, f.Sequence, f.Name)
- if !f.IsDirectory() && !f.IsDeleted() && !f.IsInvalid() {
- for i, block := range f.Blocks {
- binary.BigEndian.PutUint32(blockBuf, uint32(i))
- keyBuf, err = db.keyer.GenerateBlockMapKey(keyBuf, folder, block.Hash, name)
- if err != nil {
- return err
- }
- if err := t.Put(keyBuf, blockBuf); err != nil {
- return err
- }
- }
- }
- if err := t.Checkpoint(func() error {
- return meta.toDB(t, folder)
- }); err != nil {
- return err
- }
- }
- if err := meta.toDB(t, folder); err != nil {
- return err
- }
- return t.Commit()
- }
- func (db *Lowlevel) dropFolder(folder []byte) error {
- db.gcMut.RLock()
- defer db.gcMut.RUnlock()
- t, err := db.newReadWriteTransaction()
- if err != nil {
- return err
- }
- defer t.close()
- // Remove all items related to the given folder from the device->file bucket
- k0, err := db.keyer.GenerateDeviceFileKey(nil, folder, nil, nil)
- if err != nil {
- return err
- }
- if err := t.deleteKeyPrefix(k0.WithoutNameAndDevice()); err != nil {
- return err
- }
- // Remove all sequences related to the folder
- k1, err := db.keyer.GenerateSequenceKey(nil, folder, 0)
- if err != nil {
- return err
- }
- if err := t.deleteKeyPrefix(k1.WithoutSequence()); err != nil {
- return err
- }
- // Remove all items related to the given folder from the global bucket
- k2, err := db.keyer.GenerateGlobalVersionKey(nil, folder, nil)
- if err != nil {
- return err
- }
- if err := t.deleteKeyPrefix(k2.WithoutName()); err != nil {
- return err
- }
- // Remove all needs related to the folder
- k3, err := db.keyer.GenerateNeedFileKey(nil, folder, nil)
- if err != nil {
- return err
- }
- if err := t.deleteKeyPrefix(k3.WithoutName()); err != nil {
- return err
- }
- // Remove the blockmap of the folder
- k4, err := db.keyer.GenerateBlockMapKey(nil, folder, nil, nil)
- if err != nil {
- return err
- }
- if err := t.deleteKeyPrefix(k4.WithoutHashAndName()); err != nil {
- return err
- }
- return t.Commit()
- }
- func (db *Lowlevel) dropDeviceFolder(device, folder []byte, meta *metadataTracker) error {
- db.gcMut.RLock()
- defer db.gcMut.RUnlock()
- t, err := db.newReadWriteTransaction()
- if err != nil {
- return err
- }
- defer t.close()
- key, err := db.keyer.GenerateDeviceFileKey(nil, folder, device, nil)
- if err != nil {
- return err
- }
- dbi, err := t.NewPrefixIterator(key)
- if err != nil {
- return err
- }
- var gk, keyBuf []byte
- for dbi.Next() {
- name := db.keyer.NameFromDeviceFileKey(dbi.Key())
- gk, err = db.keyer.GenerateGlobalVersionKey(gk, folder, name)
- if err != nil {
- return err
- }
- keyBuf, err = t.removeFromGlobal(gk, keyBuf, folder, device, name, meta)
- if err != nil {
- return err
- }
- if err := t.Delete(dbi.Key()); err != nil {
- return err
- }
- if err := t.Checkpoint(); err != nil {
- return err
- }
- }
- if err := dbi.Error(); err != nil {
- return err
- }
- dbi.Release()
- if bytes.Equal(device, protocol.LocalDeviceID[:]) {
- key, err := db.keyer.GenerateBlockMapKey(nil, folder, nil, nil)
- if err != nil {
- return err
- }
- if err := t.deleteKeyPrefix(key.WithoutHashAndName()); err != nil {
- return err
- }
- }
- return t.Commit()
- }
- func (db *Lowlevel) checkGlobals(folder []byte, meta *metadataTracker) error {
- t, err := db.newReadWriteTransaction()
- if err != nil {
- return err
- }
- defer t.close()
- key, err := db.keyer.GenerateGlobalVersionKey(nil, folder, nil)
- if err != nil {
- return err
- }
- dbi, err := t.NewPrefixIterator(key.WithoutName())
- if err != nil {
- return err
- }
- defer dbi.Release()
- var dk []byte
- for dbi.Next() {
- var vl VersionList
- if err := vl.Unmarshal(dbi.Value()); err != nil || len(vl.Versions) == 0 {
- if err := t.Delete(dbi.Key()); err != nil {
- return err
- }
- continue
- }
- // Check the global version list for consistency. An issue in previous
- // versions of goleveldb could result in reordered writes so that
- // there are global entries pointing to no longer existing files. Here
- // we find those and clear them out.
- name := db.keyer.NameFromGlobalVersionKey(dbi.Key())
- var newVL VersionList
- for i, version := range vl.Versions {
- dk, err = db.keyer.GenerateDeviceFileKey(dk, folder, version.Device, name)
- if err != nil {
- return err
- }
- _, err := t.Get(dk)
- if backend.IsNotFound(err) {
- continue
- }
- if err != nil {
- return err
- }
- newVL.Versions = append(newVL.Versions, version)
- if i == 0 {
- if fi, ok, err := t.getFileTrunc(dk, true); err != nil {
- return err
- } else if ok {
- meta.addFile(protocol.GlobalDeviceID, fi)
- }
- }
- }
- if newLen := len(newVL.Versions); newLen == 0 {
- if err := t.Delete(dbi.Key()); err != nil {
- return err
- }
- } else if newLen != len(vl.Versions) {
- if err := t.Put(dbi.Key(), mustMarshal(&newVL)); err != nil {
- return err
- }
- }
- }
- if err := dbi.Error(); err != nil {
- return err
- }
- l.Debugf("db check completed for %q", folder)
- return t.Commit()
- }
- func (db *Lowlevel) getIndexID(device, folder []byte) (protocol.IndexID, error) {
- key, err := db.keyer.GenerateIndexIDKey(nil, device, folder)
- if err != nil {
- return 0, err
- }
- cur, err := db.Get(key)
- if backend.IsNotFound(err) {
- return 0, nil
- } else if err != nil {
- return 0, err
- }
- var id protocol.IndexID
- if err := id.Unmarshal(cur); err != nil {
- return 0, nil
- }
- return id, nil
- }
- func (db *Lowlevel) setIndexID(device, folder []byte, id protocol.IndexID) error {
- bs, _ := id.Marshal() // marshalling can't fail
- key, err := db.keyer.GenerateIndexIDKey(nil, device, folder)
- if err != nil {
- return err
- }
- return db.Put(key, bs)
- }
- func (db *Lowlevel) dropMtimes(folder []byte) error {
- key, err := db.keyer.GenerateMtimesKey(nil, folder)
- if err != nil {
- return err
- }
- return db.dropPrefix(key)
- }
- func (db *Lowlevel) dropFolderMeta(folder []byte) error {
- key, err := db.keyer.GenerateFolderMetaKey(nil, folder)
- if err != nil {
- return err
- }
- return db.dropPrefix(key)
- }
- func (db *Lowlevel) dropPrefix(prefix []byte) error {
- t, err := db.newReadWriteTransaction()
- if err != nil {
- return err
- }
- defer t.close()
- if err := t.deleteKeyPrefix(prefix); err != nil {
- return err
- }
- return t.Commit()
- }
- func (db *Lowlevel) gcRunner(ctx context.Context) {
- // Calculate the time for the next GC run. Even if we should run GC
- // directly, give the system a while to get up and running and do other
- // stuff first. (We might have migrations and stuff which would be
- // better off running before GC.)
- next := db.timeUntil(indirectGCTimeKey, db.indirectGCInterval)
- if next < time.Minute {
- next = time.Minute
- }
- t := time.NewTimer(next)
- defer t.Stop()
- for {
- select {
- case <-ctx.Done():
- return
- case <-t.C:
- if err := db.gcIndirect(ctx); err != nil {
- l.Warnln("Database indirection GC failed:", err)
- }
- db.recordTime(indirectGCTimeKey)
- t.Reset(db.timeUntil(indirectGCTimeKey, db.indirectGCInterval))
- }
- }
- }
- // recordTime records the current time under the given key, affecting the
- // next call to timeUntil with the same key.
- func (db *Lowlevel) recordTime(key string) {
- miscDB := NewMiscDataNamespace(db)
- _ = miscDB.PutInt64(key, time.Now().Unix()) // error wilfully ignored
- }
- // timeUntil returns how long we should wait until the next interval, or
- // zero if it should happen directly.
- func (db *Lowlevel) timeUntil(key string, every time.Duration) time.Duration {
- miscDB := NewMiscDataNamespace(db)
- lastTime, _, _ := miscDB.Int64(key) // error wilfully ignored
- nextTime := time.Unix(lastTime, 0).Add(every)
- sleepTime := time.Until(nextTime)
- if sleepTime < 0 {
- sleepTime = 0
- }
- return sleepTime
- }
- func (db *Lowlevel) gcIndirect(ctx context.Context) error {
- // The indirection GC uses bloom filters to track used block lists and
- // versions. This means iterating over all items, adding their hashes to
- // the filter, then iterating over the indirected items and removing
- // those that don't match the filter. The filter will give false
- // positives so we will keep around one percent of things that we don't
- // really need (at most).
- //
- // Indirection GC needs to run when there are no modifications to the
- // FileInfos or indirected items.
- db.gcMut.Lock()
- defer db.gcMut.Unlock()
- t, err := db.newReadWriteTransaction()
- if err != nil {
- return err
- }
- defer t.Release()
- // Set up the bloom filters with the initial capacity and false positive
- // rate, or higher capacity if we've done this before and seen lots of
- // items. For simplicity's sake we track just one count, which is the
- // highest of the various indirected items.
- capacity := indirectGCBloomCapacity
- if db.gcKeyCount > capacity {
- capacity = db.gcKeyCount
- }
- blockFilter := blobloom.NewOptimized(blobloom.Config{
- FPRate: indirectGCBloomFalsePositiveRate,
- MaxBits: 8 * indirectGCBloomMaxBytes,
- NKeys: uint64(capacity),
- })
- // Iterate the FileInfos, unmarshal the block and version hashes and
- // add them to the filter.
- it, err := t.NewPrefixIterator([]byte{KeyTypeDevice})
- if err != nil {
- return err
- }
- defer it.Release()
- for it.Next() {
- select {
- case <-ctx.Done():
- return ctx.Err()
- default:
- }
- var bl BlocksHashOnly
- if err := bl.Unmarshal(it.Value()); err != nil {
- return err
- }
- if len(bl.BlocksHash) > 0 {
- blockFilter.Add64(bloomHash(bl.BlocksHash))
- }
- }
- it.Release()
- if err := it.Error(); err != nil {
- return err
- }
- // Iterate over block lists, removing keys with hashes that don't match
- // the filter.
- it, err = t.NewPrefixIterator([]byte{KeyTypeBlockList})
- if err != nil {
- return err
- }
- defer it.Release()
- matchedBlocks := 0
- for it.Next() {
- select {
- case <-ctx.Done():
- return ctx.Err()
- default:
- }
- key := blockListKey(it.Key())
- if blockFilter.Has64(bloomHash(key)) {
- matchedBlocks++
- continue
- }
- if err := t.Delete(key); err != nil {
- return err
- }
- }
- it.Release()
- if err := it.Error(); err != nil {
- return err
- }
- // Remember the number of unique keys we kept until the next pass.
- db.gcKeyCount = matchedBlocks
- if err := t.Commit(); err != nil {
- return err
- }
- return db.Compact()
- }
- // Hash function for the bloomfilter: first eight bytes of the SHA-256.
- // Big or little-endian makes no difference, as long as we're consistent.
- func bloomHash(key blockListKey) uint64 {
- return binary.BigEndian.Uint64(key.BlocksHash())
- }
- // CheckRepair checks folder metadata and sequences for miscellaneous errors.
- func (db *Lowlevel) CheckRepair() {
- for _, folder := range db.ListFolders() {
- _ = db.getMetaAndCheck(folder)
- }
- }
- func (db *Lowlevel) getMetaAndCheck(folder string) *metadataTracker {
- db.gcMut.RLock()
- defer db.gcMut.RUnlock()
- meta, err := db.recalcMeta(folder)
- if err == nil {
- var fixed int
- fixed, err = db.repairSequenceGCLocked(folder, meta)
- if fixed != 0 {
- l.Infof("Repaired %d sequence entries in database", fixed)
- }
- }
- if backend.IsClosed(err) {
- return nil
- } else if err != nil {
- panic(err)
- }
- return meta
- }
- func (db *Lowlevel) loadMetadataTracker(folder string) *metadataTracker {
- meta := newMetadataTracker()
- if err := meta.fromDB(db, []byte(folder)); err != nil {
- l.Infof("No stored folder metadata for %q; recalculating", folder)
- return db.getMetaAndCheck(folder)
- }
- curSeq := meta.Sequence(protocol.LocalDeviceID)
- if metaOK := db.verifyLocalSequence(curSeq, folder); !metaOK {
- l.Infof("Stored folder metadata for %q is out of date after crash; recalculating", folder)
- return db.getMetaAndCheck(folder)
- }
- if age := time.Since(meta.Created()); age > db.recheckInterval {
- l.Infof("Stored folder metadata for %q is %v old; recalculating", folder, age)
- return db.getMetaAndCheck(folder)
- }
- return meta
- }
- func (db *Lowlevel) recalcMeta(folder string) (*metadataTracker, error) {
- meta := newMetadataTracker()
- if err := db.checkGlobals([]byte(folder), meta); err != nil {
- return nil, err
- }
- t, err := db.newReadWriteTransaction()
- if err != nil {
- return nil, err
- }
- defer t.close()
- var deviceID protocol.DeviceID
- err = t.withAllFolderTruncated([]byte(folder), func(device []byte, f FileInfoTruncated) bool {
- copy(deviceID[:], device)
- meta.addFile(deviceID, f)
- return true
- })
- if err != nil {
- return nil, err
- }
- meta.SetCreated()
- if err := meta.toDB(t, []byte(folder)); err != nil {
- return nil, err
- }
- if err := t.Commit(); err != nil {
- return nil, err
- }
- return meta, nil
- }
- // Verify the local sequence number from actual sequence entries. Returns
- // true if it was all good, or false if a fixup was necessary.
- func (db *Lowlevel) verifyLocalSequence(curSeq int64, folder string) bool {
- // Walk the sequence index from the current (supposedly) highest
- // sequence number and raise the alarm if we get anything. This recovers
- // from the occasion where we have written sequence entries to disk but
- // not yet written new metadata to disk.
- //
- // Note that we can have the same thing happen for remote devices but
- // there it's not a problem -- we'll simply advertise a lower sequence
- // number than we've actually seen and receive some duplicate updates
- // and then be in sync again.
- t, err := db.newReadOnlyTransaction()
- if err != nil {
- panic(err)
- }
- ok := true
- if err := t.withHaveSequence([]byte(folder), curSeq+1, func(fi FileIntf) bool {
- ok = false // we got something, which we should not have
- return false
- }); err != nil && !backend.IsClosed(err) {
- panic(err)
- }
- t.close()
- return ok
- }
- // repairSequenceGCLocked makes sure the sequence numbers in the sequence keys
- // match those in the corresponding file entries. It returns the amount of fixed
- // entries.
- func (db *Lowlevel) repairSequenceGCLocked(folderStr string, meta *metadataTracker) (int, error) {
- t, err := db.newReadWriteTransaction()
- if err != nil {
- return 0, err
- }
- defer t.close()
- fixed := 0
- folder := []byte(folderStr)
- // First check that every file entry has a matching sequence entry
- // (this was previously db schema upgrade to 9).
- dk, err := t.keyer.GenerateDeviceFileKey(nil, folder, protocol.LocalDeviceID[:], nil)
- if err != nil {
- return 0, err
- }
- it, err := t.NewPrefixIterator(dk.WithoutName())
- if err != nil {
- return 0, err
- }
- defer it.Release()
- var sk sequenceKey
- for it.Next() {
- intf, err := t.unmarshalTrunc(it.Value(), true)
- if err != nil {
- return 0, err
- }
- fi := intf.(FileInfoTruncated)
- if sk, err = t.keyer.GenerateSequenceKey(sk, folder, fi.Sequence); err != nil {
- return 0, err
- }
- switch dk, err = t.Get(sk); {
- case err != nil:
- if !backend.IsNotFound(err) {
- return 0, err
- }
- fallthrough
- case !bytes.Equal(it.Key(), dk):
- fixed++
- fi.Sequence = meta.nextLocalSeq()
- if sk, err = t.keyer.GenerateSequenceKey(sk, folder, fi.Sequence); err != nil {
- return 0, err
- }
- if err := t.Put(sk, it.Key()); err != nil {
- return 0, err
- }
- if err := t.putFile(it.Key(), fi.copyToFileInfo(), true); err != nil {
- return 0, err
- }
- }
- if err := t.Checkpoint(func() error {
- return meta.toDB(t, folder)
- }); err != nil {
- return 0, err
- }
- }
- if err := it.Error(); err != nil {
- return 0, err
- }
- it.Release()
- // Secondly check there's no sequence entries pointing at incorrect things.
- sk, err = t.keyer.GenerateSequenceKey(sk, folder, 0)
- if err != nil {
- return 0, err
- }
- it, err = t.NewPrefixIterator(sk.WithoutSequence())
- if err != nil {
- return 0, err
- }
- defer it.Release()
- for it.Next() {
- // Check that the sequence from the key matches the
- // sequence in the file.
- fi, ok, err := t.getFileTrunc(it.Value(), true)
- if err != nil {
- return 0, err
- }
- if ok {
- if seq := t.keyer.SequenceFromSequenceKey(it.Key()); seq == fi.SequenceNo() {
- continue
- }
- }
- // Either the file is missing or has a different sequence number
- fixed++
- if err := t.Delete(it.Key()); err != nil {
- return 0, err
- }
- }
- if err := it.Error(); err != nil {
- return 0, err
- }
- it.Release()
- if err := meta.toDB(t, folder); err != nil {
- return 0, err
- }
- return fixed, t.Commit()
- }
- // unchanged checks if two files are the same and thus don't need to be updated.
- // Local flags or the invalid bit might change without the version
- // being bumped.
- func unchanged(nf, ef FileIntf) bool {
- return ef.FileVersion().Equal(nf.FileVersion()) && ef.IsInvalid() == nf.IsInvalid() && ef.FileLocalFlags() == nf.FileLocalFlags()
- }
|