transactions.go 22 KB

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