lowlevel.go 21 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858
  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. "time"
  12. "github.com/syncthing/syncthing/lib/db/backend"
  13. "github.com/syncthing/syncthing/lib/protocol"
  14. "github.com/syncthing/syncthing/lib/sync"
  15. "github.com/willf/bloom"
  16. )
  17. const (
  18. // We set the bloom filter capacity to handle 100k individual items with
  19. // a false positive probability of 1% for the first pass. Once we know
  20. // how many items we have we will use that number instead, if it's more
  21. // than 100k. For fewer than 100k items we will just get better false
  22. // positive rate instead.
  23. indirectGCBloomCapacity = 100000
  24. indirectGCBloomFalsePositiveRate = 0.01 // 1%
  25. indirectGCDefaultInterval = 13 * time.Hour
  26. indirectGCTimeKey = "lastIndirectGCTime"
  27. // Use indirection for the block list when it exceeds this many entries
  28. blocksIndirectionCutoff = 3
  29. )
  30. var indirectGCInterval = indirectGCDefaultInterval
  31. func init() {
  32. if dur, err := time.ParseDuration(os.Getenv("STGCINDIRECTEVERY")); err == nil {
  33. indirectGCInterval = dur
  34. }
  35. }
  36. // Lowlevel is the lowest level database interface. It has a very simple
  37. // purpose: hold the actual backend database, and the in-memory state
  38. // that belong to that database. In the same way that a single on disk
  39. // database can only be opened once, there should be only one Lowlevel for
  40. // any given backend.
  41. type Lowlevel struct {
  42. backend.Backend
  43. folderIdx *smallIndex
  44. deviceIdx *smallIndex
  45. keyer keyer
  46. gcMut sync.RWMutex
  47. gcKeyCount int
  48. gcStop chan struct{}
  49. }
  50. func NewLowlevel(backend backend.Backend) *Lowlevel {
  51. db := &Lowlevel{
  52. Backend: backend,
  53. folderIdx: newSmallIndex(backend, []byte{KeyTypeFolderIdx}),
  54. deviceIdx: newSmallIndex(backend, []byte{KeyTypeDeviceIdx}),
  55. gcMut: sync.NewRWMutex(),
  56. gcStop: make(chan struct{}),
  57. }
  58. db.keyer = newDefaultKeyer(db.folderIdx, db.deviceIdx)
  59. go db.gcRunner()
  60. return db
  61. }
  62. func (db *Lowlevel) Close() error {
  63. close(db.gcStop)
  64. return db.Backend.Close()
  65. }
  66. // ListFolders returns the list of folders currently in the database
  67. func (db *Lowlevel) ListFolders() []string {
  68. return db.folderIdx.Values()
  69. }
  70. // updateRemoteFiles adds a list of fileinfos to the database and updates the
  71. // global versionlist and metadata.
  72. func (db *Lowlevel) updateRemoteFiles(folder, device []byte, fs []protocol.FileInfo, meta *metadataTracker) error {
  73. db.gcMut.RLock()
  74. defer db.gcMut.RUnlock()
  75. t, err := db.newReadWriteTransaction()
  76. if err != nil {
  77. return err
  78. }
  79. defer t.close()
  80. var dk, gk, keyBuf []byte
  81. devID := protocol.DeviceIDFromBytes(device)
  82. for _, f := range fs {
  83. name := []byte(f.Name)
  84. dk, err = db.keyer.GenerateDeviceFileKey(dk, folder, device, name)
  85. if err != nil {
  86. return err
  87. }
  88. ef, ok, err := t.getFileTrunc(dk, true)
  89. if err != nil {
  90. return err
  91. }
  92. if ok && unchanged(f, ef) {
  93. continue
  94. }
  95. if ok {
  96. meta.removeFile(devID, ef)
  97. }
  98. meta.addFile(devID, f)
  99. l.Debugf("insert; folder=%q device=%v %v", folder, devID, f)
  100. if err := t.putFile(dk, f, false); err != nil {
  101. return err
  102. }
  103. gk, err = db.keyer.GenerateGlobalVersionKey(gk, folder, name)
  104. if err != nil {
  105. return err
  106. }
  107. keyBuf, _, err = t.updateGlobal(gk, keyBuf, folder, device, f, meta)
  108. if err != nil {
  109. return err
  110. }
  111. if err := t.Checkpoint(func() error {
  112. return meta.toDB(t, folder)
  113. }); err != nil {
  114. return err
  115. }
  116. }
  117. if err := meta.toDB(t, folder); err != nil {
  118. return err
  119. }
  120. return t.Commit()
  121. }
  122. // updateLocalFiles adds fileinfos to the db, and updates the global versionlist,
  123. // metadata, sequence and blockmap buckets.
  124. func (db *Lowlevel) updateLocalFiles(folder []byte, fs []protocol.FileInfo, meta *metadataTracker) error {
  125. db.gcMut.RLock()
  126. defer db.gcMut.RUnlock()
  127. t, err := db.newReadWriteTransaction()
  128. if err != nil {
  129. return err
  130. }
  131. defer t.close()
  132. var dk, gk, keyBuf []byte
  133. blockBuf := make([]byte, 4)
  134. for _, f := range fs {
  135. name := []byte(f.Name)
  136. dk, err = db.keyer.GenerateDeviceFileKey(dk, folder, protocol.LocalDeviceID[:], name)
  137. if err != nil {
  138. return err
  139. }
  140. ef, ok, err := t.getFileByKey(dk)
  141. if err != nil {
  142. return err
  143. }
  144. if ok && unchanged(f, ef) {
  145. continue
  146. }
  147. if ok {
  148. if !ef.IsDirectory() && !ef.IsDeleted() && !ef.IsInvalid() {
  149. for _, block := range ef.Blocks {
  150. keyBuf, err = db.keyer.GenerateBlockMapKey(keyBuf, folder, block.Hash, name)
  151. if err != nil {
  152. return err
  153. }
  154. if err := t.Delete(keyBuf); err != nil {
  155. return err
  156. }
  157. }
  158. }
  159. keyBuf, err = db.keyer.GenerateSequenceKey(keyBuf, folder, ef.SequenceNo())
  160. if err != nil {
  161. return err
  162. }
  163. if err := t.Delete(keyBuf); err != nil {
  164. return err
  165. }
  166. l.Debugf("removing sequence; folder=%q sequence=%v %v", folder, ef.SequenceNo(), ef.FileName())
  167. }
  168. f.Sequence = meta.nextLocalSeq()
  169. if ok {
  170. meta.removeFile(protocol.LocalDeviceID, ef)
  171. }
  172. meta.addFile(protocol.LocalDeviceID, f)
  173. l.Debugf("insert (local); folder=%q %v", folder, f)
  174. if err := t.putFile(dk, f, false); err != nil {
  175. return err
  176. }
  177. gk, err = db.keyer.GenerateGlobalVersionKey(gk, folder, []byte(f.Name))
  178. if err != nil {
  179. return err
  180. }
  181. keyBuf, _, err = t.updateGlobal(gk, keyBuf, folder, protocol.LocalDeviceID[:], f, meta)
  182. if err != nil {
  183. return err
  184. }
  185. keyBuf, err = db.keyer.GenerateSequenceKey(keyBuf, folder, f.Sequence)
  186. if err != nil {
  187. return err
  188. }
  189. if err := t.Put(keyBuf, dk); err != nil {
  190. return err
  191. }
  192. l.Debugf("adding sequence; folder=%q sequence=%v %v", folder, f.Sequence, f.Name)
  193. if !f.IsDirectory() && !f.IsDeleted() && !f.IsInvalid() {
  194. for i, block := range f.Blocks {
  195. binary.BigEndian.PutUint32(blockBuf, uint32(i))
  196. keyBuf, err = db.keyer.GenerateBlockMapKey(keyBuf, folder, block.Hash, name)
  197. if err != nil {
  198. return err
  199. }
  200. if err := t.Put(keyBuf, blockBuf); err != nil {
  201. return err
  202. }
  203. }
  204. }
  205. if err := t.Checkpoint(func() error {
  206. return meta.toDB(t, folder)
  207. }); err != nil {
  208. return err
  209. }
  210. }
  211. if err := meta.toDB(t, folder); err != nil {
  212. return err
  213. }
  214. return t.Commit()
  215. }
  216. func (db *Lowlevel) dropFolder(folder []byte) error {
  217. db.gcMut.RLock()
  218. defer db.gcMut.RUnlock()
  219. t, err := db.newReadWriteTransaction()
  220. if err != nil {
  221. return err
  222. }
  223. defer t.close()
  224. // Remove all items related to the given folder from the device->file bucket
  225. k0, err := db.keyer.GenerateDeviceFileKey(nil, folder, nil, nil)
  226. if err != nil {
  227. return err
  228. }
  229. if err := t.deleteKeyPrefix(k0.WithoutNameAndDevice()); err != nil {
  230. return err
  231. }
  232. // Remove all sequences related to the folder
  233. k1, err := db.keyer.GenerateSequenceKey(nil, folder, 0)
  234. if err != nil {
  235. return err
  236. }
  237. if err := t.deleteKeyPrefix(k1.WithoutSequence()); err != nil {
  238. return err
  239. }
  240. // Remove all items related to the given folder from the global bucket
  241. k2, err := db.keyer.GenerateGlobalVersionKey(nil, folder, nil)
  242. if err != nil {
  243. return err
  244. }
  245. if err := t.deleteKeyPrefix(k2.WithoutName()); err != nil {
  246. return err
  247. }
  248. // Remove all needs related to the folder
  249. k3, err := db.keyer.GenerateNeedFileKey(nil, folder, nil)
  250. if err != nil {
  251. return err
  252. }
  253. if err := t.deleteKeyPrefix(k3.WithoutName()); err != nil {
  254. return err
  255. }
  256. // Remove the blockmap of the folder
  257. k4, err := db.keyer.GenerateBlockMapKey(nil, folder, nil, nil)
  258. if err != nil {
  259. return err
  260. }
  261. if err := t.deleteKeyPrefix(k4.WithoutHashAndName()); err != nil {
  262. return err
  263. }
  264. return t.Commit()
  265. }
  266. func (db *Lowlevel) dropDeviceFolder(device, folder []byte, meta *metadataTracker) error {
  267. db.gcMut.RLock()
  268. defer db.gcMut.RUnlock()
  269. t, err := db.newReadWriteTransaction()
  270. if err != nil {
  271. return err
  272. }
  273. defer t.close()
  274. key, err := db.keyer.GenerateDeviceFileKey(nil, folder, device, nil)
  275. if err != nil {
  276. return err
  277. }
  278. dbi, err := t.NewPrefixIterator(key)
  279. if err != nil {
  280. return err
  281. }
  282. var gk, keyBuf []byte
  283. for dbi.Next() {
  284. name := db.keyer.NameFromDeviceFileKey(dbi.Key())
  285. gk, err = db.keyer.GenerateGlobalVersionKey(gk, folder, name)
  286. if err != nil {
  287. return err
  288. }
  289. keyBuf, err = t.removeFromGlobal(gk, keyBuf, folder, device, name, meta)
  290. if err != nil {
  291. return err
  292. }
  293. if err := t.Delete(dbi.Key()); err != nil {
  294. return err
  295. }
  296. if err := t.Checkpoint(); err != nil {
  297. return err
  298. }
  299. }
  300. if err := dbi.Error(); err != nil {
  301. return err
  302. }
  303. dbi.Release()
  304. if bytes.Equal(device, protocol.LocalDeviceID[:]) {
  305. key, err := db.keyer.GenerateBlockMapKey(nil, folder, nil, nil)
  306. if err != nil {
  307. return err
  308. }
  309. if err := t.deleteKeyPrefix(key.WithoutHashAndName()); err != nil {
  310. return err
  311. }
  312. }
  313. return t.Commit()
  314. }
  315. func (db *Lowlevel) checkGlobals(folder []byte, meta *metadataTracker) error {
  316. t, err := db.newReadWriteTransaction()
  317. if err != nil {
  318. return err
  319. }
  320. defer t.close()
  321. key, err := db.keyer.GenerateGlobalVersionKey(nil, folder, nil)
  322. if err != nil {
  323. return err
  324. }
  325. dbi, err := t.NewPrefixIterator(key.WithoutName())
  326. if err != nil {
  327. return err
  328. }
  329. defer dbi.Release()
  330. var dk []byte
  331. for dbi.Next() {
  332. var vl VersionList
  333. if err := vl.Unmarshal(dbi.Value()); err != nil || len(vl.Versions) == 0 {
  334. if err := t.Delete(dbi.Key()); err != nil {
  335. return err
  336. }
  337. }
  338. // Check the global version list for consistency. An issue in previous
  339. // versions of goleveldb could result in reordered writes so that
  340. // there are global entries pointing to no longer existing files. Here
  341. // we find those and clear them out.
  342. name := db.keyer.NameFromGlobalVersionKey(dbi.Key())
  343. var newVL VersionList
  344. for i, version := range vl.Versions {
  345. dk, err = db.keyer.GenerateDeviceFileKey(dk, folder, version.Device, name)
  346. if err != nil {
  347. return err
  348. }
  349. _, err := t.Get(dk)
  350. if backend.IsNotFound(err) {
  351. continue
  352. }
  353. if err != nil {
  354. return err
  355. }
  356. newVL.Versions = append(newVL.Versions, version)
  357. if i == 0 {
  358. if fi, ok, err := t.getFileByKey(dk); err != nil {
  359. return err
  360. } else if ok {
  361. meta.addFile(protocol.GlobalDeviceID, fi)
  362. }
  363. }
  364. }
  365. if newLen := len(newVL.Versions); newLen == 0 {
  366. if err := t.Delete(dbi.Key()); err != nil {
  367. return err
  368. }
  369. } else if newLen != len(vl.Versions) {
  370. if err := t.Put(dbi.Key(), mustMarshal(&newVL)); err != nil {
  371. return err
  372. }
  373. }
  374. }
  375. if err := dbi.Error(); err != nil {
  376. return err
  377. }
  378. l.Debugf("db check completed for %q", folder)
  379. return t.Commit()
  380. }
  381. func (db *Lowlevel) getIndexID(device, folder []byte) (protocol.IndexID, error) {
  382. key, err := db.keyer.GenerateIndexIDKey(nil, device, folder)
  383. if err != nil {
  384. return 0, err
  385. }
  386. cur, err := db.Get(key)
  387. if backend.IsNotFound(err) {
  388. return 0, nil
  389. } else if err != nil {
  390. return 0, err
  391. }
  392. var id protocol.IndexID
  393. if err := id.Unmarshal(cur); err != nil {
  394. return 0, nil
  395. }
  396. return id, nil
  397. }
  398. func (db *Lowlevel) setIndexID(device, folder []byte, id protocol.IndexID) error {
  399. bs, _ := id.Marshal() // marshalling can't fail
  400. key, err := db.keyer.GenerateIndexIDKey(nil, device, folder)
  401. if err != nil {
  402. return err
  403. }
  404. return db.Put(key, bs)
  405. }
  406. func (db *Lowlevel) dropMtimes(folder []byte) error {
  407. key, err := db.keyer.GenerateMtimesKey(nil, folder)
  408. if err != nil {
  409. return err
  410. }
  411. return db.dropPrefix(key)
  412. }
  413. func (db *Lowlevel) dropFolderMeta(folder []byte) error {
  414. key, err := db.keyer.GenerateFolderMetaKey(nil, folder)
  415. if err != nil {
  416. return err
  417. }
  418. return db.dropPrefix(key)
  419. }
  420. func (db *Lowlevel) dropPrefix(prefix []byte) error {
  421. t, err := db.newReadWriteTransaction()
  422. if err != nil {
  423. return err
  424. }
  425. defer t.close()
  426. if err := t.deleteKeyPrefix(prefix); err != nil {
  427. return err
  428. }
  429. return t.Commit()
  430. }
  431. func (db *Lowlevel) gcRunner() {
  432. // Calculate the time for the next GC run. Even if we should run GC
  433. // directly, give the system a while to get up and running and do other
  434. // stuff first. (We might have migrations and stuff which would be
  435. // better off running before GC.)
  436. next := db.timeUntil(indirectGCTimeKey, indirectGCInterval)
  437. if next < time.Minute {
  438. next = time.Minute
  439. }
  440. t := time.NewTimer(next)
  441. defer t.Stop()
  442. for {
  443. select {
  444. case <-db.gcStop:
  445. return
  446. case <-t.C:
  447. if err := db.gcIndirect(); err != nil {
  448. l.Warnln("Database indirection GC failed:", err)
  449. }
  450. db.recordTime(indirectGCTimeKey)
  451. t.Reset(db.timeUntil(indirectGCTimeKey, indirectGCInterval))
  452. }
  453. }
  454. }
  455. // recordTime records the current time under the given key, affecting the
  456. // next call to timeUntil with the same key.
  457. func (db *Lowlevel) recordTime(key string) {
  458. miscDB := NewMiscDataNamespace(db)
  459. _ = miscDB.PutInt64(key, time.Now().Unix()) // error wilfully ignored
  460. }
  461. // timeUntil returns how long we should wait until the next interval, or
  462. // zero if it should happen directly.
  463. func (db *Lowlevel) timeUntil(key string, every time.Duration) time.Duration {
  464. miscDB := NewMiscDataNamespace(db)
  465. lastTime, _, _ := miscDB.Int64(key) // error wilfully ignored
  466. nextTime := time.Unix(lastTime, 0).Add(every)
  467. sleepTime := time.Until(nextTime)
  468. if sleepTime < 0 {
  469. sleepTime = 0
  470. }
  471. return sleepTime
  472. }
  473. func (db *Lowlevel) gcIndirect() error {
  474. // The indirection GC uses bloom filters to track used block lists and
  475. // versions. This means iterating over all items, adding their hashes to
  476. // the filter, then iterating over the indirected items and removing
  477. // those that don't match the filter. The filter will give false
  478. // positives so we will keep around one percent of things that we don't
  479. // really need (at most).
  480. //
  481. // Indirection GC needs to run when there are no modifications to the
  482. // FileInfos or indirected items.
  483. db.gcMut.Lock()
  484. defer db.gcMut.Unlock()
  485. t, err := db.newReadWriteTransaction()
  486. if err != nil {
  487. return err
  488. }
  489. defer t.Release()
  490. // Set up the bloom filters with the initial capacity and false positive
  491. // rate, or higher capacity if we've done this before and seen lots of
  492. // items. For simplicity's sake we track just one count, which is the
  493. // highest of the various indirected items.
  494. capacity := indirectGCBloomCapacity
  495. if db.gcKeyCount > capacity {
  496. capacity = db.gcKeyCount
  497. }
  498. blockFilter := bloom.NewWithEstimates(uint(capacity), indirectGCBloomFalsePositiveRate)
  499. // Iterate the FileInfos, unmarshal the block and version hashes and
  500. // add them to the filter.
  501. it, err := t.NewPrefixIterator([]byte{KeyTypeDevice})
  502. if err != nil {
  503. return err
  504. }
  505. defer it.Release()
  506. for it.Next() {
  507. var bl BlocksHashOnly
  508. if err := bl.Unmarshal(it.Value()); err != nil {
  509. return err
  510. }
  511. if len(bl.BlocksHash) > 0 {
  512. blockFilter.Add(bl.BlocksHash)
  513. }
  514. }
  515. it.Release()
  516. if err := it.Error(); err != nil {
  517. return err
  518. }
  519. // Iterate over block lists, removing keys with hashes that don't match
  520. // the filter.
  521. it, err = t.NewPrefixIterator([]byte{KeyTypeBlockList})
  522. if err != nil {
  523. return err
  524. }
  525. defer it.Release()
  526. matchedBlocks := 0
  527. for it.Next() {
  528. key := blockListKey(it.Key())
  529. if blockFilter.Test(key.BlocksHash()) {
  530. matchedBlocks++
  531. continue
  532. }
  533. if err := t.Delete(key); err != nil {
  534. return err
  535. }
  536. }
  537. it.Release()
  538. if err := it.Error(); err != nil {
  539. return err
  540. }
  541. // Remember the number of unique keys we kept until the next pass.
  542. db.gcKeyCount = matchedBlocks
  543. if err := t.Commit(); err != nil {
  544. return err
  545. }
  546. return db.Compact()
  547. }
  548. // CheckRepair checks folder metadata and sequences for miscellaneous errors.
  549. func (db *Lowlevel) CheckRepair() {
  550. for _, folder := range db.ListFolders() {
  551. _ = db.getMetaAndCheck(folder)
  552. }
  553. }
  554. func (db *Lowlevel) getMetaAndCheck(folder string) *metadataTracker {
  555. db.gcMut.RLock()
  556. defer db.gcMut.RUnlock()
  557. meta, err := db.recalcMeta(folder)
  558. if err == nil {
  559. var fixed int
  560. fixed, err = db.repairSequenceGCLocked(folder, meta)
  561. if fixed != 0 {
  562. l.Infof("Repaired %d sequence entries in database", fixed)
  563. }
  564. }
  565. if backend.IsClosed(err) {
  566. return nil
  567. } else if err != nil {
  568. panic(err)
  569. }
  570. return meta
  571. }
  572. func (db *Lowlevel) loadMetadataTracker(folder string) *metadataTracker {
  573. meta := newMetadataTracker()
  574. if err := meta.fromDB(db, []byte(folder)); err != nil {
  575. l.Infof("No stored folder metadata for %q; recalculating", folder)
  576. return db.getMetaAndCheck(folder)
  577. }
  578. curSeq := meta.Sequence(protocol.LocalDeviceID)
  579. if metaOK := db.verifyLocalSequence(curSeq, folder); !metaOK {
  580. l.Infof("Stored folder metadata for %q is out of date after crash; recalculating", folder)
  581. return db.getMetaAndCheck(folder)
  582. }
  583. if age := time.Since(meta.Created()); age > databaseRecheckInterval {
  584. l.Infof("Stored folder metadata for %q is %v old; recalculating", folder, age)
  585. return db.getMetaAndCheck(folder)
  586. }
  587. return meta
  588. }
  589. func (db *Lowlevel) recalcMeta(folder string) (*metadataTracker, error) {
  590. meta := newMetadataTracker()
  591. if err := db.checkGlobals([]byte(folder), meta); err != nil {
  592. return nil, err
  593. }
  594. t, err := db.newReadWriteTransaction()
  595. if err != nil {
  596. return nil, err
  597. }
  598. defer t.close()
  599. var deviceID protocol.DeviceID
  600. err = t.withAllFolderTruncated([]byte(folder), func(device []byte, f FileInfoTruncated) bool {
  601. copy(deviceID[:], device)
  602. meta.addFile(deviceID, f)
  603. return true
  604. })
  605. if err != nil {
  606. return nil, err
  607. }
  608. meta.SetCreated()
  609. if err := meta.toDB(t, []byte(folder)); err != nil {
  610. return nil, err
  611. }
  612. if err := t.Commit(); err != nil {
  613. return nil, err
  614. }
  615. return meta, nil
  616. }
  617. // Verify the local sequence number from actual sequence entries. Returns
  618. // true if it was all good, or false if a fixup was necessary.
  619. func (db *Lowlevel) verifyLocalSequence(curSeq int64, folder string) bool {
  620. // Walk the sequence index from the current (supposedly) highest
  621. // sequence number and raise the alarm if we get anything. This recovers
  622. // from the occasion where we have written sequence entries to disk but
  623. // not yet written new metadata to disk.
  624. //
  625. // Note that we can have the same thing happen for remote devices but
  626. // there it's not a problem -- we'll simply advertise a lower sequence
  627. // number than we've actually seen and receive some duplicate updates
  628. // and then be in sync again.
  629. t, err := db.newReadOnlyTransaction()
  630. if err != nil {
  631. panic(err)
  632. }
  633. ok := true
  634. if err := t.withHaveSequence([]byte(folder), curSeq+1, func(fi FileIntf) bool {
  635. ok = false // we got something, which we should not have
  636. return false
  637. }); err != nil && !backend.IsClosed(err) {
  638. panic(err)
  639. }
  640. t.close()
  641. return ok
  642. }
  643. // repairSequenceGCLocked makes sure the sequence numbers in the sequence keys
  644. // match those in the corresponding file entries. It returns the amount of fixed
  645. // entries.
  646. func (db *Lowlevel) repairSequenceGCLocked(folderStr string, meta *metadataTracker) (int, error) {
  647. t, err := db.newReadWriteTransaction()
  648. if err != nil {
  649. return 0, err
  650. }
  651. defer t.close()
  652. fixed := 0
  653. folder := []byte(folderStr)
  654. // First check that every file entry has a matching sequence entry
  655. // (this was previously db schema upgrade to 9).
  656. dk, err := t.keyer.GenerateDeviceFileKey(nil, folder, protocol.LocalDeviceID[:], nil)
  657. if err != nil {
  658. return 0, err
  659. }
  660. it, err := t.NewPrefixIterator(dk.WithoutName())
  661. if err != nil {
  662. return 0, err
  663. }
  664. defer it.Release()
  665. var sk sequenceKey
  666. for it.Next() {
  667. intf, err := t.unmarshalTrunc(it.Value(), true)
  668. if err != nil {
  669. return 0, err
  670. }
  671. fi := intf.(FileInfoTruncated)
  672. if sk, err = t.keyer.GenerateSequenceKey(sk, folder, fi.Sequence); err != nil {
  673. return 0, err
  674. }
  675. switch dk, err = t.Get(sk); {
  676. case err != nil:
  677. if !backend.IsNotFound(err) {
  678. return 0, err
  679. }
  680. fallthrough
  681. case !bytes.Equal(it.Key(), dk):
  682. fixed++
  683. fi.Sequence = meta.nextLocalSeq()
  684. if sk, err = t.keyer.GenerateSequenceKey(sk, folder, fi.Sequence); err != nil {
  685. return 0, err
  686. }
  687. if err := t.Put(sk, it.Key()); err != nil {
  688. return 0, err
  689. }
  690. if err := t.putFile(it.Key(), fi.copyToFileInfo(), true); err != nil {
  691. return 0, err
  692. }
  693. }
  694. if err := t.Checkpoint(func() error {
  695. return meta.toDB(t, folder)
  696. }); err != nil {
  697. return 0, err
  698. }
  699. }
  700. if err := it.Error(); err != nil {
  701. return 0, err
  702. }
  703. it.Release()
  704. // Secondly check there's no sequence entries pointing at incorrect things.
  705. sk, err = t.keyer.GenerateSequenceKey(sk, folder, 0)
  706. if err != nil {
  707. return 0, err
  708. }
  709. it, err = t.NewPrefixIterator(sk.WithoutSequence())
  710. if err != nil {
  711. return 0, err
  712. }
  713. defer it.Release()
  714. for it.Next() {
  715. // Check that the sequence from the key matches the
  716. // sequence in the file.
  717. fi, ok, err := t.getFileTrunc(it.Value(), true)
  718. if err != nil {
  719. return 0, err
  720. }
  721. if ok {
  722. if seq := t.keyer.SequenceFromSequenceKey(it.Key()); seq == fi.SequenceNo() {
  723. continue
  724. }
  725. }
  726. // Either the file is missing or has a different sequence number
  727. fixed++
  728. if err := t.Delete(it.Key()); err != nil {
  729. return 0, err
  730. }
  731. }
  732. if err := it.Error(); err != nil {
  733. return 0, err
  734. }
  735. it.Release()
  736. if err := meta.toDB(t, folder); err != nil {
  737. return 0, err
  738. }
  739. return fixed, t.Commit()
  740. }
  741. // unchanged checks if two files are the same and thus don't need to be updated.
  742. // Local flags or the invalid bit might change without the version
  743. // being bumped.
  744. func unchanged(nf, ef FileIntf) bool {
  745. return ef.FileVersion().Equal(nf.FileVersion()) && ef.IsInvalid() == nf.IsInvalid() && ef.FileLocalFlags() == nf.FileLocalFlags()
  746. }