CakeML/cakeml

Avoid going through calling convention when entering Handle

Open

#155 opened on Sep 28, 2016

View on GitHub
 (0 comments) (0 reactions) (0 assignees)Standard ML (98 forks)auto 404
enhancementhelp wantedhigh effortlow reward

Repository metrics

Stars
 (1,169 stars)
PR merge metrics
 (PR metrics pending)

Description

Currently, entry into a Handle is more expensive than it strictly needs to be. See dev mail from 28 September 2016.

Contributor guide

Research direction
Examine the current implementation of the Handle instruction in the CakeML compiler and runtime, focusing on how it invokes the calling convention for entering exception handlers. Identify where the overhead comes from and propose a way to directly enter the handler without the full calling convention. Look at the CakeML dev mailing list archive from September 2016 for additional context.
Tech stack
None
Domain
compilers
Issue type
Performance
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
4
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-2 days
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Stale
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Mostly clear
Prerequisites
compiler designcalling conventions
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
15