Since 2014
Assessing the Overhead of ML Exceptions by Selective CPS Transformation
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
Assessing the Overhead of ML Exceptions by Selective CPS Transformation
|
|
| Creator |
Kim, Jung-taek
Yi, Kwangkeun Danvy, Olivier |
|
| Description |
ML's exception handling makes it possible to describe exceptional execution flows conveniently, but it also forms a performance bottleneck. Our goal is to reduce this overhead by source-level transformation. To this end, we transform source programs into continuation-passing style (CPS), replacing handle and raise expressions by continuation-catching and throwing expressions, respectively. CPS-transforming every expression, however, introduces a new cost. We therefore use an exception analysis to transform expressions selectively: if an expression is statically determined to involve exceptions then it is CPS-transformed; otherwise, it is left in direct style. In this article, we formalize this selective CPS transformation, prove its correctness, and present early experimental data indicating its effect on ML programs.
|
|
| Publisher |
Aarhus University
|
|
| Contributor |
—
|
|
| Date |
1998-01-15
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion — |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/19287
10.7146/brics.v5i15.19287 |
|
| Source |
BRICS Report Series; No 15 (1998): RS-15 Assessing the Overhead of ML Exceptions by Selective CPS Transformation
BRICS Report Series; No 15 (1998): RS-15 Assessing the Overhead of ML Exceptions by Selective CPS Transformation 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/19287/16914
|
|
| Rights |
Copyright (c) 2014 BRICS Report Series
|
|