NIF-based backend for ExMaude using Rustler.

Manages a Maude subprocess from Rust, communicating via stdin/stdout pipes through dedicated reader threads. It avoids an Erlang Port or distribution hop, but should be benchmarked with the caller's own workload. Like any NIF, the native extension shares the BEAM's OS process.

Features

• Per-command timeouts enforced inside the NIF
• Runs all blocking operations on the DirtyIo scheduler
• Structured error returns (:timeout, :eof, :io_error, :lock_poisoned)

Trade-offs

• No process isolation — a segfault in the NIF crashes the BEAM. Rustler wraps NIF entry points in std::panic::catch_unwind, so a Rust panic! becomes an Elixir exception; segfaults from unsafe code are still fatal.
• More complex deployment than the Port backend.

Configuration

config :ex_maude,
  backend: :nif,
  max_response_bytes: 16_777_216

Getting the NIF

Published Hex packages use checksummed precompiled binaries for the supported targets below. The release pipeline generates the checksum file after the matching GitHub release assets exist and before publishing the package.

A source checkout intentionally has an empty checksum file, so development builds must opt into compilation from source (requires a Rust toolchain):

EX_MAUDE_BUILD=1 mix compile --force        # in this project
EX_MAUDE_BUILD=1 mix deps.compile ex_maude  # as a dependency

Use :port as the default when a precompiled NIF is unavailable and a local Rust build is not desired.