DIKUL - logo
ALL libraries (COBIB.SI union bibliographic/catalogue database)
PDF
  • Efficient compilation of algebraic effect handlers [Elektronski vir]
    Karachalias, Georgios ...
    The popularity of algebraic effect handlers as a programming language feature for user-defined computational effects is steadily growing. Yet, even though efficient runtime representations have ... already been studied, most handler-based programs are still much slower than hand-written code. This paper shows that the performance gap can be drastically narrowed (in some cases even closed) by means of type-and-effect directed optimising compilation. Our approach consists of source-to-source transformations in two phases of the compilation pipeline. Firstly, elementary rewrites, aided by judicious function specialisation, exploit the explicit type and effect information of the compiler’s core language to aggressively reduce handler applications. Secondly, after erasing the effect information further rewrites in the backend of the compiler emit tight code. This work comes with a practical implementation: an optimising compiler from Eff, an ML style language with algebraic effect handlers, to OCaml. Experimental evaluation with this implementation demonstrates that in a number of benchmarks, our approach eliminates much of the overhead of handlers, outperforms capability-passing style compilation and yields competitive performance compared to hand-written OCaml code as well Multicore OCaml’s dedicated runtime support.
    Source: Proceedings of the ACM on Programming Languages [Elektronski vir]. - ISSN 2475-1421 (Vol. 5, iss. OOPSLA, Oct. 2021, art. 102 (28 str.))
    Type of material - e-article ; adult, serious
    Publish date - 2021
    Language - english
    COBISS.SI-ID - 100861955

    Link(s):

    https://dl.acm.org/doi/10.1145/3485479
    DOI

Shelf entry