Articles liés

Articles avec le tag optimization


Auteurs: Çagdas Bozman
Date: 2015-05-18
Catégorie: Tooling

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)