I think it would be worth mentioning GraalVM and https://github.com/oracle/truffleruby in competitors section.
Mir: Strongly typed IR to implement fast and lightweight interpreters and JITs
11–20 of 46 posts
Re: Mir: Strongly typed IR to implement fast and lightweight interpreters and JITs
#12Assumed this was about the other MIR: https://llvm.org/docs/MIRLangRef.html
Re: Mir: Strongly typed IR to implement fast and lightweight interpreters and JITs
#13MIR is a start; someone ought to continue with the following downstream projects: TRYD (Trace Rewriter Yielding Dynamics): reconstitutes a CFG from traces in order to not only JIT single hot paths but also multiple interlacing warm ones MAI (Machine-Agnostic Interpreter): support for mobile processes and agents
> TRYD (Trace Rewriter Yielding Dynamics): reconstitutes a CFG from traces in order to not only JIT single hot paths but also multiple interlacing warm ones Do you have more information on that? Googling didn't turn much up. It sounds similar to the Trace Tree or region based compilation approaches?
That reply is a pun based on the fact that Mir (Мир) means peace in a lot of Slavic languages, and "Мир! Труд! Май!" ("Peace! Labour! May!") was a popular slogan in the USSR for celebrating 1st of May (https://en.wikipedia.org/wiki/International_Workers%27_Day)
Re: Mir: Strongly typed IR to implement fast and lightweight interpreters and JITs
#14Looks like a fun project but I think the window of opportunity might have passed. The Shopify JIT seems to be the way forward for Ruby JITs, and WASM is the obvious choice for new programming languages.
Re: Mir: Strongly typed IR to implement fast and lightweight interpreters and JITs
#15Assumed this was about the other MIR: https://llvm.org/docs/MIRLangRef.html
Of this one: https://rustc-dev-guide.rust-lang.org/mir/index.html
Re: Mir: Strongly typed IR to implement fast and lightweight interpreters and JITs
#16Too bad it doesn't support SIMD. Would be nice for an easily embeddable SIMD-aware JIT to exist.
Re: Mir: Strongly typed IR to implement fast and lightweight interpreters and JITs
#17I think it would be worth mentioning GraalVM and https://github.com/oracle/truffleruby in competitors section.
LuaJit and PHP both use [DynASM](https://luajit.org/dynasm.html) as well.
Re: Mir: Strongly typed IR to implement fast and lightweight interpreters and JITs
#18MIR is a start; someone ought to continue with the following downstream projects: TRYD (Trace Rewriter Yielding Dynamics): reconstitutes a CFG from traces in order to not only JIT single hot paths but also multiple interlacing warm ones MAI (Machine-Agnostic Interpreter): support for mobile processes and agents
> TRYD (Trace Rewriter Yielding Dynamics): reconstitutes a CFG from traces in order to not only JIT single hot paths but also multiple interlacing warm ones Do you have more information on that? Googling didn't turn much up. It sounds similar to the Trace Tree or region based compilation approaches?
Tiberium is absolutely correct, but I do admit I'd love a TRYD-like project. Thanks for giving me some useful search terms!
(to be clear, what I had in mind: not just merging trace heads to form a tree, but merging their tails as well [à la NFA minimisation] to form a cyclic graph; after which one could use region-based techniques on the identified cycles.
Rpython's metatracing does a reasonable job for multiple interlacing warm paths, but there's still room for improvement)
Re: Mir: Strongly typed IR to implement fast and lightweight interpreters and JITs
#19Looks like a fun project but I think the window of opportunity might have passed. The Shopify JIT seems to be the way forward for Ruby JITs, and WASM is the obvious choice for new programming languages.
A new jit (rjit) just landed as an experimental option in 3.3. Ruby is very receptive to trying new things if they look promising.
Re: Mir: Strongly typed IR to implement fast and lightweight interpreters and JITs
#20Is the project still active?