Stream: git-wasmtime

Topic: wasmtime / PR #3792 Added 'add_fuel' command line option

Wasmtime GitHub notifications bot (Feb 11 2022 at 13:03):

ilikepi63 opened PR #3792 from feature/add-fuel-amount-to-configuration-set to main:

Relatively new to both Rust and Wasmtime, so trying to just pick up a small first issue here.

PR to try a solution to Issue #3717

Currently just adds a "add_fuel" config option to the wasmtime API. I was taking a look and I think I might need to update this default value when the interpreter is instantiated:

    pub fn new(state: InterpreterState<'a>) -> Self {
        Self { state, fuel: None }
    }

to

    pub fn new(state: InterpreterState<'a>, fuel: Option<u64> = None) -> Self {
        Self { state, fuel: fuel }
    }

Don't currently have any test cases for the specific command line option just yet. Just wanted to check if I was on the right track.

CC: @fitzgen

Wasmtime GitHub notifications bot (Feb 11 2022 at 13:04):

ilikepi63 has marked PR #3792 as ready for review.

Wasmtime GitHub notifications bot (Feb 11 2022 at 18:13):

ilikepi63 updated PR #3792 from feature/add-fuel-amount-to-configuration-set to main.

Wasmtime GitHub notifications bot (Feb 11 2022 at 19:58):

ilikepi63 updated PR #3792 from feature/add-fuel-amount-to-configuration-set to main.

Wasmtime GitHub notifications bot (Feb 11 2022 at 20:02):

ilikepi63 updated PR #3792 from feature/add-fuel-amount-to-configuration-set to main.

Wasmtime GitHub notifications bot (Feb 11 2022 at 21:57):

a1phyr submitted PR review.

Wasmtime GitHub notifications bot (Feb 11 2022 at 21:57):

a1phyr submitted PR review.

Wasmtime GitHub notifications bot (Feb 11 2022 at 21:57):

a1phyr created PR review comment:

I don't think you want to panic here, even though this should never fail.

            store.add_fuel(self.common.add_fuel)?;

Wasmtime GitHub notifications bot (Feb 12 2022 at 05:32):

ilikepi63 updated PR #3792 from feature/add-fuel-amount-to-configuration-set to main.

Wasmtime GitHub notifications bot (Feb 12 2022 at 06:06):

ilikepi63 updated PR #3792 from feature/add-fuel-amount-to-configuration-set to main.

Wasmtime GitHub notifications bot (Feb 14 2022 at 17:40):

fitzgen submitted PR review.

Wasmtime GitHub notifications bot (Feb 14 2022 at 17:40):

fitzgen submitted PR review.

Wasmtime GitHub notifications bot (Feb 14 2022 at 17:40):

fitzgen created PR review comment:

        if self.common.consume_fuel {
            let fuel = self.common.add_fuel.expect("both add_fuel and consume_fuel must be given");
            store.add_fuel(fuel)?;
        }

Wasmtime GitHub notifications bot (Feb 14 2022 at 17:40):

fitzgen created PR review comment:

    #[structopt(long, requires = "consume_fuel")]
    add_fuel: Option<u64>,

Wasmtime GitHub notifications bot (Feb 14 2022 at 17:40):

fitzgen created PR review comment:

    #[structopt(long, requires = "add_fuel")]
    consume_fuel: bool,

Wasmtime GitHub notifications bot (Feb 15 2022 at 06:16):

ilikepi63 updated PR #3792 from feature/add-fuel-amount-to-configuration-set to main.

Wasmtime GitHub notifications bot (Feb 15 2022 at 06:54):

ilikepi63 updated PR #3792 from feature/add-fuel-amount-to-configuration-set to main.

Wasmtime GitHub notifications bot (Feb 15 2022 at 17:28):

fitzgen submitted PR review.

Wasmtime GitHub notifications bot (Feb 15 2022 at 17:28):

fitzgen created PR review comment:

        // If fuel has been configured, we want to add the configured
        // fuel amount to this store.

Wasmtime GitHub notifications bot (Feb 15 2022 at 17:28):

fitzgen created PR review comment:

        // If fuel has been configured, set the `consume fuel` flag on the config.

Wasmtime GitHub notifications bot (Feb 15 2022 at 17:28):

fitzgen submitted PR review.

Wasmtime GitHub notifications bot (Feb 15 2022 at 17:29):

fitzgen updated PR #3792 from feature/add-fuel-amount-to-configuration-set to main.

Wasmtime GitHub notifications bot (Feb 15 2022 at 17:29):

fitzgen updated PR #3792 from feature/add-fuel-amount-to-configuration-set to main.

Wasmtime GitHub notifications bot (Feb 15 2022 at 17:30):

fitzgen submitted PR review.

Wasmtime GitHub notifications bot (Feb 15 2022 at 18:23):

fitzgen merged PR #3792.

Last updated: Dec 23 2024 at 12:05 UTC