Articles liés

Articles avec le tag optimization

Site

Catégories

Flambda2 Ep. 1: Foundational Design Decisions

Auteurs: Pierre Chambart, Vincent Laviron, Guillaume Bury, Nathanaëlle Courant, Dario Pinto
Date: 2024-03-19
Catégorie: OCaml
Tags: flambda2, flambda, compiler, optimization, cps, f2s, ep1

Welcome to The Flambda2 Snippets! In this first post of The Flambda2 Snippets, we dive into the powerful CPS-based internal representation used within the Flambda2 optimizer, which was one of the main motivation to move on from the former Flambda optimizer. Credit goes to Andrew Kennedy's paper Comp... (Lire plus)

Behind the Scenes of the OCaml Optimising Compiler Flambda2: Introduction and Roadmap

Auteurs: Pierre Chambart, Vincent Laviron, Dario Pinto
Date: 2024-03-18
Catégorie: OCaml
Tags: flambda2, flambda, compiler, optimization, f2s, ep0

Introducing our Flambda2 snippets At OCamlPro, the main ongoing task on the OCaml Compiler is to improve the high-level optimisation. This is something that we have been doing for quite some time now. Indeed, we are the authors behind the Flambda optimisation pass and today we would like to introduc... (Lire plus)

Reduced Memory Allocations with ocp-memprof

Auteurs: Çagdas Bozman
Date: 2015-05-18
Catégorie: Tooling
Tags: memory, memprof, optimization, profiler

In this blog post, we explain how ocp-memprof helped us identify a piece of code in Alt-Ergo that needed to be improved. Simply put, a function that merges two maps was performing a lot of unnecessary allocations, negatively impacting the garbage collector's activity. A simple patch allowed us to pr... (Lire plus)