This README contains instructions using the benchmarking supplementary material for the paper Ferrite: A Judgmental Embedding of Session Types in Rust.
This is a fork of MotionMark WebKit source repository. The fork contains patches to run the benchmark on Servo, for benchmarking the canvas performance.
The webpage at https://ferrite-rs.github.io/motionmark/developer.html allows us to choose the specific benchmark suite to run, and the detailed parameters for the benchmark. To reproduce the benchmarks mentioned in the paper, we provide the permanent links to each benchmark as follows:
To run the benchmark on Servo, first build Servo following the build instructions
./mach build --release
The provide the URL to the built Servo binary, with a fixed resolution to ensure the that full canvas is rendered. e.g.:
target/release/servo --resolution 1600x800 https://ferrite-rs.github.io/motionmark/developer.html