summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJakob Borg <jakob@nym.se>2016-05-09 12:56:21 +0000
committerAudrius Butkevicius <audrius.butkevicius@gmail.com>2016-05-09 12:56:21 +0000
commit1a703efa786a18e73cf5361124678f9f5be7de7e (patch)
treece440e8d040c774e6932b28df0180ded4bd344f5
parent8b7b0a03ebc733e75ea6743af3d60b8d8d504325 (diff)
lib/model: Fix accounting error in rescan with multiple subs (fixes #3028)
When doing prefix scans in the database, "foo" should not be considered a prefix of "foo2". Instead, it should match "foo" exactly and also strings with the prefix "foo/". This is more restrictive than what the standard leveldb prefix scan does so we add some code to enforce it. Also exposes the initialScanCompleted on the rwfolder for testing, and change it to be a channel (so we can wait for it from another goroutine). Otherwise we can't be sure when the initial scan has completed, and we need to wait for that or it might pick up changes we're doing at an unexpected time. GitHub-Pull-Request: https://github.com/syncthing/syncthing/pull/3067
-rw-r--r--lib/db/leveldb_dbinstance.go20
-rw-r--r--lib/model/model_test.go60
-rw-r--r--lib/model/rwfolder.go18
3 files changed, 92 insertions, 6 deletions
diff --git a/lib/db/leveldb_dbinstance.go b/lib/db/leveldb_dbinstance.go
index 565cf9da65..cca69211ef 100644
--- a/lib/db/leveldb_dbinstance.go
+++ b/lib/db/leveldb_dbinstance.go
@@ -262,7 +262,17 @@ func (db *Instance) withHave(folder, device, prefix []byte, truncate bool, fn It
dbi := t.NewIterator(util.BytesPrefix(db.deviceKey(folder, device, prefix)[:keyPrefixLen+keyFolderLen+keyDeviceLen+len(prefix)]), nil)
defer dbi.Release()
+ slashedPrefix := prefix
+ if !bytes.HasSuffix(prefix, []byte{'/'}) {
+ slashedPrefix = append(slashedPrefix, '/')
+ }
+
for dbi.Next() {
+ name := db.deviceKeyName(dbi.Key())
+ if len(prefix) > 0 && !bytes.Equal(name, prefix) && !bytes.HasPrefix(name, slashedPrefix) {
+ return
+ }
+
// The iterator function may keep a reference to the unmarshalled
// struct, which in turn references the buffer it was unmarshalled
// from. dbi.Value() just returns an internal slice that it reuses, so
@@ -359,6 +369,11 @@ func (db *Instance) withGlobal(folder, prefix []byte, truncate bool, fn Iterator
dbi := t.NewIterator(util.BytesPrefix(db.globalKey(folder, prefix)), nil)
defer dbi.Release()
+ slashedPrefix := prefix
+ if !bytes.HasSuffix(prefix, []byte{'/'}) {
+ slashedPrefix = append(slashedPrefix, '/')
+ }
+
var fk []byte
for dbi.Next() {
var vl versionList
@@ -370,7 +385,12 @@ func (db *Instance) withGlobal(folder, prefix []byte, truncate bool, fn Iterator
l.Debugln(dbi.Key())
panic("no versions?")
}
+
name := db.globalKeyName(dbi.Key())
+ if len(prefix) > 0 && !bytes.Equal(name, prefix) && !bytes.HasPrefix(name, slashedPrefix) {
+ return
+ }
+
fk = db.deviceKeyInto(fk[:cap(fk)], folder, vl.versions[0].device, name)
bs, err := t.Get(fk, nil)
if err != nil {
diff --git a/lib/model/model_test.go b/lib/model/model_test.go
index 1c543e83b0..e08968b50f 100644
--- a/lib/model/model_test.go
+++ b/lib/model/model_test.go
@@ -1360,6 +1360,66 @@ func TestUnifySubs(t *testing.T) {
}
}
+func TestIssue3028(t *testing.T) {
+ // Create two files that we'll delete, one with a name that is a prefix of the other.
+
+ if err := ioutil.WriteFile("testdata/testrm", []byte("Hello"), 0644); err != nil {
+ t.Fatal(err)
+ }
+ defer os.Remove("testdata/testrm")
+ if err := ioutil.WriteFile("testdata/testrm2", []byte("Hello"), 0644); err != nil {
+ t.Fatal(err)
+ }
+ defer os.Remove("testdata/testrm2")
+
+ // Create a model and default folder
+
+ db := db.OpenMemory()
+ m := NewModel(defaultConfig, protocol.LocalDeviceID, "device", "syncthing", "dev", db, nil)
+ defCfg := defaultFolderConfig.Copy()
+ defCfg.RescanIntervalS = 86400
+ m.AddFolder(defCfg)
+ m.StartFolder("default")
+ m.ServeBackground()
+
+ // Ugly hack for testing: reach into the model for the rwfolder and wait
+ // for it to complete the initial scan. The risk is that it otherwise
+ // runs during our modifications and screws up the test.
+ m.fmut.RLock()
+ folder := m.folderRunners["default"].(*rwFolder)
+ m.fmut.RUnlock()
+ <-folder.initialScanCompleted
+
+ // Get a count of how many files are there now
+
+ locorigfiles, _, _ := m.LocalSize("default")
+ globorigfiles, _, _ := m.GlobalSize("default")
+
+ // Delete and rescan specifically these two
+
+ os.Remove("testdata/testrm")
+ os.Remove("testdata/testrm2")
+ m.ScanFolderSubs("default", []string{"testrm", "testrm2"})
+
+ // Verify that the number of files decreased by two and the number of
+ // deleted files increases by two
+
+ locnowfiles, locdelfiles, _ := m.LocalSize("default")
+ globnowfiles, globdelfiles, _ := m.GlobalSize("default")
+ if locnowfiles != locorigfiles-2 {
+ t.Errorf("Incorrect local accounting; got %d current files, expected %d", locnowfiles, locorigfiles-2)
+ }
+ if globnowfiles != globorigfiles-2 {
+ t.Errorf("Incorrect global accounting; got %d current files, expected %d", globnowfiles, globorigfiles-2)
+ }
+ if locdelfiles != 2 {
+ t.Errorf("Incorrect local accounting; got %d deleted files, expected 2", locdelfiles)
+ }
+ if globdelfiles != 2 {
+ t.Errorf("Incorrect global accounting; got %d deleted files, expected 2", globdelfiles)
+ }
+}
+
type fakeAddr struct{}
func (fakeAddr) Network() string {
diff --git a/lib/model/rwfolder.go b/lib/model/rwfolder.go
index 695d57714f..9241d29413 100644
--- a/lib/model/rwfolder.go
+++ b/lib/model/rwfolder.go
@@ -100,6 +100,8 @@ type rwFolder struct {
errors map[string]string // path -> error string
errorsMut sync.Mutex
+
+ initialScanCompleted chan (struct{}) // exposed for testing
}
func newRWFolder(model *Model, cfg config.FolderConfiguration, ver versioner.Versioner) service {
@@ -135,6 +137,8 @@ func newRWFolder(model *Model, cfg config.FolderConfiguration, ver versioner.Ver
remoteIndex: make(chan struct{}, 1), // This needs to be 1-buffered so that we queue a notification if we're busy doing a pull when it comes.
errorsMut: sync.NewMutex(),
+
+ initialScanCompleted: make(chan struct{}),
}
f.configureCopiersAndPullers(cfg)
@@ -186,9 +190,6 @@ func (f *rwFolder) Serve() {
var prevVer int64
var prevIgnoreHash string
- // We don't start pulling files until a scan has been completed.
- initialScanCompleted := false
-
for {
select {
case <-f.stop:
@@ -200,7 +201,10 @@ func (f *rwFolder) Serve() {
l.Debugln(f, "remote index updated, rescheduling pull")
case <-f.pullTimer.C:
- if !initialScanCompleted {
+ select {
+ case <-f.initialScanCompleted:
+ default:
+ // We don't start pulling files until a scan has been completed.
l.Debugln(f, "skip (initial)")
f.pullTimer.Reset(f.sleep)
continue
@@ -297,9 +301,11 @@ func (f *rwFolder) Serve() {
if err != nil {
continue
}
- if !initialScanCompleted {
+ select {
+ case <-f.initialScanCompleted:
+ default:
l.Infoln("Completed initial scan (rw) of folder", f.folderID)
- initialScanCompleted = true
+ close(f.initialScanCompleted)
}
case req := <-f.scan.now: