CommunityNews

PR to Merge Multicore OCaml

Multicore OCaml by kayceesrk · Pull Request #10831 · ocaml/ocaml.
This PR adds support for shared-memory parallelism through domains and direct-style concurrency through effect handlers (without syntactic support). It intends to have backwards compatibility - in …

Read in full here:

github.com/ocaml/ocaml

Multicore OCaml

ocaml:trunk ← ocaml-multicore:multicore-pr

opened 03:13PM - 21 Dec 21 UTC

kayceesrk

+22955 -14062

This PR adds support for shared-memory parallelism through domains and direct-st…yle concurrency through effect handlers (without syntactic support). It intends to have backwards compatibility in terms of language features, C API, and also the performance of single-threaded code. ## For users If you want to learn more about Multicore OCaml, please have a look at the [multicore wiki](https://github.com/ocaml-multicore/ocaml-multicore/wiki) for papers, talks, tutorials and blog posts. If you are interested in using Multicore OCaml, we suggest having a look at the following work-in-progress libraries: 1. [domainslib](https://github.com/ocaml-multicore/domainslib) -- a library for nested task parallelism 2. [eio](https://github.com/ocaml-multicore/eio) -- asynchronous io in direct-style Here is a snapshot of the multicore scalability results on parallel benchmarks from [sandmark](https://github.com/ocaml-bench/sandmark) on a 2 processor AMD EPYC 7551 server with 64 cores in total: ![](https://i.imgur.com/QzBcTf9.png) The number in the parenthesis next to the benchmark name is the time (in seconds) taken by the sequential baseline of the corresponding benchmark. ## Review process This PR comes at the back of asynchronous code reviews by the OCaml core developers followed by a week-long synchronous code review session. The summary of the discussions is available in the [November multicore monthly](https://discuss.ocaml.org/t/multicore-ocaml-november-2021-with-results-of-code-review/8934/5#core-team-code-review-1). As mentioned in the November multicore monthly, this PR constitutes the minimum viable product (MVP) for Multicore OCaml. The "pre-MVP" tasks have been completed, and the "post-MVP for 5.00" tasks are yet to be done. The aim is that these tasks, and the ones that follow, can be completed on ocaml/ocaml Github repo, through the usual OCaml PR review process rather than on the Multicore OCaml repo. Given that the PR is quite large, if you spot major breakages and functionality gaps, we suggest that you make separate issues on ocaml/ocaml Github repo. This will help keep the discussion threads readable. Feel free to comment on minor issues (typos, formatting edits, etc) directly in this PR, and we shall be happy to fix those. ## What's in the box The only supported backend is `amd64` on Linux and macOS; `arm64` is in the works. The following features are not implemented: * statmemprof * compilation with frame pointers * ocamldebug * AFL support * flambda ## Acknowledgements Multicore OCaml has been a long running project. We would like to thank all those who have helped find issues, debugged issues, reviewed code and contributed code along the way. -- The Multicore OCaml team

This thread was posted by one of our members via one of our news source trackers.

1 comment

/ocaml

5 1165 1

2022-01-07 15:28:35 UTC

Most Liked

OvermindDL1

Been waiting for this so so so so long! So excited!

Effect Handlers in OCaml is even such a larger thing than just multicore too!! But even then it’s such a brilliant way to setup multicore. I just hope it’s not too late for OCaml’s relevance in the wider view at this point…

Post #3

Where Next?

View thread on forum

ocaml

Home Backend>In The News

/ocaml

5 1165 1

Last post

Popular Backend topics

Backend>In The News

C++ Deserves Its Bad Reputation

jmoiron.net

/c-plus-plus

11 1139 6

2021-06-17 19:29:20 UTC

New

Backend>In The News

Python overtakes Java to become the second-most popular programming language

For the first time in the history of TIOBE’s index, Java has slipped out of the top two, leaving Python to occupy the spot behind reignin...

techrepublic.com

/java /python #programming

0 1191 0

2020-11-04 23:03:55 UTC

New

Backend>In The News

Why Golang Is Bad for Smart Programmers

In recent months I use Go for the implementation of Proof of Concept in my leisure time, partly to study of Go programming language itsel...

raevskymichail.medium.com

/go

3 2019 0

2021-08-02 14:16:07 UTC

New

Backend>In The News

The Kawa Scheme Language

Kawa is a general-purpose programming language that runs on the Java platform. It aims to combine: the benefits of dynamic scripting la...

gnu.org

/java #scheme #jvm

1 1071 0

2021-08-16 04:06:23 UTC

New

Backend>In The News

