set.go 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569
  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 provides a set type to track local/remote files with newness
  7. // checks. We must do a certain amount of normalization in here. We will get
  8. // fed paths with either native or wire-format separators and encodings
  9. // depending on who calls us. We transform paths to wire-format (NFC and
  10. // slashes) on the way to the database, and transform to native format
  11. // (varying separator and encoding) on the way back out.
  12. package db
  13. import (
  14. "os"
  15. "time"
  16. "github.com/syncthing/syncthing/lib/db/backend"
  17. "github.com/syncthing/syncthing/lib/fs"
  18. "github.com/syncthing/syncthing/lib/osutil"
  19. "github.com/syncthing/syncthing/lib/protocol"
  20. "github.com/syncthing/syncthing/lib/sync"
  21. )
  22. type FileSet struct {
  23. folder string
  24. fs fs.Filesystem
  25. db *Lowlevel
  26. meta *metadataTracker
  27. updateMutex sync.Mutex // protects database updates and the corresponding metadata changes
  28. }
  29. // FileIntf is the set of methods implemented by both protocol.FileInfo and
  30. // FileInfoTruncated.
  31. type FileIntf interface {
  32. FileSize() int64
  33. FileName() string
  34. FileLocalFlags() uint32
  35. IsDeleted() bool
  36. IsInvalid() bool
  37. IsIgnored() bool
  38. IsUnsupported() bool
  39. MustRescan() bool
  40. IsReceiveOnlyChanged() bool
  41. IsDirectory() bool
  42. IsSymlink() bool
  43. ShouldConflict() bool
  44. HasPermissionBits() bool
  45. SequenceNo() int64
  46. BlockSize() int
  47. FileVersion() protocol.Vector
  48. FileType() protocol.FileInfoType
  49. FilePermissions() uint32
  50. FileModifiedBy() protocol.ShortID
  51. ModTime() time.Time
  52. }
  53. // The Iterator is called with either a protocol.FileInfo or a
  54. // FileInfoTruncated (depending on the method) and returns true to
  55. // continue iteration, false to stop.
  56. type Iterator func(f FileIntf) bool
  57. var databaseRecheckInterval = 30 * 24 * time.Hour
  58. func init() {
  59. if dur, err := time.ParseDuration(os.Getenv("STRECHECKDBEVERY")); err == nil {
  60. databaseRecheckInterval = dur
  61. }
  62. }
  63. func NewFileSet(folder string, fs fs.Filesystem, db *Lowlevel) *FileSet {
  64. var s = &FileSet{
  65. folder: folder,
  66. fs: fs,
  67. db: db,
  68. meta: newMetadataTracker(),
  69. updateMutex: sync.NewMutex(),
  70. }
  71. recalc := func() *FileSet {
  72. if err := s.recalcMeta(); backend.IsClosed(err) {
  73. return nil
  74. } else if err != nil {
  75. panic(err)
  76. }
  77. return s
  78. }
  79. if err := s.meta.fromDB(db, []byte(folder)); err != nil {
  80. l.Infof("No stored folder metadata for %q; recalculating", folder)
  81. return recalc()
  82. }
  83. if metaOK := s.verifyLocalSequence(); !metaOK {
  84. l.Infof("Stored folder metadata for %q is out of date after crash; recalculating", folder)
  85. return recalc()
  86. }
  87. if age := time.Since(s.meta.Created()); age > databaseRecheckInterval {
  88. l.Infof("Stored folder metadata for %q is %v old; recalculating", folder, age)
  89. return recalc()
  90. }
  91. return s
  92. }
  93. func (s *FileSet) recalcMeta() error {
  94. s.meta = newMetadataTracker()
  95. if err := s.db.checkGlobals([]byte(s.folder), s.meta); err != nil {
  96. return err
  97. }
  98. t, err := s.db.newReadWriteTransaction()
  99. if err != nil {
  100. return err
  101. }
  102. var deviceID protocol.DeviceID
  103. err = t.withAllFolderTruncated([]byte(s.folder), func(device []byte, f FileInfoTruncated) bool {
  104. copy(deviceID[:], device)
  105. s.meta.addFile(deviceID, f)
  106. return true
  107. })
  108. if err != nil {
  109. return err
  110. }
  111. s.meta.SetCreated()
  112. return s.meta.toDB(s.db, []byte(s.folder))
  113. }
  114. // Verify the local sequence number from actual sequence entries. Returns
  115. // true if it was all good, or false if a fixup was necessary.
  116. func (s *FileSet) verifyLocalSequence() bool {
  117. // Walk the sequence index from the current (supposedly) highest
  118. // sequence number and raise the alarm if we get anything. This recovers
  119. // from the occasion where we have written sequence entries to disk but
  120. // not yet written new metadata to disk.
  121. //
  122. // Note that we can have the same thing happen for remote devices but
  123. // there it's not a problem -- we'll simply advertise a lower sequence
  124. // number than we've actually seen and receive some duplicate updates
  125. // and then be in sync again.
  126. curSeq := s.meta.Sequence(protocol.LocalDeviceID)
  127. snap := s.Snapshot()
  128. ok := true
  129. snap.WithHaveSequence(curSeq+1, func(fi FileIntf) bool {
  130. ok = false // we got something, which we should not have
  131. return false
  132. })
  133. snap.Release()
  134. return ok
  135. }
  136. func (s *FileSet) Drop(device protocol.DeviceID) {
  137. l.Debugf("%s Drop(%v)", s.folder, device)
  138. s.updateMutex.Lock()
  139. defer s.updateMutex.Unlock()
  140. if err := s.db.dropDeviceFolder(device[:], []byte(s.folder), s.meta); backend.IsClosed(err) {
  141. return
  142. } else if err != nil {
  143. panic(err)
  144. }
  145. if device == protocol.LocalDeviceID {
  146. s.meta.resetCounts(device)
  147. // We deliberately do not reset the sequence number here. Dropping
  148. // all files for the local device ID only happens in testing - which
  149. // expects the sequence to be retained, like an old Replace() of all
  150. // files would do. However, if we ever did it "in production" we
  151. // would anyway want to retain the sequence for delta indexes to be
  152. // happy.
  153. } else {
  154. // Here, on the other hand, we want to make sure that any file
  155. // announced from the remote is newer than our current sequence
  156. // number.
  157. s.meta.resetAll(device)
  158. }
  159. if err := s.meta.toDB(s.db, []byte(s.folder)); backend.IsClosed(err) {
  160. return
  161. } else if err != nil {
  162. panic(err)
  163. }
  164. }
  165. func (s *FileSet) Update(device protocol.DeviceID, fs []protocol.FileInfo) {
  166. l.Debugf("%s Update(%v, [%d])", s.folder, device, len(fs))
  167. // do not modify fs in place, it is still used in outer scope
  168. fs = append([]protocol.FileInfo(nil), fs...)
  169. normalizeFilenames(fs)
  170. s.updateMutex.Lock()
  171. defer s.updateMutex.Unlock()
  172. defer func() {
  173. if err := s.meta.toDB(s.db, []byte(s.folder)); err != nil && !backend.IsClosed(err) {
  174. panic(err)
  175. }
  176. }()
  177. if device == protocol.LocalDeviceID {
  178. // For the local device we have a bunch of metadata to track.
  179. if err := s.db.updateLocalFiles([]byte(s.folder), fs, s.meta); err != nil && !backend.IsClosed(err) {
  180. panic(err)
  181. }
  182. return
  183. }
  184. // Easy case, just update the files and we're done.
  185. if err := s.db.updateRemoteFiles([]byte(s.folder), device[:], fs, s.meta); err != nil && !backend.IsClosed(err) {
  186. panic(err)
  187. }
  188. }
  189. type Snapshot struct {
  190. folder string
  191. t readOnlyTransaction
  192. meta *countsMap
  193. }
  194. func (s *FileSet) Snapshot() *Snapshot {
  195. t, err := s.db.newReadOnlyTransaction()
  196. if err != nil {
  197. panic(err)
  198. }
  199. return &Snapshot{
  200. folder: s.folder,
  201. t: t,
  202. meta: s.meta.Snapshot(),
  203. }
  204. }
  205. func (s *Snapshot) Release() {
  206. s.t.close()
  207. }
  208. func (s *Snapshot) WithNeed(device protocol.DeviceID, fn Iterator) {
  209. l.Debugf("%s WithNeed(%v)", s.folder, device)
  210. if err := s.t.withNeed([]byte(s.folder), device[:], false, nativeFileIterator(fn)); err != nil && !backend.IsClosed(err) {
  211. panic(err)
  212. }
  213. }
  214. func (s *Snapshot) WithNeedTruncated(device protocol.DeviceID, fn Iterator) {
  215. l.Debugf("%s WithNeedTruncated(%v)", s.folder, device)
  216. if err := s.t.withNeed([]byte(s.folder), device[:], true, nativeFileIterator(fn)); err != nil && !backend.IsClosed(err) {
  217. panic(err)
  218. }
  219. }
  220. func (s *Snapshot) WithHave(device protocol.DeviceID, fn Iterator) {
  221. l.Debugf("%s WithHave(%v)", s.folder, device)
  222. if err := s.t.withHave([]byte(s.folder), device[:], nil, false, nativeFileIterator(fn)); err != nil && !backend.IsClosed(err) {
  223. panic(err)
  224. }
  225. }
  226. func (s *Snapshot) WithHaveTruncated(device protocol.DeviceID, fn Iterator) {
  227. l.Debugf("%s WithHaveTruncated(%v)", s.folder, device)
  228. if err := s.t.withHave([]byte(s.folder), device[:], nil, true, nativeFileIterator(fn)); err != nil && !backend.IsClosed(err) {
  229. panic(err)
  230. }
  231. }
  232. func (s *Snapshot) WithHaveSequence(startSeq int64, fn Iterator) {
  233. l.Debugf("%s WithHaveSequence(%v)", s.folder, startSeq)
  234. if err := s.t.withHaveSequence([]byte(s.folder), startSeq, nativeFileIterator(fn)); err != nil && !backend.IsClosed(err) {
  235. panic(err)
  236. }
  237. }
  238. // Except for an item with a path equal to prefix, only children of prefix are iterated.
  239. // E.g. for prefix "dir", "dir/file" is iterated, but "dir.file" is not.
  240. func (s *Snapshot) WithPrefixedHaveTruncated(device protocol.DeviceID, prefix string, fn Iterator) {
  241. l.Debugf(`%s WithPrefixedHaveTruncated(%v, "%v")`, s.folder, device, prefix)
  242. if err := s.t.withHave([]byte(s.folder), device[:], []byte(osutil.NormalizedFilename(prefix)), true, nativeFileIterator(fn)); err != nil && !backend.IsClosed(err) {
  243. panic(err)
  244. }
  245. }
  246. func (s *Snapshot) WithGlobal(fn Iterator) {
  247. l.Debugf("%s WithGlobal()", s.folder)
  248. if err := s.t.withGlobal([]byte(s.folder), nil, false, nativeFileIterator(fn)); err != nil && !backend.IsClosed(err) {
  249. panic(err)
  250. }
  251. }
  252. func (s *Snapshot) WithGlobalTruncated(fn Iterator) {
  253. l.Debugf("%s WithGlobalTruncated()", s.folder)
  254. if err := s.t.withGlobal([]byte(s.folder), nil, true, nativeFileIterator(fn)); err != nil && !backend.IsClosed(err) {
  255. panic(err)
  256. }
  257. }
  258. // Except for an item with a path equal to prefix, only children of prefix are iterated.
  259. // E.g. for prefix "dir", "dir/file" is iterated, but "dir.file" is not.
  260. func (s *Snapshot) WithPrefixedGlobalTruncated(prefix string, fn Iterator) {
  261. l.Debugf(`%s WithPrefixedGlobalTruncated("%v")`, s.folder, prefix)
  262. if err := s.t.withGlobal([]byte(s.folder), []byte(osutil.NormalizedFilename(prefix)), true, nativeFileIterator(fn)); err != nil && !backend.IsClosed(err) {
  263. panic(err)
  264. }
  265. }
  266. func (s *Snapshot) Get(device protocol.DeviceID, file string) (protocol.FileInfo, bool) {
  267. f, ok, err := s.t.getFile([]byte(s.folder), device[:], []byte(osutil.NormalizedFilename(file)))
  268. if backend.IsClosed(err) {
  269. return protocol.FileInfo{}, false
  270. } else if err != nil {
  271. panic(err)
  272. }
  273. f.Name = osutil.NativeFilename(f.Name)
  274. return f, ok
  275. }
  276. func (s *Snapshot) GetGlobal(file string) (protocol.FileInfo, bool) {
  277. _, fi, ok, err := s.t.getGlobal(nil, []byte(s.folder), []byte(osutil.NormalizedFilename(file)), false)
  278. if backend.IsClosed(err) {
  279. return protocol.FileInfo{}, false
  280. } else if err != nil {
  281. panic(err)
  282. }
  283. if !ok {
  284. return protocol.FileInfo{}, false
  285. }
  286. f := fi.(protocol.FileInfo)
  287. f.Name = osutil.NativeFilename(f.Name)
  288. return f, true
  289. }
  290. func (s *Snapshot) GetGlobalTruncated(file string) (FileInfoTruncated, bool) {
  291. _, fi, ok, err := s.t.getGlobal(nil, []byte(s.folder), []byte(osutil.NormalizedFilename(file)), true)
  292. if backend.IsClosed(err) {
  293. return FileInfoTruncated{}, false
  294. } else if err != nil {
  295. panic(err)
  296. }
  297. if !ok {
  298. return FileInfoTruncated{}, false
  299. }
  300. f := fi.(FileInfoTruncated)
  301. f.Name = osutil.NativeFilename(f.Name)
  302. return f, true
  303. }
  304. func (s *Snapshot) Availability(file string) []protocol.DeviceID {
  305. av, err := s.t.availability([]byte(s.folder), []byte(osutil.NormalizedFilename(file)))
  306. if backend.IsClosed(err) {
  307. return nil
  308. } else if err != nil {
  309. panic(err)
  310. }
  311. return av
  312. }
  313. func (s *Snapshot) Sequence(device protocol.DeviceID) int64 {
  314. return s.meta.Counts(device, 0).Sequence
  315. }
  316. // RemoteSequence returns the change version for the given folder, as
  317. // sent by remote peers. This is guaranteed to increment if the contents of
  318. // the remote or global folder has changed.
  319. func (s *Snapshot) RemoteSequence() int64 {
  320. var ver int64
  321. for _, device := range s.meta.devices() {
  322. ver += s.Sequence(device)
  323. }
  324. return ver
  325. }
  326. func (s *Snapshot) LocalSize() Counts {
  327. local := s.meta.Counts(protocol.LocalDeviceID, 0)
  328. return local.Add(s.ReceiveOnlyChangedSize())
  329. }
  330. func (s *Snapshot) ReceiveOnlyChangedSize() Counts {
  331. return s.meta.Counts(protocol.LocalDeviceID, protocol.FlagLocalReceiveOnly)
  332. }
  333. func (s *Snapshot) GlobalSize() Counts {
  334. global := s.meta.Counts(protocol.GlobalDeviceID, 0)
  335. recvOnlyChanged := s.meta.Counts(protocol.GlobalDeviceID, protocol.FlagLocalReceiveOnly)
  336. return global.Add(recvOnlyChanged)
  337. }
  338. func (s *Snapshot) NeedSize() Counts {
  339. var result Counts
  340. s.WithNeedTruncated(protocol.LocalDeviceID, func(f FileIntf) bool {
  341. switch {
  342. case f.IsDeleted():
  343. result.Deleted++
  344. case f.IsDirectory():
  345. result.Directories++
  346. case f.IsSymlink():
  347. result.Symlinks++
  348. default:
  349. result.Files++
  350. result.Bytes += f.FileSize()
  351. }
  352. return true
  353. })
  354. return result
  355. }
  356. // LocalChangedFiles returns a paginated list of currently needed files in
  357. // progress, queued, and to be queued on next puller iteration, as well as the
  358. // total number of files currently needed.
  359. func (s *Snapshot) LocalChangedFiles(page, perpage int) []FileInfoTruncated {
  360. if s.ReceiveOnlyChangedSize().TotalItems() == 0 {
  361. return nil
  362. }
  363. files := make([]FileInfoTruncated, 0, perpage)
  364. skip := (page - 1) * perpage
  365. get := perpage
  366. s.WithHaveTruncated(protocol.LocalDeviceID, func(f FileIntf) bool {
  367. if !f.IsReceiveOnlyChanged() {
  368. return true
  369. }
  370. if skip > 0 {
  371. skip--
  372. return true
  373. }
  374. ft := f.(FileInfoTruncated)
  375. files = append(files, ft)
  376. get--
  377. return get > 0
  378. })
  379. return files
  380. }
  381. // RemoteNeedFolderFiles returns paginated list of currently needed files in
  382. // progress, queued, and to be queued on next puller iteration, as well as the
  383. // total number of files currently needed.
  384. func (s *Snapshot) RemoteNeedFolderFiles(device protocol.DeviceID, page, perpage int) []FileInfoTruncated {
  385. files := make([]FileInfoTruncated, 0, perpage)
  386. skip := (page - 1) * perpage
  387. get := perpage
  388. s.WithNeedTruncated(device, func(f FileIntf) bool {
  389. if skip > 0 {
  390. skip--
  391. return true
  392. }
  393. files = append(files, f.(FileInfoTruncated))
  394. get--
  395. return get > 0
  396. })
  397. return files
  398. }
  399. func (s *FileSet) Sequence(device protocol.DeviceID) int64 {
  400. return s.meta.Sequence(device)
  401. }
  402. func (s *FileSet) IndexID(device protocol.DeviceID) protocol.IndexID {
  403. id, err := s.db.getIndexID(device[:], []byte(s.folder))
  404. if backend.IsClosed(err) {
  405. return 0
  406. } else if err != nil {
  407. panic(err)
  408. }
  409. if id == 0 && device == protocol.LocalDeviceID {
  410. // No index ID set yet. We create one now.
  411. id = protocol.NewIndexID()
  412. err := s.db.setIndexID(device[:], []byte(s.folder), id)
  413. if backend.IsClosed(err) {
  414. return 0
  415. } else if err != nil {
  416. panic(err)
  417. }
  418. }
  419. return id
  420. }
  421. func (s *FileSet) SetIndexID(device protocol.DeviceID, id protocol.IndexID) {
  422. if device == protocol.LocalDeviceID {
  423. panic("do not explicitly set index ID for local device")
  424. }
  425. if err := s.db.setIndexID(device[:], []byte(s.folder), id); err != nil && !backend.IsClosed(err) {
  426. panic(err)
  427. }
  428. }
  429. func (s *FileSet) MtimeFS() *fs.MtimeFS {
  430. prefix, err := s.db.keyer.GenerateMtimesKey(nil, []byte(s.folder))
  431. if backend.IsClosed(err) {
  432. return nil
  433. } else if err != nil {
  434. panic(err)
  435. }
  436. kv := NewNamespacedKV(s.db, string(prefix))
  437. return fs.NewMtimeFS(s.fs, kv)
  438. }
  439. func (s *FileSet) ListDevices() []protocol.DeviceID {
  440. return s.meta.devices()
  441. }
  442. // DropFolder clears out all information related to the given folder from the
  443. // database.
  444. func DropFolder(db *Lowlevel, folder string) {
  445. droppers := []func([]byte) error{
  446. db.dropFolder,
  447. db.dropMtimes,
  448. db.dropFolderMeta,
  449. db.folderIdx.Delete,
  450. }
  451. for _, drop := range droppers {
  452. if err := drop([]byte(folder)); backend.IsClosed(err) {
  453. return
  454. } else if err != nil {
  455. panic(err)
  456. }
  457. }
  458. }
  459. // DropDeltaIndexIDs removes all delta index IDs from the database.
  460. // This will cause a full index transmission on the next connection.
  461. func DropDeltaIndexIDs(db *Lowlevel) {
  462. dbi, err := db.NewPrefixIterator([]byte{KeyTypeIndexID})
  463. if backend.IsClosed(err) {
  464. return
  465. } else if err != nil {
  466. panic(err)
  467. }
  468. defer dbi.Release()
  469. for dbi.Next() {
  470. if err := db.Delete(dbi.Key()); err != nil && !backend.IsClosed(err) {
  471. panic(err)
  472. }
  473. }
  474. if err := dbi.Error(); err != nil && !backend.IsClosed(err) {
  475. panic(err)
  476. }
  477. }
  478. func normalizeFilenames(fs []protocol.FileInfo) {
  479. for i := range fs {
  480. fs[i].Name = osutil.NormalizedFilename(fs[i].Name)
  481. }
  482. }
  483. func nativeFileIterator(fn Iterator) Iterator {
  484. return func(fi FileIntf) bool {
  485. switch f := fi.(type) {
  486. case protocol.FileInfo:
  487. f.Name = osutil.NativeFilename(f.Name)
  488. return fn(f)
  489. case FileInfoTruncated:
  490. f.Name = osutil.NativeFilename(f.Name)
  491. return fn(f)
  492. default:
  493. panic("unknown interface type")
  494. }
  495. }
  496. }