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

fix: avoid panic when migrate param for newly added host #6167

Merged
merged 17 commits into from
Apr 22, 2024

Conversation

mmsqe
Copy link
Contributor

@mmsqe mmsqe commented Apr 16, 2024

Description

  • Problem

    • when migrating ica from version 2 to 3 using ibc-go v8.2.0, ica host legacy params moving to store caused crash during migration.
  • Solution

    • setting legacySubspace as nil to set params to default values during parameter migration.

Before we can merge this PR, please make sure that all the following items have been
checked off. If any of the checklist items are not applicable, please leave them but
write a little note why.

  • Targeted PR against the correct branch (see CONTRIBUTING.md).
  • Linked to GitHub issue with discussion and accepted design, OR link to spec that describes this work.
  • Code follows the module structure standards and Go style guide.
  • Wrote unit and integration tests.
  • Updated relevant documentation (docs/).
  • Added relevant godoc comments.
  • Provide a conventional commit message to follow the repository standards.
  • Include a descriptive changelog entry when appropriate. This may be left to the discretion of the PR reviewers. (e.g. chores should be omitted from changelog)
  • Re-reviewed Files changed in the GitHub PR explorer.
  • Review SonarCloud Report in the comment section below once CI passes.

Summary by CodeRabbit

  • Bug Fixes
    • Enhanced the migration process for parameters in the interchain accounts module to prevent potential crashes during parameter migration in specific scenarios.
  • New Features
    • Added a method to check for the existence of parameter sets, improving robustness in parameter handling.
  • Tests
    • Introduced new test cases to validate the successful migration of parameters even when no legacy parameters are provided.

Copy link
Contributor

coderabbitai bot commented Apr 16, 2024

Walkthrough

Walkthrough

The updates focus on enhancing the parameter migration process in the 27-interchain-accounts module. The migration logic now includes setting default parameters and checking for existing parameters before migration. Additionally, new test cases ensure robustness when no parameters are present. A crucial bug fix prevents potential panics during migration in specific scenarios, improving the stability of the module.

Changes

Files Change Summary
.../host/keeper/migrations.go Enhanced MigrateParams function to set default values and check for existing parameters before migration.
.../types/expected_keepers.go Added GetParamSetIfExists method to ParamSubspace interface.
.../host/keeper/migrations_test.go New test cases added to verify the migration process when no parameters are present.
CHANGELOG.md Documented a bug fix that addresses potential panics during parameter migration in specific scenarios.

Recent Review Details

Configuration used: .coderabbit.yml
Review profile: CHILL

Commits Files that changed from the base of the PR and between 7f45153 and c2d0397.
Files selected for processing (1)
  • modules/apps/27-interchain-accounts/types/expected_keepers.go (1 hunks)
Files skipped from review as they are similar to previous changes (1)
  • modules/apps/27-interchain-accounts/types/expected_keepers.go

Thank you for using CodeRabbit. We offer it for free to the OSS community and would appreciate your support in helping us grow. If you find it useful, would you consider giving us a shout-out on your favorite social media?

Share
Tips

Chat

There are 3 ways to chat with CodeRabbit:

  • Review comments: Directly reply to a review comment made by CodeRabbit. Example:
    • I pushed a fix in commit <commit_id>.
    • Generate unit testing code for this file.
    • Open a follow-up GitHub issue for this discussion.
  • Files and specific lines of code (under the "Files changed" tab): Tag @coderabbitai in a new review comment at the desired location with your query. Examples:
    • @coderabbitai generate unit testing code for this file.
    • @coderabbitai modularize this function.
  • PR comments: Tag @coderabbitai in a new PR comment to ask questions about the PR branch. For the best results, please provide a very specific query, as very limited context is provided in this mode. Examples:
    • @coderabbitai generate interesting stats about this repository and render them as a table.
    • @coderabbitai show all the console.log statements in this repository.
    • @coderabbitai read src/utils.ts and generate unit testing code.
    • @coderabbitai read the files in the src/scheduler package and generate a class diagram using mermaid and a README in the markdown format.

Note: Be mindful of the bot's finite context window. It's strongly recommended to break down tasks such as reading entire modules into smaller chunks. For a focused discussion, use review comments to chat about specific files and their changes, instead of using the PR comments.

CodeRabbit Commands (invoked as PR comments)

  • @coderabbitai pause to pause the reviews on a PR.
  • @coderabbitai resume to resume the paused reviews.
  • @coderabbitai review to trigger a review. This is useful when automatic reviews are disabled for the repository.
  • @coderabbitai resolve resolve all the CodeRabbit review comments.
  • @coderabbitai help to get help.

