lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]

Hi All, might be of some interest!  

All the best,

Ron Teitelbaum 

On Tue, Feb 21, 2017 at 9:54 PM William Ahern <> wrote:
On Tue, Feb 21, 2017 at 12:47:43AM +0000, Dibyendu Majumdar wrote:
> On 21 February 2017 at 00:43, Hisham <> wrote:
> > On 20 February 2017 at 21:28, Dibyendu Majumdar <> wrote:
> >> _javascript_ on the other hand has had a lot of success with multiple
> >> successful JIT implementations.
> >
> > I don't follow the _javascript_ space closely, and I always assumed that
> > V8 was the relevant player there when talking stand-alone JS
> > implementation, so this got me curious. Which are the other ones?
> Mozilla SpiderMonkey
> WebKit _javascript_Core
> Microsoft ChakraCore
> And interesting none are tracing JITs as far as I know.

ChakraCore seems to implement both trace-based and method-based JIT

  When ChakraCore notices that a function or loop-body is being invoked
  multiple times in the interpreter, it queues up the function in
  ChakraCore's background JIT compiler pipeline to generate optimized JIT'ed
  code for the function. Once the JIT'ed code is ready, ChakraCore replaces
  the function or loop entry points such that subsequent calls to the
  function or the loop start executing the faster JIT'ed code instead of
  continuing to execute the bytecode via the interpreter.


SpiderMonkey also seems to have a tracing JIT compiler:

It's more difficult to tell for _javascript_Core. It seems much more like a
method-based JIT, but the documentation suggest some loop-based profiling

  FTL JIT kicks in for functions that are invoked thousands of times, or
  loop tens of thousands of times.

Reading about microvm and their "Mu functions", maybe _javascript_Core
compiles loops to tiny inline functions? They have a very complex
multi-stage compilation process that first compiles many methods to simple,
unoptimized machine code and then selects a subset of those for aggressive
compilation, so superfically seems like a possibility.