Beefy Boxes and Bandwidth Generously Provided by pair Networks
Clear questions and runnable code
get the best and fastest answer
 
PerlMonks  

Re: Perl 5 Optimizing Compiler, Part 2

by chromatic (Archbishop)
on Aug 17, 2012 at 22:47 UTC ( #988116=note: print w/ replies, xml ) Need Help??


in reply to Perl 5 Optimizing Compiler, Part 2

A JIT is not magical fairy dust you can sprinkle on code to make it go faster!

"As fast as C" is a phrase almost entirely devoid of meaning!

Any language implemented atop a VM will either work with the VM where the VM supports the semantics of the language or devolve into a multi-octopus wrestling match where the VM doesn't support the semantics of the language!


Comment on Re: Perl 5 Optimizing Compiler, Part 2
Re^2: Perl 5 Optimizing Compiler, Part 2
by Will_the_Chill (Pilgrim) on Aug 18, 2012 at 02:14 UTC
    Chromatic,

    A tracing & optimizing JIT that is Perl-specific, such as what would be created by RPython, should provide some amount of "magical fairy dust" in that it should make Perl 5 run faster. Please correct me on this particular point.

    "As fast as C" may be a bit tongue-in-cheek, we can stick with my original phrasing of "within an order of magnitude as fast as optimized C". This should have a very specific meaning to anyone running performance benchmarks. Write some code in C, then write the same code in Perl, then run them for comparison.

    I fully agree about the issue of making sure a VM is a suitable target for a particular language.

    RPython would generate a Perl-specific JIT. No multi-octopus wrestling match there.

    Flavio's Perlito generates Javascript to run in a Javascript VM, but from what little I understand about Javascript it is a high-enough-level language to emulate Perl 5 to some degree. (I've had complex code translated from Perl to Javascript in the past.) Perlito doesn't look like much of a multi-octopus wrestling match between Perl as an input language and the Javascript VM, but I could be wrong.

    Ingy's C'Dent and Perl5i are supposed to be generating XS code, so no new VM there, and no multi-octopus wrestling match that I can see.

    Reini's B system seems closely tied to the existing Perl 5 interpreter VM, so no multi-octopus wrestling match there, either.

    So what am I actually wrong about?

    Thanks,
    ~ Will
      Please correct me on this particular point.

      Here's a fun one: how do you ensure that the finalization semantics of Perl 5 (thanks to reference counting) are in effect on an RPython platform? How about operator types? Iterator aliasing?

      ... from what little I understand about Javascript it is a high-enough-level language to emulate Perl 5 to some degree.

      Does it support raw memory access, or do things that aren't hashes or floats have to be emulated with hashes and floats?

      JIT is only a real advantage when you can use things like type specialization and escape analysis to create straight-line code that can make a lot of assumptions because you've proven them. You have to get the boxing/unboxing semantics right, and you have to have a deep understanding of the memory model of the target and of the hosted language.

      (The same laws of physics apply when porting an existing language to a different VM. If you get dramatic speed improvements on all but a few benchmarks, it's a sign that the prior VM was pretty poor, not that JIT magic unicorn-flavored candy.)

Log In?
Username:
Password:

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://988116]
help
Chatterbox?
and the web crawler heard nothing...

How do I use this? | Other CB clients
Other Users?
Others lurking in the Monastery: (13)
As of 2014-07-11 20:56 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?

    When choosing user names for websites, I prefer to use:








    Results (235 votes), past polls