From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 0563BBC57 for ; Sat, 20 Nov 2010 16:19:54 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArQDAHx150yGnQCBbGdsb2JhbACUYo4DFQ0IDQcPBR+7AoVLBA X-IronPort-AV: E=Sophos;i="4.59,229,1288566000"; d="scan'208";a="67552802" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 Nov 2010 16:19:54 +0100 Received: from hydrogene.pps.jussieu.fr (hydrogene.pps.jussieu.fr [134.157.168.1]) by shiva.jussieu.fr (8.14.4/jtpda-5.4) with ESMTP id oAKFJnGj075210 ; Sat, 20 Nov 2010 16:19:50 +0100 (CET) X-Ids:165 Received: from cubitus.localnet (hydrogene.pps.jussieu.fr [134.157.168.1]) by hydrogene.pps.jussieu.fr (8.13.4/jtpda-5.4) with ESMTP id oAKFJmo3009619 ; Sat, 20 Nov 2010 16:19:48 +0100 From: Vincent Balat To: caml-list@yquem.inria.fr Subject: [Was: OCamlJit 2.0] Date: Sat, 20 Nov 2010 16:19:46 +0100 User-Agent: KMail/1.13.5 (Linux/2.6.32-5-686; KDE/4.5.1; i686; ; ) Cc: Yoann Padioleau , Dario Teixeira References: <980786.74593.qm@web111507.mail.gq1.yahoo.com> <023DB1B5-B4D6-4C2A-AAF6-2368F93BEBB6@wanadoo.fr> In-Reply-To: <023DB1B5-B4D6-4C2A-AAF6-2368F93BEBB6@wanadoo.fr> MIME-Version: 1.0 Content-Type: Text/Plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Message-Id: <201011201619.47211.vincent.balat@pps.jussieu.fr> X-Miltered: at jchkmail.jussieu.fr with ID 4CE7E715.001 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 4CE7E715.001/134.157.168.1/hydrogene.pps.jussieu.fr/hydrogene.pps.jussieu.fr/ X-Spam: no; 0.00; compiler:01 speedup:01 bytecode:01 reimplement:01 bytecode:01 2.0:98 imho:01 wrote:01 wrote:01 pps:01 jussieu:01 slower:02 slower:02 quoting:02 shootout:02 On Nov 19, 2010 21:20:01, Yoann Padioleau wrote: > On Nov 19, 2010, at 11:46 AM, 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. > > Yes, which is good. But if you think about it is "only" a x2 speedup vs a > really slow bytecode interpreter (the Zend PHP interpreter). PHP is known > for being more than 30 times slower than C. > It's even slower than Ruby on > http://shootout.alioth.debian.org/u32/which-programming-languages-are-fast > est.php There are lots of opportunities to do better IMHO. Would it be completely inconceivable for a company like facebook to reimplement everything using a fast well designed typed language instead of "spending hundreds of millions of dollars on machines that run PHP bytecode interpreters"? (quoting Yoann) Vincent [not completely joking]