Sketch: A Common Lisp environment for the creation of electronic art

GitHub - vydd/sketch: A Common Lisp framework for the creation of electronic art, visual design, game prototyping, game making, computer ...

github.com

/lisp #environment

0 1093 0

2022-01-10 00:39:24 UTC

New

Backend>In The News

Rails adds support for Fiber-safe ActiveRecord ConnectionPools

Rails adds support for Fiber-safe ActiveRecord ConnectionPools. Ruby on Rails and ReactJS consulting company. We also build mobile appli...

blog.saeloun.com

/rails

0 986 0

2022-02-25 01:06:05 UTC

New

Backend>In The News

Hacking sum types with Go generics

Hacking sum types with Go generics. Go doesn’t have sum types, but generics get us one step closer to a useful polyfill. If you’ve ever ...

blog.lawrencejones.dev

/go #types

2 1123 0

2022-03-15 03:26:59 UTC

New

Backend>In The News

ClojureRS – Clojure interpreter implemented in Rust

GitHub - clojure-rs/ClojureRS: Clojure, implemented atop Rust (unofficial). Clojure, implemented atop Rust (unofficial). Contribute to c...

github.com

/clojure /rust

1 1017 0

2022-04-30 23:03:28 UTC

New

Backend>In The News

Introducing Trilogy: a new database adapter for Ruby on Rails

Introducing Trilogy: a new database adapter for Ruby on Rails | The GitHub Blog. We’ve open sourced Trilogy, the database adapter we use...

github.blog

/ruby /rails #database

1 1054 0

2022-09-04 00:18:41 UTC

New

Backend>In The News

Crubit: High-level design of C++/Rust interop

crubit/design.md at main · google/crubit. Contribute to google/crubit development by creating an account on GitHub.

github.com

/c-plus-plus /rust #design

0 956 0

2022-10-08 02:27:38 UTC

New

Other popular topics

Frontend>Chat

Svelte - what do you think about it?

Any thoughts on Svelte? Svelte is a radical new approach to building user interfaces. Whereas traditional frameworks like React and Vue...

#opinions /svelte

54 3555 17

2020-10-12 20:41:35 UTC

New

macOS>Chat

My thoughts on macOS vs Linux

Small essay with thoughts on macOS vs. Linux: I know @Exadra37 is just waiting around the corner to scream at me “I TOLD YOU SO!!!” but I...

#macos #linux

166 7775 69

2021-04-10 22:36:29 UTC

New

Frontend>Learning Resources

Modern CSS with Tailwind

Tailwind CSS is an exciting new CSS framework that allows you to design your site by composing simple utility classes to create complex e...

pragprog.com

#pragprog /tailwind #published-book /book-modern-css-with-tailwind

12 3624 4

2021-05-13 14:50:23 UTC

New

General Dev>Dev Chat

Roc Language - a new purely functional programming language built for speed and ergonomics

Hi folks, I don’t know if I saw this here but, here’s a new programming language, called Roc Reminds me a bit of Elm and thus Haskell. ...

#programminguages #functional-programming

49 4462 14

2021-11-10 20:03:09 UTC

New

Android>Questions

Clipboard readtext not working in android webview

Inside our android webview app, we are trying to paste the copied content from another app eg (notes) using navigator.clipboard.readtext ...

#android #clipboard

1 3243 0

2022-09-27 18:52:03 UTC

New

Community>In The Spotlight

Spotlight: VM Brasseur (Author) Interview and AMA!

Author Spotlight: VM Brasseur @vmbrasseur We have a treat for you today! We turn the spotlight onto Open Source as we sit down with V...

#author-spotlight /book-forge-your-future-with-open-source

16 4113 11

2023-03-27 16:00:12 UTC

New

Community>In The Spotlight

Spotlight: Tammy Coron (Author) Interview and AMA!

Author Spotlight: Tammy Coron @Paradox927 Gaming, and writing games in particular, is about passion, vision, experience, and immersio...

/swift /book-apple-game-frameworks-and-technologies

36 3521 18

2023-10-16 19:05:34 UTC

New

Community>In The Spotlight

Spotlight: Sophie DeBenedetto (Author) Interview and AMA!

Author Spotlight: Sophie DeBenedetto @SophieDeBenedetto The days of the traditional request-response web application are long gone, b...

/elixir /phoenix #liveview /book-programming-phoenix-liveview

37 3237 14

2023-10-17 17:12:53 UTC

New

General Dev>In The News

X can’t stop spread of explicit, fake AI Taylor Swift images

Will Swifties’ war on AI fakes spark a deepfake porn reckoning?

arstechnica.com

