Articles liés

Articles avec le tag memory


Auteurs: Adrien Champion
Date: 2020-12-01
Catégorie: Rust

Memthol is a visualizer and analyzer for program profiling. It works on memory dumps containing information about the size and (de)allocation date of part of the allocations performed by some execution of a program. For information regarding building memthol, features, browser compatibility… refer... (Lire plus)


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)


Auteurs: Çagdas Bozman
Date: 2015-04-13
Catégorie: Tooling

A few months ago, a memory leak in the Scanf.fscanf function of OCaml’s standard library has been reported on the OCaml mailing list. The following “minimal” example reproduces this misbehavior: Let us see how to identify the origin of the leak and fix it with our OCaml memory profiler. Instal... (Lire plus)


Auteurs: Çagdas Bozman
Date: 2015-03-04
Catégorie: Tooling

In this blog post, we went on the hunt of memory leaks in Cumulus by using our memory profiler: ocp-memprof. Cumulus is a feed aggregator based on Eliom, a framework for programming web sites and client/server web applications, part of the Ocsigen Project. First, run and get the memory snapshots To ... (Lire plus)


Auteurs: Çagdas Bozman
Date: 2013-04-22
Catégorie: OCamlPro

This post aims at summarizing the activities of OCamlPro for the past month. As usual, we worked in three main areas: the OCaml toolchain, development tools for OCaml and R&D projects. The toolchain Our multi-runtime implementation of OCaml had gained stability. Luca fixed a lot of low-level bugs in... (Lire plus)