leveldb_dbinstance.go 26 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967
  1. // Copyright (C) 2014 The Syncthing Authors.
  2. //
  3. // This Source Code Form is subject to the terms of the Mozilla Public
  4. // License, v. 2.0. If a copy of the MPL was not distributed with this file,
  5. // You can obtain one at https://mozilla.org/MPL/2.0/.
  6. package db
  7. import (
  8. "bytes"
  9. "encoding/binary"
  10. "os"
  11. "sort"
  12. "strings"
  13. "sync/atomic"
  14. "github.com/syncthing/syncthing/lib/protocol"
  15. "github.com/syncthing/syncthing/lib/sync"
  16. "github.com/syndtr/goleveldb/leveldb"
  17. "github.com/syndtr/goleveldb/leveldb/errors"
  18. "github.com/syndtr/goleveldb/leveldb/iterator"
  19. "github.com/syndtr/goleveldb/leveldb/opt"
  20. "github.com/syndtr/goleveldb/leveldb/storage"
  21. "github.com/syndtr/goleveldb/leveldb/util"
  22. )
  23. type deletionHandler func(t readWriteTransaction, folder, device, name []byte, dbi iterator.Iterator)
  24. type Instance struct {
  25. committed int64 // this must be the first attribute in the struct to ensure 64 bit alignment on 32 bit plaforms
  26. *leveldb.DB
  27. location string
  28. folderIdx *smallIndex
  29. deviceIdx *smallIndex
  30. }
  31. const (
  32. keyPrefixLen = 1
  33. keyFolderLen = 4 // indexed
  34. keyDeviceLen = 4 // indexed
  35. keyHashLen = 32
  36. )
  37. func Open(file string) (*Instance, error) {
  38. opts := &opt.Options{
  39. OpenFilesCacheCapacity: 100,
  40. WriteBuffer: 4 << 20,
  41. }
  42. db, err := leveldb.OpenFile(file, opts)
  43. if leveldbIsCorrupted(err) {
  44. db, err = leveldb.RecoverFile(file, opts)
  45. }
  46. if leveldbIsCorrupted(err) {
  47. // The database is corrupted, and we've tried to recover it but it
  48. // didn't work. At this point there isn't much to do beyond dropping
  49. // the database and reindexing...
  50. l.Infoln("Database corruption detected, unable to recover. Reinitializing...")
  51. if err := os.RemoveAll(file); err != nil {
  52. return nil, err
  53. }
  54. db, err = leveldb.OpenFile(file, opts)
  55. }
  56. if err != nil {
  57. return nil, err
  58. }
  59. return newDBInstance(db, file), nil
  60. }
  61. func OpenMemory() *Instance {
  62. db, _ := leveldb.Open(storage.NewMemStorage(), nil)
  63. return newDBInstance(db, "<memory>")
  64. }
  65. func newDBInstance(db *leveldb.DB, location string) *Instance {
  66. i := &Instance{
  67. DB: db,
  68. location: location,
  69. }
  70. i.folderIdx = newSmallIndex(i, []byte{KeyTypeFolderIdx})
  71. i.deviceIdx = newSmallIndex(i, []byte{KeyTypeDeviceIdx})
  72. return i
  73. }
  74. // Committed returns the number of items committed to the database since startup
  75. func (db *Instance) Committed() int64 {
  76. return atomic.LoadInt64(&db.committed)
  77. }
  78. // Location returns the filesystem path where the database is stored
  79. func (db *Instance) Location() string {
  80. return db.location
  81. }
  82. func (db *Instance) genericReplace(folder, device []byte, fs []protocol.FileInfo, localSize, globalSize *sizeTracker, deleteFn deletionHandler) {
  83. sort.Sort(fileList(fs)) // sort list on name, same as in the database
  84. t := db.newReadWriteTransaction()
  85. defer t.close()
  86. dbi := t.NewIterator(util.BytesPrefix(db.deviceKey(folder, device, nil)[:keyPrefixLen+keyFolderLen+keyDeviceLen]), nil)
  87. defer dbi.Release()
  88. moreDb := dbi.Next()
  89. fsi := 0
  90. isLocalDevice := bytes.Equal(device, protocol.LocalDeviceID[:])
  91. for {
  92. var newName, oldName []byte
  93. moreFs := fsi < len(fs)
  94. if !moreDb && !moreFs {
  95. break
  96. }
  97. if moreFs {
  98. newName = []byte(fs[fsi].Name)
  99. }
  100. if moreDb {
  101. oldName = db.deviceKeyName(dbi.Key())
  102. }
  103. cmp := bytes.Compare(newName, oldName)
  104. l.Debugf("generic replace; folder=%q device=%v moreFs=%v moreDb=%v cmp=%d newName=%q oldName=%q", folder, protocol.DeviceIDFromBytes(device), moreFs, moreDb, cmp, newName, oldName)
  105. switch {
  106. case moreFs && (!moreDb || cmp == -1):
  107. l.Debugln("generic replace; missing - insert")
  108. // Database is missing this file. Insert it.
  109. t.insertFile(folder, device, fs[fsi])
  110. if isLocalDevice {
  111. localSize.addFile(fs[fsi])
  112. }
  113. t.updateGlobal(folder, device, fs[fsi], globalSize)
  114. fsi++
  115. case moreFs && moreDb && cmp == 0:
  116. // File exists on both sides - compare versions. We might get an
  117. // update with the same version if a device has marked a file as
  118. // invalid, so handle that too.
  119. l.Debugln("generic replace; exists - compare")
  120. var ef FileInfoTruncated
  121. ef.Unmarshal(dbi.Value())
  122. if !fs[fsi].Version.Equal(ef.Version) || fs[fsi].Invalid != ef.Invalid {
  123. l.Debugln("generic replace; differs - insert")
  124. t.insertFile(folder, device, fs[fsi])
  125. if isLocalDevice {
  126. localSize.removeFile(ef)
  127. localSize.addFile(fs[fsi])
  128. }
  129. t.updateGlobal(folder, device, fs[fsi], globalSize)
  130. } else {
  131. l.Debugln("generic replace; equal - ignore")
  132. }
  133. fsi++
  134. moreDb = dbi.Next()
  135. case moreDb && (!moreFs || cmp == 1):
  136. l.Debugln("generic replace; exists - remove")
  137. deleteFn(t, folder, device, oldName, dbi)
  138. moreDb = dbi.Next()
  139. }
  140. // Write out and reuse the batch every few records, to avoid the batch
  141. // growing too large and thus allocating unnecessarily much memory.
  142. t.checkFlush()
  143. }
  144. }
  145. func (db *Instance) replace(folder, device []byte, fs []protocol.FileInfo, localSize, globalSize *sizeTracker) {
  146. db.genericReplace(folder, device, fs, localSize, globalSize, func(t readWriteTransaction, folder, device, name []byte, dbi iterator.Iterator) {
  147. // Database has a file that we are missing. Remove it.
  148. l.Debugf("delete; folder=%q device=%v name=%q", folder, protocol.DeviceIDFromBytes(device), name)
  149. t.removeFromGlobal(folder, device, name, globalSize)
  150. t.Delete(dbi.Key())
  151. })
  152. }
  153. func (db *Instance) updateFiles(folder, device []byte, fs []protocol.FileInfo, localSize, globalSize *sizeTracker) {
  154. t := db.newReadWriteTransaction()
  155. defer t.close()
  156. var fk []byte
  157. isLocalDevice := bytes.Equal(device, protocol.LocalDeviceID[:])
  158. for _, f := range fs {
  159. name := []byte(f.Name)
  160. fk = db.deviceKeyInto(fk[:cap(fk)], folder, device, name)
  161. // Get and unmarshal the file entry. If it doesn't exist or can't be
  162. // unmarshalled we'll add it as a new entry.
  163. bs, err := t.Get(fk, nil)
  164. var ef FileInfoTruncated
  165. if err == nil {
  166. err = ef.Unmarshal(bs)
  167. }
  168. // The Invalid flag might change without the version being bumped.
  169. if err == nil && ef.Version.Equal(f.Version) && ef.Invalid == f.Invalid {
  170. continue
  171. }
  172. if isLocalDevice {
  173. if err == nil {
  174. localSize.removeFile(ef)
  175. }
  176. localSize.addFile(f)
  177. }
  178. t.insertFile(folder, device, f)
  179. t.updateGlobal(folder, device, f, globalSize)
  180. // Write out and reuse the batch every few records, to avoid the batch
  181. // growing too large and thus allocating unnecessarily much memory.
  182. t.checkFlush()
  183. }
  184. }
  185. func (db *Instance) withHave(folder, device, prefix []byte, truncate bool, fn Iterator) {
  186. t := db.newReadOnlyTransaction()
  187. defer t.close()
  188. dbi := t.NewIterator(util.BytesPrefix(db.deviceKey(folder, device, prefix)[:keyPrefixLen+keyFolderLen+keyDeviceLen+len(prefix)]), nil)
  189. defer dbi.Release()
  190. slashedPrefix := prefix
  191. if !bytes.HasSuffix(prefix, []byte{'/'}) {
  192. slashedPrefix = append(slashedPrefix, '/')
  193. }
  194. for dbi.Next() {
  195. name := db.deviceKeyName(dbi.Key())
  196. if len(prefix) > 0 && !bytes.Equal(name, prefix) && !bytes.HasPrefix(name, slashedPrefix) {
  197. return
  198. }
  199. // The iterator function may keep a reference to the unmarshalled
  200. // struct, which in turn references the buffer it was unmarshalled
  201. // from. dbi.Value() just returns an internal slice that it reuses, so
  202. // we need to copy it.
  203. f, err := unmarshalTrunc(append([]byte{}, dbi.Value()...), truncate)
  204. if err != nil {
  205. l.Debugln("unmarshal error:", err)
  206. continue
  207. }
  208. if cont := fn(f); !cont {
  209. return
  210. }
  211. }
  212. }
  213. func (db *Instance) withAllFolderTruncated(folder []byte, fn func(device []byte, f FileInfoTruncated) bool) {
  214. t := db.newReadWriteTransaction()
  215. defer t.close()
  216. dbi := t.NewIterator(util.BytesPrefix(db.deviceKey(folder, nil, nil)[:keyPrefixLen+keyFolderLen]), nil)
  217. defer dbi.Release()
  218. for dbi.Next() {
  219. device := db.deviceKeyDevice(dbi.Key())
  220. var f FileInfoTruncated
  221. // The iterator function may keep a reference to the unmarshalled
  222. // struct, which in turn references the buffer it was unmarshalled
  223. // from. dbi.Value() just returns an internal slice that it reuses, so
  224. // we need to copy it.
  225. err := f.Unmarshal(append([]byte{}, dbi.Value()...))
  226. if err != nil {
  227. l.Debugln("unmarshal error:", err)
  228. continue
  229. }
  230. switch f.Name {
  231. case "", ".", "..", "/": // A few obviously invalid filenames
  232. l.Infof("Dropping invalid filename %q from database", f.Name)
  233. t.removeFromGlobal(folder, device, nil, nil)
  234. t.Delete(dbi.Key())
  235. t.checkFlush()
  236. continue
  237. }
  238. if cont := fn(device, f); !cont {
  239. return
  240. }
  241. }
  242. }
  243. func (db *Instance) getFile(folder, device, file []byte) (protocol.FileInfo, bool) {
  244. return getFile(db, db.deviceKey(folder, device, file))
  245. }
  246. func (db *Instance) getGlobal(folder, file []byte, truncate bool) (FileIntf, bool) {
  247. k := db.globalKey(folder, file)
  248. t := db.newReadOnlyTransaction()
  249. defer t.close()
  250. bs, err := t.Get(k, nil)
  251. if err != nil {
  252. return nil, false
  253. }
  254. var vl VersionList
  255. err = vl.Unmarshal(bs)
  256. if err == leveldb.ErrNotFound {
  257. return nil, false
  258. }
  259. if err != nil {
  260. l.Debugln("unmarshal error:", k, err)
  261. return nil, false
  262. }
  263. if len(vl.Versions) == 0 {
  264. l.Debugln("no versions:", k)
  265. return nil, false
  266. }
  267. k = db.deviceKey(folder, vl.Versions[0].Device, file)
  268. bs, err = t.Get(k, nil)
  269. if err != nil {
  270. l.Debugln("surprise error:", k, err)
  271. return nil, false
  272. }
  273. fi, err := unmarshalTrunc(bs, truncate)
  274. if err != nil {
  275. l.Debugln("unmarshal error:", k, err)
  276. return nil, false
  277. }
  278. return fi, true
  279. }
  280. func (db *Instance) withGlobal(folder, prefix []byte, truncate bool, fn Iterator) {
  281. t := db.newReadOnlyTransaction()
  282. defer t.close()
  283. dbi := t.NewIterator(util.BytesPrefix(db.globalKey(folder, prefix)), nil)
  284. defer dbi.Release()
  285. slashedPrefix := prefix
  286. if !bytes.HasSuffix(prefix, []byte{'/'}) {
  287. slashedPrefix = append(slashedPrefix, '/')
  288. }
  289. var fk []byte
  290. for dbi.Next() {
  291. var vl VersionList
  292. err := vl.Unmarshal(dbi.Value())
  293. if err != nil {
  294. l.Debugln("unmarshal error:", err)
  295. continue
  296. }
  297. if len(vl.Versions) == 0 {
  298. l.Debugln("no versions:", dbi.Key())
  299. continue
  300. }
  301. name := db.globalKeyName(dbi.Key())
  302. if len(prefix) > 0 && !bytes.Equal(name, prefix) && !bytes.HasPrefix(name, slashedPrefix) {
  303. return
  304. }
  305. fk = db.deviceKeyInto(fk[:cap(fk)], folder, vl.Versions[0].Device, name)
  306. bs, err := t.Get(fk, nil)
  307. if err != nil {
  308. l.Debugln("surprise error:", err)
  309. continue
  310. }
  311. f, err := unmarshalTrunc(bs, truncate)
  312. if err != nil {
  313. l.Debugln("unmarshal error:", err)
  314. continue
  315. }
  316. if cont := fn(f); !cont {
  317. return
  318. }
  319. }
  320. }
  321. func (db *Instance) availability(folder, file []byte) []protocol.DeviceID {
  322. k := db.globalKey(folder, file)
  323. bs, err := db.Get(k, nil)
  324. if err == leveldb.ErrNotFound {
  325. return nil
  326. }
  327. if err != nil {
  328. l.Debugln("surprise error:", err)
  329. return nil
  330. }
  331. var vl VersionList
  332. err = vl.Unmarshal(bs)
  333. if err != nil {
  334. l.Debugln("unmarshal error:", err)
  335. return nil
  336. }
  337. var devices []protocol.DeviceID
  338. for _, v := range vl.Versions {
  339. if !v.Version.Equal(vl.Versions[0].Version) {
  340. break
  341. }
  342. if v.Invalid {
  343. continue
  344. }
  345. n := protocol.DeviceIDFromBytes(v.Device)
  346. devices = append(devices, n)
  347. }
  348. return devices
  349. }
  350. func (db *Instance) withNeed(folder, device []byte, truncate bool, needAllInvalid bool, fn Iterator) {
  351. t := db.newReadOnlyTransaction()
  352. defer t.close()
  353. dbi := t.NewIterator(util.BytesPrefix(db.globalKey(folder, nil)[:keyPrefixLen+keyFolderLen]), nil)
  354. defer dbi.Release()
  355. var fk []byte
  356. for dbi.Next() {
  357. var vl VersionList
  358. err := vl.Unmarshal(dbi.Value())
  359. if err != nil {
  360. l.Debugln("unmarshal error:", err)
  361. continue
  362. }
  363. if len(vl.Versions) == 0 {
  364. l.Debugln("no versions:", dbi.Key())
  365. continue
  366. }
  367. have := false // If we have the file, any version
  368. need := false // If we have a lower version of the file
  369. var haveFileVersion FileVersion
  370. for _, v := range vl.Versions {
  371. if bytes.Equal(v.Device, device) {
  372. have = true
  373. haveFileVersion = v
  374. // We need invalid files regardless of version when
  375. // ignore patterns changed
  376. if v.Invalid && needAllInvalid {
  377. need = true
  378. break
  379. }
  380. // XXX: This marks Concurrent (i.e. conflicting) changes as
  381. // needs. Maybe we should do that, but it needs special
  382. // handling in the puller.
  383. need = !v.Version.GreaterEqual(vl.Versions[0].Version)
  384. break
  385. }
  386. }
  387. if have && !need {
  388. continue
  389. }
  390. name := db.globalKeyName(dbi.Key())
  391. needVersion := vl.Versions[0].Version
  392. needDevice := protocol.DeviceIDFromBytes(vl.Versions[0].Device)
  393. for i := range vl.Versions {
  394. if !vl.Versions[i].Version.Equal(needVersion) {
  395. // We haven't found a valid copy of the file with the needed version.
  396. break
  397. }
  398. if vl.Versions[i].Invalid {
  399. // The file is marked invalid, don't use it.
  400. continue
  401. }
  402. fk = db.deviceKeyInto(fk[:cap(fk)], folder, vl.Versions[i].Device, name)
  403. bs, err := t.Get(fk, nil)
  404. if err != nil {
  405. l.Debugln("surprise error:", err)
  406. continue
  407. }
  408. gf, err := unmarshalTrunc(bs, truncate)
  409. if err != nil {
  410. l.Debugln("unmarshal error:", err)
  411. continue
  412. }
  413. if gf.IsDeleted() && !have {
  414. // We don't need deleted files that we don't have
  415. break
  416. }
  417. l.Debugf("need folder=%q device=%v name=%q need=%v have=%v invalid=%v haveV=%d globalV=%d globalDev=%v", folder, protocol.DeviceIDFromBytes(device), name, need, have, haveFileVersion.Invalid, haveFileVersion.Version, needVersion, needDevice)
  418. if cont := fn(gf); !cont {
  419. return
  420. }
  421. // This file is handled, no need to look further in the version list
  422. break
  423. }
  424. }
  425. }
  426. func (db *Instance) ListFolders() []string {
  427. t := db.newReadOnlyTransaction()
  428. defer t.close()
  429. dbi := t.NewIterator(util.BytesPrefix([]byte{KeyTypeGlobal}), nil)
  430. defer dbi.Release()
  431. folderExists := make(map[string]bool)
  432. for dbi.Next() {
  433. folder, ok := db.globalKeyFolder(dbi.Key())
  434. if ok && !folderExists[string(folder)] {
  435. folderExists[string(folder)] = true
  436. }
  437. }
  438. folders := make([]string, 0, len(folderExists))
  439. for k := range folderExists {
  440. folders = append(folders, k)
  441. }
  442. sort.Strings(folders)
  443. return folders
  444. }
  445. func (db *Instance) dropFolder(folder []byte) {
  446. t := db.newReadOnlyTransaction()
  447. defer t.close()
  448. // Remove all items related to the given folder from the device->file bucket
  449. dbi := t.NewIterator(util.BytesPrefix([]byte{KeyTypeDevice}), nil)
  450. for dbi.Next() {
  451. itemFolder := db.deviceKeyFolder(dbi.Key())
  452. if bytes.Equal(folder, itemFolder) {
  453. db.Delete(dbi.Key(), nil)
  454. }
  455. }
  456. dbi.Release()
  457. // Remove all items related to the given folder from the global bucket
  458. dbi = t.NewIterator(util.BytesPrefix([]byte{KeyTypeGlobal}), nil)
  459. for dbi.Next() {
  460. itemFolder, ok := db.globalKeyFolder(dbi.Key())
  461. if ok && bytes.Equal(folder, itemFolder) {
  462. db.Delete(dbi.Key(), nil)
  463. }
  464. }
  465. dbi.Release()
  466. }
  467. func (db *Instance) checkGlobals(folder []byte, globalSize *sizeTracker) {
  468. t := db.newReadWriteTransaction()
  469. defer t.close()
  470. dbi := t.NewIterator(util.BytesPrefix(db.globalKey(folder, nil)[:keyPrefixLen+keyFolderLen]), nil)
  471. defer dbi.Release()
  472. var fk []byte
  473. for dbi.Next() {
  474. gk := dbi.Key()
  475. var vl VersionList
  476. err := vl.Unmarshal(dbi.Value())
  477. if err != nil {
  478. l.Debugln("unmarshal error:", err)
  479. continue
  480. }
  481. // Check the global version list for consistency. An issue in previous
  482. // versions of goleveldb could result in reordered writes so that
  483. // there are global entries pointing to no longer existing files. Here
  484. // we find those and clear them out.
  485. name := db.globalKeyName(gk)
  486. var newVL VersionList
  487. for i, version := range vl.Versions {
  488. fk = db.deviceKeyInto(fk[:cap(fk)], folder, version.Device, name)
  489. _, err := t.Get(fk, nil)
  490. if err == leveldb.ErrNotFound {
  491. continue
  492. }
  493. if err != nil {
  494. l.Debugln("surprise error:", err)
  495. return
  496. }
  497. newVL.Versions = append(newVL.Versions, version)
  498. if i == 0 {
  499. if fi, ok := t.getFile(folder, version.Device, name); ok {
  500. globalSize.addFile(fi)
  501. }
  502. }
  503. }
  504. if len(newVL.Versions) != len(vl.Versions) {
  505. t.Put(dbi.Key(), mustMarshal(&newVL))
  506. t.checkFlush()
  507. }
  508. }
  509. l.Debugf("db check completed for %q", folder)
  510. }
  511. // ConvertSymlinkTypes should be run once only on an old database. It
  512. // changes SYMLINK_FILE and SYMLINK_DIRECTORY types to the current SYMLINK
  513. // type (previously SYMLINK_UNKNOWN). It does this for all devices, both
  514. // local and remote, and does not reset delta indexes. It shouldn't really
  515. // matter what the symlink type is, but this cleans it up for a possible
  516. // future when SYMLINK_FILE and SYMLINK_DIRECTORY are no longer understood.
  517. func (db *Instance) ConvertSymlinkTypes() {
  518. t := db.newReadWriteTransaction()
  519. defer t.close()
  520. dbi := t.NewIterator(util.BytesPrefix([]byte{KeyTypeDevice}), nil)
  521. defer dbi.Release()
  522. conv := 0
  523. for dbi.Next() {
  524. var f protocol.FileInfo
  525. if err := f.Unmarshal(dbi.Value()); err != nil {
  526. // probably can't happen
  527. continue
  528. }
  529. if f.Type == protocol.FileInfoTypeDeprecatedSymlinkDirectory || f.Type == protocol.FileInfoTypeDeprecatedSymlinkFile {
  530. f.Type = protocol.FileInfoTypeSymlink
  531. bs, err := f.Marshal()
  532. if err != nil {
  533. panic("can't happen: " + err.Error())
  534. }
  535. t.Put(dbi.Key(), bs)
  536. t.checkFlush()
  537. conv++
  538. }
  539. }
  540. l.Infof("Updated symlink type for %d index entries", conv)
  541. }
  542. // AddInvalidToGlobal searches for invalid files and adds them to the global list.
  543. // Invalid files exist in the db if they once were not ignored and subsequently
  544. // ignored. In the new system this is still valid, but invalid files must also be
  545. // in the global list such that they cannot be mistaken for missing files.
  546. func (db *Instance) AddInvalidToGlobal(folder, device []byte) int {
  547. t := db.newReadWriteTransaction()
  548. defer t.close()
  549. dbi := t.NewIterator(util.BytesPrefix(db.deviceKey(folder, device, nil)[:keyPrefixLen+keyFolderLen+keyDeviceLen]), nil)
  550. defer dbi.Release()
  551. changed := 0
  552. for dbi.Next() {
  553. var file protocol.FileInfo
  554. if err := file.Unmarshal(dbi.Value()); err != nil {
  555. // probably can't happen
  556. continue
  557. }
  558. if file.Invalid {
  559. changed++
  560. l.Debugf("add invalid to global; folder=%q device=%v file=%q version=%d", folder, protocol.DeviceIDFromBytes(device), file.Name, file.Version)
  561. // this is an adapted version of readWriteTransaction.updateGlobal
  562. name := []byte(file.Name)
  563. gk := t.db.globalKey(folder, name)
  564. var fl VersionList
  565. if svl, err := t.Get(gk, nil); err == nil {
  566. fl.Unmarshal(svl) // skip error, range handles success case
  567. }
  568. nv := FileVersion{
  569. Device: device,
  570. Version: file.Version,
  571. Invalid: file.Invalid,
  572. }
  573. inserted := false
  574. // Find a position in the list to insert this file. The file at the front
  575. // of the list is the newer, the "global".
  576. insert:
  577. for i := range fl.Versions {
  578. switch fl.Versions[i].Version.Compare(file.Version) {
  579. case protocol.Equal:
  580. // Invalid files should go after a valid file of equal version
  581. if nv.Invalid {
  582. continue insert
  583. }
  584. fallthrough
  585. case protocol.Lesser:
  586. // The version at this point in the list is equal to or lesser
  587. // ("older") than us. We insert ourselves in front of it.
  588. fl.Versions = insertVersion(fl.Versions, i, nv)
  589. inserted = true
  590. break insert
  591. case protocol.ConcurrentLesser, protocol.ConcurrentGreater:
  592. // The version at this point is in conflict with us. We must pull
  593. // the actual file metadata to determine who wins. If we win, we
  594. // insert ourselves in front of the loser here. (The "Lesser" and
  595. // "Greater" in the condition above is just based on the device
  596. // IDs in the version vector, which is not the only thing we use
  597. // to determine the winner.)
  598. //
  599. // A surprise missing file entry here is counted as a win for us.
  600. of, ok := t.getFile(folder, fl.Versions[i].Device, name)
  601. if !ok || file.WinsConflict(of) {
  602. fl.Versions = insertVersion(fl.Versions, i, nv)
  603. inserted = true
  604. break insert
  605. }
  606. }
  607. }
  608. if !inserted {
  609. // We didn't find a position for an insert above, so append to the end.
  610. fl.Versions = append(fl.Versions, nv)
  611. }
  612. t.Put(gk, mustMarshal(&fl))
  613. }
  614. }
  615. return changed
  616. }
  617. // deviceKey returns a byte slice encoding the following information:
  618. // keyTypeDevice (1 byte)
  619. // folder (4 bytes)
  620. // device (4 bytes)
  621. // name (variable size)
  622. func (db *Instance) deviceKey(folder, device, file []byte) []byte {
  623. return db.deviceKeyInto(nil, folder, device, file)
  624. }
  625. func (db *Instance) deviceKeyInto(k []byte, folder, device, file []byte) []byte {
  626. reqLen := keyPrefixLen + keyFolderLen + keyDeviceLen + len(file)
  627. if len(k) < reqLen {
  628. k = make([]byte, reqLen)
  629. }
  630. k[0] = KeyTypeDevice
  631. binary.BigEndian.PutUint32(k[keyPrefixLen:], db.folderIdx.ID(folder))
  632. binary.BigEndian.PutUint32(k[keyPrefixLen+keyFolderLen:], db.deviceIdx.ID(device))
  633. copy(k[keyPrefixLen+keyFolderLen+keyDeviceLen:], file)
  634. return k[:reqLen]
  635. }
  636. // deviceKeyName returns the device ID from the key
  637. func (db *Instance) deviceKeyName(key []byte) []byte {
  638. return key[keyPrefixLen+keyFolderLen+keyDeviceLen:]
  639. }
  640. // deviceKeyFolder returns the folder name from the key
  641. func (db *Instance) deviceKeyFolder(key []byte) []byte {
  642. folder, ok := db.folderIdx.Val(binary.BigEndian.Uint32(key[keyPrefixLen:]))
  643. if !ok {
  644. panic("bug: lookup of nonexistent folder ID")
  645. }
  646. return folder
  647. }
  648. // deviceKeyDevice returns the device ID from the key
  649. func (db *Instance) deviceKeyDevice(key []byte) []byte {
  650. device, ok := db.deviceIdx.Val(binary.BigEndian.Uint32(key[keyPrefixLen+keyFolderLen:]))
  651. if !ok {
  652. panic("bug: lookup of nonexistent device ID")
  653. }
  654. return device
  655. }
  656. // globalKey returns a byte slice encoding the following information:
  657. // keyTypeGlobal (1 byte)
  658. // folder (4 bytes)
  659. // name (variable size)
  660. func (db *Instance) globalKey(folder, file []byte) []byte {
  661. k := make([]byte, keyPrefixLen+keyFolderLen+len(file))
  662. k[0] = KeyTypeGlobal
  663. binary.BigEndian.PutUint32(k[keyPrefixLen:], db.folderIdx.ID(folder))
  664. copy(k[keyPrefixLen+keyFolderLen:], file)
  665. return k
  666. }
  667. // globalKeyName returns the filename from the key
  668. func (db *Instance) globalKeyName(key []byte) []byte {
  669. return key[keyPrefixLen+keyFolderLen:]
  670. }
  671. // globalKeyFolder returns the folder name from the key
  672. func (db *Instance) globalKeyFolder(key []byte) ([]byte, bool) {
  673. return db.folderIdx.Val(binary.BigEndian.Uint32(key[keyPrefixLen:]))
  674. }
  675. func (db *Instance) getIndexID(device, folder []byte) protocol.IndexID {
  676. key := db.indexIDKey(device, folder)
  677. cur, err := db.Get(key, nil)
  678. if err != nil {
  679. return 0
  680. }
  681. var id protocol.IndexID
  682. if err := id.Unmarshal(cur); err != nil {
  683. return 0
  684. }
  685. return id
  686. }
  687. func (db *Instance) setIndexID(device, folder []byte, id protocol.IndexID) {
  688. key := db.indexIDKey(device, folder)
  689. bs, _ := id.Marshal() // marshalling can't fail
  690. if err := db.Put(key, bs, nil); err != nil {
  691. panic("storing index ID: " + err.Error())
  692. }
  693. }
  694. func (db *Instance) indexIDKey(device, folder []byte) []byte {
  695. k := make([]byte, keyPrefixLen+keyDeviceLen+keyFolderLen)
  696. k[0] = KeyTypeIndexID
  697. binary.BigEndian.PutUint32(k[keyPrefixLen:], db.deviceIdx.ID(device))
  698. binary.BigEndian.PutUint32(k[keyPrefixLen+keyDeviceLen:], db.folderIdx.ID(folder))
  699. return k
  700. }
  701. func (db *Instance) mtimesKey(folder []byte) []byte {
  702. prefix := make([]byte, 5) // key type + 4 bytes folder idx number
  703. prefix[0] = KeyTypeVirtualMtime
  704. binary.BigEndian.PutUint32(prefix[1:], db.folderIdx.ID(folder))
  705. return prefix
  706. }
  707. // DropDeltaIndexIDs removes all index IDs from the database. This will
  708. // cause a full index transmission on the next connection.
  709. func (db *Instance) DropDeltaIndexIDs() {
  710. db.dropPrefix([]byte{KeyTypeIndexID})
  711. }
  712. func (db *Instance) dropMtimes(folder []byte) {
  713. db.dropPrefix(db.mtimesKey(folder))
  714. }
  715. func (db *Instance) dropPrefix(prefix []byte) {
  716. t := db.newReadWriteTransaction()
  717. defer t.close()
  718. dbi := t.NewIterator(util.BytesPrefix(prefix), nil)
  719. defer dbi.Release()
  720. for dbi.Next() {
  721. t.Delete(dbi.Key())
  722. }
  723. }
  724. func unmarshalTrunc(bs []byte, truncate bool) (FileIntf, error) {
  725. if truncate {
  726. var tf FileInfoTruncated
  727. err := tf.Unmarshal(bs)
  728. return tf, err
  729. }
  730. var tf protocol.FileInfo
  731. err := tf.Unmarshal(bs)
  732. return tf, err
  733. }
  734. // A "better" version of leveldb's errors.IsCorrupted.
  735. func leveldbIsCorrupted(err error) bool {
  736. switch {
  737. case err == nil:
  738. return false
  739. case errors.IsCorrupted(err):
  740. return true
  741. case strings.Contains(err.Error(), "corrupted"):
  742. return true
  743. }
  744. return false
  745. }
  746. // A smallIndex is an in memory bidirectional []byte to uint32 map. It gives
  747. // fast lookups in both directions and persists to the database. Don't use for
  748. // storing more items than fit comfortably in RAM.
  749. type smallIndex struct {
  750. db *Instance
  751. prefix []byte
  752. id2val map[uint32]string
  753. val2id map[string]uint32
  754. nextID uint32
  755. mut sync.Mutex
  756. }
  757. func newSmallIndex(db *Instance, prefix []byte) *smallIndex {
  758. idx := &smallIndex{
  759. db: db,
  760. prefix: prefix,
  761. id2val: make(map[uint32]string),
  762. val2id: make(map[string]uint32),
  763. mut: sync.NewMutex(),
  764. }
  765. idx.load()
  766. return idx
  767. }
  768. // load iterates over the prefix space in the database and populates the in
  769. // memory maps.
  770. func (i *smallIndex) load() {
  771. tr := i.db.newReadOnlyTransaction()
  772. it := tr.NewIterator(util.BytesPrefix(i.prefix), nil)
  773. for it.Next() {
  774. val := string(it.Value())
  775. id := binary.BigEndian.Uint32(it.Key()[len(i.prefix):])
  776. i.id2val[id] = val
  777. i.val2id[val] = id
  778. if id >= i.nextID {
  779. i.nextID = id + 1
  780. }
  781. }
  782. it.Release()
  783. tr.close()
  784. }
  785. // ID returns the index number for the given byte slice, allocating a new one
  786. // and persisting this to the database if necessary.
  787. func (i *smallIndex) ID(val []byte) uint32 {
  788. i.mut.Lock()
  789. // intentionally avoiding defer here as we want this call to be as fast as
  790. // possible in the general case (folder ID already exists). The map lookup
  791. // with the conversion of []byte to string is compiler optimized to not
  792. // copy the []byte, which is why we don't assign it to a temp variable
  793. // here.
  794. if id, ok := i.val2id[string(val)]; ok {
  795. i.mut.Unlock()
  796. return id
  797. }
  798. id := i.nextID
  799. i.nextID++
  800. valStr := string(val)
  801. i.val2id[valStr] = id
  802. i.id2val[id] = valStr
  803. key := make([]byte, len(i.prefix)+8) // prefix plus uint32 id
  804. copy(key, i.prefix)
  805. binary.BigEndian.PutUint32(key[len(i.prefix):], id)
  806. i.db.Put(key, val, nil)
  807. i.mut.Unlock()
  808. return id
  809. }
  810. // Val returns the value for the given index number, or (nil, false) if there
  811. // is no such index number.
  812. func (i *smallIndex) Val(id uint32) ([]byte, bool) {
  813. i.mut.Lock()
  814. val, ok := i.id2val[id]
  815. i.mut.Unlock()
  816. if !ok {
  817. return nil, false
  818. }
  819. return []byte(val), true
  820. }