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 700F17EEBF for ; Sun, 9 Aug 2015 05:22:26 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mwh@cs.umd.edu) identity=pra; client-ip=209.85.217.180; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mwh@cs.umd.edu"; x-sender="mwh@cs.umd.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mwh@cs.umd.edu designates 209.85.217.180 as permitted sender) identity=mailfrom; client-ip=209.85.217.180; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mwh@cs.umd.edu"; x-sender="mwh@cs.umd.edu"; 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@mail-lb0-f180.google.com) identity=helo; client-ip=209.85.217.180; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mwh@cs.umd.edu"; x-sender="postmaster@mail-lb0-f180.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BFAQC5xsZVlLTZVdFbhF6DHqZMAQaDSAGZDwdMAQEBAQEBEgEBAQEHCwsJHzCEGiIRdAECBTcCJBIBBQE9GogMpzWCBYEuPjGLP5ByhRAKhhWKWYJSgUMFjUmEPIMGjGOYMRIjgRcXhCwegn0BAQE X-IPAS-Result: A0BFAQC5xsZVlLTZVdFbhF6DHqZMAQaDSAGZDwdMAQEBAQEBEgEBAQEHCwsJHzCEGiIRdAECBTcCJBIBBQE9GogMpzWCBYEuPjGLP5ByhRAKhhWKWYJSgUMFjUmEPIMGjGOYMRIjgRcXhCwegn0BAQE X-IronPort-AV: E=Sophos;i="5.15,637,1432591200"; d="scan'208";a="142347696" Received: from mail-lb0-f180.google.com ([209.85.217.180]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Aug 2015 05:22:25 +0200 Received: by lbbpu9 with SMTP id pu9so51722440lbb.3 for ; Sat, 08 Aug 2015 20:22:24 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:from:date:message-id:subject:to :content-type; bh=kKJeU1TMci4hB3BvgWWScXWpADe/DDJkwQMPZ8Kvv0E=; b=Ves0wU0zpiBCGuWL2pDxJ0ggthA9PgD9/CVFs2dHbu5/w70x/lD4m8HYzi4ECMTkCK Ng7EnoiwxhOas+bSmedjFZi41+crig+oT1Wu+6/ytSfdBxpC3SyvgPHEBFqkfDuflc4T r9ORti/ZmpCE7gFPnHy6x+9Jf88mbotrS1oiT/5gY8leIWhoO19YvHY6t5t88Tt9QyP1 SnkpU3zSlwtHq9TWwNpUvCNBwRBbUZ4CDsnIVDjIhssqnG4DcYvMlkUWFz6gQKYnSnY9 BlU/znWc0W0u3KA0J6IhznScxzOgABI38+m4Dy9rS3MDJpybA6qBNP7yzOjxCkfRFMoH kb3w== X-Gm-Message-State: ALoCoQk1oh53PpCKUYGVeiw9/7DJOV/4wS48dgk1jj63qOls+GrCrJow6z6HBEQesBalFX80WhXt X-Received: by 10.152.37.227 with SMTP id b3mr14667405lak.91.1439090544417; Sat, 08 Aug 2015 20:22:24 -0700 (PDT) MIME-Version: 1.0 Received: by 10.114.97.134 with HTTP; Sat, 8 Aug 2015 20:22:05 -0700 (PDT) From: Michael Hicks Date: Sat, 8 Aug 2015 20:22:05 -0700 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=089e013d1912b3354a051cd860c3 Subject: [Caml-list] performance profiling on Mac OS? --089e013d1912b3354a051cd860c3 Content-Type: text/plain; charset=UTF-8 Hi all. I have an OCaml program that uses the C FFI extensively, and I'm trying to profile the overall program (both the OCaml and C parts), to figure out how much time is spent where. Do people have suggestions for doing profiling on Mac OS? Since it uses LLVM, and not gcc, it seems that gprof (per the OCaml manual) is not an option. Thanks, -Mike --089e013d1912b3354a051cd860c3 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi all.

I have an OCaml program that us= es the C FFI extensively, and I'm trying to profile the overall program= (both the OCaml and C parts), to figure out how much time is spent where.<= div>
Do people have suggestions for doing profiling on Mac OS= ?

Since it uses LLVM, and not gcc, it seems that g= prof (per the OCaml manual) is not an option.

= Thanks,
-Mike

--089e013d1912b3354a051cd860c3--