/swift

0 5956 0

2024-01-26 05:47:12 UTC

New

Backend>Learning Resources

Simplicity

Fight complexity and reclaim the original spirit of agility by learning to simplify how you develop software. The result: a more humane a...

pragprog.com

#pragprog #published-book /book-simplicity

10 1290 8

2025-03-14 21:53:12 UTC

New

Latest in OCaml

More OCaml (PragProg)

Backend>Learning Resources

OCaml 5.3.0 and 5.2.1 released!

Backend>Official News

OCaml 5.3.0 released!

Backend>Official News

8 months of OCaml after 8 years of Haskell in production

General Dev>In The News

OCaml 5.2.1 released!

Backend>Official News

Functional Conf 2025 online - Call for Proposals [Closing 17 Nov]

General Dev>Events

Functional Conf - Bengaluru, India 21-23 Nov 2024

General Dev>Events

Getting OCaml Through the Eye of a Needle

General Dev>In The News

OCaml 5.2.0 released!

Backend>Official News

Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml

General Dev>In The News

OCaml Portal ❯

Backend>In The News

Growing the Java Language

Backend>In The News

Reloading classes in python and shared borders

Backend>In The News

Using Livebook to build and deploy internal tools

Backend>In The News

Full-Stack on Cloudflare: Master Full-Stack Development on the Worker Edge Network

Backend>In The News

Database Design Book: Learn How to Get From Business Requirements to a Database Schema

Backend>In The News

Everything I know about good system design

Backend>In The News

How we replaced Elasticsearch and MongoDB with Rust and RocksDB

Backend>In The News

Writing a Rust GPU kernel driver: a brief introduction on how GPU drivers work

Backend>In The News

Part 1: A Deep Dive into Rust and C Memory Interoperability

Backend>In The News

A Python dict that can report which keys you did not use - Peterbe.com

Backend>In The News

Backend In The News ❯

Latest on Devtalk

Firefox Privacy Checklist

General Dev>In The News

New AI model turns photos into explorable 3D worlds, with caveats

AI>In The News

You Don't Need Animations

Frontend>In The News

Lossy encyclopedia

General Dev>In The News

Last call for DjangoCon US 2025 tickets!

Backend>Official News

Tailwind v4.1.13 released!

Frontend>Official News

Keyboard shorcuts in Django via GSoC 2025

Backend>Official News

PostgreSQL 18 RC 1 Released!

Backend>Official News

Ruby on Rails v8.1.0.beta1 released!

Backend>Official News

Zotonic 0.90.0 released!

Backend>Official News

50 keyboards from my collection

General Dev>In The News

RubyMine Is Now Free for Non-Commercial Use | The RubyMine Blog

General Dev>In The News

Imgur's Community Is In Full Revolt Against Its Owner

General Dev>In The News

PostgreSQL: pgAdmin 4 v9.8 Released

Backend>Official News

Sutskever's List (Manning)

AI>Learning Resources

Devtalk ❯

We ❤️ helpful members!

We reward our most helpful members via our MOTM scheme - by giving away a whopping 25 books per year!

Sub Categories:

We're in Beta

About us Mission Statement See our Roadmap

PR to Merge Multicore OCaml

CommunityNews

PR to Merge Multicore OCaml

Most Liked

OvermindDL1

Where Next?

Popular Backend topics

C++ Deserves Its Bad Reputation

Python overtakes Java to become the second-most popular programming language

Why Golang Is Bad for Smart Programmers

The Kawa Scheme Language

Sketch: A Common Lisp environment for the creation of electronic art

Rails adds support for Fiber-safe ActiveRecord ConnectionPools

Hacking sum types with Go generics

ClojureRS – Clojure interpreter implemented in Rust

Introducing Trilogy: a new database adapter for Ruby on Rails

Crubit: High-level design of C++/Rust interop

Other popular topics

Svelte - what do you think about it?

My thoughts on macOS vs Linux

Modern CSS with Tailwind

Roc Language - a new purely functional programming language built for speed and ergonomics

Clipboard readtext not working in android webview

Spotlight: VM Brasseur (Author) Interview and AMA!

Spotlight: Tammy Coron (Author) Interview and AMA!

Spotlight: Sophie DeBenedetto (Author) Interview and AMA!

X can’t stop spread of explicit, fake AI Taylor Swift images

Simplicity

Sponsor Spotlight

Latest in OCaml

Backend>In The News

Latest on Devtalk

We ❤️ helpful members!

Devtalk Sponsors

Categories:

Sub Categories:

Popular Portals

Devtalk Sponsors

We're in Beta