Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

op-batcher: correctly track block metrics in handleChannelInvalidated() #14561

Merged
merged 3 commits into from
Feb 27, 2025

Conversation

geoknee
Copy link
Contributor

@geoknee geoknee commented Feb 27, 2025

Closes #14518

@geoknee geoknee added the A-op-batcher Area: op-batcher label Feb 27, 2025
@geoknee geoknee changed the title op-batcher: correctly track block metrics in handleChannelInvalidated op-batcher: correctly track block metrics in handleChannelInvalidated() Feb 27, 2025
Copy link

codecov bot commented Feb 27, 2025

Codecov Report

Attention: Patch coverage is 74.07407% with 7 lines in your changes missing coverage. Please review.

Project coverage is 41.98%. Comparing base (48b645a) to head (cf615ee).
Report is 2 commits behind head on develop.

Files with missing lines Patch % Lines
op-batcher/batcher/channel_manager.go 74.07% 5 Missing and 2 partials ⚠️
Additional details and impacted files
@@             Coverage Diff             @@
##           develop   #14561      +/-   ##
===========================================
- Coverage    46.41%   41.98%   -4.44%     
===========================================
  Files         1036      865     -171     
  Lines        88779    78837    -9942     
===========================================
- Hits         41206    33096    -8110     
+ Misses       44507    42836    -1671     
+ Partials      3066     2905     -161     
Flag Coverage Δ
cannon-go-tests-32 ?
cannon-go-tests-64 ?
contracts-bedrock-tests ?

Flags with carried forward coverage won't be shown. Click here to find out more.

Files with missing lines Coverage Δ
op-batcher/batcher/channel_manager.go 84.45% <74.07%> (-0.81%) ⬇️

... and 180 files with indirect coverage changes

@geoknee geoknee marked this pull request as ready for review February 27, 2025 15:54
@geoknee geoknee requested review from a team as code owners February 27, 2025 15:54
@geoknee geoknee requested a review from sebastianst February 27, 2025 15:54
@geoknee
Copy link
Contributor Author

geoknee commented Feb 27, 2025

Test output:

Running tool: /opt/homebrew/bin/go test -timeout 30s -run ^TestChannelManager_handleChannelInvalidated$ github.com/ethereum-optimism/optimism/op-batcher/batcher -v

