From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id AA3987FB5F for ; Thu, 22 Oct 2015 16:17:03 +0200 (CEST) IronPort-PHdr: 9a23:/evWohLnAQKT0ig2tNmcpTZWNBhigK39O0sv0rFitYgULPTxwZ3uMQTl6Ol3ixeRBMOAu68C07ad7PqocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0oLvi6vtodX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD88QIrJEbFP2mN+RlFf0LRAghZms84cmusRjYUSOO4GEdWyMYiElmGQ/AuTf7Woy5mCbxtednkH2cPMntC7o5Ujev9Y9hSRjxlS4BK3gk9mCSisFxgK9fqh+7qFpzztiHM8muKPNic/aFLpshTm1bU5MMDyE= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=nils.becker@bioquant.uni-heidelberg.de; spf=Pass smtp.mailfrom=gclci-caml-list@m.gmane.org; spf=Pass smtp.helo=postmaster@plane.gmane.org Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of nils.becker@bioquant.uni-heidelberg.de) identity=pra; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="nils.becker@bioquant.uni-heidelberg.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gclci-caml-list@m.gmane.org designates 80.91.229.3 as permitted sender) identity=mailfrom; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="gclci-caml-list@m.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@plane.gmane.org designates 80.91.229.3 as permitted sender) identity=helo; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="postmaster@plane.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CvAADL7ihWgQPlW1BehDS+YAENh2yBUDgUAQEBAQEBAQEQAQEWMy6CJ4IxgQsCJgISLRQZCAEBiCwEAaIvj3GTO4EihVWKKYJSgUUFkl2DTpYykxIfAQGCDAEBCAIBOh2BV4czAQEB X-IPAS-Result: A0CvAADL7ihWgQPlW1BehDS+YAENh2yBUDgUAQEBAQEBAQEQAQEWMy6CJ4IxgQsCJgISLRQZCAEBiCwEAaIvj3GTO4EihVWKKYJSgUUFkl2DTpYykxIfAQGCDAEBCAIBOh2BV4czAQEB X-IronPort-AV: E=Sophos;i="5.20,182,1444687200"; d="scan'208";a="184037517" Received: from plane.gmane.org ([80.91.229.3]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 22 Oct 2015 16:17:03 +0200 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1ZpGfj-0004wF-AF for caml-list@inria.fr; Thu, 22 Oct 2015 16:16:51 +0200 Received: from bqdyn253_067.bioquant.uni-heidelberg.de ([129.206.253.147]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 22 Oct 2015 16:16:51 +0200 Received: from nils.becker by bqdyn253_067.bioquant.uni-heidelberg.de with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 22 Oct 2015 16:16:51 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Nils Becker Date: Thu, 22 Oct 2015 16:16:41 +0200 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: bqdyn253_067.bioquant.uni-heidelberg.de X-Mozilla-News-Host: news://news.gmane.org:119 X-Enigmail-Draft-Status: N1110 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:38.0) Gecko/20100101 Thunderbird/38.3.0 X-Validation-by: nils.becker@bioquant.uni-heidelberg.de Subject: [Caml-list] profiling on os x hi, i am trying to profile an ocaml native program on os x. i compiled with the "profile" tag using ocamlbuild, by putting <*>: profile into my _tags file. i then use Instruments to sample the running program. i get not a lot of useful information: except to some function names like caml_gall_gc and others which i assume to be external functions, i only get symbols of the format .L??? where ? is a digit. is there any way to make ocaml embed symbol names that are usable on os x? or is there another way to profile (except 'poor man' - i've tried that but it did not give good clues)? (instruments is apparently based on dtrace which is also available on the command line) thanks!