freezer.go 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365
  1. // Copyright 2018 The go-ethereum Authors
  2. // This file is part of the go-ethereum library.
  3. //
  4. // The go-ethereum library is free software: you can redistribute it and/or modify
  5. // it under the terms of the GNU Lesser General Public License as published by
  6. // the Free Software Foundation, either version 3 of the License, or
  7. // (at your option) any later version.
  8. //
  9. // The go-ethereum library is distributed in the hope that it will be useful,
  10. // but WITHOUT ANY WARRANTY; without even the implied warranty of
  11. // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  12. // GNU Lesser General Public License for more details.
  13. //
  14. // You should have received a copy of the GNU Lesser General Public License
  15. // along with the go-ethereum library. If not, see <http://www.gnu.org/licenses/>.
  16. package rawdb
  17. import (
  18. "errors"
  19. "fmt"
  20. "math"
  21. "path/filepath"
  22. "sync/atomic"
  23. "time"
  24. "github.com/ethereum/go-ethereum/common"
  25. "github.com/ethereum/go-ethereum/ethdb"
  26. "github.com/ethereum/go-ethereum/log"
  27. "github.com/ethereum/go-ethereum/metrics"
  28. "github.com/prometheus/tsdb/fileutil"
  29. )
  30. var (
  31. // errUnknownTable is returned if the user attempts to read from a table that is
  32. // not tracked by the freezer.
  33. errUnknownTable = errors.New("unknown table")
  34. // errOutOrderInsertion is returned if the user attempts to inject out-of-order
  35. // binary blobs into the freezer.
  36. errOutOrderInsertion = errors.New("the append operation is out-order")
  37. )
  38. const (
  39. // freezerRecheckInterval is the frequency to check the key-value database for
  40. // chain progression that might permit new blocks to be frozen into immutable
  41. // storage.
  42. freezerRecheckInterval = time.Minute
  43. // freezerBlockGraduation is the number of confirmations a block must achieve
  44. // before it becomes elligible for chain freezing. This must exceed any chain
  45. // reorg depth, since the freezer also deletes all block siblings.
  46. freezerBlockGraduation = 90000
  47. // freezerBatchLimit is the maximum number of blocks to freeze in one batch
  48. // before doing an fsync and deleting it from the key-value store.
  49. freezerBatchLimit = 30000
  50. )
  51. // freezer is an memory mapped append-only database to store immutable chain data
  52. // into flat files:
  53. //
  54. // - The append only nature ensures that disk writes are minimized.
  55. // - The memory mapping ensures we can max out system memory for caching without
  56. // reserving it for go-ethereum. This would also reduce the memory requirements
  57. // of Geth, and thus also GC overhead.
  58. type freezer struct {
  59. tables map[string]*freezerTable // Data tables for storing everything
  60. frozen uint64 // Number of blocks already frozen
  61. instanceLock fileutil.Releaser // File-system lock to prevent double opens
  62. }
  63. // newFreezer creates a chain freezer that moves ancient chain data into
  64. // append-only flat file containers.
  65. func newFreezer(datadir string, namespace string) (*freezer, error) {
  66. // Create the initial freezer object
  67. var (
  68. readMeter = metrics.NewRegisteredMeter(namespace+"ancient/read", nil)
  69. writeMeter = metrics.NewRegisteredMeter(namespace+"ancient/write", nil)
  70. )
  71. // Leveldb uses LOCK as the filelock filename. To prevent the
  72. // name collision, we use FLOCK as the lock name.
  73. lock, _, err := fileutil.Flock(filepath.Join(datadir, "FLOCK"))
  74. if err != nil {
  75. return nil, err
  76. }
  77. // Open all the supported data tables
  78. freezer := &freezer{
  79. tables: make(map[string]*freezerTable),
  80. instanceLock: lock,
  81. }
  82. for _, name := range []string{freezerHashTable, freezerHeaderTable, freezerBodiesTable, freezerReceiptTable, freezerDifficultyTable} {
  83. table, err := newTable(datadir, name, readMeter, writeMeter)
  84. if err != nil {
  85. for _, table := range freezer.tables {
  86. table.Close()
  87. }
  88. lock.Release()
  89. return nil, err
  90. }
  91. freezer.tables[name] = table
  92. }
  93. if err := freezer.repair(); err != nil {
  94. for _, table := range freezer.tables {
  95. table.Close()
  96. }
  97. lock.Release()
  98. return nil, err
  99. }
  100. return freezer, nil
  101. }
  102. // Close terminates the chain freezer, unmapping all the data files.
  103. func (f *freezer) Close() error {
  104. var errs []error
  105. for _, table := range f.tables {
  106. if err := table.Close(); err != nil {
  107. errs = append(errs, err)
  108. }
  109. }
  110. if err := f.instanceLock.Release(); err != nil {
  111. errs = append(errs, err)
  112. }
  113. if errs != nil {
  114. return fmt.Errorf("%v", errs)
  115. }
  116. return nil
  117. }
  118. // HasAncient returns an indicator whether the specified ancient data exists
  119. // in the freezer.
  120. func (f *freezer) HasAncient(kind string, number uint64) (bool, error) {
  121. if table := f.tables[kind]; table != nil {
  122. return table.has(number), nil
  123. }
  124. return false, nil
  125. }
  126. // Ancient retrieves an ancient binary blob from the append-only immutable files.
  127. func (f *freezer) Ancient(kind string, number uint64) ([]byte, error) {
  128. if table := f.tables[kind]; table != nil {
  129. return table.Retrieve(number)
  130. }
  131. return nil, errUnknownTable
  132. }
  133. // Ancients returns the length of the frozen items.
  134. func (f *freezer) Ancients() (uint64, error) {
  135. return atomic.LoadUint64(&f.frozen), nil
  136. }
  137. // AppendAncient injects all binary blobs belong to block at the end of the
  138. // append-only immutable table files.
  139. //
  140. // Notably, this function is lock free but kind of thread-safe. All out-of-order
  141. // injection will be rejected. But if two injections with same number happen at
  142. // the same time, we can get into the trouble.
  143. func (f *freezer) AppendAncient(number uint64, hash, header, body, receipts, td []byte) (err error) {
  144. // Ensure the binary blobs we are appending is continuous with freezer.
  145. if atomic.LoadUint64(&f.frozen) != number {
  146. return errOutOrderInsertion
  147. }
  148. // Rollback all inserted data if any insertion below failed to ensure
  149. // the tables won't out of sync.
  150. defer func() {
  151. if err != nil {
  152. rerr := f.repair()
  153. if rerr != nil {
  154. log.Crit("Failed to repair freezer", "err", rerr)
  155. }
  156. log.Info("Append ancient failed", "number", number, "err", err)
  157. }
  158. }()
  159. // Inject all the components into the relevant data tables
  160. if err := f.tables[freezerHashTable].Append(f.frozen, hash[:]); err != nil {
  161. log.Error("Failed to append ancient hash", "number", f.frozen, "hash", hash, "err", err)
  162. return err
  163. }
  164. if err := f.tables[freezerHeaderTable].Append(f.frozen, header); err != nil {
  165. log.Error("Failed to append ancient header", "number", f.frozen, "hash", hash, "err", err)
  166. return err
  167. }
  168. if err := f.tables[freezerBodiesTable].Append(f.frozen, body); err != nil {
  169. log.Error("Failed to append ancient body", "number", f.frozen, "hash", hash, "err", err)
  170. return err
  171. }
  172. if err := f.tables[freezerReceiptTable].Append(f.frozen, receipts); err != nil {
  173. log.Error("Failed to append ancient receipts", "number", f.frozen, "hash", hash, "err", err)
  174. return err
  175. }
  176. if err := f.tables[freezerDifficultyTable].Append(f.frozen, td); err != nil {
  177. log.Error("Failed to append ancient difficulty", "number", f.frozen, "hash", hash, "err", err)
  178. return err
  179. }
  180. atomic.AddUint64(&f.frozen, 1) // Only modify atomically
  181. return nil
  182. }
  183. // Truncate discards any recent data above the provided threshold number.
  184. func (f *freezer) TruncateAncients(items uint64) error {
  185. if atomic.LoadUint64(&f.frozen) <= items {
  186. return nil
  187. }
  188. for _, table := range f.tables {
  189. if err := table.truncate(items); err != nil {
  190. return err
  191. }
  192. }
  193. atomic.StoreUint64(&f.frozen, items)
  194. return nil
  195. }
  196. // sync flushes all data tables to disk.
  197. func (f *freezer) Sync() error {
  198. var errs []error
  199. for _, table := range f.tables {
  200. if err := table.Sync(); err != nil {
  201. errs = append(errs, err)
  202. }
  203. }
  204. if errs != nil {
  205. return fmt.Errorf("%v", errs)
  206. }
  207. return nil
  208. }
  209. // freeze is a background thread that periodically checks the blockchain for any
  210. // import progress and moves ancient data from the fast database into the freezer.
  211. //
  212. // This functionality is deliberately broken off from block importing to avoid
  213. // incurring additional data shuffling delays on block propagation.
  214. func (f *freezer) freeze(db ethdb.KeyValueStore) {
  215. nfdb := &nofreezedb{KeyValueStore: db}
  216. for {
  217. // Retrieve the freezing threshold.
  218. hash := ReadHeadBlockHash(nfdb)
  219. if hash == (common.Hash{}) {
  220. log.Debug("Current full block hash unavailable") // new chain, empty database
  221. time.Sleep(freezerRecheckInterval)
  222. continue
  223. }
  224. number := ReadHeaderNumber(nfdb, hash)
  225. switch {
  226. case number == nil:
  227. log.Error("Current full block number unavailable", "hash", hash)
  228. time.Sleep(freezerRecheckInterval)
  229. continue
  230. case *number < freezerBlockGraduation:
  231. log.Debug("Current full block not old enough", "number", *number, "hash", hash, "delay", freezerBlockGraduation)
  232. time.Sleep(freezerRecheckInterval)
  233. continue
  234. case *number-freezerBlockGraduation <= f.frozen:
  235. log.Debug("Ancient blocks frozen already", "number", *number, "hash", hash, "frozen", f.frozen)
  236. time.Sleep(freezerRecheckInterval)
  237. continue
  238. }
  239. head := ReadHeader(nfdb, hash, *number)
  240. if head == nil {
  241. log.Error("Current full block unavailable", "number", *number, "hash", hash)
  242. time.Sleep(freezerRecheckInterval)
  243. continue
  244. }
  245. // Seems we have data ready to be frozen, process in usable batches
  246. limit := *number - freezerBlockGraduation
  247. if limit-f.frozen > freezerBatchLimit {
  248. limit = f.frozen + freezerBatchLimit
  249. }
  250. var (
  251. start = time.Now()
  252. first = f.frozen
  253. ancients = make([]common.Hash, 0, limit)
  254. )
  255. for f.frozen < limit {
  256. // Retrieves all the components of the canonical block
  257. hash := ReadCanonicalHash(nfdb, f.frozen)
  258. if hash == (common.Hash{}) {
  259. log.Error("Canonical hash missing, can't freeze", "number", f.frozen)
  260. break
  261. }
  262. header := ReadHeaderRLP(nfdb, hash, f.frozen)
  263. if len(header) == 0 {
  264. log.Error("Block header missing, can't freeze", "number", f.frozen, "hash", hash)
  265. break
  266. }
  267. body := ReadBodyRLP(nfdb, hash, f.frozen)
  268. if len(body) == 0 {
  269. log.Error("Block body missing, can't freeze", "number", f.frozen, "hash", hash)
  270. break
  271. }
  272. receipts := ReadReceiptsRLP(nfdb, hash, f.frozen)
  273. if len(receipts) == 0 {
  274. log.Error("Block receipts missing, can't freeze", "number", f.frozen, "hash", hash)
  275. break
  276. }
  277. td := ReadTdRLP(nfdb, hash, f.frozen)
  278. if len(td) == 0 {
  279. log.Error("Total difficulty missing, can't freeze", "number", f.frozen, "hash", hash)
  280. break
  281. }
  282. log.Trace("Deep froze ancient block", "number", f.frozen, "hash", hash)
  283. // Inject all the components into the relevant data tables
  284. if err := f.AppendAncient(f.frozen, hash[:], header, body, receipts, td); err != nil {
  285. break
  286. }
  287. ancients = append(ancients, hash)
  288. }
  289. // Batch of blocks have been frozen, flush them before wiping from leveldb
  290. if err := f.Sync(); err != nil {
  291. log.Crit("Failed to flush frozen tables", "err", err)
  292. }
  293. // Wipe out all data from the active database
  294. batch := db.NewBatch()
  295. for i := 0; i < len(ancients); i++ {
  296. DeleteBlockWithoutNumber(batch, ancients[i], first+uint64(i))
  297. DeleteCanonicalHash(batch, first+uint64(i))
  298. }
  299. if err := batch.Write(); err != nil {
  300. log.Crit("Failed to delete frozen canonical blocks", "err", err)
  301. }
  302. batch.Reset()
  303. // Wipe out side chain also.
  304. for number := first; number < f.frozen; number++ {
  305. for _, hash := range ReadAllHashes(db, number) {
  306. DeleteBlock(batch, hash, number)
  307. }
  308. }
  309. if err := batch.Write(); err != nil {
  310. log.Crit("Failed to delete frozen side blocks", "err", err)
  311. }
  312. // Log something friendly for the user
  313. context := []interface{}{
  314. "blocks", f.frozen - first, "elapsed", common.PrettyDuration(time.Since(start)), "number", f.frozen - 1,
  315. }
  316. if n := len(ancients); n > 0 {
  317. context = append(context, []interface{}{"hash", ancients[n-1]}...)
  318. }
  319. log.Info("Deep froze chain segment", context...)
  320. // Avoid database thrashing with tiny writes
  321. if f.frozen-first < freezerBatchLimit {
  322. time.Sleep(freezerRecheckInterval)
  323. }
  324. }
  325. }
  326. // repair truncates all data tables to the same length.
  327. func (f *freezer) repair() error {
  328. min := uint64(math.MaxUint64)
  329. for _, table := range f.tables {
  330. items := atomic.LoadUint64(&table.items)
  331. if min > items {
  332. min = items
  333. }
  334. }
  335. for _, table := range f.tables {
  336. if err := table.truncate(min); err != nil {
  337. return err
  338. }
  339. }
  340. atomic.StoreUint64(&f.frozen, min)
  341. return nil
  342. }