Copy-and-Patch: Fast JIT Compilation for SQL, WebAssembly, and Others

Are the authors of this paper present&#x2F;the ones who posted?<p>This is really interesting. One thing I&#x27;m curious about -- is this technique applicable to applications which do JIT &quot;compilation&quot; in the business-logic&#x2F;abstract sense of the term?<p>Realworld usecase: Hasura is fundamentally a Haskell GraphQL-to-SQL JIT compiler&#x2F;transpiler. It parses, lowers to an internal IR format, and then translates to a specific SQL dialect.<p>I&#x27;m wondering if any of this would carry over to a usecase like that?<p><pre><code> https:&#x2F;&#x2F;github.com&#x2F;hasura&#x2F;graphql-engine&#x2F;blob&#x2F;master&#x2F;server&#x2F;src-lib&#x2F;Hasura&#x2F;RQL&#x2F;IR&#x2F;Select.hs https:&#x2F;&#x2F;github.com&#x2F;hasura&#x2F;graphql-engine&#x2F;blob&#x2F;master&#x2F;server&#x2F;src-lib&#x2F;Hasura&#x2F;Backends&#x2F;Postgres&#x2F;Translate&#x2F;Select.hs </code></pre> Nonetheless, will be interesting to see whether this technique will get adopted by LLVM or some of the major WASM runtimes. I won&#x27;t pretend to understand the majority of what the writeup stated, but on paper it seems a huge speedup?

I would be interested in your thoughts on using PochiVM as a means to add a dynamic re-compiling core for emulators. The emulator would identify hot code blocks, generate C like constructs (or ideally the AST) and use the &#x27;Copy-and-Patch Compilation&#x27; algorithm to generate and execute the relevant machine code. The ability to call back to host methods, handle exception semantics and all the while being totally oblivious to the platform architecture that the machine code is produced for seems ideal for an emulator designed to run on multiple platforms.

Isn&#x27;t it the first sense of the verb to compile and a return to the original way of doing things ?<p>(transitive) To put together; to assemble; to make by gathering things from various sources. Samuel Johnson compiled one of the most influential dictionaries of the English language.