Re: [Caml-list] OCamlJit 2.0

2010-11-23 Thread Yoann Padioleau
On Nov 23, 2010, at 11:20 PM, Alain Frisch wrote: > On 11/19/2010 8:46 PM, Dario Teixeira wrote: >> Actually, Facebook has a compiler that transforms PHP source code into C++ >> [1], >> and they claim a 50% reduction in CPU usage. > > I haven't looked into this project, but I've a hard time bel

Re: [Caml-list] OCamlJit 2.0

2010-11-23 Thread Alain Frisch
On 11/19/2010 8:46 PM, Dario Teixeira wrote: Actually, Facebook has a compiler that transforms PHP source code into C++ [1], and they claim a 50% reduction in CPU usage. I haven't looked into this project, but I've a hard time believing this is a better approach than compiling PHP to Javascrip

Re: [Caml-list] OCamlJit 2.0

2010-11-20 Thread Yoann Padioleau
On Nov 19, 2010, at 11:10 AM, Benedikt Meurer wrote: > > Well, it is a research project, and it was driven by actual demand. A JIT > engine for PHP is something less interesting from a university point of view, > unless there are companies willing to sponsor/help the development. > > But from

Re: [Caml-list] OCamlJit 2.0

2010-11-19 Thread Yoann Padioleau
On Nov 19, 2010, at 11:46 AM, Dario Teixeira wrote: > Hi, > >> What would be really nice is to make a JIT for a language that really >> need one, like PHP! There are lots of companies out there (Yahoo, >> Facebook, wikimedia) that spend hundreds of millions of dollars on >> machines that run PHP

Re: [Caml-list] OCamlJit 2.0

2010-11-19 Thread Dario Teixeira
Hi, > What would be really nice is to make a JIT for a language that really > need one, like PHP! There are lots of companies out there (Yahoo, > Facebook, wikimedia) that spend hundreds of millions of dollars on > machines that run PHP bytecode interpreters implemented by people who > are not Xav

Re: [Caml-list] OCamlJit 2.0

2010-11-19 Thread Benedikt Meurer
On Nov 19, 2010, at 19:43 , Yoann Padioleau wrote: >> OCamlJit 2.0 was specifically designed for desktop processors and is not >> really portable to anything else in its current shape, because the target >> audience are people using the interactive top-level and the byte-code >> interpreter fo

Re: [Caml-list] OCamlJit 2.0

2010-11-19 Thread Yoann Padioleau
On Nov 16, 2010, at 6:52 AM, Benedikt Meurer wrote: > > Hello everybody, Hi, > > OCamlJit 2.0 is a new Just-In-Time engine for Objective Caml 3.12.0 on > desktop processors (x86/x86-64). It translates the OCaml byte-code used by > the interpreter (ocamlrun and ocaml) to x86/x86-64 native c

[Caml-list] OCamlJit 2.0

2010-11-19 Thread Benedikt Meurer
Hello everybody, OCamlJit 2.0 is a new Just-In-Time engine for Objective Caml 3.12.0 on desktop processors (x86/x86-64). It translates the OCaml byte-code used by the interpreter (ocamlrun and ocaml) to x86/x86-64 native code on-demand and runs the generated native code instead of interpreting

Re: [Caml-list] OCamlJit 2.0

2010-11-16 Thread Benedikt Meurer
On Nov 16, 2010, at 18:07 , bluestorm wrote: > To those of you who are lazy but still curious, I just read the report, and > here are the answers to the question I had: Thanks for posting these points, should have done this in my original post... > 1. Is that project related to Basile Starynke

Re: [Caml-list] OCamlJit 2.0

2010-11-16 Thread bluestorm
To those of you who are lazy but still curious, I just read the report, and here are the answers to the question I had: 1. Is that project related to Basile Starynkevitch's venerable OCamlJIT ? Yes, OcamlJIT was apparently a major inspiration for this work. The overall design is similar, and in p