Exploring Perceus for OCaml - ML'23

YouTube·OCaml

Explore the Perceus algorithm, a precise and garbage-free reference counting scheme, and its implementation in OCaml 4.14.0 in this 28-minute conference talk from ACM SIGPLAN's ML'23. Discover how Elton Pinto and Daan Leijen compare Perceus directly against a garbage collector within the same system, providing a unique perspective on performance differences. Learn about the prototype implementation that allows for switching between the standard generational collector and Perceus compilation with a reference counted runtime system. Gain insights into the promising initial performance results and understand the motivation for further exploration of this innovative approach to memory management in OCaml.