TL;DR; You can find the live demo here.
I have wanted to learn to use WebAssembly for a while now, but I have had some issues with getting started. First, I don’t use compiled languages very often. Second, I’ve found the available tutorials and articles to be lacking in practical details for getting started.
Most of the tutorials and articles about WebAssembly that I’ve seen follow the same template.
- Present a cool game or desktop application that has been ported to WebAssembly.
- Show the same simple “add” function that everybody else does
The problem is that they don’t show anything more complex than a trivial adder, and they don’t provide any details about how the more complex application was modified and compiled for WebAssembly. The assumption may be that anyone considering WebAssembly is already building compiled desktop applications and should be able to just figure out the toolchain and make any modifications that are necessary. That’s fine, but most people that I know that work on desktop applications don’t consider web applications to be a possibility, and don’t really care about the existence of WebAssembly.
What I want is a WebAssembly example that is not trivial but also not very complex (bigger than a breadbox, smaller than a house). Something that just about anybody with some programing experience should be able to understand. And preferably in a language that is not too hard to pick up and has a solid toolchain for building to WebAssembly. That is how I decided to implement the Fermat Primeality Test in Rust.
Let me first explain why I choose Rust. I actually went back and forth between doing this in Rust or Go. They both have good tools for building to WebAssembly, and they both have a syntax that shouldn’t be totally alien to anybody that has be coding for a little while. But the support and libraries for WebAssembly seemed to be just a little more complete in Rust. That said, in the future I will probably rewrite this in Go and see which one I like better.
Why Fermat Prime Test?
The second thing you may be wondering is why a prime checker, and why the Fermat Primeality Test? Well, a half-way decent prime checker is definitely not trivial. Depending on language features an libraries you use you may need to implement additional functions, making the example more complex and closer to what production code may look like. And while there are better and more efficient algorithms (Miller-Rabin or Bailey-PSW) I find the Fermat test is easier to understand and explain.
Of course, before I can get started I need to learn at least a little Rust. The syntax is fairly easy to pickup. Declare public functions with
pub fn, declare variables with
let and make sure to give them a type. Most of this can be learned from Rust by Example.
One thing that can be difficult to pick up about Rust is the way it handles variables. Rust is very (very, very) strict about variables. One example of this strictness is that variables are immutable by default. That means that if you declare a variable x (
let x = 5;), you cannot reassign x latter in your function (
x = 6;). If you want to do that, you either need to declare it as “mutable” (
let mut x = 5) or you need to redelare the variable with
let. The Rust Book is a great resource for learn more about the ins and outs of Rust.
After this exercise, I’m still far from an expert on Rust. But I at least feel a little more confident that, if I work on another Rust project, I will be able to figure things out.
The WebAssembly Side
For compiling to WebAssembly you will need
wasm-pack, which you can get here, and the
wasm-bindgen crate. And you will probably want to check out the Rust and WebAssembly Book and go through the setup instructions there. I wont go through all of the details here, but the short version is that I put my code in
src/lib.rs and decorated the functions I wanted to export with
#[wasm_bindgen]. That way when I compiled my code with
wasm-pack build -t web the associated JS module would expose the functions I wanted.
When you build using
wasm-pack your code gets compiled into the folder
./pkg. You will see several files in there that start with the package name from you
Cargo.toml file. For me that was “prime_check”, so that is what I will use for the rest of this post. There should be a js file, which contains code to load your WebAssembly file and boot strap features it needs. There will probably also be some TypeScript files, in case you are into that sort of thing. And finally there will be your compiled code in a WASM file,
prime_check_bg.wasm in my case.
wasm-pack. But if you are interested in squeezing addition performance out of your WebAssembly implementation, you will want to get familiar with how the boot strapper works.
Finally getting to some real code! For implementing the Fermat Prime Check algorithm I needed three distinct functions. The prime check function its self, plus a function to generate a random number in a range and a function to do modular exponentiation.
Generating a random number between some minimum and maximum values is nothing new to most developers. Many languages include crypto or math packages with functions to do just that. The unique thing about doing this in WebAssembly is that we cannot assume that we can use the built-in packages. Most of these packages depend on operating system level randomness functions, which are not available in the browser. In my case, I used the
web_sys crate to access
window.crypto and it’s random number generators.
The modulo exponentiation and prime check functions are actually fairly standard implementations. The only thing of note is that I’m using
u64 integers. This of course allows for larger integers than can be achieved with a unsigned 32 bit integer, but it also means that we need to use
BigInt on the JS side to pass the larger values. Even larger values could be supported in Rust using the
num_bigint crate, but conversion between Rust and JS would have been more difficult.
On the front-end things are surprisingly simple. My main code is defined as a module with
<script type="module">. This allows us to import the code from
import * as wasm from "./pkg/prime_check.js". Then to load the wasm code we call
await wasm.default(), and then we can start to use the functions!
So what’s the verdict?
In the end, I think I’ve built what I wanted. It’s a WebAssembly example that most developers should be able to follow and understand. And hopefully it’s also more interesting than just adding two numbers together.