Additionally, you can add @coderabbitai ignore anywhere in the PR description to prevent this PR from being reviewed.

CodeRabbit Configration File (.coderabbit.yaml)

  • You can programmatically configure CodeRabbit by adding a .coderabbit.yaml file to the root of your repository.
  • Please see the configuration documentation for more information.
  • If your editor has YAML language server enabled, you can add the path at the top of this file to enable auto-completion and validation: # yaml-language-server: $schema=https://coderabbit.ai/integrations/schema.v2.json

Documentation and Community

  • Visit our Documentation for detailed information on how to use CodeRabbit.
  • Join our Discord Community to get help, request features, and share feedback.
  • Follow us on X/Twitter for updates and announcements.

Copy link
Contributor

@coderabbitai coderabbitai bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actionable comments posted: 1

Actionable comments outside the diff hunks (1)
CHANGELOG.md (1)

Line range hint 161-161: Replace the bare URL with a markdown link for better readability and to avoid potential issues with text-based parsers.

- * (apps/27-interchain-accounts) [\#6167](https://github.com/cosmos/ibc-go/pull/6167) Avoid panic when migrate param for newly added host.
+ * (apps/27-interchain-accounts) [[\#6167](https://github.com/cosmos/ibc-go/pull/6167)](https://github.com/cosmos/ibc-go/pull/6167) Avoid panic when migrate param for newly added host.

@mmsqe mmsqe closed this Apr 16, 2024
@mmsqe mmsqe reopened this Apr 16, 2024
@damiannolan
Copy link
Member

damiannolan commented Apr 16, 2024

Hi @mmsqe, did you encounter a panic in the scenario you've suggested with the PR title?

We normally encourage a short description when opening PRs that do not have an existing issue.
It would be useful to know for example:

  • The scope of this PR
  • What the issue is related to and how you encountered the problem?
  • What versions you encountered the issue, so that we can backport the fix to appropriate release branches

edit: The scenario here is that a chain includes ica controller but does not include host functionality, in an upgrade the ica host is enabled and subkeeper is added. It is the same release which includes the params migration. This means an entry in the versionMap for running migrations exists (due to the pre-existing ica controller), however no params are set for the host? Am I understanding this correctly, more or less?

@mmsqe
Copy link
Contributor Author

mmsqe commented Apr 16, 2024

Hi @mmsqe, did you encounter a panic in the scenario you've suggested with the PR title?

We normally encourage a short description when opening PRs that do not have an existing issue. It would be useful to know for example:

  • The scope of this PR
  • What the issue is related to and how you encountered the problem?
  • What versions you encountered the issue, so that we can backport the fix to appropriate release branches

edit: The scenario here is that a chain includes ica controller but does not include host functionality, in an upgrade the ica host is enabled and subkeeper is added. It is the same release which includes the params migration. This means an entry in the versionMap for running migrations exists (due to the pre-existing ica controller), however no params are set for the host? Am I understanding this correctly, more or less?

Thanks @damiannolan, you're right, just updated the description, see if it's ok.

Copy link
Contributor

@coderabbitai coderabbitai bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actionable comments posted: 1

CHANGELOG.md Outdated Show resolved Hide resolved
crodriguezvega and others added 4 commits April 18, 2024 11:43
Co-authored-by: coderabbitai[bot] <136622811+coderabbitai[bot]@users.noreply.github.com>
Copy link
Contributor

@coderabbitai coderabbitai bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actionable comments posted: 1

CHANGELOG.md Outdated Show resolved Hide resolved
Copy link
Member

@damiannolan damiannolan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for this @mmsqe! Much appreciated!


if err := params.Validate(); err != nil {
return err
if m.keeper.legacySubspace == nil {
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just to clarify when icahost was added in your upgrade it was created with a nil legacy subspace? @mmsqe

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

we bypass param migrate with a mockSubspace, but we could change to nil when generic fix is backported

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Okay, thank you! In that case this should be fine.

I'm curious about a case in which an actual params subspace is created and passed but which does not have any params stored in the param set from a previous version. As genesis would already have been run for the ica module but not setup default params I would imagine it to be empty. I assume in that case params.Validate() should error below, and this would technically misconfiguration by the chain's app wiring.

Copy link
Contributor

@DimitrisJim DimitrisJim Apr 18, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

does it error in that case? 🤔 An empty legacySubspace would init params as {true, []string{}} which shouldn't fail validation.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Aha, yea I believe you're right @DimitrisJim. With RegisterParamSet(&Params{}), right?

That's probably fine behaviour imo - given this would probably be the result of misconfig anyways - a param's change would need to be done for allowing msgs in []string then. This is a pretty edge case scenario either way. Most chains deploy host first anyways, and controller later

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Wondering if this migration code would be safer and cover edge cases such as described above (this would at least init params with all msgs allowed instead of the empty string slice, its a bit more explicit than relying on a side effect of RegisterParamSet):

if m.keeper != nil {
        params := types.DefaultParams()
	if m.keeper.legacySubspace != nil {
		m.keeper.legacySubspace.GetParamSetIfExists(ctx, &params)
	}

	if err := params.Validate(); err != nil {
		return err
	}

	m.keeper.SetParams(ctx, params)
	m.keeper.Logger(ctx).Info("successfully migrated ica/host submodule to self-manage params")
}

Any thoughts? Happy to stick with the current changes tho if agreed.

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

reads clearer to me! Would we want to use IfExists variant though? I'd assume we'd want to panic if we try to get something and it doesn't exist.

One sidenote here, should we be doing same sanity checks for controller?

Copy link
Contributor Author

@mmsqe mmsqe Apr 22, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Do we want to align IfExists for controller in this PR?

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'd assume we'd want to panic if we try to get something and it doesn't exist.

I'm not sure, and I don't feel particularly strongly about this - if it doesn't exist we've at least assigned safe defaults via types.DefaultParams rather than panicking. Do you have any feedback here @mmsqe, as someone maintaining a chain?

One sidenote here, should we be doing same sanity checks for controller?

@mmsqe yes I think it would be nice to align the controller migration code as well, thank you! 🙏

@damiannolan damiannolan requested a review from srdtrk April 22, 2024 10:39
Copy link
Contributor

@DimitrisJim DimitrisJim left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nice catch and nice fix! thanks @mmsqe!

Comment on lines 38 to 39
type ParamSubspace interface {
GetParamSet(ctx sdk.Context, ps paramtypes.ParamSet)
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sorry to be a pain but can we keep GetParamSet since it would technically be an API breaking change? Happy to just add the IfExists method as addition, but I think we should keep this in order to preserve our release guarantees when backporting to v8.3

Copy link
Member

@damiannolan damiannolan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you so much! LGTM

@damiannolan damiannolan merged commit c4413c5 into cosmos:main Apr 22, 2024
76 checks passed
mergify bot pushed a commit that referenced this pull request Apr 22, 2024
* fix: avoid panic when migrate param for newly added host

* keep default params

* Apply suggestions from code review

* allow use default params when set nil legacySubspace

* Update CHANGELOG.md

Co-authored-by: coderabbitai[bot] <136622811+coderabbitai[bot]@users.noreply.github.com>

* Update CHANGELOG.md

* cleanup

* refactor: rm setter in icahost migrator and adjust test case

* chore: update changelog

* Apply suggestions from code review

* Apply suggestions from code review

* Apply suggestions from code review

---------

Co-authored-by: Carlos Rodriguez <[email protected]>
Co-authored-by: coderabbitai[bot] <136622811+coderabbitai[bot]@users.noreply.github.com>
Co-authored-by: Damian Nolan <[email protected]>
(cherry picked from commit c4413c5)
crodriguezvega pushed a commit that referenced this pull request Apr 22, 2024
) (#6192)

* fix: avoid panic when migrate param for newly added host (#6167)

* fix: avoid panic when migrate param for newly added host

* keep default params

* Apply suggestions from code review

* allow use default params when set nil legacySubspace

* Update CHANGELOG.md

Co-authored-by: coderabbitai[bot] <136622811+coderabbitai[bot]@users.noreply.github.com>

* Update CHANGELOG.md

* cleanup

* refactor: rm setter in icahost migrator and adjust test case

* chore: update changelog

* Apply suggestions from code review

* Apply suggestions from code review

* Apply suggestions from code review

---------

Co-authored-by: Carlos Rodriguez <[email protected]>
Co-authored-by: coderabbitai[bot] <136622811+coderabbitai[bot]@users.noreply.github.com>
Co-authored-by: Damian Nolan <[email protected]>
(cherry picked from commit c4413c5)

* fix: compiler error for NewKeeper args

---------

Co-authored-by: mmsqe <[email protected]>
Co-authored-by: Damian Nolan <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants