Re:Mir: Strongly typed IR to implement fast and lightweight ...
by jashmatthews on Wednesday December 27, 2023 @12:07AM
(#38779276)
> 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?
Re:Mir: Strongly typed IR to implement fast and lightweight ...
by Tiberium on Wednesday December 27, 2023 @02:08AM
(#38779773)
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 ...
by 082349872349872 on Wednesday December 27, 2023 @03:35AM
(#38780161)
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)
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