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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id AC150BC57 for ; Fri, 19 Nov 2010 20:47:11 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoDAE9i5kxii1vyfGdsb2JhbACDRJBqjkgBAQsJCgcRBR+sYjyCGIUniQcBBAQBgR2DNnMEhFqJDw X-IronPort-AV: E=Sophos;i="4.59,224,1288566000"; d="scan'208";a="80357308" Received: from nm12-vm0.bullet.mail.sp2.yahoo.com ([98.139.91.242]) by mail2-smtp-roc.national.inria.fr with SMTP; 19 Nov 2010 20:46:59 +0100 Received: from [98.139.91.68] by nm12.bullet.mail.sp2.yahoo.com with NNFMP; 19 Nov 2010 19:46:57 -0000 Received: from [98.139.91.29] by tm8.bullet.mail.sp2.yahoo.com with NNFMP; 19 Nov 2010 19:46:57 -0000 Received: from [127.0.0.1] by omp1029.mail.sp2.yahoo.com with NNFMP; 19 Nov 2010 19:46:57 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 403326.79242.bm@omp1029.mail.sp2.yahoo.com Received: (qmail 74616 invoked by uid 60001); 19 Nov 2010 19:46:57 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1290196017; bh=H/xq9Jwid4hIAO27ZTRKFVwxObZJYSOzJ4C/ENL7w6o=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=NNTrps7r0Iho4GRREv1HF+C6KXko7UPRS0PyG68Dk1F5WpVp+cBRV0li+zjpr7XlOnLUrs8paM0T5Qw2kwGDb6ePl68g2EBs+c0HEETg97frbqSKfU3ttXjEvxBAs4jc0BsJ8J+SlOm9lI0QIm5v3vKr85omIBhLvGR9inl+YhE= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=VlX794uD8Jj5gBL3CnOsOk5yPSH2JBawWzQGygeUzFYNfxGJeyAoNF7Dui8VmDq/ukekPhGSmca+UoB+Ghczx6c65iDU8Ow3/cbOlS5J08cRVVCGZ5wLZt4hvyDr6/hlTdEOWX852WSJUF8bVN1jugAa37ubMT77Zgh1jEKJ3FM=; Message-ID: <980786.74593.qm@web111507.mail.gq1.yahoo.com> X-YMail-OSG: Y4NkQegVM1lKjeNpPe4T3Yp1XxrfUD9yCUhXaFptvhfmkWz JEAvcU5T0mjBQln_athEQbFJBZc8Amw2rdVJxzjWN5l1h16_2gC1nuDXXtBq 0FMmVr9zPyTwL6bdSa95JYj.YsNvrVhrP7_VrA0bmbmiyQPiP_XB.NeJDvaO fgd8YZns25vIbOIFzqC4eZdN7bWWgTnFPXrE4ykT0qlzdbpFM27QuQOmgMHs lJkaEKg1bl1mit9OkP6paDpKjm22OHbJoahh1qlKpN.sjmeDLM7tt7zhHuvI jI.2wZh2Iqz5QmktTLSUnZNN6h_rjS9iKpGE8k.OipnemMa8S9YBEJO9rIyw 3EpvKFeiz1BHVTZd72ROjKOxyOvZ6bqNJIlvmRy_Y0FRQf58- Received: from [213.205.70.222] by web111507.mail.gq1.yahoo.com via HTTP; Fri, 19 Nov 2010 11:46:56 PST X-Mailer: YahooMailClassic/11.4.9 YahooMailWebService/0.8.107.285259 Date: Fri, 19 Nov 2010 11:46:56 -0800 (PST) From: Dario Teixeira Subject: Re: [Caml-list] OCamlJit 2.0 To: Benedikt Meurer , Yoann Padioleau Cc: caml-list@yquem.inria.fr In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; bytecode:01 compiler:01 cheers:01 wiki:01 2.0:98 gimmicks:98 caml-list:01 implemented:02 xavier:06 millions:93 leroy:07 approach:08 interpreters:09 suspect:09 actually:10 Hi,=0A=0A> What would be really nice is to make a JIT for a language that r= eally=0A> need one, like PHP! There are lots of companies out there (Yahoo,= =0A> Facebook, wikimedia) that spend hundreds of millions of dollars on=0A>= machines that run PHP bytecode interpreters implemented by people who=0A> = are not Xavier Leroy.=0A=0AActually, Facebook has a compiler that transform= s PHP source code into C++ [1],=0Aand they claim a 50% reduction in CPU usa= ge. It's an interesting approach,=0Athough I suspect that even as we speak= a new circle of hell is being warmed=0Aup especially for those who are ena= bling PHP's continued existence thanks=0Ato gimmicks such as this one...=0A= =0ACheers,=0ADario Teixeira=0A=0A[1] https://github.com/facebook/hiphop-php= /wiki/=0A=0A=0A=0A