leveldb.go 24 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018
  1. // Copyright (C) 2014 The Syncthing Authors.
  2. //
  3. // This program is free software: you can redistribute it and/or modify it
  4. // under the terms of the GNU General Public License as published by the Free
  5. // Software Foundation, either version 3 of the License, or (at your option)
  6. // any later version.
  7. //
  8. // This program is distributed in the hope that it will be useful, but WITHOUT
  9. // ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  10. // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
  11. // more details.
  12. //
  13. // You should have received a copy of the GNU General Public License along
  14. // with this program. If not, see <http://www.gnu.org/licenses/>.
  15. //go:generate -command genxdr go run ../../Godeps/_workspace/src/github.com/calmh/xdr/cmd/genxdr/main.go
  16. //go:generate genxdr -o leveldb_xdr.go leveldb.go
  17. package files
  18. import (
  19. "bytes"
  20. "fmt"
  21. "runtime"
  22. "sort"
  23. "sync"
  24. "github.com/syncthing/syncthing/internal/lamport"
  25. "github.com/syncthing/syncthing/internal/protocol"
  26. "github.com/syndtr/goleveldb/leveldb"
  27. "github.com/syndtr/goleveldb/leveldb/iterator"
  28. "github.com/syndtr/goleveldb/leveldb/opt"
  29. "github.com/syndtr/goleveldb/leveldb/util"
  30. )
  31. var (
  32. clockTick uint64
  33. clockMut sync.Mutex
  34. )
  35. func clock(v uint64) uint64 {
  36. clockMut.Lock()
  37. defer clockMut.Unlock()
  38. if v > clockTick {
  39. clockTick = v + 1
  40. } else {
  41. clockTick++
  42. }
  43. return clockTick
  44. }
  45. const (
  46. keyTypeDevice = iota
  47. keyTypeGlobal
  48. keyTypeBlock
  49. )
  50. type fileVersion struct {
  51. version uint64
  52. device []byte
  53. }
  54. type versionList struct {
  55. versions []fileVersion
  56. }
  57. func (l versionList) String() string {
  58. var b bytes.Buffer
  59. var id protocol.DeviceID
  60. b.WriteString("{")
  61. for i, v := range l.versions {
  62. if i > 0 {
  63. b.WriteString(", ")
  64. }
  65. copy(id[:], v.device)
  66. fmt.Fprintf(&b, "{%d, %v}", v.version, id)
  67. }
  68. b.WriteString("}")
  69. return b.String()
  70. }
  71. type fileList []protocol.FileInfo
  72. func (l fileList) Len() int {
  73. return len(l)
  74. }
  75. func (l fileList) Swap(a, b int) {
  76. l[a], l[b] = l[b], l[a]
  77. }
  78. func (l fileList) Less(a, b int) bool {
  79. return l[a].Name < l[b].Name
  80. }
  81. type dbReader interface {
  82. Get([]byte, *opt.ReadOptions) ([]byte, error)
  83. }
  84. type dbWriter interface {
  85. Put([]byte, []byte)
  86. Delete([]byte)
  87. }
  88. // deviceKey returns a byte slice encoding the following information:
  89. // keyTypeDevice (1 byte)
  90. // folder (64 bytes)
  91. // device (32 bytes)
  92. // name (variable size)
  93. func deviceKey(folder, device, file []byte) []byte {
  94. k := make([]byte, 1+64+32+len(file))
  95. k[0] = keyTypeDevice
  96. if len(folder) > 64 {
  97. panic("folder name too long")
  98. }
  99. copy(k[1:], []byte(folder))
  100. copy(k[1+64:], device[:])
  101. copy(k[1+64+32:], []byte(file))
  102. return k
  103. }
  104. func deviceKeyName(key []byte) []byte {
  105. return key[1+64+32:]
  106. }
  107. func deviceKeyFolder(key []byte) []byte {
  108. folder := key[1 : 1+64]
  109. izero := bytes.IndexByte(folder, 0)
  110. if izero < 0 {
  111. return folder
  112. }
  113. return folder[:izero]
  114. }
  115. func deviceKeyDevice(key []byte) []byte {
  116. return key[1+64 : 1+64+32]
  117. }
  118. // globalKey returns a byte slice encoding the following information:
  119. // keyTypeGlobal (1 byte)
  120. // folder (64 bytes)
  121. // name (variable size)
  122. func globalKey(folder, file []byte) []byte {
  123. k := make([]byte, 1+64+len(file))
  124. k[0] = keyTypeGlobal
  125. if len(folder) > 64 {
  126. panic("folder name too long")
  127. }
  128. copy(k[1:], []byte(folder))
  129. copy(k[1+64:], []byte(file))
  130. return k
  131. }
  132. func globalKeyName(key []byte) []byte {
  133. return key[1+64:]
  134. }
  135. func globalKeyFolder(key []byte) []byte {
  136. folder := key[1 : 1+64]
  137. izero := bytes.IndexByte(folder, 0)
  138. if izero < 0 {
  139. return folder
  140. }
  141. return folder[:izero]
  142. }
  143. type deletionHandler func(db dbReader, batch dbWriter, folder, device, name []byte, dbi iterator.Iterator) uint64
  144. type fileIterator func(f protocol.FileIntf) bool
  145. func ldbGenericReplace(db *leveldb.DB, folder, device []byte, fs []protocol.FileInfo, deleteFn deletionHandler) uint64 {
  146. runtime.GC()
  147. sort.Sort(fileList(fs)) // sort list on name, same as in the database
  148. start := deviceKey(folder, device, nil) // before all folder/device files
  149. limit := deviceKey(folder, device, []byte{0xff, 0xff, 0xff, 0xff}) // after all folder/device files
  150. batch := new(leveldb.Batch)
  151. if debugDB {
  152. l.Debugf("new batch %p", batch)
  153. }
  154. snap, err := db.GetSnapshot()
  155. if err != nil {
  156. panic(err)
  157. }
  158. if debugDB {
  159. l.Debugf("created snapshot %p", snap)
  160. }
  161. defer func() {
  162. if debugDB {
  163. l.Debugf("close snapshot %p", snap)
  164. }
  165. snap.Release()
  166. }()
  167. dbi := snap.NewIterator(&util.Range{Start: start, Limit: limit}, nil)
  168. defer dbi.Release()
  169. moreDb := dbi.Next()
  170. fsi := 0
  171. var maxLocalVer uint64
  172. for {
  173. var newName, oldName []byte
  174. moreFs := fsi < len(fs)
  175. if !moreDb && !moreFs {
  176. break
  177. }
  178. if moreFs {
  179. newName = []byte(fs[fsi].Name)
  180. }
  181. if moreDb {
  182. oldName = deviceKeyName(dbi.Key())
  183. }
  184. cmp := bytes.Compare(newName, oldName)
  185. if debugDB {
  186. l.Debugf("generic replace; folder=%q device=%v moreFs=%v moreDb=%v cmp=%d newName=%q oldName=%q", folder, protocol.DeviceIDFromBytes(device), moreFs, moreDb, cmp, newName, oldName)
  187. }
  188. switch {
  189. case moreFs && (!moreDb || cmp == -1):
  190. if debugDB {
  191. l.Debugln("generic replace; missing - insert")
  192. }
  193. // Database is missing this file. Insert it.
  194. if lv := ldbInsert(batch, folder, device, fs[fsi]); lv > maxLocalVer {
  195. maxLocalVer = lv
  196. }
  197. if fs[fsi].IsInvalid() {
  198. ldbRemoveFromGlobal(snap, batch, folder, device, newName)
  199. } else {
  200. ldbUpdateGlobal(snap, batch, folder, device, newName, fs[fsi].Version)
  201. }
  202. fsi++
  203. case moreFs && moreDb && cmp == 0:
  204. // File exists on both sides - compare versions. We might get an
  205. // update with the same version and different flags if a device has
  206. // marked a file as invalid, so handle that too.
  207. if debugDB {
  208. l.Debugln("generic replace; exists - compare")
  209. }
  210. var ef protocol.FileInfoTruncated
  211. ef.UnmarshalXDR(dbi.Value())
  212. if fs[fsi].Version > ef.Version ||
  213. (fs[fsi].Version == ef.Version && fs[fsi].Flags != ef.Flags) {
  214. if debugDB {
  215. l.Debugln("generic replace; differs - insert")
  216. }
  217. if lv := ldbInsert(batch, folder, device, fs[fsi]); lv > maxLocalVer {
  218. maxLocalVer = lv
  219. }
  220. if fs[fsi].IsInvalid() {
  221. ldbRemoveFromGlobal(snap, batch, folder, device, newName)
  222. } else {
  223. ldbUpdateGlobal(snap, batch, folder, device, newName, fs[fsi].Version)
  224. }
  225. } else if debugDB {
  226. l.Debugln("generic replace; equal - ignore")
  227. }
  228. fsi++
  229. moreDb = dbi.Next()
  230. case moreDb && (!moreFs || cmp == 1):
  231. if debugDB {
  232. l.Debugln("generic replace; exists - remove")
  233. }
  234. if lv := deleteFn(snap, batch, folder, device, oldName, dbi); lv > maxLocalVer {
  235. maxLocalVer = lv
  236. }
  237. moreDb = dbi.Next()
  238. }
  239. }
  240. if debugDB {
  241. l.Debugf("db.Write %p", batch)
  242. }
  243. err = db.Write(batch, nil)
  244. if err != nil {
  245. panic(err)
  246. }
  247. return maxLocalVer
  248. }
  249. func ldbReplace(db *leveldb.DB, folder, device []byte, fs []protocol.FileInfo) uint64 {
  250. // TODO: Return the remaining maxLocalVer?
  251. return ldbGenericReplace(db, folder, device, fs, func(db dbReader, batch dbWriter, folder, device, name []byte, dbi iterator.Iterator) uint64 {
  252. // Database has a file that we are missing. Remove it.
  253. if debugDB {
  254. l.Debugf("delete; folder=%q device=%v name=%q", folder, protocol.DeviceIDFromBytes(device), name)
  255. }
  256. ldbRemoveFromGlobal(db, batch, folder, device, name)
  257. if debugDB {
  258. l.Debugf("batch.Delete %p %x", batch, dbi.Key())
  259. }
  260. batch.Delete(dbi.Key())
  261. return 0
  262. })
  263. }
  264. func ldbReplaceWithDelete(db *leveldb.DB, folder, device []byte, fs []protocol.FileInfo) uint64 {
  265. return ldbGenericReplace(db, folder, device, fs, func(db dbReader, batch dbWriter, folder, device, name []byte, dbi iterator.Iterator) uint64 {
  266. var tf protocol.FileInfoTruncated
  267. err := tf.UnmarshalXDR(dbi.Value())
  268. if err != nil {
  269. panic(err)
  270. }
  271. if !tf.IsDeleted() {
  272. if debugDB {
  273. l.Debugf("mark deleted; folder=%q device=%v name=%q", folder, protocol.DeviceIDFromBytes(device), name)
  274. }
  275. ts := clock(tf.LocalVersion)
  276. f := protocol.FileInfo{
  277. Name: tf.Name,
  278. Version: lamport.Default.Tick(tf.Version),
  279. LocalVersion: ts,
  280. Flags: tf.Flags | protocol.FlagDeleted,
  281. Modified: tf.Modified,
  282. }
  283. bs, _ := f.MarshalXDR()
  284. if debugDB {
  285. l.Debugf("batch.Put %p %x", batch, dbi.Key())
  286. }
  287. batch.Put(dbi.Key(), bs)
  288. ldbUpdateGlobal(db, batch, folder, device, deviceKeyName(dbi.Key()), f.Version)
  289. return ts
  290. }
  291. return 0
  292. })
  293. }
  294. func ldbUpdate(db *leveldb.DB, folder, device []byte, fs []protocol.FileInfo) uint64 {
  295. runtime.GC()
  296. batch := new(leveldb.Batch)
  297. if debugDB {
  298. l.Debugf("new batch %p", batch)
  299. }
  300. snap, err := db.GetSnapshot()
  301. if err != nil {
  302. panic(err)
  303. }
  304. if debugDB {
  305. l.Debugf("created snapshot %p", snap)
  306. }
  307. defer func() {
  308. if debugDB {
  309. l.Debugf("close snapshot %p", snap)
  310. }
  311. snap.Release()
  312. }()
  313. var maxLocalVer uint64
  314. for _, f := range fs {
  315. name := []byte(f.Name)
  316. fk := deviceKey(folder, device, name)
  317. if debugDB {
  318. l.Debugf("snap.Get %p %x", snap, fk)
  319. }
  320. bs, err := snap.Get(fk, nil)
  321. if err == leveldb.ErrNotFound {
  322. if lv := ldbInsert(batch, folder, device, f); lv > maxLocalVer {
  323. maxLocalVer = lv
  324. }
  325. if f.IsInvalid() {
  326. ldbRemoveFromGlobal(snap, batch, folder, device, name)
  327. } else {
  328. ldbUpdateGlobal(snap, batch, folder, device, name, f.Version)
  329. }
  330. continue
  331. }
  332. var ef protocol.FileInfoTruncated
  333. err = ef.UnmarshalXDR(bs)
  334. if err != nil {
  335. panic(err)
  336. }
  337. // Flags might change without the version being bumped when we set the
  338. // invalid flag on an existing file.
  339. if ef.Version != f.Version || ef.Flags != f.Flags {
  340. if lv := ldbInsert(batch, folder, device, f); lv > maxLocalVer {
  341. maxLocalVer = lv
  342. }
  343. if f.IsInvalid() {
  344. ldbRemoveFromGlobal(snap, batch, folder, device, name)
  345. } else {
  346. ldbUpdateGlobal(snap, batch, folder, device, name, f.Version)
  347. }
  348. }
  349. }
  350. if debugDB {
  351. l.Debugf("db.Write %p", batch)
  352. }
  353. err = db.Write(batch, nil)
  354. if err != nil {
  355. panic(err)
  356. }
  357. return maxLocalVer
  358. }
  359. func ldbInsert(batch dbWriter, folder, device []byte, file protocol.FileInfo) uint64 {
  360. if debugDB {
  361. l.Debugf("insert; folder=%q device=%v %v", folder, protocol.DeviceIDFromBytes(device), file)
  362. }
  363. if file.LocalVersion == 0 {
  364. file.LocalVersion = clock(0)
  365. }
  366. name := []byte(file.Name)
  367. nk := deviceKey(folder, device, name)
  368. if debugDB {
  369. l.Debugf("batch.Put %p %x", batch, nk)
  370. }
  371. batch.Put(nk, file.MustMarshalXDR())
  372. return file.LocalVersion
  373. }
  374. // ldbUpdateGlobal adds this device+version to the version list for the given
  375. // file. If the device is already present in the list, the version is updated.
  376. // If the file does not have an entry in the global list, it is created.
  377. func ldbUpdateGlobal(db dbReader, batch dbWriter, folder, device, file []byte, version uint64) bool {
  378. if debugDB {
  379. l.Debugf("update global; folder=%q device=%v file=%q version=%d", folder, protocol.DeviceIDFromBytes(device), file, version)
  380. }
  381. gk := globalKey(folder, file)
  382. svl, err := db.Get(gk, nil)
  383. if err != nil && err != leveldb.ErrNotFound {
  384. panic(err)
  385. }
  386. var fl versionList
  387. nv := fileVersion{
  388. device: device,
  389. version: version,
  390. }
  391. if svl != nil {
  392. err = fl.UnmarshalXDR(svl)
  393. if err != nil {
  394. panic(err)
  395. }
  396. for i := range fl.versions {
  397. if bytes.Compare(fl.versions[i].device, device) == 0 {
  398. if fl.versions[i].version == version {
  399. // No need to do anything
  400. return false
  401. }
  402. fl.versions = append(fl.versions[:i], fl.versions[i+1:]...)
  403. break
  404. }
  405. }
  406. }
  407. for i := range fl.versions {
  408. if fl.versions[i].version <= version {
  409. t := append(fl.versions, fileVersion{})
  410. copy(t[i+1:], t[i:])
  411. t[i] = nv
  412. fl.versions = t
  413. goto done
  414. }
  415. }
  416. fl.versions = append(fl.versions, nv)
  417. done:
  418. if debugDB {
  419. l.Debugf("batch.Put %p %x", batch, gk)
  420. l.Debugf("new global after update: %v", fl)
  421. }
  422. batch.Put(gk, fl.MustMarshalXDR())
  423. return true
  424. }
  425. // ldbRemoveFromGlobal removes the device from the global version list for the
  426. // given file. If the version list is empty after this, the file entry is
  427. // removed entirely.
  428. func ldbRemoveFromGlobal(db dbReader, batch dbWriter, folder, device, file []byte) {
  429. if debugDB {
  430. l.Debugf("remove from global; folder=%q device=%v file=%q", folder, protocol.DeviceIDFromBytes(device), file)
  431. }
  432. gk := globalKey(folder, file)
  433. svl, err := db.Get(gk, nil)
  434. if err != nil {
  435. // We might be called to "remove" a global version that doesn't exist
  436. // if the first update for the file is already marked invalid.
  437. return
  438. }
  439. var fl versionList
  440. err = fl.UnmarshalXDR(svl)
  441. if err != nil {
  442. panic(err)
  443. }
  444. for i := range fl.versions {
  445. if bytes.Compare(fl.versions[i].device, device) == 0 {
  446. fl.versions = append(fl.versions[:i], fl.versions[i+1:]...)
  447. break
  448. }
  449. }
  450. if len(fl.versions) == 0 {
  451. if debugDB {
  452. l.Debugf("batch.Delete %p %x", batch, gk)
  453. }
  454. batch.Delete(gk)
  455. } else {
  456. if debugDB {
  457. l.Debugf("batch.Put %p %x", batch, gk)
  458. l.Debugf("new global after remove: %v", fl)
  459. }
  460. batch.Put(gk, fl.MustMarshalXDR())
  461. }
  462. }
  463. func ldbWithHave(db *leveldb.DB, folder, device []byte, truncate bool, fn fileIterator) {
  464. start := deviceKey(folder, device, nil) // before all folder/device files
  465. limit := deviceKey(folder, device, []byte{0xff, 0xff, 0xff, 0xff}) // after all folder/device files
  466. snap, err := db.GetSnapshot()
  467. if err != nil {
  468. panic(err)
  469. }
  470. if debugDB {
  471. l.Debugf("created snapshot %p", snap)
  472. }
  473. defer func() {
  474. if debugDB {
  475. l.Debugf("close snapshot %p", snap)
  476. }
  477. snap.Release()
  478. }()
  479. dbi := snap.NewIterator(&util.Range{Start: start, Limit: limit}, nil)
  480. defer dbi.Release()
  481. for dbi.Next() {
  482. f, err := unmarshalTrunc(dbi.Value(), truncate)
  483. if err != nil {
  484. panic(err)
  485. }
  486. if cont := fn(f); !cont {
  487. return
  488. }
  489. }
  490. }
  491. func ldbWithAllFolderTruncated(db *leveldb.DB, folder []byte, fn func(device []byte, f protocol.FileInfoTruncated) bool) {
  492. runtime.GC()
  493. start := deviceKey(folder, nil, nil) // before all folder/device files
  494. limit := deviceKey(folder, protocol.LocalDeviceID[:], []byte{0xff, 0xff, 0xff, 0xff}) // after all folder/device files
  495. snap, err := db.GetSnapshot()
  496. if err != nil {
  497. panic(err)
  498. }
  499. if debugDB {
  500. l.Debugf("created snapshot %p", snap)
  501. }
  502. defer func() {
  503. if debugDB {
  504. l.Debugf("close snapshot %p", snap)
  505. }
  506. snap.Release()
  507. }()
  508. dbi := snap.NewIterator(&util.Range{Start: start, Limit: limit}, nil)
  509. defer dbi.Release()
  510. for dbi.Next() {
  511. device := deviceKeyDevice(dbi.Key())
  512. var f protocol.FileInfoTruncated
  513. err := f.UnmarshalXDR(dbi.Value())
  514. if err != nil {
  515. panic(err)
  516. }
  517. if cont := fn(device, f); !cont {
  518. return
  519. }
  520. }
  521. }
  522. func ldbGet(db *leveldb.DB, folder, device, file []byte) (protocol.FileInfo, bool) {
  523. nk := deviceKey(folder, device, file)
  524. bs, err := db.Get(nk, nil)
  525. if err == leveldb.ErrNotFound {
  526. return protocol.FileInfo{}, false
  527. }
  528. if err != nil {
  529. panic(err)
  530. }
  531. var f protocol.FileInfo
  532. err = f.UnmarshalXDR(bs)
  533. if err != nil {
  534. panic(err)
  535. }
  536. return f, true
  537. }
  538. func ldbGetGlobal(db *leveldb.DB, folder, file []byte) (protocol.FileInfo, bool) {
  539. k := globalKey(folder, file)
  540. snap, err := db.GetSnapshot()
  541. if err != nil {
  542. panic(err)
  543. }
  544. if debugDB {
  545. l.Debugf("created snapshot %p", snap)
  546. }
  547. defer func() {
  548. if debugDB {
  549. l.Debugf("close snapshot %p", snap)
  550. }
  551. snap.Release()
  552. }()
  553. if debugDB {
  554. l.Debugf("snap.Get %p %x", snap, k)
  555. }
  556. bs, err := snap.Get(k, nil)
  557. if err == leveldb.ErrNotFound {
  558. return protocol.FileInfo{}, false
  559. }
  560. if err != nil {
  561. panic(err)
  562. }
  563. var vl versionList
  564. err = vl.UnmarshalXDR(bs)
  565. if err != nil {
  566. panic(err)
  567. }
  568. if len(vl.versions) == 0 {
  569. l.Debugln(k)
  570. panic("no versions?")
  571. }
  572. k = deviceKey(folder, vl.versions[0].device, file)
  573. if debugDB {
  574. l.Debugf("snap.Get %p %x", snap, k)
  575. }
  576. bs, err = snap.Get(k, nil)
  577. if err != nil {
  578. panic(err)
  579. }
  580. var f protocol.FileInfo
  581. err = f.UnmarshalXDR(bs)
  582. if err != nil {
  583. panic(err)
  584. }
  585. return f, true
  586. }
  587. func ldbWithGlobal(db *leveldb.DB, folder []byte, truncate bool, fn fileIterator) {
  588. runtime.GC()
  589. start := globalKey(folder, nil)
  590. limit := globalKey(folder, []byte{0xff, 0xff, 0xff, 0xff})
  591. snap, err := db.GetSnapshot()
  592. if err != nil {
  593. panic(err)
  594. }
  595. if debugDB {
  596. l.Debugf("created snapshot %p", snap)
  597. }
  598. defer func() {
  599. if debugDB {
  600. l.Debugf("close snapshot %p", snap)
  601. }
  602. snap.Release()
  603. }()
  604. dbi := snap.NewIterator(&util.Range{Start: start, Limit: limit}, nil)
  605. defer dbi.Release()
  606. for dbi.Next() {
  607. var vl versionList
  608. err := vl.UnmarshalXDR(dbi.Value())
  609. if err != nil {
  610. panic(err)
  611. }
  612. if len(vl.versions) == 0 {
  613. l.Debugln(dbi.Key())
  614. panic("no versions?")
  615. }
  616. name := globalKeyName(dbi.Key())
  617. fk := deviceKey(folder, vl.versions[0].device, name)
  618. if debugDB {
  619. l.Debugf("snap.Get %p %x", snap, fk)
  620. }
  621. bs, err := snap.Get(fk, nil)
  622. if err != nil {
  623. l.Debugf("folder: %q (%x)", folder, folder)
  624. l.Debugf("key: %q (%x)", dbi.Key(), dbi.Key())
  625. l.Debugf("vl: %v", vl)
  626. l.Debugf("vl.versions[0].device: %x", vl.versions[0].device)
  627. l.Debugf("name: %q (%x)", name, name)
  628. l.Debugf("fk: %q", fk)
  629. l.Debugf("fk: %x %x %x", fk[1:1+64], fk[1+64:1+64+32], fk[1+64+32:])
  630. panic(err)
  631. }
  632. f, err := unmarshalTrunc(bs, truncate)
  633. if err != nil {
  634. panic(err)
  635. }
  636. if cont := fn(f); !cont {
  637. return
  638. }
  639. }
  640. }
  641. func ldbAvailability(db *leveldb.DB, folder, file []byte) []protocol.DeviceID {
  642. k := globalKey(folder, file)
  643. bs, err := db.Get(k, nil)
  644. if err == leveldb.ErrNotFound {
  645. return nil
  646. }
  647. if err != nil {
  648. panic(err)
  649. }
  650. var vl versionList
  651. err = vl.UnmarshalXDR(bs)
  652. if err != nil {
  653. panic(err)
  654. }
  655. var devices []protocol.DeviceID
  656. for _, v := range vl.versions {
  657. if v.version != vl.versions[0].version {
  658. break
  659. }
  660. n := protocol.DeviceIDFromBytes(v.device)
  661. devices = append(devices, n)
  662. }
  663. return devices
  664. }
  665. func ldbWithNeed(db *leveldb.DB, folder, device []byte, truncate bool, fn fileIterator) {
  666. runtime.GC()
  667. start := globalKey(folder, nil)
  668. limit := globalKey(folder, []byte{0xff, 0xff, 0xff, 0xff})
  669. snap, err := db.GetSnapshot()
  670. if err != nil {
  671. panic(err)
  672. }
  673. if debugDB {
  674. l.Debugf("created snapshot %p", snap)
  675. }
  676. defer func() {
  677. if debugDB {
  678. l.Debugf("close snapshot %p", snap)
  679. }
  680. snap.Release()
  681. }()
  682. dbi := snap.NewIterator(&util.Range{Start: start, Limit: limit}, nil)
  683. defer dbi.Release()
  684. outer:
  685. for dbi.Next() {
  686. var vl versionList
  687. err := vl.UnmarshalXDR(dbi.Value())
  688. if err != nil {
  689. panic(err)
  690. }
  691. if len(vl.versions) == 0 {
  692. l.Debugln(dbi.Key())
  693. panic("no versions?")
  694. }
  695. have := false // If we have the file, any version
  696. need := false // If we have a lower version of the file
  697. var haveVersion uint64
  698. for _, v := range vl.versions {
  699. if bytes.Compare(v.device, device) == 0 {
  700. have = true
  701. haveVersion = v.version
  702. need = v.version < vl.versions[0].version
  703. break
  704. }
  705. }
  706. if need || !have {
  707. name := globalKeyName(dbi.Key())
  708. needVersion := vl.versions[0].version
  709. inner:
  710. for i := range vl.versions {
  711. if vl.versions[i].version != needVersion {
  712. // We haven't found a valid copy of the file with the needed version.
  713. continue outer
  714. }
  715. fk := deviceKey(folder, vl.versions[i].device, name)
  716. if debugDB {
  717. l.Debugf("snap.Get %p %x", snap, fk)
  718. }
  719. bs, err := snap.Get(fk, nil)
  720. if err != nil {
  721. var id protocol.DeviceID
  722. copy(id[:], device)
  723. l.Debugf("device: %v", id)
  724. l.Debugf("need: %v, have: %v", need, have)
  725. l.Debugf("key: %q (%x)", dbi.Key(), dbi.Key())
  726. l.Debugf("vl: %v", vl)
  727. l.Debugf("i: %v", i)
  728. l.Debugf("fk: %q (%x)", fk, fk)
  729. l.Debugf("name: %q (%x)", name, name)
  730. panic(err)
  731. }
  732. gf, err := unmarshalTrunc(bs, truncate)
  733. if err != nil {
  734. panic(err)
  735. }
  736. if gf.IsInvalid() {
  737. // The file is marked invalid for whatever reason, don't use it.
  738. continue inner
  739. }
  740. if gf.IsDeleted() && !have {
  741. // We don't need deleted files that we don't have
  742. continue outer
  743. }
  744. if debugDB {
  745. l.Debugf("need folder=%q device=%v name=%q need=%v have=%v haveV=%d globalV=%d", folder, protocol.DeviceIDFromBytes(device), name, need, have, haveVersion, vl.versions[0].version)
  746. }
  747. if cont := fn(gf); !cont {
  748. return
  749. }
  750. // This file is handled, no need to look further in the version list
  751. continue outer
  752. }
  753. }
  754. }
  755. }
  756. func ldbListFolders(db *leveldb.DB) []string {
  757. runtime.GC()
  758. start := []byte{keyTypeGlobal}
  759. limit := []byte{keyTypeGlobal + 1}
  760. snap, err := db.GetSnapshot()
  761. if err != nil {
  762. panic(err)
  763. }
  764. if debugDB {
  765. l.Debugf("created snapshot %p", snap)
  766. }
  767. defer func() {
  768. if debugDB {
  769. l.Debugf("close snapshot %p", snap)
  770. }
  771. snap.Release()
  772. }()
  773. dbi := snap.NewIterator(&util.Range{Start: start, Limit: limit}, nil)
  774. defer dbi.Release()
  775. folderExists := make(map[string]bool)
  776. for dbi.Next() {
  777. folder := string(globalKeyFolder(dbi.Key()))
  778. if !folderExists[folder] {
  779. folderExists[folder] = true
  780. }
  781. }
  782. folders := make([]string, 0, len(folderExists))
  783. for k := range folderExists {
  784. folders = append(folders, k)
  785. }
  786. sort.Strings(folders)
  787. return folders
  788. }
  789. func ldbDropFolder(db *leveldb.DB, folder []byte) {
  790. runtime.GC()
  791. snap, err := db.GetSnapshot()
  792. if err != nil {
  793. panic(err)
  794. }
  795. if debugDB {
  796. l.Debugf("created snapshot %p", snap)
  797. }
  798. defer func() {
  799. if debugDB {
  800. l.Debugf("close snapshot %p", snap)
  801. }
  802. snap.Release()
  803. }()
  804. // Remove all items related to the given folder from the device->file bucket
  805. start := []byte{keyTypeDevice}
  806. limit := []byte{keyTypeDevice + 1}
  807. dbi := snap.NewIterator(&util.Range{Start: start, Limit: limit}, nil)
  808. for dbi.Next() {
  809. itemFolder := deviceKeyFolder(dbi.Key())
  810. if bytes.Compare(folder, itemFolder) == 0 {
  811. db.Delete(dbi.Key(), nil)
  812. }
  813. }
  814. dbi.Release()
  815. // Remove all items related to the given folder from the global bucket
  816. start = []byte{keyTypeGlobal}
  817. limit = []byte{keyTypeGlobal + 1}
  818. dbi = snap.NewIterator(&util.Range{Start: start, Limit: limit}, nil)
  819. for dbi.Next() {
  820. itemFolder := globalKeyFolder(dbi.Key())
  821. if bytes.Compare(folder, itemFolder) == 0 {
  822. db.Delete(dbi.Key(), nil)
  823. }
  824. }
  825. dbi.Release()
  826. }
  827. func unmarshalTrunc(bs []byte, truncate bool) (protocol.FileIntf, error) {
  828. if truncate {
  829. var tf protocol.FileInfoTruncated
  830. err := tf.UnmarshalXDR(bs)
  831. return tf, err
  832. } else {
  833. var tf protocol.FileInfo
  834. err := tf.UnmarshalXDR(bs)
  835. return tf, err
  836. }
  837. }
  838. func ldbCheckGlobals(db *leveldb.DB, folder []byte) {
  839. defer runtime.GC()
  840. snap, err := db.GetSnapshot()
  841. if err != nil {
  842. panic(err)
  843. }
  844. if debugDB {
  845. l.Debugf("created snapshot %p", snap)
  846. }
  847. defer func() {
  848. if debugDB {
  849. l.Debugf("close snapshot %p", snap)
  850. }
  851. snap.Release()
  852. }()
  853. start := globalKey(folder, nil)
  854. limit := globalKey(folder, []byte{0xff, 0xff, 0xff, 0xff})
  855. dbi := snap.NewIterator(&util.Range{Start: start, Limit: limit}, nil)
  856. defer dbi.Release()
  857. batch := new(leveldb.Batch)
  858. if debugDB {
  859. l.Debugf("new batch %p", batch)
  860. }
  861. for dbi.Next() {
  862. gk := dbi.Key()
  863. var vl versionList
  864. err := vl.UnmarshalXDR(dbi.Value())
  865. if err != nil {
  866. panic(err)
  867. }
  868. // Check the global version list for consistency. An issue in previous
  869. // versions of goleveldb could result in reordered writes so that
  870. // there are global entries pointing to no longer existing files. Here
  871. // we find those and clear them out.
  872. name := globalKeyName(gk)
  873. var newVL versionList
  874. for _, version := range vl.versions {
  875. fk := deviceKey(folder, version.device, name)
  876. if debugDB {
  877. l.Debugf("snap.Get %p %x", snap, fk)
  878. }
  879. _, err := snap.Get(fk, nil)
  880. if err == leveldb.ErrNotFound {
  881. continue
  882. }
  883. if err != nil {
  884. panic(err)
  885. }
  886. newVL.versions = append(newVL.versions, version)
  887. }
  888. if len(newVL.versions) != len(vl.versions) {
  889. l.Infof("db repair: rewriting global version list for %x %x", gk[1:1+64], gk[1+64:])
  890. batch.Put(dbi.Key(), newVL.MustMarshalXDR())
  891. }
  892. }
  893. if debugDB {
  894. l.Infoln("db check completed for %q", folder)
  895. }
  896. db.Write(batch, nil)
  897. }