Interrupting Execution

Search…
🛑
WebAssembly is currently always run in the same process synchronously. Thus, once WebAssembly starts executing, you have to wait for the execution to complete to continue running code on the host (your application).
However, there are cases where you may want to interrupt this synchronous execution while the guest Wasm module is calling a host function. This can be useful for saving resources, and not returning back to the guest Wasm for execution, when you already know the Wasm execution will fail, or no longer be needed.
In this example, we will run a Wasm module that calls the imported host function interrupt_execution. This host function will immediately stop executing the WebAssembly module.
First we are going to want to initialize a new project. To do this we can navigate to our project folder, or create one. In this example, we will create a new project. Lets create it and navigate to it:
Rust
Go
Python
PHP
Ruby
The final Rust code for this example can be found on Github: early_exit.rs.
Please take a look at the setup steps for Rust.
1
cargo new early-exit
2
cd early-exit
Copied!
We have to modify Cargo.toml to add the Wasmer dependencies as shown below:
1
[dependencies]
2
# The Wasmer API
3
wasmer = "2.0"
Copied!
The final Go code for this example can be found on Github: early_exit.go.
Please take a look at the setup steps for Go.
1
mkdir wasmer-example-early-exit
2
cd wasmer-example-early-exit
3
go mod init github.com/$USER/wasmer-example-early-exit
Copied!
The final Python code for this example can be found on Github: imports_function_early_exit.py.
Please take a look at the setup steps for Python.
1
mkdir wasmer-example-early-exit
2
cd wasmer-example-early-exit
3
pip install wasmer wasmer_compiler_cranelift
Copied!
The final PHP code for this example can be found on Github: imports-function-early-exit.php.
Please take a look at the setup steps for PHP.
1
mkdir wasmer-example-early-exit
2
cd wasmer-example-early-exit
3
composer init --name=wasmer-example-early-exit
4
composer require wasm/wasm
Copied!
The final Ruby code for this example can be found on Github: imports_function_early_exit.rb.
Please take a look at the setup steps for Ruby.
1
gem install wasmer
Copied!
Now that we have everything set up, let's go ahead and try it out!
Setting up
Before we start with the Wasm part we'll have to declare the error we'll use to terminate the execution of the guest module:
Rust
Go
Python
PHP
1
#[derive(Debug, Clone, Copy)]
2
struct ExitCode(u32);
3
​
4
impl fmt::Display for ExitCode {
5
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
6
        write!(f, "{}", self.0)
7
    }
8
}
9
​
10
impl std::error::Error for ExitCode {}
Copied!
1
type exitCode struct {
2
    code int32
3
}
4
​
5
func (self *exitCode) Error() string {
6
    return fmt.Sprintf("exit code: %d", self.code)
7
}
Copied!
1
class ExitCode(Exception):
2
    pass
Copied!
1
class ExitCode extends Exception {}
Copied!
There is nothing special or Wasmer specific here but it will be required later in the example.
Defining and importing the host function
To terminate the execution of the Wasm module we'll have to define a function on the host which will then be imported in the guest and called whenever execution is not required to continue. Let's do that:
Rust
Go
Python
PHP
Ruby
1
fn early_exit() {
2
    RuntimeError::raise(Box::new(ExitCode(1)));
3
}
4
​
5
let import_object = imports! {
6
    "env" => {
7
        "early_exit" => Function::new_native(&store, early_exit),
8
    }
9
};
Copied!
1
func earlyExit(args []wasmer.Value) ([]wasmer.Value, error) {
2
    return nil, &exitCode{1}
3
}
4
​
5
importObject := wasmer.NewImportObject()
6
importObject.Register(
7
    "env",
8
    map[string]wasmer.IntoExtern{
9
        "early_exit": wasmer.NewFunction(
10
            store,
11
            wasmer.NewFunctionType(wasmer.NewValueTypes(), wasmer.NewValueTypes()),
12
            earlyExit,
13
        ),
14
    },
15
)
Copied!
1
def early_exit():
2
    raise ExitCode("oops")
3
​
4
import_object = ImportObject()
5
import_object.register(
6
    "env",
7
    {
8
        "early_exit": Function(store, early_exit),
9
    }
10
)
Copied!
1
function earlyExit() {
2
    throw new ExitCode(1);
3
}
4
​
5
$funcType = Wasm\Type\FuncType::new(new Wasm\Vec\ValType(), new Wasm\Vec\ValType());
6
$func = Wasm\Func::new($store, $funcType, 'earlyExit');
7
$extern = $func->asExtern();
8
$externs = new Wasm\Vec\Extern([$extern->inner()]);
Copied!
1
def early_exit
2
  raise "oops"
