You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

226 lines
6.8 KiB

blockchain: Reorg reactor (#3561) * go routines in blockchain reactor * Added reference to the go routine diagram * Initial commit * cleanup * Undo testing_logger change, committed by mistake * Fix the test loggers * pulled some fsm code into pool.go * added pool tests * changes to the design added block requests under peer moved the request trigger in the reactor poolRoutine, triggered now by a ticker in general moved everything required for making block requests smarter in the poolRoutine added a simple map of heights to keep track of what will need to be requested next added a few more tests * send errors to FSM in a different channel than blocks send errors (RemovePeer) from switch on a different channel than the one receiving blocks renamed channels added more pool tests * more pool tests * lint errors * more tests * more tests * switch fast sync to new implementation * fixed data race in tests * cleanup * finished fsm tests * address golangci comments :) * address golangci comments :) * Added timeout on next block needed to advance * updating docs and cleanup * fix issue in test from previous cleanup * cleanup * Added termination scenarios, tests and more cleanup * small fixes to adr, comments and cleanup * Fix bug in sendRequest() If we tried to send a request to a peer not present in the switch, a missing continue statement caused the request to be blackholed in a peer that was removed and never retried. While this bug was manifesting, the reactor kept asking for other blocks that would be stored and never consumed. Added the number of unconsumed blocks in the math for requesting blocks ahead of current processing height so eventually there will be no more blocks requested until the already received ones are consumed. * remove bpPeer's didTimeout field * Use distinct err codes for peer timeout and FSM timeouts * Don't allow peers to update with lower height * review comments from Ethan and Zarko * some cleanup, renaming, comments * Move block execution in separate goroutine * Remove pool's numPending * review comments * fix lint, remove old blockchain reactor and duplicates in fsm tests * small reorg around peer after review comments * add the reactor spec * verify block only once * review comments * change to int for max number of pending requests * cleanup and godoc * Add configuration flag fast sync version * golangci fixes * fix config template * move both reactor versions under blockchain * cleanup, golint, renaming stuff * updated documentation, fixed more golint warnings * integrate with behavior package * sync with master * gofmt * add changelog_pending entry * move to improvments * suggestion to changelog entry
6 years ago
cs: sync WAL more frequently (#3300) As per #3043, this adds a ticker to sync the WAL every 2s while the WAL is running. * Flush WAL every 2s This adds a ticker that flushes the WAL every 2s while the WAL is running. This is related to #3043. * Fix spelling * Increase timeout to 2mins for slower build environments * Make WAL sync interval configurable * Add TODO to replace testChan with more comprehensive testBus * Remove extraneous debug statement * Remove testChan in favour of using system time As per https://github.com/tendermint/tendermint/pull/3300#discussion_r255886586, this removes the `testChan` WAL member and replaces the approach with a system time-oriented one. In this new approach, we keep track of the system time at which each flush and periodic flush successfully occurred. The naming of the various functions is also updated here to be more consistent with "flushing" as opposed to "sync'ing". * Update naming convention and ensure lock for timestamp update * Add Flush method as part of WAL interface Adds a `Flush` method as part of the WAL interface to enforce the idea that we can manually trigger a WAL flush from outside of the WAL. This is employed in the consensus state management to flush the WAL prior to signing votes/proposals, as per https://github.com/tendermint/tendermint/issues/3043#issuecomment-453853630 * Update CHANGELOG_PENDING * Remove mutex approach and replace with DI The dependency injection approach to dealing with testing concerns could allow similar effects to some kind of "testing bus"-based approach. This commit introduces an example of this, where instead of relying on (potentially fragile) timing of things between the code and the test, we inject code into the function under test that can signal the test through a channel. This allows us to avoid the `time.Sleep()`-based approach previously employed. * Update comment on WAL flushing during vote signing Co-Authored-By: thanethomson <connect@thanethomson.com> * Simplify flush interval definition Co-Authored-By: thanethomson <connect@thanethomson.com> * Expand commentary on WAL disk flushing Co-Authored-By: thanethomson <connect@thanethomson.com> * Add broken test to illustrate WAL sync test problem Removes test-related state (dependency injection code) from the WAL data structure and adds test code to illustrate the problem with using `WALGenerateNBlocks` and `wal.SearchForEndHeight` to test periodic sync'ing. * Fix test error messages * Use WAL group buffer size to check for flush A function is added to `libs/autofile/group.go#Group` in order to return the size of the buffered data (i.e. data that has not yet been flushed to disk). The test now checks that, prior to a `time.Sleep`, the group buffer has data in it. After the `time.Sleep` (during which time the periodic flush should have been called), the buffer should be empty. * Remove config root dir removal from #3291 * Add godoc for NewWAL mentioning periodic sync
6 years ago
cs/replay: execCommitBlock should not read from state.lastValidators (#3067) * execCommitBlock should not read from state.lastValidators * fix height 1 * fix blockchain/reactor_test * fix consensus/mempool_test * fix consensus/reactor_test * fix consensus/replay_test * add CHANGELOG * fix consensus/reactor_test * fix consensus/replay_test * add a test for replay validators change * fix mem_pool test * fix byzantine test * remove a redundant code * reduce validator change blocks to 6 * fix * return peer0 config * seperate testName * seperate testName 1 * seperate testName 2 * seperate app db path * seperate app db path 1 * add a lock before startNet * move the lock to reactor_test * simulate just once * try to find problem * handshake only saveState when app version changed * update gometalinter to 3.0.0 (#3233) in the attempt to fix https://circleci.com/gh/tendermint/tendermint/43165 also code is simplified by running gofmt -s . remove unused vars enable linters we're currently passing remove deprecated linters (cherry picked from commit d47094550315c094512a242445e0dde24b5a03f5) * gofmt code * goimport code * change the bool name to testValidatorsChange * adjust receive kvstore.ProtocolVersion * adjust receive kvstore.ProtocolVersion 1 * adjust receive kvstore.ProtocolVersion 3 * fix merge execution.go * fix merge develop * fix merge develop 1 * fix run cleanupFunc * adjust code according to reviewers' opinion * modify the func name match the convention * simplify simulate a chain containing some validator change txs 1 * test CI error * Merge remote-tracking branch 'upstream/develop' into fixReplay 1 * fix pubsub_test * subscribeUnbuffered vote channel
6 years ago
blockchain: Reorg reactor (#3561) * go routines in blockchain reactor * Added reference to the go routine diagram * Initial commit * cleanup * Undo testing_logger change, committed by mistake * Fix the test loggers * pulled some fsm code into pool.go * added pool tests * changes to the design added block requests under peer moved the request trigger in the reactor poolRoutine, triggered now by a ticker in general moved everything required for making block requests smarter in the poolRoutine added a simple map of heights to keep track of what will need to be requested next added a few more tests * send errors to FSM in a different channel than blocks send errors (RemovePeer) from switch on a different channel than the one receiving blocks renamed channels added more pool tests * more pool tests * lint errors * more tests * more tests * switch fast sync to new implementation * fixed data race in tests * cleanup * finished fsm tests * address golangci comments :) * address golangci comments :) * Added timeout on next block needed to advance * updating docs and cleanup * fix issue in test from previous cleanup * cleanup * Added termination scenarios, tests and more cleanup * small fixes to adr, comments and cleanup * Fix bug in sendRequest() If we tried to send a request to a peer not present in the switch, a missing continue statement caused the request to be blackholed in a peer that was removed and never retried. While this bug was manifesting, the reactor kept asking for other blocks that would be stored and never consumed. Added the number of unconsumed blocks in the math for requesting blocks ahead of current processing height so eventually there will be no more blocks requested until the already received ones are consumed. * remove bpPeer's didTimeout field * Use distinct err codes for peer timeout and FSM timeouts * Don't allow peers to update with lower height * review comments from Ethan and Zarko * some cleanup, renaming, comments * Move block execution in separate goroutine * Remove pool's numPending * review comments * fix lint, remove old blockchain reactor and duplicates in fsm tests * small reorg around peer after review comments * add the reactor spec * verify block only once * review comments * change to int for max number of pending requests * cleanup and godoc * Add configuration flag fast sync version * golangci fixes * fix config template * move both reactor versions under blockchain * cleanup, golint, renaming stuff * updated documentation, fixed more golint warnings * integrate with behavior package * sync with master * gofmt * add changelog_pending entry * move to improvments * suggestion to changelog entry
6 years ago
lint: Enable Golint (#4212) * Fix many golint errors * Fix golint errors in the 'lite' package * Don't export Pool.store * Fix typo * Revert unwanted changes * Fix errors in counter package * Fix linter errors in kvstore package * Fix linter error in example package * Fix error in tests package * Fix linter errors in v2 package * Fix linter errors in consensus package * Fix linter errors in evidence package * Fix linter error in fail package * Fix linter errors in query package * Fix linter errors in core package * Fix linter errors in node package * Fix linter errors in mempool package * Fix linter error in conn package * Fix linter errors in pex package * Rename PEXReactor export to Reactor * Fix linter errors in trust package * Fix linter errors in upnp package * Fix linter errors in p2p package * Fix linter errors in proxy package * Fix linter errors in mock_test package * Fix linter error in client_test package * Fix linter errors in coretypes package * Fix linter errors in coregrpc package * Fix linter errors in rpcserver package * Fix linter errors in rpctypes package * Fix linter errors in rpctest package * Fix linter error in json2wal script * Fix linter error in wal2json script * Fix linter errors in kv package * Fix linter error in state package * Fix linter error in grpc_client * Fix linter errors in types package * Fix linter error in version package * Fix remaining errors * Address review comments * Fix broken tests * Reconcile package coregrpc * Fix golangci bot error * Fix new golint errors * Fix broken reference * Enable golint linter * minor changes to bring golint into line * fix failing test * fix pex reactor naming * address PR comments
5 years ago
  1. package consensus
  2. import (
  3. "bufio"
  4. "bytes"
  5. "fmt"
  6. "io"
  7. "path/filepath"
  8. "testing"
  9. "time"
  10. db "github.com/tendermint/tm-db"
  11. "github.com/tendermint/tendermint/abci/example/kvstore"
  12. cfg "github.com/tendermint/tendermint/config"
  13. "github.com/tendermint/tendermint/libs/log"
  14. tmrand "github.com/tendermint/tendermint/libs/rand"
  15. "github.com/tendermint/tendermint/privval"
  16. "github.com/tendermint/tendermint/proxy"
  17. sm "github.com/tendermint/tendermint/state"
  18. "github.com/tendermint/tendermint/store"
  19. "github.com/tendermint/tendermint/types"
  20. )
  21. // WALGenerateNBlocks generates a consensus WAL. It does this by spinning up a
  22. // stripped down version of node (proxy app, event bus, consensus state) with a
  23. // persistent kvstore application and special consensus wal instance
  24. // (byteBufferWAL) and waits until numBlocks are created.
  25. // If the node fails to produce given numBlocks, it returns an error.
  26. func WALGenerateNBlocks(t *testing.T, wr io.Writer, numBlocks int) (err error) {
  27. config := getConfig(t)
  28. app := kvstore.NewPersistentKVStoreApplication(filepath.Join(config.DBDir(), "wal_generator"))
  29. logger := log.TestingLogger().With("wal_generator", "wal_generator")
  30. logger.Info("generating WAL (last height msg excluded)", "numBlocks", numBlocks)
  31. // COPY PASTE FROM node.go WITH A FEW MODIFICATIONS
  32. // NOTE: we can't import node package because of circular dependency.
  33. // NOTE: we don't do handshake so need to set state.Version.Consensus.App directly.
  34. privValidatorKeyFile := config.PrivValidatorKeyFile()
  35. privValidatorStateFile := config.PrivValidatorStateFile()
  36. privValidator := privval.LoadOrGenFilePV(privValidatorKeyFile, privValidatorStateFile)
  37. genDoc, err := types.GenesisDocFromFile(config.GenesisFile())
  38. if err != nil {
  39. return fmt.Errorf("failed to read genesis file: %w", err)
  40. }
  41. blockStoreDB := db.NewMemDB()
  42. stateDB := blockStoreDB
  43. stateStore := sm.NewStore(stateDB)
  44. state, err := sm.MakeGenesisState(genDoc)
  45. if err != nil {
  46. return fmt.Errorf("failed to make genesis state: %w", err)
  47. }
  48. state.Version.Consensus.App = kvstore.ProtocolVersion
  49. if err = stateStore.Save(state); err != nil {
  50. t.Error(err)
  51. }
  52. blockStore := store.NewBlockStore(blockStoreDB)
  53. proxyApp := proxy.NewAppConns(proxy.NewLocalClientCreator(app))
  54. proxyApp.SetLogger(logger.With("module", "proxy"))
  55. if err := proxyApp.Start(); err != nil {
  56. return fmt.Errorf("failed to start proxy app connections: %w", err)
  57. }
  58. t.Cleanup(func() {
  59. if err := proxyApp.Stop(); err != nil {
  60. t.Error(err)
  61. }
  62. })
  63. eventBus := types.NewEventBus()
  64. eventBus.SetLogger(logger.With("module", "events"))
  65. if err := eventBus.Start(); err != nil {
  66. return fmt.Errorf("failed to start event bus: %w", err)
  67. }
  68. t.Cleanup(func() {
  69. if err := eventBus.Stop(); err != nil {
  70. t.Error(err)
  71. }
  72. })
  73. mempool := emptyMempool{}
  74. evpool := sm.EmptyEvidencePool{}
  75. blockExec := sm.NewBlockExecutor(stateStore, log.TestingLogger(), proxyApp.Consensus(), mempool, evpool)
  76. consensusState := NewState(config.Consensus, state.Copy(), blockExec, blockStore, mempool, evpool)
  77. consensusState.SetLogger(logger)
  78. consensusState.SetEventBus(eventBus)
  79. if privValidator != nil {
  80. consensusState.SetPrivValidator(privValidator)
  81. }
  82. // END OF COPY PASTE
  83. // set consensus wal to buffered WAL, which will write all incoming msgs to buffer
  84. numBlocksWritten := make(chan struct{})
  85. wal := newByteBufferWAL(logger, NewWALEncoder(wr), int64(numBlocks), numBlocksWritten)
  86. // see wal.go#103
  87. if err := wal.Write(EndHeightMessage{0}); err != nil {
  88. t.Error(err)
  89. }
  90. consensusState.wal = wal
  91. if err := consensusState.Start(); err != nil {
  92. return fmt.Errorf("failed to start consensus state: %w", err)
  93. }
  94. select {
  95. case <-numBlocksWritten:
  96. if err := consensusState.Stop(); err != nil {
  97. t.Error(err)
  98. }
  99. return nil
  100. case <-time.After(1 * time.Minute):
  101. if err := consensusState.Stop(); err != nil {
  102. t.Error(err)
  103. }
  104. return fmt.Errorf("waited too long for tendermint to produce %d blocks (grep logs for `wal_generator`)", numBlocks)
  105. }
  106. }
  107. // WALWithNBlocks returns a WAL content with numBlocks.
  108. func WALWithNBlocks(t *testing.T, numBlocks int) (data []byte, err error) {
  109. var b bytes.Buffer
  110. wr := bufio.NewWriter(&b)
  111. if err := WALGenerateNBlocks(t, wr, numBlocks); err != nil {
  112. return []byte{}, err
  113. }
  114. wr.Flush()
  115. return b.Bytes(), nil
  116. }
  117. func randPort() int {
  118. // returns between base and base + spread
  119. base, spread := 20000, 20000
  120. return base + tmrand.Intn(spread)
  121. }
  122. func makeAddrs() (string, string, string) {
  123. start := randPort()
  124. return fmt.Sprintf("tcp://127.0.0.1:%d", start),
  125. fmt.Sprintf("tcp://127.0.0.1:%d", start+1),
  126. fmt.Sprintf("tcp://127.0.0.1:%d", start+2)
  127. }
  128. // getConfig returns a config for test cases
  129. func getConfig(t *testing.T) *cfg.Config {
  130. c := cfg.ResetTestRoot(t.Name())
  131. // and we use random ports to run in parallel
  132. tm, rpc, grpc := makeAddrs()
  133. c.P2P.ListenAddress = tm
  134. c.RPC.ListenAddress = rpc
  135. c.RPC.GRPCListenAddress = grpc
  136. return c
  137. }
  138. // byteBufferWAL is a WAL which writes all msgs to a byte buffer. Writing stops
  139. // when the heightToStop is reached. Client will be notified via
  140. // signalWhenStopsTo channel.
  141. type byteBufferWAL struct {
  142. enc *WALEncoder
  143. stopped bool
  144. heightToStop int64
  145. signalWhenStopsTo chan<- struct{}
  146. logger log.Logger
  147. }
  148. // needed for determinism
  149. var fixedTime, _ = time.Parse(time.RFC3339, "2017-01-02T15:04:05Z")
  150. func newByteBufferWAL(logger log.Logger, enc *WALEncoder, nBlocks int64, signalStop chan<- struct{}) *byteBufferWAL {
  151. return &byteBufferWAL{
  152. enc: enc,
  153. heightToStop: nBlocks,
  154. signalWhenStopsTo: signalStop,
  155. logger: logger,
  156. }
  157. }
  158. // Save writes message to the internal buffer except when heightToStop is
  159. // reached, in which case it will signal the caller via signalWhenStopsTo and
  160. // skip writing.
  161. func (w *byteBufferWAL) Write(m WALMessage) error {
  162. if w.stopped {
  163. w.logger.Debug("WAL already stopped. Not writing message", "msg", m)
  164. return nil
  165. }
  166. if endMsg, ok := m.(EndHeightMessage); ok {
  167. w.logger.Debug("WAL write end height message", "height", endMsg.Height, "stopHeight", w.heightToStop)
  168. if endMsg.Height == w.heightToStop {
  169. w.logger.Debug("Stopping WAL at height", "height", endMsg.Height)
  170. w.signalWhenStopsTo <- struct{}{}
  171. w.stopped = true
  172. return nil
  173. }
  174. }
  175. w.logger.Debug("WAL Write Message", "msg", m)
  176. err := w.enc.Encode(&TimedWALMessage{fixedTime, m})
  177. if err != nil {
  178. panic(fmt.Sprintf("failed to encode the msg %v", m))
  179. }
  180. return nil
  181. }
  182. func (w *byteBufferWAL) WriteSync(m WALMessage) error {
  183. return w.Write(m)
  184. }
  185. func (w *byteBufferWAL) FlushAndSync() error { return nil }
  186. func (w *byteBufferWAL) SearchForEndHeight(
  187. height int64,
  188. options *WALSearchOptions) (rd io.ReadCloser, found bool, err error) {
  189. return nil, false, nil
  190. }
  191. func (w *byteBufferWAL) Start() error { return nil }
  192. func (w *byteBufferWAL) Stop() error { return nil }
  193. func (w *byteBufferWAL) Wait() {}