Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2

Authors:
Pascal Cuoq;Damien Doligez
Affiliations:
Commissariat a l'Energie Atomique, Saclay, France;Instritut National de Recherche en Informatique et Automatique, Rocquencourt, France
Venue:
Proceedings of the 2008 ACM SIGPLAN workshop on ML
Year:
2008

Citing 10
Cited 2

Functional reactive animation

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Model checking

Model checking
List processing in real time on a serial computer

Communications of the ACM
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Python; Essential Reference

Python; Essential Reference
Java Language Specification, Second Edition: The Java Series

Java Language Specification, Second Edition: The Java Series
Uniprocessor Garbage Collection Techniques

IWMM '92 Proceedings of the International Workshop on Memory Management
Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell

IFL '99 Selected Papers from the 11th International Workshop on Implementation of Functional Languages
Type-safe modular hash-consing

Proceedings of the 2006 workshop on ML
Zenon: an extensible automated theorem prover producing checkable proofs

LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning

Experience report: OCaml for an industrial-strength static analysis framework

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Behind the scenes in SANTE: a combination of static and dynamic analyses

Automated Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This article describes the implementations of weak pointers, weak hashtables and hashconsing in version 3.10.2 of the Objective Caml system, with focus on several performance pitfalls and their solutions.