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

(Budget metering) Add cost tiers to wasmi instructions #610

Closed
jayz22 opened this issue Dec 14, 2022 · 2 comments · Fixed by #844
Closed

(Budget metering) Add cost tiers to wasmi instructions #610

jayz22 opened this issue Dec 14, 2022 · 2 comments · Fixed by #844
Assignees

Comments

@jayz22
Copy link
Contributor

jayz22 commented Dec 14, 2022

Based on results from #597, we need to account for different costs of wasmi instructions in the host metering.

  • To break down different wasmi instructions to several tiers, and assign a unit cost to each tier.
  • Account for the unit cost in the buffered step meter.
  • Expose the wasmi cost tier parameters as new Budget::CostTypes.
@jayz22 jayz22 self-assigned this Dec 14, 2022
@jayz22
Copy link
Contributor Author

jayz22 commented Feb 24, 2023

Instruction level calibration has been done in #597.
But to add different cost tiers in wasmi, we need to evaluate wasmi's out-of-box fuel metering first -- #683

@jayz22
Copy link
Contributor Author

jayz22 commented May 25, 2023

After switching to wasmi fuel metering (#683), we will set these configurations to enable different instruction costs.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant