lowlevel.go 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625
  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 block lists
  19. // with a false positive probability of 1% for the first pass. Once we know
  20. // how many block lists we have we will use that number instead, if it's
  21. // more than 100k. For fewer than 100k block lists we will just get better
  22. // false positive rate instead.
  23. blockGCBloomCapacity = 100000
  24. blockGCBloomFalsePositiveRate = 0.01 // 1%
  25. blockGCDefaultInterval = 13 * time.Hour
  26. blockGCTimeKey = "lastBlockGCTime"
  27. )
  28. var blockGCInterval = blockGCDefaultInterval
  29. func init() {
  30. if dur, err := time.ParseDuration(os.Getenv("STGCBLOCKSEVERY")); err == nil {
  31. blockGCInterval = dur
  32. }
  33. }
  34. // Lowlevel is the lowest level database interface. It has a very simple
  35. // purpose: hold the actual backend database, and the in-memory state
  36. // that belong to that database. In the same way that a single on disk
  37. // database can only be opened once, there should be only one Lowlevel for
  38. // any given backend.
  39. type Lowlevel struct {
  40. backend.Backend
  41. folderIdx *smallIndex
  42. deviceIdx *smallIndex
  43. keyer keyer
  44. gcMut sync.RWMutex
  45. gcKeyCount int
  46. gcStop chan struct{}
  47. }
  48. func NewLowlevel(backend backend.Backend) *Lowlevel {
  49. db := &Lowlevel{
  50. Backend: backend,
  51. folderIdx: newSmallIndex(backend, []byte{KeyTypeFolderIdx}),
  52. deviceIdx: newSmallIndex(backend, []byte{KeyTypeDeviceIdx}),
  53. gcMut: sync.NewRWMutex(),
  54. gcStop: make(chan struct{}),
  55. }
  56. db.keyer = newDefaultKeyer(db.folderIdx, db.deviceIdx)
  57. go db.gcRunner()
  58. return db
  59. }
  60. func (db *Lowlevel) Close() error {
  61. close(db.gcStop)
  62. return db.Backend.Close()
  63. }
  64. // ListFolders returns the list of folders currently in the database
  65. func (db *Lowlevel) ListFolders() []string {
  66. return db.folderIdx.Values()
  67. }
  68. // updateRemoteFiles adds a list of fileinfos to the database and updates the
  69. // global versionlist and metadata.
  70. func (db *Lowlevel) updateRemoteFiles(folder, device []byte, fs []protocol.FileInfo, meta *metadataTracker) error {
  71. db.gcMut.RLock()
  72. defer db.gcMut.RUnlock()
  73. t, err := db.newReadWriteTransaction()
  74. if err != nil {
  75. return err
  76. }
  77. defer t.close()
  78. var dk, gk, keyBuf []byte
  79. devID := protocol.DeviceIDFromBytes(device)
  80. for _, f := range fs {
  81. name := []byte(f.Name)
  82. dk, err = db.keyer.GenerateDeviceFileKey(dk, folder, device, name)
  83. if err != nil {
  84. return err
  85. }
  86. ef, ok, err := t.getFileTrunc(dk, true)
  87. if err != nil {
  88. return err
  89. }
  90. if ok && unchanged(f, ef) {
  91. continue
  92. }
  93. if ok {
  94. meta.removeFile(devID, ef)
  95. }
  96. meta.addFile(devID, f)
  97. l.Debugf("insert; folder=%q device=%v %v", folder, devID, f)
  98. if err := t.putFile(dk, f); err != nil {
  99. return err
  100. }
  101. gk, err = db.keyer.GenerateGlobalVersionKey(gk, folder, name)
  102. if err != nil {
  103. return err
  104. }
  105. keyBuf, _, err = t.updateGlobal(gk, keyBuf, folder, device, f, meta)
  106. if err != nil {
  107. return err
  108. }
  109. if err := t.Checkpoint(func() error {
  110. return meta.toDB(t, folder)
  111. }); err != nil {
  112. return err
  113. }
  114. }
  115. if err := meta.toDB(t, folder); err != nil {
  116. return err
  117. }
  118. return t.Commit()
  119. }
  120. // updateLocalFiles adds fileinfos to the db, and updates the global versionlist,
  121. // metadata, sequence and blockmap buckets.
  122. func (db *Lowlevel) updateLocalFiles(folder []byte, fs []protocol.FileInfo, meta *metadataTracker) error {
  123. db.gcMut.RLock()
  124. defer db.gcMut.RUnlock()
  125. t, err := db.newReadWriteTransaction()
  126. if err != nil {
  127. return err
  128. }
  129. defer t.close()
  130. var dk, gk, keyBuf []byte
  131. blockBuf := make([]byte, 4)
  132. for _, f := range fs {
  133. name := []byte(f.Name)
  134. dk, err = db.keyer.GenerateDeviceFileKey(dk, folder, protocol.LocalDeviceID[:], name)
  135. if err != nil {
  136. return err
  137. }
  138. ef, ok, err := t.getFileByKey(dk)
  139. if err != nil {
  140. return err
  141. }
  142. if ok && unchanged(f, ef) {
  143. continue
  144. }
  145. if ok {
  146. if !ef.IsDirectory() && !ef.IsDeleted() && !ef.IsInvalid() {
  147. for _, block := range ef.Blocks {
  148. keyBuf, err = db.keyer.GenerateBlockMapKey(keyBuf, folder, block.Hash, name)
  149. if err != nil {
  150. return err
  151. }
  152. if err := t.Delete(keyBuf); err != nil {
  153. return err
  154. }
  155. }
  156. }
  157. keyBuf, err = db.keyer.GenerateSequenceKey(keyBuf, folder, ef.SequenceNo())
  158. if err != nil {
  159. return err
  160. }
  161. if err := t.Delete(keyBuf); err != nil {
  162. return err
  163. }
  164. l.Debugf("removing sequence; folder=%q sequence=%v %v", folder, ef.SequenceNo(), ef.FileName())
  165. }
  166. f.Sequence = meta.nextLocalSeq()
  167. if ok {
  168. meta.removeFile(protocol.LocalDeviceID, ef)
  169. }
  170. meta.addFile(protocol.LocalDeviceID, f)
  171. l.Debugf("insert (local); folder=%q %v", folder, f)
  172. if err := t.putFile(dk, f); err != nil {
  173. return err
  174. }
  175. gk, err = db.keyer.GenerateGlobalVersionKey(gk, folder, []byte(f.Name))
  176. if err != nil {
  177. return err
  178. }
  179. keyBuf, _, err = t.updateGlobal(gk, keyBuf, folder, protocol.LocalDeviceID[:], f, meta)
  180. if err != nil {
  181. return err
  182. }
  183. keyBuf, err = db.keyer.GenerateSequenceKey(keyBuf, folder, f.Sequence)
  184. if err != nil {
  185. return err
  186. }
  187. if err := t.Put(keyBuf, dk); err != nil {
  188. return err
  189. }
  190. l.Debugf("adding sequence; folder=%q sequence=%v %v", folder, f.Sequence, f.Name)
  191. if !f.IsDirectory() && !f.IsDeleted() && !f.IsInvalid() {
  192. for i, block := range f.Blocks {
  193. binary.BigEndian.PutUint32(blockBuf, uint32(i))
  194. keyBuf, err = db.keyer.GenerateBlockMapKey(keyBuf, folder, block.Hash, name)
  195. if err != nil {
  196. return err
  197. }
  198. if err := t.Put(keyBuf, blockBuf); err != nil {
  199. return err
  200. }
  201. }
  202. }
  203. if err := t.Checkpoint(func() error {
  204. return meta.toDB(t, folder)
  205. }); err != nil {
  206. return err
  207. }
  208. }
  209. if err := meta.toDB(t, folder); err != nil {
  210. return err
  211. }
  212. return t.Commit()
  213. }
  214. func (db *Lowlevel) dropFolder(folder []byte) error {
  215. db.gcMut.RLock()
  216. defer db.gcMut.RUnlock()
  217. t, err := db.newReadWriteTransaction()
  218. if err != nil {
  219. return err
  220. }
  221. defer t.close()
  222. // Remove all items related to the given folder from the device->file bucket
  223. k0, err := db.keyer.GenerateDeviceFileKey(nil, folder, nil, nil)
  224. if err != nil {
  225. return err
  226. }
  227. if err := t.deleteKeyPrefix(k0.WithoutNameAndDevice()); err != nil {
  228. return err
  229. }
  230. // Remove all sequences related to the folder
  231. k1, err := db.keyer.GenerateSequenceKey(nil, folder, 0)
  232. if err != nil {
  233. return err
  234. }
  235. if err := t.deleteKeyPrefix(k1.WithoutSequence()); err != nil {
  236. return err
  237. }
  238. // Remove all items related to the given folder from the global bucket
  239. k2, err := db.keyer.GenerateGlobalVersionKey(nil, folder, nil)
  240. if err != nil {
  241. return err
  242. }
  243. if err := t.deleteKeyPrefix(k2.WithoutName()); err != nil {
  244. return err
  245. }
  246. // Remove all needs related to the folder
  247. k3, err := db.keyer.GenerateNeedFileKey(nil, folder, nil)
  248. if err != nil {
  249. return err
  250. }
  251. if err := t.deleteKeyPrefix(k3.WithoutName()); err != nil {
  252. return err
  253. }
  254. // Remove the blockmap of the folder
  255. k4, err := db.keyer.GenerateBlockMapKey(nil, folder, nil, nil)
  256. if err != nil {
  257. return err
  258. }
  259. if err := t.deleteKeyPrefix(k4.WithoutHashAndName()); err != nil {
  260. return err
  261. }
  262. return t.Commit()
  263. }
  264. func (db *Lowlevel) dropDeviceFolder(device, folder []byte, meta *metadataTracker) error {
  265. db.gcMut.RLock()
  266. defer db.gcMut.RUnlock()
  267. t, err := db.newReadWriteTransaction()
  268. if err != nil {
  269. return err
  270. }
  271. defer t.close()
  272. key, err := db.keyer.GenerateDeviceFileKey(nil, folder, device, nil)
  273. if err != nil {
  274. return err
  275. }
  276. dbi, err := t.NewPrefixIterator(key)
  277. if err != nil {
  278. return err
  279. }
  280. var gk, keyBuf []byte
  281. for dbi.Next() {
  282. name := db.keyer.NameFromDeviceFileKey(dbi.Key())
  283. gk, err = db.keyer.GenerateGlobalVersionKey(gk, folder, name)
  284. if err != nil {
  285. return err
  286. }
  287. keyBuf, err = t.removeFromGlobal(gk, keyBuf, folder, device, name, meta)
  288. if err != nil {
  289. return err
  290. }
  291. if err := t.Delete(dbi.Key()); err != nil {
  292. return err
  293. }
  294. if err := t.Checkpoint(); err != nil {
  295. return err
  296. }
  297. }
  298. if err := dbi.Error(); err != nil {
  299. return err
  300. }
  301. dbi.Release()
  302. if bytes.Equal(device, protocol.LocalDeviceID[:]) {
  303. key, err := db.keyer.GenerateBlockMapKey(nil, folder, nil, nil)
  304. if err != nil {
  305. return err
  306. }
  307. if err := t.deleteKeyPrefix(key.WithoutHashAndName()); err != nil {
  308. return err
  309. }
  310. }
  311. return t.Commit()
  312. }
  313. func (db *Lowlevel) checkGlobals(folder []byte, meta *metadataTracker) error {
  314. t, err := db.newReadWriteTransaction()
  315. if err != nil {
  316. return err
  317. }
  318. defer t.close()
  319. key, err := db.keyer.GenerateGlobalVersionKey(nil, folder, nil)
  320. if err != nil {
  321. return err
  322. }
  323. dbi, err := t.NewPrefixIterator(key.WithoutName())
  324. if err != nil {
  325. return err
  326. }
  327. defer dbi.Release()
  328. var dk []byte
  329. for dbi.Next() {
  330. vl, ok := unmarshalVersionList(dbi.Value())
  331. if !ok {
  332. continue
  333. }
  334. // Check the global version list for consistency. An issue in previous
  335. // versions of goleveldb could result in reordered writes so that
  336. // there are global entries pointing to no longer existing files. Here
  337. // we find those and clear them out.
  338. name := db.keyer.NameFromGlobalVersionKey(dbi.Key())
  339. var newVL VersionList
  340. for i, version := range vl.Versions {
  341. dk, err = db.keyer.GenerateDeviceFileKey(dk, folder, version.Device, name)
  342. if err != nil {
  343. return err
  344. }
  345. _, err := t.Get(dk)
  346. if backend.IsNotFound(err) {
  347. continue
  348. }
  349. if err != nil {
  350. return err
  351. }
  352. newVL.Versions = append(newVL.Versions, version)
  353. if i == 0 {
  354. if fi, ok, err := t.getFileByKey(dk); err != nil {
  355. return err
  356. } else if ok {
  357. meta.addFile(protocol.GlobalDeviceID, fi)
  358. }
  359. }
  360. }
  361. if len(newVL.Versions) != len(vl.Versions) {
  362. if err := t.Put(dbi.Key(), mustMarshal(&newVL)); err != nil {
  363. return err
  364. }
  365. }
  366. }
  367. if err := dbi.Error(); err != nil {
  368. return err
  369. }
  370. l.Debugf("db check completed for %q", folder)
  371. return t.Commit()
  372. }
  373. func (db *Lowlevel) getIndexID(device, folder []byte) (protocol.IndexID, error) {
  374. key, err := db.keyer.GenerateIndexIDKey(nil, device, folder)
  375. if err != nil {
  376. return 0, err
  377. }
  378. cur, err := db.Get(key)
  379. if backend.IsNotFound(err) {
  380. return 0, nil
  381. } else if err != nil {
  382. return 0, err
  383. }
  384. var id protocol.IndexID
  385. if err := id.Unmarshal(cur); err != nil {
  386. return 0, nil
  387. }
  388. return id, nil
  389. }
  390. func (db *Lowlevel) setIndexID(device, folder []byte, id protocol.IndexID) error {
  391. bs, _ := id.Marshal() // marshalling can't fail
  392. key, err := db.keyer.GenerateIndexIDKey(nil, device, folder)
  393. if err != nil {
  394. return err
  395. }
  396. return db.Put(key, bs)
  397. }
  398. func (db *Lowlevel) dropMtimes(folder []byte) error {
  399. key, err := db.keyer.GenerateMtimesKey(nil, folder)
  400. if err != nil {
  401. return err
  402. }
  403. return db.dropPrefix(key)
  404. }
  405. func (db *Lowlevel) dropFolderMeta(folder []byte) error {
  406. key, err := db.keyer.GenerateFolderMetaKey(nil, folder)
  407. if err != nil {
  408. return err
  409. }
  410. return db.dropPrefix(key)
  411. }
  412. func (db *Lowlevel) dropPrefix(prefix []byte) error {
  413. t, err := db.newReadWriteTransaction()
  414. if err != nil {
  415. return err
  416. }
  417. defer t.close()
  418. if err := t.deleteKeyPrefix(prefix); err != nil {
  419. return err
  420. }
  421. return t.Commit()
  422. }
  423. func (db *Lowlevel) gcRunner() {
  424. t := time.NewTimer(db.timeUntil(blockGCTimeKey, blockGCInterval))
  425. defer t.Stop()
  426. for {
  427. select {
  428. case <-db.gcStop:
  429. return
  430. case <-t.C:
  431. if err := db.gcBlocks(); err != nil {
  432. l.Warnln("Database block GC failed:", err)
  433. }
  434. db.recordTime(blockGCTimeKey)
  435. t.Reset(db.timeUntil(blockGCTimeKey, blockGCInterval))
  436. }
  437. }
  438. }
  439. // recordTime records the current time under the given key, affecting the
  440. // next call to timeUntil with the same key.
  441. func (db *Lowlevel) recordTime(key string) {
  442. miscDB := NewMiscDataNamespace(db)
  443. _ = miscDB.PutInt64(key, time.Now().Unix()) // error wilfully ignored
  444. }
  445. // timeUntil returns how long we should wait until the next interval, or
  446. // zero if it should happen directly.
  447. func (db *Lowlevel) timeUntil(key string, every time.Duration) time.Duration {
  448. miscDB := NewMiscDataNamespace(db)
  449. lastTime, _, _ := miscDB.Int64(key) // error wilfully ignored
  450. nextTime := time.Unix(lastTime, 0).Add(every)
  451. sleepTime := time.Until(nextTime)
  452. if sleepTime < 0 {
  453. sleepTime = 0
  454. }
  455. return sleepTime
  456. }
  457. func (db *Lowlevel) gcBlocks() error {
  458. // The block GC uses a bloom filter to track used block lists. This means
  459. // iterating over all items, adding their block lists to the filter, then
  460. // iterating over the block lists and removing those that don't match the
  461. // filter. The filter will give false positives so we will keep around one
  462. // percent of block lists that we don't really need (at most).
  463. //
  464. // Block GC needs to run when there are no modifications to the FileInfos or
  465. // block lists.
  466. db.gcMut.Lock()
  467. defer db.gcMut.Unlock()
  468. t, err := db.newReadWriteTransaction()
  469. if err != nil {
  470. return err
  471. }
  472. defer t.Release()
  473. // Set up the bloom filter with the initial capacity and false positive
  474. // rate, or higher capacity if we've done this before and seen lots of block
  475. // lists.
  476. capacity := blockGCBloomCapacity
  477. if db.gcKeyCount > capacity {
  478. capacity = db.gcKeyCount
  479. }
  480. filter := bloom.NewWithEstimates(uint(capacity), blockGCBloomFalsePositiveRate)
  481. // Iterate the FileInfos, unmarshal the blocks hashes and add them to
  482. // the filter.
  483. it, err := db.NewPrefixIterator([]byte{KeyTypeDevice})
  484. if err != nil {
  485. return err
  486. }
  487. for it.Next() {
  488. var bl BlocksHashOnly
  489. if err := bl.Unmarshal(it.Value()); err != nil {
  490. return err
  491. }
  492. if len(bl.BlocksHash) > 0 {
  493. filter.Add(bl.BlocksHash)
  494. }
  495. }
  496. it.Release()
  497. if err := it.Error(); err != nil {
  498. return err
  499. }
  500. // Iterate over block lists, removing keys with hashes that don't match
  501. // the filter.
  502. it, err = db.NewPrefixIterator([]byte{KeyTypeBlockList})
  503. if err != nil {
  504. return err
  505. }
  506. matched := 0
  507. for it.Next() {
  508. key := blockListKey(it.Key())
  509. if filter.Test(key.BlocksHash()) {
  510. matched++
  511. continue
  512. }
  513. if err := t.Delete(key); err != nil {
  514. return err
  515. }
  516. }
  517. it.Release()
  518. if err := it.Error(); err != nil {
  519. return err
  520. }
  521. // Remember the number of unique keys we kept until the next pass.
  522. db.gcKeyCount = matched
  523. if err := t.Commit(); err != nil {
  524. return err
  525. }
  526. return db.Compact()
  527. }
  528. func unmarshalVersionList(data []byte) (VersionList, bool) {
  529. var vl VersionList
  530. if err := vl.Unmarshal(data); err != nil {
  531. l.Debugln("unmarshal error:", err)
  532. return VersionList{}, false
  533. }
  534. if len(vl.Versions) == 0 {
  535. l.Debugln("empty version list")
  536. return VersionList{}, false
  537. }
  538. return vl, true
  539. }
  540. // unchanged checks if two files are the same and thus don't need to be updated.
  541. // Local flags or the invalid bit might change without the version
  542. // being bumped.
  543. func unchanged(nf, ef FileIntf) bool {
  544. return ef.FileVersion().Equal(nf.FileVersion()) && ef.IsInvalid() == nf.IsInvalid() && ef.FileLocalFlags() == nf.FileLocalFlags()
  545. }