OxCaml | Tutorials | Introduction to parallelism, Part 1
OCaml 5 unleashed parallel programming on the OCaml ecosystem. As is often the case when something is unleashed, this has quite a bit of potential to cause chaos. Race conditions lead to bugs that are easy to write, hard to replicate, and tricky to eliminate. But it’s hard to argue with the potential performance gains. What might the language do to help us get those speedups and spend less time debugging nondeterministic behavior? OxCaml provides an infrastructure for multicore OCaml programming that exploits the full power of parallelism while guaranteeing freedom from an especially pernicious threat, that of the data race. That infrastructure includes many parts, from common primitives like atomics and locks to more exotic features like modes and capsules. Fortunately, many parallel programs only need some of this machinery, and following this tutorial, you’ll see how far you can get with just two modes and the Parallel.fork_join2 function. OCaml 5 provides parallelism for otherwise