lowlevel.go 15 KB

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