LLVM 2.6 support and a new HLVM garbage collector

The OCaml Journal just published an article about LLVM and HLVM:

"This article describes the changes required to bring HLVM up to date with respect to the new LLVM 2.6 release as well as a new garbage collector design. The previous collector mapped pointers onto their mark state via a hash table. This update uses the more conventional design of placing the mark state in the heap, using a mark-sweep garbage collector to reclaim unreachable values. The new collector is simpler and offers different performance characteristics..."

To read this article and more, subscribe to The OCaml Journal today!

OCaml4Multicore (oc4mc)

The OCaml Journal just published an article about the new parallel OCaml implementation:

"OCaml4Multicore is a modified OCaml compiler that allows POSIX threads to run in parallel. This is a major development that makes shared-memory parallel programming much easier and also has the potential to make it far more efficient for many important appications. This article introduces the subject of thread-based parallel programming, explains why it is difficult to facilitate in OCaml-like language implementations and examines the performance characteristics of oc4mc..."

To read this article and more, subscribe to The OCaml Journal today!