=== RUN   TestChannelManager_handleChannelInvalidated
    /Users/georgeknee/code/ethereum-optimism/optimism/op-batcher/batcher/channel_manager.go:341:     INFO [02-27|15:52:06.822] Created channel                          id=a61a7e..4f3b47 l1Head=000000..000000:0 blocks_pending=2 l1OriginLastSubmittedChannel=000000..000000:0 batch_type=0 compression_algo=zlib target_num_frames=1 max_frame_size=100 use_blobs=false
    /Users/georgeknee/code/ethereum-optimism/optimism/op-batcher/batcher/channel_manager.go:341:     INFO [02-27|15:52:06.822] Created channel                          id=9b777f..a8cacb l1Head=000000..000000:0 blocks_pending=2 l1OriginLastSubmittedChannel=000000..000000:0 batch_type=0 compression_algo=zlib target_num_frames=1 max_frame_size=100 use_blobs=false
    /Users/georgeknee/code/ethereum-optimism/optimism/op-batcher/batcher/channel_manager.go:409:     DEBUG[02-27|15:52:06.822] Added block to channel                   id=9b777f..a8cacb block=f9c36c..6a163f:32233443
    /Users/georgeknee/code/ethereum-optimism/optimism/op-batcher/batcher/channel_manager.go:387:     DEBUG[02-27|15:52:06.822] Added blocks to channel                  blocks_added=1 blocks_pending=1 channel_full=true input_bytes=6199 ready_bytes=2
    /Users/georgeknee/code/ethereum-optimism/optimism/op-batcher/batcher/channel_manager.go:341:     INFO [02-27|15:52:06.822] Created channel                          id=c8e08b..d41e5f l1Head=000000..000000:0 blocks_pending=1 l1OriginLastSubmittedChannel=000000..000000:0 batch_type=0 compression_algo=zlib target_num_frames=1 max_frame_size=100 use_blobs=false
    /Users/georgeknee/code/ethereum-optimism/optimism/op-batcher/batcher/channel_manager.go:409:     DEBUG[02-27|15:52:06.823] Added block to channel                   id=c8e08b..d41e5f block=735f22..a1453d:93636473
    /Users/georgeknee/code/ethereum-optimism/optimism/op-batcher/batcher/channel_manager.go:387:     DEBUG[02-27|15:52:06.823] Added blocks to channel                  blocks_added=1 blocks_pending=0 channel_full=true input_bytes=6349 ready_bytes=2
    /Users/georgeknee/code/ethereum-optimism/optimism/op-batcher/batcher/channel_manager.go:174:     INFO [02-27|15:52:06.823] dropped channel                          id=9b777f..a8cacb none_submitted=true fully_submitted=true timed_out=false full_reason="channel full: compressor is full" oldest_l2=f9c36c..6a163f:32233443 newest_l2=f9c36c..6a163f:32233443
    /Users/georgeknee/code/ethereum-optimism/optimism/op-batcher/batcher/channel_manager.go:174:     INFO [02-27|15:52:06.823] dropped channel                          id=c8e08b..d41e5f none_submitted=true fully_submitted=true timed_out=false full_reason="channel full: compressor is full" oldest_l2=735f22..a1453d:93636473 newest_l2=735f22..a1453d:93636473
    /Users/georgeknee/code/ethereum-optimism/optimism/op-batcher/batcher/channel_manager.go:341:     INFO [02-27|15:52:06.823] Created channel                          id=809083..29c0da l1Head=000000..000000:0 blocks_pending=2 l1OriginLastSubmittedChannel=000000..000000:0 batch_type=0 compression_algo=zlib target_num_frames=1 max_frame_size=100 use_blobs=false
    /Users/georgeknee/code/ethereum-optimism/optimism/op-batcher/batcher/channel_manager.go:409:     DEBUG[02-27|15:52:06.823] Added block to channel                   id=809083..29c0da block=f9c36c..6a163f:32233443
    /Users/georgeknee/code/ethereum-optimism/optimism/op-batcher/batcher/channel_manager.go:387:     DEBUG[02-27|15:52:06.823] Added blocks to channel                  blocks_added=1 blocks_pending=1 channel_full=true input_bytes=6199 ready_bytes=2
--- PASS: TestChannelManager_handleChannelInvalidated (0.00s)
PASS
ok      github.com/ethereum-optimism/optimism/op-batcher/batcher        0.416s

