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 ED1A77EE49 for ; Mon, 16 Sep 2013 10:00:24 +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: AkMBAGy5NlImacjlnGdsb2JhbABahBGCY74SgRAeDgEBAQEBBhYJPIIlAQEFQAEBNwEPCwsDCi4iEgEFARwGE4gDA5xpiwyETAEFjV4Gj3MHhB6XfpALGCmETQ X-IPAS-Result: AkMBAGy5NlImacjlnGdsb2JhbABahBGCY74SgRAeDgEBAQEBBhYJPIIlAQEFQAEBNwEPCwsDCi4iEgEFARwGE4gDA5xpiwyETAEFjV4Gj3MHhB6XfpALGCmETQ X-IronPort-AV: E=Sophos;i="4.90,913,1371074400"; d="scan'208";a="26965809" 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; 16 Sep 2013 10:00:23 +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 1VLTjK-0004BP-AO for caml-list@inria.fr; Mon, 16 Sep 2013 04:00:22 -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 1VLTjK-00076A-97 for caml-list@inria.fr; Mon, 16 Sep 2013 04:00:22 -0400 Received: from mail-ve0-f180.google.com ([209.85.128.180]) by mxgoog2.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1VLTjK-0005td-6v for caml-list@inria.fr; Mon, 16 Sep 2013 04:00:22 -0400 Received: by mail-ve0-f180.google.com with SMTP id jz11so2612277veb.25 for ; Mon, 16 Sep 2013 01:00:22 -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; bh=hRQi7ZF27C6P4pYS1ZebjUx4VUJvm8x93Cn3Fch7knA=; b=pSQ13O3EYoVq6P3WxF+7vK3xBYvcWRcYvh5nuRllSvFu52ODGxszXlCb4dP1L9garq J/v6LjXCVBqtwSt2IJdl8ChsJg0OJcJc7Zenx9MGECZ4eTI1I72NKRubWdYBtC9oSepO Sb9UN/zsR4xqapzEtpqHz/9oQDRjnjDi7jScA= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=hRQi7ZF27C6P4pYS1ZebjUx4VUJvm8x93Cn3Fch7knA=; b=Uc5HVQa3/EicijBJju6jCr2v8W9hxiH/Z91hlq2l4c/tXjX8109YDCYhRRaO3vHegr 5s7a8AQICKAcPKlN3KjXKk/kl6wY3yA5Dn8UyNDNat28Ta/HtNJhTih9ZFn+akeUlD5c ndPwdRHrtLoi7QCJceT0ADgpBeRXF3SMQi03mwUwMMERcuDNJpsQhCjYFwEylg/U+k/w rQYrW9UZCy1k7OxguyRGRngc7Q35uBNoZ1kNuXsoWGXlvNpsmUaWQ0njQtkXIFyCyM/W gFwtt0W+AqIybiZ4/u8bI8SSeBh0P9LVb1ghD1ahnC6flJDQO1Bxes6+dvF4IvDh61v2 C1rQ== X-Gm-Message-State: ALoCoQlv2D77K6dnBJot89yZ0SEYRIowFpB79ID2NnV93AwW1k5ZFkt2DgiITFwfkOGgN92U2iyZGdKInS66ZIeJy6x3SFal5FHqq0tisZBIxlFfzuCv06DNu6KHRDAVJZE33KbgN1b6+WJuHP8k+A5yQw2mR6QlFQ== X-Received: by 10.58.208.130 with SMTP id me2mr25807907vec.13.1379318422063; Mon, 16 Sep 2013 01:00:22 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.58.208.130 with SMTP id me2mr25807901vec.13.1379318421992; Mon, 16 Sep 2013 01:00:21 -0700 (PDT) Received: by 10.58.144.198 with HTTP; Mon, 16 Sep 2013 01:00:21 -0700 (PDT) In-Reply-To: <1379091130.2471.12.camel@e130> References: <20130913154834.GA6566@three-tuns.net> <1379091130.2471.12.camel@e130> Date: Mon, 16 Sep 2013 09:00:21 +0100 Message-ID: From: Mark Shinwell To: Gerd Stolpmann Cc: "caml-list@inria.fr" Content-Type: text/plain; charset=ISO-8859-1 X-Validation-by: mshinwell@janestreet.com Subject: Re: [Caml-list] Allocation profiling for x86-64 native code On 13 September 2013 17:52, Gerd Stolpmann wrote: > A dumb question: how do you do the value instrumentation? Without space > overhead? There is not much information in the value itself... The maximum size of blocks is reduced and then an approximation to the instruction pointer at the point of allocation is stored in the spare space in the header word. (More detail to follow in a reply to Jacques-Henri.) Mark