leveldb.go 23 KB

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