transactions.go 26 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002
  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. "errors"
  10. "fmt"
  11. "github.com/syncthing/syncthing/lib/db/backend"
  12. "github.com/syncthing/syncthing/lib/events"
  13. "github.com/syncthing/syncthing/lib/osutil"
  14. "github.com/syncthing/syncthing/lib/protocol"
  15. )
  16. var (
  17. errEntryFromGlobalMissing = errors.New("device present in global list but missing as device/fileinfo entry")
  18. errEmptyGlobal = errors.New("no versions in global list")
  19. errEmptyFileVersion = errors.New("no devices in global file version")
  20. )
  21. // A readOnlyTransaction represents a database snapshot.
  22. type readOnlyTransaction struct {
  23. backend.ReadTransaction
  24. keyer keyer
  25. evLogger events.Logger
  26. }
  27. func (db *Lowlevel) newReadOnlyTransaction() (readOnlyTransaction, error) {
  28. tran, err := db.NewReadTransaction()
  29. if err != nil {
  30. return readOnlyTransaction{}, err
  31. }
  32. return db.readOnlyTransactionFromBackendTransaction(tran), nil
  33. }
  34. func (db *Lowlevel) readOnlyTransactionFromBackendTransaction(tran backend.ReadTransaction) readOnlyTransaction {
  35. return readOnlyTransaction{
  36. ReadTransaction: tran,
  37. keyer: db.keyer,
  38. evLogger: db.evLogger,
  39. }
  40. }
  41. func (t readOnlyTransaction) close() {
  42. t.Release()
  43. }
  44. func (t readOnlyTransaction) getFile(folder, device, file []byte) (protocol.FileInfo, bool, error) {
  45. key, err := t.keyer.GenerateDeviceFileKey(nil, folder, device, file)
  46. if err != nil {
  47. return protocol.FileInfo{}, false, err
  48. }
  49. return t.getFileByKey(key)
  50. }
  51. func (t readOnlyTransaction) getFileByKey(key []byte) (protocol.FileInfo, bool, error) {
  52. f, ok, err := t.getFileTrunc(key, false)
  53. if err != nil || !ok {
  54. return protocol.FileInfo{}, false, err
  55. }
  56. return f.(protocol.FileInfo), true, nil
  57. }
  58. func (t readOnlyTransaction) getFileTrunc(key []byte, trunc bool) (protocol.FileIntf, bool, error) {
  59. bs, err := t.Get(key)
  60. if backend.IsNotFound(err) {
  61. return nil, false, nil
  62. }
  63. if err != nil {
  64. return nil, false, err
  65. }
  66. f, err := t.unmarshalTrunc(bs, trunc)
  67. if backend.IsNotFound(err) {
  68. return nil, false, nil
  69. }
  70. if err != nil {
  71. return nil, false, err
  72. }
  73. return f, true, nil
  74. }
  75. func (t readOnlyTransaction) unmarshalTrunc(bs []byte, trunc bool) (protocol.FileIntf, error) {
  76. if trunc {
  77. var tf FileInfoTruncated
  78. err := tf.Unmarshal(bs)
  79. if err != nil {
  80. return nil, err
  81. }
  82. if err := t.fillTruncated(&tf); err != nil {
  83. return nil, err
  84. }
  85. return tf, nil
  86. }
  87. var fi protocol.FileInfo
  88. if err := fi.Unmarshal(bs); err != nil {
  89. return nil, err
  90. }
  91. if err := t.fillFileInfo(&fi); err != nil {
  92. return nil, err
  93. }
  94. return fi, nil
  95. }
  96. type blocksIndirectionError struct {
  97. err error
  98. }
  99. func (e *blocksIndirectionError) Error() string {
  100. return fmt.Sprintf("filling Blocks: %v", e.err)
  101. }
  102. func (e *blocksIndirectionError) Unwrap() error {
  103. return e.err
  104. }
  105. // fillFileInfo follows the (possible) indirection of blocks and version
  106. // vector and fills it out.
  107. func (t readOnlyTransaction) fillFileInfo(fi *protocol.FileInfo) error {
  108. var key []byte
  109. if len(fi.Blocks) == 0 && len(fi.BlocksHash) != 0 {
  110. // The blocks list is indirected and we need to load it.
  111. key = t.keyer.GenerateBlockListKey(key, fi.BlocksHash)
  112. bs, err := t.Get(key)
  113. if err != nil {
  114. return &blocksIndirectionError{err}
  115. }
  116. var bl BlockList
  117. if err := bl.Unmarshal(bs); err != nil {
  118. return err
  119. }
  120. fi.Blocks = bl.Blocks
  121. }
  122. if len(fi.VersionHash) != 0 {
  123. key = t.keyer.GenerateVersionKey(key, fi.VersionHash)
  124. bs, err := t.Get(key)
  125. if err != nil {
  126. return fmt.Errorf("filling Version: %w", err)
  127. }
  128. var v protocol.Vector
  129. if err := v.Unmarshal(bs); err != nil {
  130. return err
  131. }
  132. fi.Version = v
  133. }
  134. return nil
  135. }
  136. // fillTruncated follows the (possible) indirection of version vector and
  137. // fills it.
  138. func (t readOnlyTransaction) fillTruncated(fi *FileInfoTruncated) error {
  139. var key []byte
  140. if len(fi.VersionHash) == 0 {
  141. return nil
  142. }
  143. key = t.keyer.GenerateVersionKey(key, fi.VersionHash)
  144. bs, err := t.Get(key)
  145. if err != nil {
  146. return err
  147. }
  148. var v protocol.Vector
  149. if err := v.Unmarshal(bs); err != nil {
  150. return err
  151. }
  152. fi.Version = v
  153. return nil
  154. }
  155. func (t readOnlyTransaction) getGlobalVersions(keyBuf, folder, file []byte) (VersionList, error) {
  156. var err error
  157. keyBuf, err = t.keyer.GenerateGlobalVersionKey(keyBuf, folder, file)
  158. if err != nil {
  159. return VersionList{}, err
  160. }
  161. return t.getGlobalVersionsByKey(keyBuf)
  162. }
  163. func (t readOnlyTransaction) getGlobalVersionsByKey(key []byte) (VersionList, error) {
  164. bs, err := t.Get(key)
  165. if err != nil {
  166. return VersionList{}, err
  167. }
  168. var vl VersionList
  169. if err := vl.Unmarshal(bs); err != nil {
  170. return VersionList{}, err
  171. }
  172. return vl, nil
  173. }
  174. func (t readOnlyTransaction) getGlobal(keyBuf, folder, file []byte, truncate bool) ([]byte, protocol.FileIntf, bool, error) {
  175. vl, err := t.getGlobalVersions(keyBuf, folder, file)
  176. if backend.IsNotFound(err) {
  177. return keyBuf, nil, false, nil
  178. } else if err != nil {
  179. return nil, nil, false, err
  180. }
  181. var fi protocol.FileIntf
  182. keyBuf, fi, err = t.getGlobalFromVersionList(keyBuf, folder, file, truncate, vl)
  183. return keyBuf, fi, true, err
  184. }
  185. func (t readOnlyTransaction) getGlobalFromVersionList(keyBuf, folder, file []byte, truncate bool, vl VersionList) ([]byte, protocol.FileIntf, error) {
  186. fv, ok := vl.GetGlobal()
  187. if !ok {
  188. return keyBuf, nil, errEmptyGlobal
  189. }
  190. keyBuf, fi, err := t.getGlobalFromFileVersion(keyBuf, folder, file, truncate, fv)
  191. return keyBuf, fi, err
  192. }
  193. func (t readOnlyTransaction) getGlobalFromFileVersion(keyBuf, folder, file []byte, truncate bool, fv FileVersion) ([]byte, protocol.FileIntf, error) {
  194. dev, ok := fv.FirstDevice()
  195. if !ok {
  196. return keyBuf, nil, errEmptyFileVersion
  197. }
  198. keyBuf, err := t.keyer.GenerateDeviceFileKey(keyBuf, folder, dev, file)
  199. if err != nil {
  200. return keyBuf, nil, err
  201. }
  202. fi, ok, err := t.getFileTrunc(keyBuf, truncate)
  203. if err != nil {
  204. return keyBuf, nil, err
  205. }
  206. if !ok {
  207. return keyBuf, nil, errEntryFromGlobalMissing
  208. }
  209. return keyBuf, fi, nil
  210. }
  211. func (t *readOnlyTransaction) withHave(folder, device, prefix []byte, truncate bool, fn Iterator) error {
  212. if len(prefix) > 0 {
  213. unslashedPrefix := prefix
  214. if bytes.HasSuffix(prefix, []byte{'/'}) {
  215. unslashedPrefix = unslashedPrefix[:len(unslashedPrefix)-1]
  216. } else {
  217. prefix = append(prefix, '/')
  218. }
  219. key, err := t.keyer.GenerateDeviceFileKey(nil, folder, device, unslashedPrefix)
  220. if err != nil {
  221. return err
  222. }
  223. if f, ok, err := t.getFileTrunc(key, truncate); err != nil {
  224. return err
  225. } else if ok && !fn(f) {
  226. return nil
  227. }
  228. }
  229. key, err := t.keyer.GenerateDeviceFileKey(nil, folder, device, prefix)
  230. if err != nil {
  231. return err
  232. }
  233. dbi, err := t.NewPrefixIterator(key)
  234. if err != nil {
  235. return err
  236. }
  237. defer dbi.Release()
  238. for dbi.Next() {
  239. name := t.keyer.NameFromDeviceFileKey(dbi.Key())
  240. if len(prefix) > 0 && !bytes.HasPrefix(name, prefix) {
  241. return nil
  242. }
  243. f, err := t.unmarshalTrunc(dbi.Value(), truncate)
  244. if err != nil {
  245. l.Debugln("unmarshal error:", err)
  246. continue
  247. }
  248. if !fn(f) {
  249. return nil
  250. }
  251. }
  252. return dbi.Error()
  253. }
  254. func (t *readOnlyTransaction) withHaveSequence(folder []byte, startSeq int64, fn Iterator) error {
  255. first, err := t.keyer.GenerateSequenceKey(nil, folder, startSeq)
  256. if err != nil {
  257. return err
  258. }
  259. last, err := t.keyer.GenerateSequenceKey(nil, folder, maxInt64)
  260. if err != nil {
  261. return err
  262. }
  263. dbi, err := t.NewRangeIterator(first, last)
  264. if err != nil {
  265. return err
  266. }
  267. defer dbi.Release()
  268. for dbi.Next() {
  269. f, ok, err := t.getFileByKey(dbi.Value())
  270. if err != nil {
  271. return err
  272. }
  273. if !ok {
  274. l.Debugln("missing file for sequence number", t.keyer.SequenceFromSequenceKey(dbi.Key()))
  275. continue
  276. }
  277. if shouldDebug() {
  278. if seq := t.keyer.SequenceFromSequenceKey(dbi.Key()); f.Sequence != seq {
  279. l.Debugf("Sequence index corruption (folder %v, file %v): sequence %d != expected %d", string(folder), f.Name, f.Sequence, seq)
  280. }
  281. }
  282. if !fn(f) {
  283. return nil
  284. }
  285. }
  286. return dbi.Error()
  287. }
  288. func (t *readOnlyTransaction) withGlobal(folder, prefix []byte, truncate bool, fn Iterator) error {
  289. if len(prefix) > 0 {
  290. unslashedPrefix := prefix
  291. if bytes.HasSuffix(prefix, []byte{'/'}) {
  292. unslashedPrefix = unslashedPrefix[:len(unslashedPrefix)-1]
  293. } else {
  294. prefix = append(prefix, '/')
  295. }
  296. if _, f, ok, err := t.getGlobal(nil, folder, unslashedPrefix, truncate); err != nil {
  297. return err
  298. } else if ok && !fn(f) {
  299. return nil
  300. }
  301. }
  302. key, err := t.keyer.GenerateGlobalVersionKey(nil, folder, prefix)
  303. if err != nil {
  304. return err
  305. }
  306. dbi, err := t.NewPrefixIterator(key)
  307. if err != nil {
  308. return err
  309. }
  310. defer dbi.Release()
  311. var dk []byte
  312. for dbi.Next() {
  313. name := t.keyer.NameFromGlobalVersionKey(dbi.Key())
  314. if len(prefix) > 0 && !bytes.HasPrefix(name, prefix) {
  315. return nil
  316. }
  317. var vl VersionList
  318. if err := vl.Unmarshal(dbi.Value()); err != nil {
  319. return err
  320. }
  321. var f protocol.FileIntf
  322. dk, f, err = t.getGlobalFromVersionList(dk, folder, name, truncate, vl)
  323. if err != nil {
  324. return err
  325. }
  326. if !fn(f) {
  327. return nil
  328. }
  329. }
  330. if err != nil {
  331. return err
  332. }
  333. return dbi.Error()
  334. }
  335. func (t *readOnlyTransaction) withBlocksHash(folder, hash []byte, iterator Iterator) error {
  336. key, err := t.keyer.GenerateBlockListMapKey(nil, folder, hash, nil)
  337. if err != nil {
  338. return err
  339. }
  340. iter, err := t.NewPrefixIterator(key)
  341. if err != nil {
  342. return err
  343. }
  344. defer iter.Release()
  345. for iter.Next() {
  346. file := string(t.keyer.NameFromBlockListMapKey(iter.Key()))
  347. f, ok, err := t.getFile(folder, protocol.LocalDeviceID[:], []byte(osutil.NormalizedFilename(file)))
  348. if err != nil {
  349. return err
  350. }
  351. if !ok {
  352. continue
  353. }
  354. f.Name = osutil.NativeFilename(f.Name)
  355. if !bytes.Equal(f.BlocksHash, hash) {
  356. msg := "Mismatching block map list hashes"
  357. t.evLogger.Log(events.Failure, fmt.Sprintln(msg, "in withBlocksHash"))
  358. l.Warnf("%v: got %x expected %x", msg, f.BlocksHash, hash)
  359. continue
  360. }
  361. if f.IsDeleted() || f.IsInvalid() || f.IsDirectory() || f.IsSymlink() {
  362. msg := "Found something of unexpected type in block list map"
  363. t.evLogger.Log(events.Failure, fmt.Sprintln(msg, "in withBlocksHash"))
  364. l.Warnf("%v: %s", msg, f)
  365. continue
  366. }
  367. if !iterator(f) {
  368. break
  369. }
  370. }
  371. return iter.Error()
  372. }
  373. func (t *readOnlyTransaction) availability(folder, file []byte) ([]protocol.DeviceID, error) {
  374. vl, err := t.getGlobalVersions(nil, folder, file)
  375. if backend.IsNotFound(err) {
  376. return nil, nil
  377. }
  378. if err != nil {
  379. return nil, err
  380. }
  381. fv, ok := vl.GetGlobal()
  382. if !ok {
  383. return nil, nil
  384. }
  385. devices := make([]protocol.DeviceID, len(fv.Devices))
  386. for i, dev := range fv.Devices {
  387. n, err := protocol.DeviceIDFromBytes(dev)
  388. if err != nil {
  389. return nil, err
  390. }
  391. devices[i] = n
  392. }
  393. return devices, nil
  394. }
  395. func (t *readOnlyTransaction) withNeed(folder, device []byte, truncate bool, fn Iterator) error {
  396. if bytes.Equal(device, protocol.LocalDeviceID[:]) {
  397. return t.withNeedLocal(folder, truncate, fn)
  398. }
  399. return t.withNeedIteratingGlobal(folder, device, truncate, fn)
  400. }
  401. func (t *readOnlyTransaction) withNeedIteratingGlobal(folder, device []byte, truncate bool, fn Iterator) error {
  402. key, err := t.keyer.GenerateGlobalVersionKey(nil, folder, nil)
  403. if err != nil {
  404. return err
  405. }
  406. dbi, err := t.NewPrefixIterator(key.WithoutName())
  407. if err != nil {
  408. return err
  409. }
  410. defer dbi.Release()
  411. var dk []byte
  412. devID, err := protocol.DeviceIDFromBytes(device)
  413. if err != nil {
  414. return err
  415. }
  416. for dbi.Next() {
  417. var vl VersionList
  418. if err := vl.Unmarshal(dbi.Value()); err != nil {
  419. return err
  420. }
  421. globalFV, ok := vl.GetGlobal()
  422. if !ok {
  423. return errEmptyGlobal
  424. }
  425. haveFV, have := vl.Get(device)
  426. if !Need(globalFV, have, haveFV.Version) {
  427. continue
  428. }
  429. name := t.keyer.NameFromGlobalVersionKey(dbi.Key())
  430. var gf protocol.FileIntf
  431. dk, gf, err = t.getGlobalFromFileVersion(dk, folder, name, truncate, globalFV)
  432. if err != nil {
  433. return err
  434. }
  435. if shouldDebug() {
  436. if globalDev, ok := globalFV.FirstDevice(); ok {
  437. globalID, _ := protocol.DeviceIDFromBytes(globalDev)
  438. l.Debugf("need folder=%q device=%v name=%q have=%v invalid=%v haveV=%v haveDeleted=%v globalV=%v globalDeleted=%v globalDev=%v", folder, devID, name, have, haveFV.IsInvalid(), haveFV.Version, haveFV.Deleted, gf.FileVersion(), globalFV.Deleted, globalID)
  439. }
  440. }
  441. if !fn(gf) {
  442. return dbi.Error()
  443. }
  444. }
  445. return dbi.Error()
  446. }
  447. func (t *readOnlyTransaction) withNeedLocal(folder []byte, truncate bool, fn Iterator) error {
  448. key, err := t.keyer.GenerateNeedFileKey(nil, folder, nil)
  449. if err != nil {
  450. return err
  451. }
  452. dbi, err := t.NewPrefixIterator(key.WithoutName())
  453. if err != nil {
  454. return err
  455. }
  456. defer dbi.Release()
  457. var keyBuf []byte
  458. var f protocol.FileIntf
  459. var ok bool
  460. for dbi.Next() {
  461. keyBuf, f, ok, err = t.getGlobal(keyBuf, folder, t.keyer.NameFromGlobalVersionKey(dbi.Key()), truncate)
  462. if err != nil {
  463. return err
  464. }
  465. if !ok {
  466. continue
  467. }
  468. if !fn(f) {
  469. return nil
  470. }
  471. }
  472. return dbi.Error()
  473. }
  474. // A readWriteTransaction is a readOnlyTransaction plus a batch for writes.
  475. // The batch will be committed on close() or by checkFlush() if it exceeds the
  476. // batch size.
  477. type readWriteTransaction struct {
  478. backend.WriteTransaction
  479. readOnlyTransaction
  480. indirectionTracker
  481. }
  482. type indirectionTracker interface {
  483. recordIndirectionHashesForFile(f *protocol.FileInfo)
  484. }
  485. func (db *Lowlevel) newReadWriteTransaction(hooks ...backend.CommitHook) (readWriteTransaction, error) {
  486. tran, err := db.NewWriteTransaction(hooks...)
  487. if err != nil {
  488. return readWriteTransaction{}, err
  489. }
  490. return readWriteTransaction{
  491. WriteTransaction: tran,
  492. readOnlyTransaction: db.readOnlyTransactionFromBackendTransaction(tran),
  493. indirectionTracker: db,
  494. }, nil
  495. }
  496. func (t readWriteTransaction) Commit() error {
  497. // The readOnlyTransaction must close after commit, because they may be
  498. // backed by the same actual lower level transaction.
  499. defer t.readOnlyTransaction.close()
  500. return t.WriteTransaction.Commit()
  501. }
  502. func (t readWriteTransaction) close() {
  503. t.readOnlyTransaction.close()
  504. t.WriteTransaction.Release()
  505. }
  506. // putFile stores a file in the database, taking care of indirected fields.
  507. func (t readWriteTransaction) putFile(fkey []byte, fi protocol.FileInfo) error {
  508. var bkey []byte
  509. // Always set the blocks hash when there are blocks.
  510. if len(fi.Blocks) > 0 {
  511. fi.BlocksHash = protocol.BlocksHash(fi.Blocks)
  512. } else {
  513. fi.BlocksHash = nil
  514. }
  515. // Indirect the blocks if the block list is large enough.
  516. if len(fi.Blocks) > blocksIndirectionCutoff {
  517. bkey = t.keyer.GenerateBlockListKey(bkey, fi.BlocksHash)
  518. if _, err := t.Get(bkey); backend.IsNotFound(err) {
  519. // Marshal the block list and save it
  520. blocksBs := mustMarshal(&BlockList{Blocks: fi.Blocks})
  521. if err := t.Put(bkey, blocksBs); err != nil {
  522. return err
  523. }
  524. } else if err != nil {
  525. return err
  526. }
  527. fi.Blocks = nil
  528. }
  529. // Indirect the version vector if it's large enough.
  530. if len(fi.Version.Counters) > versionIndirectionCutoff {
  531. fi.VersionHash = protocol.VectorHash(fi.Version)
  532. bkey = t.keyer.GenerateVersionKey(bkey, fi.VersionHash)
  533. if _, err := t.Get(bkey); backend.IsNotFound(err) {
  534. // Marshal the version vector and save it
  535. versionBs := mustMarshal(&fi.Version)
  536. if err := t.Put(bkey, versionBs); err != nil {
  537. return err
  538. }
  539. } else if err != nil {
  540. return err
  541. }
  542. fi.Version = protocol.Vector{}
  543. } else {
  544. fi.VersionHash = nil
  545. }
  546. t.indirectionTracker.recordIndirectionHashesForFile(&fi)
  547. fiBs := mustMarshal(&fi)
  548. return t.Put(fkey, fiBs)
  549. }
  550. // updateGlobal adds this device+version to the version list for the given
  551. // file. If the device is already present in the list, the version is updated.
  552. // If the file does not have an entry in the global list, it is created.
  553. func (t readWriteTransaction) updateGlobal(gk, keyBuf, folder, device []byte, file protocol.FileInfo, meta *metadataTracker) ([]byte, error) {
  554. deviceID, err := protocol.DeviceIDFromBytes(device)
  555. if err != nil {
  556. return nil, err
  557. }
  558. l.Debugf("update global; folder=%q device=%v file=%q version=%v invalid=%v", folder, deviceID, file.Name, file.Version, file.IsInvalid())
  559. fl, err := t.getGlobalVersionsByKey(gk)
  560. if err != nil && !backend.IsNotFound(err) {
  561. return nil, err
  562. }
  563. globalFV, oldGlobalFV, removedFV, haveOldGlobal, haveRemoved, globalChanged, err := fl.update(folder, device, file, t.readOnlyTransaction)
  564. if err != nil {
  565. return nil, err
  566. }
  567. name := []byte(file.Name)
  568. l.Debugf(`new global for "%v" after update: %v`, file.Name, fl)
  569. if err := t.Put(gk, mustMarshal(&fl)); err != nil {
  570. return nil, err
  571. }
  572. // Only load those from db if actually needed
  573. var gotGlobal, gotOldGlobal bool
  574. var global, oldGlobal protocol.FileIntf
  575. // Check the need of the device that was updated
  576. // Must happen before updating global meta: If this is the first
  577. // item from this device, it will be initialized with the global state.
  578. needBefore := haveOldGlobal && Need(oldGlobalFV, haveRemoved, removedFV.Version)
  579. needNow := Need(globalFV, true, file.Version)
  580. if needBefore {
  581. if keyBuf, oldGlobal, err = t.getGlobalFromFileVersion(keyBuf, folder, name, true, oldGlobalFV); err != nil {
  582. return nil, err
  583. }
  584. gotOldGlobal = true
  585. meta.removeNeeded(deviceID, oldGlobal)
  586. if !needNow && bytes.Equal(device, protocol.LocalDeviceID[:]) {
  587. if keyBuf, err = t.updateLocalNeed(keyBuf, folder, name, false); err != nil {
  588. return nil, err
  589. }
  590. }
  591. }
  592. if needNow {
  593. keyBuf, global, err = t.getGlobalFromFileVersion(keyBuf, folder, name, true, globalFV)
  594. if err != nil {
  595. return nil, err
  596. }
  597. gotGlobal = true
  598. meta.addNeeded(deviceID, global)
  599. if !needBefore && bytes.Equal(device, protocol.LocalDeviceID[:]) {
  600. if keyBuf, err = t.updateLocalNeed(keyBuf, folder, name, true); err != nil {
  601. return nil, err
  602. }
  603. }
  604. }
  605. // Update global size counter if necessary
  606. if !globalChanged {
  607. // Neither the global state nor the needs of any devices, except
  608. // the one updated, changed.
  609. return keyBuf, nil
  610. }
  611. // Remove the old global from the global size counter
  612. if haveOldGlobal {
  613. if !gotOldGlobal {
  614. if keyBuf, oldGlobal, err = t.getGlobalFromFileVersion(keyBuf, folder, name, true, oldGlobalFV); err != nil {
  615. return nil, err
  616. }
  617. }
  618. // Remove the old global from the global size counter
  619. meta.removeFile(protocol.GlobalDeviceID, oldGlobal)
  620. }
  621. // Add the new global to the global size counter
  622. if !gotGlobal {
  623. if globalFV.Version.Equal(file.Version) {
  624. // The inserted file is the global file
  625. global = file
  626. } else {
  627. keyBuf, global, err = t.getGlobalFromFileVersion(keyBuf, folder, name, true, globalFV)
  628. if err != nil {
  629. return nil, err
  630. }
  631. }
  632. gotGlobal = true
  633. }
  634. meta.addFile(protocol.GlobalDeviceID, global)
  635. // check for local (if not already done before)
  636. if !bytes.Equal(device, protocol.LocalDeviceID[:]) {
  637. localFV, haveLocal := fl.Get(protocol.LocalDeviceID[:])
  638. needBefore := haveOldGlobal && Need(oldGlobalFV, haveLocal, localFV.Version)
  639. needNow := Need(globalFV, haveLocal, localFV.Version)
  640. if needBefore {
  641. meta.removeNeeded(protocol.LocalDeviceID, oldGlobal)
  642. if !needNow {
  643. if keyBuf, err = t.updateLocalNeed(keyBuf, folder, name, false); err != nil {
  644. return nil, err
  645. }
  646. }
  647. }
  648. if needNow {
  649. meta.addNeeded(protocol.LocalDeviceID, global)
  650. if !needBefore {
  651. if keyBuf, err = t.updateLocalNeed(keyBuf, folder, name, true); err != nil {
  652. return nil, err
  653. }
  654. }
  655. }
  656. }
  657. for _, dev := range meta.devices() {
  658. if bytes.Equal(dev[:], device) {
  659. // Already handled above
  660. continue
  661. }
  662. fv, have := fl.Get(dev[:])
  663. if haveOldGlobal && Need(oldGlobalFV, have, fv.Version) {
  664. meta.removeNeeded(dev, oldGlobal)
  665. }
  666. if Need(globalFV, have, fv.Version) {
  667. meta.addNeeded(dev, global)
  668. }
  669. }
  670. return keyBuf, nil
  671. }
  672. func (t readWriteTransaction) updateLocalNeed(keyBuf, folder, name []byte, add bool) ([]byte, error) {
  673. var err error
  674. keyBuf, err = t.keyer.GenerateNeedFileKey(keyBuf, folder, name)
  675. if err != nil {
  676. return nil, err
  677. }
  678. if add {
  679. l.Debugf("local need insert; folder=%q, name=%q", folder, name)
  680. err = t.Put(keyBuf, nil)
  681. } else {
  682. l.Debugf("local need delete; folder=%q, name=%q", folder, name)
  683. err = t.Delete(keyBuf)
  684. }
  685. return keyBuf, err
  686. }
  687. func Need(global FileVersion, haveLocal bool, localVersion protocol.Vector) bool {
  688. // We never need an invalid file or a file without a valid version (just
  689. // another way of expressing "invalid", really, until we fix that
  690. // part...).
  691. if global.IsInvalid() || global.Version.IsEmpty() {
  692. return false
  693. }
  694. // We don't need a deleted file if we don't have it.
  695. if global.Deleted && !haveLocal {
  696. return false
  697. }
  698. // We don't need the global file if we already have the same version.
  699. if haveLocal && localVersion.GreaterEqual(global.Version) {
  700. return false
  701. }
  702. return true
  703. }
  704. // removeFromGlobal removes the device from the global version list for the
  705. // given file. If the version list is empty after this, the file entry is
  706. // removed entirely.
  707. func (t readWriteTransaction) removeFromGlobal(gk, keyBuf, folder, device, file []byte, meta *metadataTracker) ([]byte, error) {
  708. deviceID, err := protocol.DeviceIDFromBytes(device)
  709. if err != nil {
  710. return nil, err
  711. }
  712. l.Debugf("remove from global; folder=%q device=%v file=%q", folder, deviceID, file)
  713. fl, err := t.getGlobalVersionsByKey(gk)
  714. if backend.IsNotFound(err) {
  715. // We might be called to "remove" a global version that doesn't exist
  716. // if the first update for the file is already marked invalid.
  717. return keyBuf, nil
  718. } else if err != nil {
  719. return nil, err
  720. }
  721. oldGlobalFV, haveOldGlobal := fl.GetGlobal()
  722. oldGlobalFV = oldGlobalFV.copy()
  723. if !haveOldGlobal {
  724. // Shouldn't ever happen, but doesn't hurt to handle.
  725. t.evLogger.Log(events.Failure, "encountered empty global while removing item")
  726. return keyBuf, t.Delete(gk)
  727. }
  728. removedFV, haveRemoved, globalChanged := fl.pop(device)
  729. if !haveRemoved {
  730. // There is no version for the given device
  731. return keyBuf, nil
  732. }
  733. var global protocol.FileIntf
  734. var gotGlobal bool
  735. globalFV, haveGlobal := fl.GetGlobal()
  736. // Add potential needs of the removed device
  737. if haveGlobal && !globalFV.IsInvalid() && Need(globalFV, false, protocol.Vector{}) && !Need(oldGlobalFV, haveRemoved, removedFV.Version) {
  738. keyBuf, global, err = t.getGlobalFromVersionList(keyBuf, folder, file, true, fl)
  739. if err != nil {
  740. return nil, err
  741. }
  742. gotGlobal = true
  743. meta.addNeeded(deviceID, global)
  744. if bytes.Equal(protocol.LocalDeviceID[:], device) {
  745. if keyBuf, err = t.updateLocalNeed(keyBuf, folder, file, true); err != nil {
  746. return nil, err
  747. }
  748. }
  749. }
  750. // Global hasn't changed, abort early
  751. if !globalChanged {
  752. l.Debugf("new global after remove: %v", fl)
  753. if err := t.Put(gk, mustMarshal(&fl)); err != nil {
  754. return nil, err
  755. }
  756. return keyBuf, nil
  757. }
  758. var oldGlobal protocol.FileIntf
  759. keyBuf, oldGlobal, err = t.getGlobalFromFileVersion(keyBuf, folder, file, true, oldGlobalFV)
  760. if err != nil {
  761. return nil, err
  762. }
  763. meta.removeFile(protocol.GlobalDeviceID, oldGlobal)
  764. // Remove potential device needs
  765. shouldRemoveNeed := func(dev protocol.DeviceID) bool {
  766. fv, have := fl.Get(dev[:])
  767. if !Need(oldGlobalFV, have, fv.Version) {
  768. return false // Didn't need it before
  769. }
  770. return !haveGlobal || !Need(globalFV, have, fv.Version)
  771. }
  772. if shouldRemoveNeed(protocol.LocalDeviceID) {
  773. meta.removeNeeded(protocol.LocalDeviceID, oldGlobal)
  774. if keyBuf, err = t.updateLocalNeed(keyBuf, folder, file, false); err != nil {
  775. return nil, err
  776. }
  777. }
  778. for _, dev := range meta.devices() {
  779. if bytes.Equal(dev[:], device) { // Was the previous global
  780. continue
  781. }
  782. if shouldRemoveNeed(dev) {
  783. meta.removeNeeded(dev, oldGlobal)
  784. }
  785. }
  786. // Nothing left, i.e. nothing to add to the global counter below.
  787. if fl.Empty() {
  788. if err := t.Delete(gk); err != nil {
  789. return nil, err
  790. }
  791. return keyBuf, nil
  792. }
  793. // Add to global
  794. if !gotGlobal {
  795. keyBuf, global, err = t.getGlobalFromVersionList(keyBuf, folder, file, true, fl)
  796. if err != nil {
  797. return nil, err
  798. }
  799. }
  800. meta.addFile(protocol.GlobalDeviceID, global)
  801. l.Debugf(`new global for "%s" after remove: %v`, file, fl)
  802. if err := t.Put(gk, mustMarshal(&fl)); err != nil {
  803. return nil, err
  804. }
  805. return keyBuf, nil
  806. }
  807. func (t readWriteTransaction) deleteKeyPrefix(prefix []byte) error {
  808. return t.deleteKeyPrefixMatching(prefix, func([]byte) bool { return true })
  809. }
  810. func (t readWriteTransaction) deleteKeyPrefixMatching(prefix []byte, match func(key []byte) bool) error {
  811. dbi, err := t.NewPrefixIterator(prefix)
  812. if err != nil {
  813. return err
  814. }
  815. defer dbi.Release()
  816. for dbi.Next() {
  817. if !match(dbi.Key()) {
  818. continue
  819. }
  820. if err := t.Delete(dbi.Key()); err != nil {
  821. return err
  822. }
  823. }
  824. return dbi.Error()
  825. }
  826. func (t *readWriteTransaction) withAllFolderTruncated(folder []byte, fn func(device []byte, f FileInfoTruncated) bool) error {
  827. key, err := t.keyer.GenerateDeviceFileKey(nil, folder, nil, nil)
  828. if err != nil {
  829. return err
  830. }
  831. dbi, err := t.NewPrefixIterator(key.WithoutNameAndDevice())
  832. if err != nil {
  833. return err
  834. }
  835. defer dbi.Release()
  836. var gk, keyBuf []byte
  837. for dbi.Next() {
  838. device, ok := t.keyer.DeviceFromDeviceFileKey(dbi.Key())
  839. if !ok {
  840. // Not having the device in the index is bad. Clear it.
  841. if err := t.Delete(dbi.Key()); err != nil {
  842. return err
  843. }
  844. continue
  845. }
  846. intf, err := t.unmarshalTrunc(dbi.Value(), true)
  847. if err != nil {
  848. return err
  849. }
  850. f := intf.(FileInfoTruncated)
  851. switch f.Name {
  852. case "", ".", "..", "/": // A few obviously invalid filenames
  853. l.Infof("Dropping invalid filename %q from database", f.Name)
  854. name := []byte(f.Name)
  855. gk, err = t.keyer.GenerateGlobalVersionKey(gk, folder, name)
  856. if err != nil {
  857. return err
  858. }
  859. keyBuf, err = t.removeFromGlobal(gk, keyBuf, folder, device, name, nil)
  860. if err != nil {
  861. return err
  862. }
  863. if err := t.Delete(dbi.Key()); err != nil {
  864. return err
  865. }
  866. continue
  867. }
  868. if !fn(device, f) {
  869. return nil
  870. }
  871. }
  872. return dbi.Error()
  873. }
  874. type marshaller interface {
  875. Marshal() ([]byte, error)
  876. }
  877. func mustMarshal(f marshaller) []byte {
  878. bs, err := f.Marshal()
  879. if err != nil {
  880. panic(err)
  881. }
  882. return bs
  883. }