search

void4 / rarvm

Resource Aware, Recursive Virtual Machine
https://esolangs.org/wiki/RarVM
10 stars 0 forks source link

Document the ISA #1

Open tekknolagi opened 5 years ago

tekknolagi commented 5 years ago

Hi,

Looks like a neat project. Do you have any documentation of the ISA? I was planning on making a port of your project to something like C, C++, or Rust.

Cheers.

void4 commented 5 years ago

I have experimented with different semantics, so the Python and Rust implementations are not 100% compatible or down-to-the bit equal in their results.

In the last few weeks/months I've been looking into the WebAssembly ISA and a few of its VM implementations - similar security guarantees may be made there (although the more it evolves, the more hacks it will likely require to achieve all the properties available here, there are also no future guarantees for the maintenance of determinism etc.).

But the combination of low/no-overhead recursive sandboxing and serialization, as well as instruction-level resource accounting will require a custom VM.