@sebastianst sebastianst added this pull request to the merge queue Feb 27, 2025
Merged via the queue into develop with commit 5523d7a Feb 27, 2025
46 checks passed
@sebastianst sebastianst deleted the gk/pending-bytes-bug branch February 27, 2025 18:12
karlb pushed a commit to celo-org/optimism that referenced this pull request Mar 4, 2025
…d()` (ethereum-optimism#14561)

* op-batcher: correctly track block metrics in handleChannelInvalidated

Includes test which fails without the fix.

* op-batcher: log out channels which are dropped during handleChannelInvalidated()

* change to warn log for dropped channels
karlb pushed a commit to celo-org/optimism that referenced this pull request Mar 4, 2025
…d()` (ethereum-optimism#14561)

* op-batcher: correctly track block metrics in handleChannelInvalidated

Includes test which fails without the fix.

* op-batcher: log out channels which are dropped during handleChannelInvalidated()

* change to warn log for dropped channels
karlb pushed a commit to celo-org/optimism that referenced this pull request Mar 4, 2025
…d()` (ethereum-optimism#14561)

* op-batcher: correctly track block metrics in handleChannelInvalidated

Includes test which fails without the fix.

* op-batcher: log out channels which are dropped during handleChannelInvalidated()

* change to warn log for dropped channels
karlb pushed a commit to celo-org/optimism that referenced this pull request Mar 5, 2025
…d()` (ethereum-optimism#14561)

* op-batcher: correctly track block metrics in handleChannelInvalidated

Includes test which fails without the fix.

* op-batcher: log out channels which are dropped during handleChannelInvalidated()

* change to warn log for dropped channels
palango pushed a commit to celo-org/optimism that referenced this pull request Mar 6, 2025
* op-batcher: prevent `SpanChannelOut` RLP bytes overflowing `MaxRLPBytesPerChannel` (ethereum-optimism#14310)

* fix op-batcher pack over MaxRLPBytesChannel

* add test cases from different CompressionAlgo

* add fresh compression logic and corresponding comments

* refactor: enhance MaxRLPBytesPerChannel test

* refactor: rename variable and add required messages

* op-batcher: use local-safe to reduce lag during interop sync (ethereum-optimism#14265)

* op-batcher: remove `ThrottleInterval` and split block loading and batch publishing into separate goroutines (ethereum-optimism#14244)

* op-batcher: overhaul throttling, reading and writing loops

* no longer evaluate throttling conditions on a ticker
* break main loop into "reading" and "writing"
* reading loop signals to throttling and writing when ALL blocks are loaded (this could be done in a more fine grained way, even when each block is loaded)
* these run concurrently

* improvements

* readloop unblocks writing loop once, and then writing loop goes forever (pausing when it runs out of data)

tests pass but timeout due to bad shutdown

* rename to prevent shadowing

* allow for receipt handling when receipt and err are both nil

* split shutdownCtx into producers and consumers

* throttling loop ranges over a channel, does not take a context

* processReceiptsLoop ranges over a channel, does not take a context

* unify wait groups

* unify contexts

* writeLoop uses a ticker instead of a sleep

* WIP: add throughput test for batcher

* make txQueue local, not global state

* reduce diff

* reduce diff further

* make pendingBytesUpdated a local, not global

* read and write loop communicate with a channel

no more ticker required

* rename

* rename

* abstract promptLoop

* rename

* update readme

* add diagram to readme

* remove test

I'm not sure it is adding any value. May return to it in future

* sendToThrottlingLoop uses mutex

* harmonize "*Loop returning" logs

* tidy

* remove TODO

* rip out ThrottleInterval config var

* add activeSequencerChanged channel and wire it up to onActiveSequencerChanged hook in active rollup provider

* set callback at runtime, not in constructor

* reinstate startup order

* tidy

* remove dead code

* remove unintentional change

* rename readLoop to blockLoadingLoop and writeLoop to publishingLoop

* improve diagram

* replace ThrottleInterval with ThrottleThreshold as enabling var

* remove onActiveProviderChanged arg from constructors

* protect callback invocation with nullity check

* lint

* Apply suggestions from code review

Co-authored-by: Sebastian Stammler <seb@oplabs.co>

* remove ThrottelInterval from flags

* docs: mention active sequencer signal

* only attach callback if throttling is enabled

* increase buffer of activeSequencerChanged

means that we buffer a single event if the throttlingLoop is busy, even when using a try-send

* add buffer to pendingBytesUpdated

see previous commit

* reduce indentation

* remove dangling ref

* pass killCtx to publishingLoop and avoid accessing this context globally

* remove continue and always signal publishing loop

* remove unecessary mutex wrangle

* replace signalPublishingLoop method with trySignal fn

* extend TestRollupProvider_FailoverOnInactiveSequencer to cover callback fn

* use retryTimer in throttlingLoop

if RPC calls fail, they will be retried after retryInterval (or before, if another event triggers updateParams)

* op-batcher: improve active-seq-changed signalling setup

* remove unused state var

* rename blocksLoaded channel to publishSignal channel

---------

Co-authored-by: Sebastian Stammler <seb@oplabs.co>

* op-batcher: add `TestBatchSubmitter_sendTx_FloorDataGas` and patch `driver.sendTx` (ethereum-optimism#14517)

* op-batcher: add TestBatchSubmitter_sendTx_FloorDataGas

* op-batcher: use floorDataGas for transactions if greater than intrinsicGas

* Update op-batcher/batcher/driver.go

Co-authored-by: Sebastian Stammler <seb@oplabs.co>

* log error instead of ignoring

---------

Co-authored-by: Sebastian Stammler <seb@oplabs.co>

* op-batcher: always `updateCursorAndMetrics` when returning from `processBlocks()` (ethereum-optimism#14520)

* op-batcher: always updateCursorAndMetrics when returning from processBlocks()

* Update op-batcher/batcher/channel_manager.go

Co-authored-by: Sebastian Stammler <seb@oplabs.co>

---------

Co-authored-by: Sebastian Stammler <seb@oplabs.co>

* op-batcher: remove `ChannelManager.CheckExpectedProgress()` and add channel timeout log (ethereum-optimism#14553)

* op-batcher: remove ChannelManager.CheckExpectedProgress

* op-batcher: add warning log when a channel times out on chain

* op-batcher: correctly track block metrics in `handleChannelInvalidated()` (ethereum-optimism#14561)

* op-batcher: correctly track block metrics in handleChannelInvalidated

Includes test which fails without the fix.

* op-batcher: log out channels which are dropped during handleChannelInvalidated()

* change to warn log for dropped channels

* op-batcher: improve `computeSyncActions()` logging (ethereum-optimism#14563)

* improve computeSyncActions logging

* fixup test and make sure all cases run (!)

* use more friendly format for structured logger

* op-batcher: introduce `PREFER_LOCAL_SAFE_L2` config var (ethereum-optimism#14587)

* op-batcher: introduce PREFER_LOCAL_SAFE_L2 config var

* lint

* Apply suggestions from code review

Co-authored-by: Sebastian Stammler <seb@oplabs.co>

* lint

---------

Co-authored-by: Sebastian Stammler <seb@oplabs.co>

* batcher: Wait for DA write before shutdown

---------

Co-authored-by: olga yang <ya1994ng@gmail.com>
Co-authored-by: protolambda <proto@protolambda.com>
Co-authored-by: George Knee <georgeknee@googlemail.com>
Co-authored-by: Sebastian Stammler <seb@oplabs.co>
QuentinI pushed a commit to EspressoSystems/optimism-espresso-integration that referenced this pull request Mar 7, 2025
* op-batcher: prevent `SpanChannelOut` RLP bytes overflowing `MaxRLPBytesPerChannel` (ethereum-optimism#14310)

* fix op-batcher pack over MaxRLPBytesChannel

* add test cases from different CompressionAlgo

* add fresh compression logic and corresponding comments

* refactor: enhance MaxRLPBytesPerChannel test

* refactor: rename variable and add required messages

* op-batcher: use local-safe to reduce lag during interop sync (ethereum-optimism#14265)

* op-batcher: remove `ThrottleInterval` and split block loading and batch publishing into separate goroutines (ethereum-optimism#14244)

* op-batcher: overhaul throttling, reading and writing loops

* no longer evaluate throttling conditions on a ticker
* break main loop into "reading" and "writing"
* reading loop signals to throttling and writing when ALL blocks are loaded (this could be done in a more fine grained way, even when each block is loaded)
* these run concurrently

* improvements

* readloop unblocks writing loop once, and then writing loop goes forever (pausing when it runs out of data)

tests pass but timeout due to bad shutdown

* rename to prevent shadowing

* allow for receipt handling when receipt and err are both nil

* split shutdownCtx into producers and consumers

* throttling loop ranges over a channel, does not take a context

* processReceiptsLoop ranges over a channel, does not take a context

* unify wait groups

* unify contexts

* writeLoop uses a ticker instead of a sleep

* WIP: add throughput test for batcher

* make txQueue local, not global state

* reduce diff

* reduce diff further

* make pendingBytesUpdated a local, not global

* read and write loop communicate with a channel

no more ticker required

* rename

* rename

* abstract promptLoop

* rename

* update readme

* add diagram to readme

* remove test

I'm not sure it is adding any value. May return to it in future

* sendToThrottlingLoop uses mutex

* harmonize "*Loop returning" logs

* tidy

* remove TODO

* rip out ThrottleInterval config var

* add activeSequencerChanged channel and wire it up to onActiveSequencerChanged hook in active rollup provider

* set callback at runtime, not in constructor

* reinstate startup order

* tidy

* remove dead code

* remove unintentional change

* rename readLoop to blockLoadingLoop and writeLoop to publishingLoop

* improve diagram

* replace ThrottleInterval with ThrottleThreshold as enabling var

* remove onActiveProviderChanged arg from constructors

* protect callback invocation with nullity check

* lint

* Apply suggestions from code review

Co-authored-by: Sebastian Stammler <seb@oplabs.co>

* remove ThrottelInterval from flags

* docs: mention active sequencer signal

* only attach callback if throttling is enabled

* increase buffer of activeSequencerChanged

means that we buffer a single event if the throttlingLoop is busy, even when using a try-send

* add buffer to pendingBytesUpdated

see previous commit

* reduce indentation

* remove dangling ref

* pass killCtx to publishingLoop and avoid accessing this context globally

* remove continue and always signal publishing loop

* remove unecessary mutex wrangle

* replace signalPublishingLoop method with trySignal fn

* extend TestRollupProvider_FailoverOnInactiveSequencer to cover callback fn

* use retryTimer in throttlingLoop

if RPC calls fail, they will be retried after retryInterval (or before, if another event triggers updateParams)

* op-batcher: improve active-seq-changed signalling setup

* remove unused state var

* rename blocksLoaded channel to publishSignal channel

---------

Co-authored-by: Sebastian Stammler <seb@oplabs.co>

* op-batcher: add `TestBatchSubmitter_sendTx_FloorDataGas` and patch `driver.sendTx` (ethereum-optimism#14517)

* op-batcher: add TestBatchSubmitter_sendTx_FloorDataGas

* op-batcher: use floorDataGas for transactions if greater than intrinsicGas

* Update op-batcher/batcher/driver.go

Co-authored-by: Sebastian Stammler <seb@oplabs.co>

* log error instead of ignoring

---------

Co-authored-by: Sebastian Stammler <seb@oplabs.co>

* op-batcher: always `updateCursorAndMetrics` when returning from `processBlocks()` (ethereum-optimism#14520)

* op-batcher: always updateCursorAndMetrics when returning from processBlocks()

* Update op-batcher/batcher/channel_manager.go

Co-authored-by: Sebastian Stammler <seb@oplabs.co>

---------

Co-authored-by: Sebastian Stammler <seb@oplabs.co>

* op-batcher: remove `ChannelManager.CheckExpectedProgress()` and add channel timeout log (ethereum-optimism#14553)

* op-batcher: remove ChannelManager.CheckExpectedProgress

* op-batcher: add warning log when a channel times out on chain

* op-batcher: correctly track block metrics in `handleChannelInvalidated()` (ethereum-optimism#14561)

* op-batcher: correctly track block metrics in handleChannelInvalidated

Includes test which fails without the fix.

* op-batcher: log out channels which are dropped during handleChannelInvalidated()

* change to warn log for dropped channels

* op-batcher: improve `computeSyncActions()` logging (ethereum-optimism#14563)

* improve computeSyncActions logging

* fixup test and make sure all cases run (!)

* use more friendly format for structured logger

* op-batcher: introduce `PREFER_LOCAL_SAFE_L2` config var (ethereum-optimism#14587)

* op-batcher: introduce PREFER_LOCAL_SAFE_L2 config var

* lint

* Apply suggestions from code review

Co-authored-by: Sebastian Stammler <seb@oplabs.co>

* lint

---------

Co-authored-by: Sebastian Stammler <seb@oplabs.co>

* batcher: Wait for DA write before shutdown

---------

Co-authored-by: olga yang <ya1994ng@gmail.com>
Co-authored-by: protolambda <proto@protolambda.com>
Co-authored-by: George Knee <georgeknee@googlemail.com>
Co-authored-by: Sebastian Stammler <seb@oplabs.co>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-op-batcher Area: op-batcher
Projects
None yet
Development

Successfully merging this pull request may close these issues.

op-batcher: Possible pending data bytes counting bug
2 participants