Skip to content

benchmarking machinery - #515

Open
Rewbert wants to merge 1 commit into
augustss:masterfrom
Rewbert:benchmarks
Open

benchmarking machinery#515
Rewbert wants to merge 1 commit into
augustss:masterfrom
Rewbert:benchmarks

Conversation

@Rewbert

@Rewbert Rewbert commented Sep 2, 2026

Copy link
Copy Markdown
Contributor

A proposal for some simple benchmarking machinery, to track how changes to the compiler or runtime affect the runtime behavior of MicroHs. I asked a Clanker for the code that parses the +RTS -v -RTS output.

If you issue make bench, it will build the sample benchmark programs included here, and then execute them. It will run each five times (override-able) to gather multiple GC times and execution times. The reduction count, allocation counts, etc, all appear to be deterministic, and are gathered only once. The result is written to a JSON file, named via the current Unix timestamp.

The idea is perhaps that some software yet to be written can read the JSON and render is nicely or something, but I have not written such a software. I've proposed some initial sample benchmarks, intended to exercise different things, but this is by no means exhaustive.

This is a proposal, and I am happy to hear what you think.

@Rewbert Rewbert mentioned this pull request Sep 3, 2026
@augustss

augustss commented Sep 3, 2026

Copy link
Copy Markdown
Owner

hlint fails

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 this pull request may close these issues.

2 participants