3
end
4
​
5
func_type = Wasmer::FunctionType.new([], [])
6
func = Wasmer::Function.new(store, method(:early_exit), func_type)
7
import_object = Wasmer::ImportObject.new
8
import_object.register("env", { :early_exit => func })
Copied!
As we saw in previous examples we defined a Rust function, wrap it in a native function definition and import it in the guest module, in the env namespace, using the ImportObject.
Handling the error
Our module will call the early_exit function once we call its run function (which is an exported function). Let's get the function, call it and see how we can handle the error:
Rust
Go
Python
PHP
Ruby
1
let run_func: NativeFunc<(i32, i32), i32> = instance
2
    .exports
3
    .get_native_function("run")?;
4
​
5
match run_func.call(1, 7) {
6
    Ok(result) => {
7
        bail!("Expected early termination with `ExitCode`, found: {}", result);
8
    }   
9
    Err(e) => match e.downcast::<ExitCode>() {
10
        // We found the exit code used to terminate execution.
11
        Ok(exit_code) => {
12
            println!("Exited early with exit code: {}", exit_code);
13
            Ok(())
14
        }
15
        Err(e) => {
16
            bail!("Unknown error `{}` found. expected `ErrorCode`", e);
17
        }
18
    },
19
}
Copied!
We expect to get an error when calling the run function so what we do here is look at the result and:
if we get a success, our test will fail;
if we get an error, we try to downcast to our ExitCode error.
If downcasting succeeds it means we actually got the expected error so we make the test pass. If it fails, it means the Wasm module reported an error but it wasn't the one we expected so we make the test fail.
1
run, err := instance.Exports.GetFunction("run")
2
​
3
if err != nil {
4
    panic(fmt.Sprintln("Failed to retrieve the `run` function:", err))
5
}
6
​
7
​
8
_, err = run(1, 7)
9
​
10
if err == nil {
11
    panic(fmt.Sprintln("`run` did not error"))
12
}
13
​
14
fmt.Println("Exited early with:", err)
Copied!
1
try:
2
    instance.exports.run(1, 2)
3
except RuntimeError as err:
4
    assert "oops" in str(err)
5
else:
6
    assert False
Copied!
1
try {
2
    $run($args);
3
​
4
    echo '`run` did not error'.PHP_EOL;
5
​
6
    exit(1);
7
} catch (ExitCode $exception) {
8
    echo 'Exited early with: '.$exception->getMessage().' '.$exception->getCode().PHP_EOL;
9
}
Copied!
1
begin
2
  instance.exports.run.(1, 2)
3
rescue RuntimeError => e
4
  puts e.message
5
else
6
  raise "There was no error"
7
end
Copied!
Running
We now have everything we need to run the Wasm module, let's do it!
Rust
Go
Python
PHP
Ruby
You should be able to run it using the cargo run command. The output should look like this:
1
Compiling module...
2
Instantiating module...
3
Calling `run` function...
4
Exited early with exit code: 1
Copied!
If you want to run the examples from the Wasmer repository codebase directly, you can also do:
1
git clone https://github.com/wasmerio/wasmer.git
2
cd wasmer
3
cargo run --example early-exit --release --features "cranelift"
Copied!
You should be able to run it using the go run main.go command. The output should look like this:
1
Compiling module...
2
Instantiating module...
3
Calling `run` function...
4
Exited early with: exit code: 1
Copied!
If you want to run the examples from the Wasmer repository codebase directly, you can also do:
1
git clone https://github.com/wasmerio/wasmer-go.git
2
cd wasmer-go
3
go test examples/example_memory_test.go
Copied!
You should be able to run it using the python imports_function_early_exit.py command.
If you want to run the examples from the Wasmer repository codebase directly, you can also do:
1
git clone https://github.com/wasmerio/wasmer-python.git
2
cd wasmer-python
3
python examples/imports_function_early_exit.py
Copied!
You should be able to run it using the php imports-function-early-exit.php command.
If you want to run the examples from the Wasmer PHP repository codebase directly, you can also do:
1
git clone https://github.com/wasmerio/wasmer-php.git
2
cd wasmer-php
3
make EXAMPLE=imports-function-early-exit test-doc-examples
Copied!
You should be able to run it using the ruby imports_function_early_exit.rb command.
If you want to run the examples from the Wasmer Ruby repository codebase directly, you can also do:
1
git clone https://github.com/wasmerio/wasmer-ruby.git
2
cd wasmer-ruby
3
ruby examples/imports_function_early_exit.rb
Copied!
⚠️ Handling Errors
► Using memory pointers
Last modified 6mo ago
Copy link
Contents
Setting up
Defining and importing the host function
Handling the error
Running