archseer / enigma, Hacker News

An implementation of the Erlang VM in Rust. We aim to be complete, correct and fast, in that order of importance.

OTP 41 compatible (sans the distributed bits for now) – all your code should eventually run on Enigma unchanged. Deprecated opcodes won’t be supported.

Why?

Because it’s fun and I’ve been learning a lot. BEAM and HiPE are awesome, but they’re massive (~ k (SLOC). A small implementation makes it easier for new people to learn Erlang internals. We also get a platform to quickly iterate on ideas for inclusion into BEAM.

Installation

Only prerequisite to building Enigma is Rust. Use rustup to install the latest nightly rust. At this time we don’t support stable / beta anymore, because we’re relying on async / await, which is scheduled to run in stable some time in Q3 .

To boot up OTP you will also need to compile the standard library. At the moment, that relies on the BEAM build system:

git submodule update –init –depth 1 cd otp / otp_build setup -a make libs make local_setup

We hope to simplify this step in the future (once enigma can run the compiler).

Run cargo run to install dependencies, build and run the VM. By default, it will boot up the erlang shell ( iex also works, but has some rendering bugs ).

Expect crashes, but a lot of the functionality is already available.

Pre-built binaries for various platforms will be available, once we reach a certain level of stability.

(Feature status

We implement most of the opcodes, and about half of all BIFs. You can view a detailed progress breakdown on opcodes or BIFs .

Roadmap

(Get the full OTP kernel / stdlib to boot) (init: start) ).

Get the Eshell to run.

Get OTP tests to run (works with a custom runner currently).

Get the erlang compiler to work. Get IEx to run. Get OTP tests to pass.

Features

(Floating point math) Spawn & message sending

Lambdas / anonymous functions

Exceptions & stack traces
Process dictionary
Signal queue
Links & monitors Timers Maps Binaries File IO (open / read / close / read_file / write) Filesystem interaction
External NIFs
Ports (might never be fully supported, we provide a few boot-critical ones as builtins: tty, fd)
External Term representation Decoding Encoding
ETS (PAM implementation) All table types partially, but we do not provide any concurrency guarantees
• • Regex (some support exists for basic matching) Garbage Collection (arena-based per-process at the moment) inet via socket nifs
    • Code reloading
      Tracing / debugging support
      Load-time instruction transforms Load-time instruction specialization engine

Goals, ideas & experiments

Process scheduling is implemented on top of rust futures:

A A process is simply a long running future, scheduled on top of tokio-threadpool work-stealing queue A timer is a delay / timeout future relying on tokio-timer time-wheel Ports are futures we can await on

• File I / O is AsyncRead / AsyncWrite awaitable NIF / BIFs are futures that yield at certain points to play nice with reductions (allows a much simpler yielding implementation)

• Future possibilities :

  (Write more documentation about more sparsely documented BEAM aspects (binary matching, time wheel, process monitors, .. .) Explore using immix as a GC for Erlang

  Eir runtime JIT via Eir BIF as a generator function (yield to suspend / on reduce) Provide built-in adapter modules for (hyper) as a Plug Adapter / HTTP client.

  Cross-compile to WebAssembly ( (runtime) )

  Initial non-goals

  Until the VM does not reach a certain level of completeness, it doesn’t make sense to consider these.

  (Distributed Erlang nodes) Tracing / debugging support

  BEAM compatible NIFs / FFI

  • Note: NIF / FFI ABI compatibility with OTP is going to be quite some work. But, a rust-style NIF interface will be available. It would also probably be possible to make an adapter compatible with rustler .

    Contributing

    Contributors are very welcome!

    The easiest way to get started is to look at the notes folder and pick a BIF or an opcode to implement. Take a look at src / bif.rs and the