I recently gave a talk on the internals of multicore OCaml GC at Jane Street offices in NYC. The slides from the talk are available online. But I felt that the slides alone aren’t particularly edifying. This post is basically the slides from the talk annotated with notes. Abstract In a mostly functional language like OCaml, it is desirable to have each domain (our unit of parallelism) collect its