CakeML/cakeml

Avoid going through calling convention when entering Handle

Aperta

#155 aperta il 28 set 2016

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Standard ML (98 fork)auto 404
enhancementhelp wantedhigh effortlow reward

Metriche repository

Star
 (1169 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

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

Guida contributor

Direzione di ricerca
Esamina l'implementazione corrente dell'istruzione Handle nel compilatore e runtime di CakeML, concentrandoti su come invoca la convenzione di chiamata per entrare nei gestori di eccezioni. Identifica da dove proviene l'overhead e proponi un modo per entrare direttamente nel gestore senza l'intera convenzione di chiamata. Consulta l'archivio della mailing list di sviluppo di CakeML di settembre 2016 per ulteriore contesto.
Tech stack
Nessuno
Dominio
compilers
Tipo issue
Performance
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
4
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Datata
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Abbastanza chiara
Prerequisiti
compiler designcalling conventions
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
15