From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 29CC37ED25 for ; Fri, 12 Jul 2013 17:41:04 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mshinwell@janestreet.com) identity=pra; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="mshinwell@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mshinwell@janestreet.com designates 38.105.200.229 as permitted sender) identity=mailfrom; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="mshinwell@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@tot-dmz-mxout1.janestreet.com) identity=helo; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="postmaster@tot-dmz-mxout1.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArEBAOEi4FEmacjlnGdsb2JhbABAGoM6T4I/vxKBAR4OAQEBAQEGFgk8giMBAQUMNAEBNwEPCwsNLiISAQUBHAYTiA8DCTOZUosMhEEBBY16Bo9hB4N3l1+BKY4/FimEOQ X-IPAS-Result: ArEBAOEi4FEmacjlnGdsb2JhbABAGoM6T4I/vxKBAR4OAQEBAQEGFgk8giMBAQUMNAEBNwEPCwsNLiISAQUBHAYTiA8DCTOZUosMhEEBBY16Bo9hB4N3l1+BKY4/FimEOQ X-IronPort-AV: E=Sophos;i="4.89,653,1367964000"; d="scan'208";a="21023476" Received: from mx5.janestreet.com (HELO tot-dmz-mxout1.janestreet.com) ([38.105.200.229]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 12 Jul 2013 17:41:03 +0200 Received: from tot-oib-smtp1.delacy.com ([172.27.22.15] helo=tot-smtp) by tot-dmz-mxout1.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1UxfSu-0004EP-Qr for caml-list@inria.fr; Fri, 12 Jul 2013 11:41:00 -0400 Received: from tot-dmz-mxgoog1.delacy.com ([172.27.224.14] helo=mxgoog2.janestreet.com) by tot-smtp with esmtps (TLSv1:AES256-SHA:256) (Exim 4.72) (envelope-from ) id 1UxfSu-000523-Pj for caml-list@inria.fr; Fri, 12 Jul 2013 11:41:00 -0400 Received: from mail-ve0-f177.google.com ([209.85.128.177]) by mxgoog2.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1UxfSu-0006xX-NW for caml-list@inria.fr; Fri, 12 Jul 2013 11:41:00 -0400 Received: by mail-ve0-f177.google.com with SMTP id cz10so8204122veb.8 for ; Fri, 12 Jul 2013 08:41:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; bh=XwgSC8NhCCIeq9Vdp38Q0xD/OuaaMO83aLZC4Siy3es=; b=00NNCAhguSJk1ARONfpbhdXAxEMR+1uh/SLSE4MClgoDFUbIMMie54C8GhqMGXMtOv RDcm6hit2n+qG2OOa2vP4JCPUrjhsVX/l0MKhZOMk2riTshuTLu//Rid8on2wdvYcHKA K1QhwQ0VC4h02MqUG0eLn2IcbpLUNxRLrKREc= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding:x-gm-message-state; bh=XwgSC8NhCCIeq9Vdp38Q0xD/OuaaMO83aLZC4Siy3es=; b=gd6LP3WsrBQ6cKakpxfdrspvbWUXM3vNCZE4kcmCuVQJVMN2HzGHJR45wEvIIdYVag tI68XTLFYr/7GYVvbSBTFklhnxTRVyMKe3NMNpQilryiDiOcUYH4JHZjUwMdBS3WQ52F lLdybz2lB+lsMRufFI6lg50oFucpXBTSRs+D0dsLO5UWONS8qyFOmGcD2hERO420uam7 ChTlUjc3pt4Un3wmSShQycV0tIWn7m48mzBYRbFB4Kk2RJ5YFO1RJPLTQb4rRA/dEHdM 4i2lKdse1wvW89ymcugzN/4SaszljnZ9dZZuKUw/2W+UlYv8jxDgtlzwDx2S5mZrYLCe IhPg== X-Received: by 10.59.0.131 with SMTP id ay3mr24274687ved.78.1373643660497; Fri, 12 Jul 2013 08:41:00 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.59.0.131 with SMTP id ay3mr24274679ved.78.1373643660317; Fri, 12 Jul 2013 08:41:00 -0700 (PDT) Received: by 10.58.228.162 with HTTP; Fri, 12 Jul 2013 08:41:00 -0700 (PDT) In-Reply-To: <51E01448.1000801@inria.fr> References: <20130712134650.GG15268@three-tuns.net> <51E01448.1000801@inria.fr> Date: Fri, 12 Jul 2013 16:41:00 +0100 Message-ID: From: Mark Shinwell To: =?ISO-8859-1?B?TWF4aW1lIETpbuhz?= Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Gm-Message-State: ALoCoQk9T4+zwtpxQtdvTusCrYgWFW/39QwCGWYdIH5BQ5UH3e4+DNFlZ9FUgZk2Na7HVcdEyFw3l9XFqXiLVWUSUl3VQ6gmo/U5aVNK1NO0S5aPq103w/FGvWspWTW6xL9kr8ejpN5Ix+aYD3DGhuFZCLmGsWS3/g== X-Validation-by: mshinwell@janestreet.com Subject: Re: [Caml-list] enhancements for "perf" on OCaml code On 12 July 2013 15:35, Maxime D=E9n=E8s wrote: > Is it related to the recently introduced "-with-frame-pointers" configure > flag http://caml.inria.fr/mantis/view.php?id=3D5721 ? > > The purpose of this flag seemed to be the use of the same perf tool. Compilation with a frame pointer enables the display of callgraph information in perf. It is effectively a workaround for the fact that the in-kernel stack unwinder used by perf does not use the debugging information in the executable. The perf-annotate compiler is designed specifically to make the "perf annotate" feature of the perf tools work in a satisfactory way for OCaml code. It's roughly speaking orthogonal, but you probably want to use both. Mark