riot

<h1 align="center"> <img alt="riot logo" src="https://github.com/leostera/riot/assets/854222/bdae366b-6547-49df-a3c7-fe4f506b5d23" width="300"/> </h1> <p align="center"> An actor-model multi-core scheduler for OCaml 5. </p> <p align="center"> <a href="#quick-start">Quick Start</a> | <a href="https://github.com/leostera/riot/tree/master/examples#readme"> Tutorial</a> | <a href="https://ocaml.org/p/riot/latest/doc/Riot/index.html">Reference</a> &nbsp;&nbsp; </p>

Riot is an actor-model multi-core scheduler for OCaml 5. It brings Erlang-style concurrency to the language, where lightweight processes communicate via message-passing.

<!-- $MDX file=test/readme_example.ml,part=main -->

open Riot

type Message.t += Hello_world

let () =
  Riot.run @@ fun () ->
  let pid =
    spawn (fun () ->
        match receive () with
        | Hello_world ->
            Logger.info (fun f -> f "hello world from %a!" Pid.pp (self ()));
            shutdown ())
  in
  send pid Hello_world

At its core Riot aims to offer:

• Automatic multi-core scheduling – when you spawn a new Riot process, it will automatically get allocated on a random scheduler.

• Lightweight processes – spawn 10 or 10,000 processes as you see fit.

• Fast, type-safe message passing

• Selective receive expressions – when receiving messages, you can skim through a process mailbox to consume them in arbitrary order.

• Process links and monitors to keep track of the lifecycle of processes

Riot also includes:

• Supervisors to build process hierarchies

• Logging and Telemetry designed to be multicore friendly

• an Application interface to orchestrate startup/shutdown of systems

• Generic Servers for designing encapsulated services like with Elixir's GenServer

Non-goals

At the same time, there's a few things that Riot is not, and does not aim to be.

Primarily, Riot is not a full port of the Erlang VM and it won't support several of its use-cases, like:

• supporting Erlang or Elixir bytecode
• hot-code reloading in live applications
• function-call level tracing in live applications
• ad-hoc distribution

Quick Start

opam install riot

After that, you can use any of the examples as a base for your app, and run them:

dune exec ./my_app.exe

Acknowledgments

Riot is the continuation of the work I started with Caramel, an Erlang-backend for the OCaml compiler.

It was heavily inspired by eio by the OCaml Multicore team and miou by Calascibetta Romain and the Robur team, as I learned more about Algebraic Effects. In particular the Proc_state is based on the State module in Miou.

And a thousand thanks to Calascibetta Romain and Antonio Monteiro for the discussions and feedback.