Related Articles

Articles tagged by optimisation

Home

Categories

Flambda2 Ep. 3: Speculative Inlining

Authors: Pierre Chambart, Vincent Laviron, Guillaume Bury, Dario Pinto, Nathanaëlle Courant
Date: 2024-08-09
Category: OCaml
Tags: flambda2, flambda, compiler, optimisation, f2s, inlining

Welcome to a new episode of The Flambda2 Snippets! The F2S blog posts aim at gradually introducing the world to the inner-workings of a complex piece of software engineering: The Flambda2 Optimising Compiler for OCaml, a technical marvel born from a 10 year-long effort in Research & Development and ... (Read more)

Flambda2 Ep. 2: Loopifying Tail-Recursive Functions

Authors: Nathanaëlle Courant, Guillaume Bury, Pierre Chambart, Vincent Laviron, Dario Pinto
Date: 2024-05-07
Category: OCaml
Tags: Flambda, Flambda2, loopify, optimisation, f2s, ep2, loopify, tailcall, tail-recursion

Welcome to a new episode of The Flambda2 Snippets! Today's topic is Loopify, one of Flambda2's many optimisation algorithms which specifically deals with optimising both purely tail-recursive and/or functions annotated with the [@@loop] attribute in OCaml. A lazy explanation for its utility would be... (Read more)

Optimisation du stockage dans Tezos : une branche de test sur Gitlab

Authors: Fabrice Le Fessant
Date: 2019-02-05
Category: Blockchains
Tags: tezos, optimisation, fr

Ce troisième article consacré à l’amélioration du stockage dans Tezos fait suite à l’annonce de la mise à disposition d’une image docker pour les beta testeurs souhaitant essayer notre système de stockage et garbage collector. Voir Improving Tezos Storage : Gitlab branch for testers... (Read more)