Mirror of forum.nim-lang.org

5115 :: Data Structure Interpretation techniques

• dponyatov (orginal) [2019-08-22T07:48:51+02:00] view original

  Is anybody use Data Structure Interpretation techniques in Nim?

  I'd like to see source code samples for things like eval/apply, bytecode interpreting, objects message passing engines, or maybe some more complex methods like interpreting object graphs, or implementing DataFlow at the metaprogramming level.

---

• Araq (orginal) [2019-08-22T10:10:10+02:00] view original

  Byte code interpreting is done in the Nim compiler itself:

  https://github.com/nim-lang/Nim/blob/devel/compiler/vmdef.nim#L25 https://github.com/nim-lang/Nim/blob/devel/compiler/vm.nim https://github.com/nim-lang/Nim/blob/devel/compiler/vmgen.nim

  But it's production code, not example code.

---

• mratsim (orginal) [2019-08-22T17:08:01+02:00] view original

  Also my research code on writing a symbolic evaluator + compiler for computation graphs in Nim macros (extensible for JIT compilation):

  • https://github.com/numforge/laser/tree/master/laser/lux_compiler

  And the experiments I did before jumping the gun, with about 12 steps of growing complexity:

  • https://github.com/mratsim/compute-graph-optim

  For message passing between multiple threads you can use Nim channels or my research project on a new Nim multi-threading runtime:

  • https://github.com/nim-lang/Nim/blob/devel/lib/system/channels.nim
  • https://github.com/mratsim/weave/blob/master/e04_channel_based_work_stealing/channel.nim . Note that it's a raw translation of C code, and also those channels are used by the multithreading scheduler while usually a scheduler uses shared memory and user code uses channels.

  For async channels you can have a look here: https://github.com/status-im/nim-chronos/pull/45

  Regarding bytecode interpretations:

  • Research into state-of-the-art: https://github.com/status-im/nimbus/wiki/Interpreter-optimization-resources. THis includes 4 different VMs engine in Nim at the bottom with benchmarjs
  • implementation of Ethereum VM: https://github.com/status-im/nimbus/tree/master/nimbus/vm
  • a simple Chip-8 VM: https://github.com/mratsim/chirp8
  • an (unfinished) example of describing opcodes via macros for 6502: https://github.com/mratsim/glyph/blob/master/glyph/snes/opcodes.nim

---