From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p4HGc3n3010773 for ; Tue, 17 May 2011 18:38:03 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhICAE6j0k1KfVI0kGdsb2JhbACmFAgUAQEBAQkJDQcUBCGoVoJCjBqCNYUVN4hiAQEDBoYTBJARhC+BEYVFO4M3 X-IronPort-AV: E=Sophos;i="4.65,226,1304287200"; d="scan'208";a="99232419" Received: from mail-ww0-f52.google.com ([74.125.82.52]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 17 May 2011 18:37:58 +0200 Received: by wwb31 with SMTP id 31so887264wwb.9 for ; Tue, 17 May 2011 09:37:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:from:content-type:content-transfer-encoding :subject:date:message-id:to:mime-version:x-mailer; bh=HTQfWwfILxlTKJ5m0hjJVCyE1BTxkhOn2JmKLyf+dDQ=; b=YqPDYb9S5YL1m0AlXBjh47RpJMxpAjLc0OaRk0JSS48IcpPQPv8a6WEuxUKBKJD+AA zaanl6r31Hyf+eYBvu8y2JGJfTZ+BVzQ0ZRqRtjOPmZChJYJxWzb3AwS1IfXu2QYrpJ7 EYzO1rEB7o0KesHSvFJG62C7HG8IdMh2AOZNs= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=from:content-type:content-transfer-encoding:subject:date:message-id :to:mime-version:x-mailer; b=dkRwUIVsyCzoHdVeXMqcmRa2ePOfdU+lX9q52IdKtkBH80CEXfZDlJ6gmS3B9MRq/o CCHOiYszAmnp2I1TStg54DuNp0Z3oHtkA0Qukc1XDPOHo7jiSSTf7PB6CNb0Y6vp3nOn zKK3+EDRNd+XJp7ZGDkX7GtKPIFGLWs2NG7S0= Received: by 10.216.221.200 with SMTP id r50mr855691wep.102.1305650277890; Tue, 17 May 2011 09:37:57 -0700 (PDT) Received: from [172.16.13.82] (0xc2efec01.hotspot.tele.dk [194.239.236.1]) by mx.google.com with ESMTPS id r29sm363100weq.45.2011.05.17.09.37.53 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 17 May 2011 09:37:54 -0700 (PDT) From: Joel Reymont Content-Type: text/plain; charset=us-ascii Date: Tue, 17 May 2011 18:37:52 +0200 Message-Id: To: caml-list Mime-Version: 1.0 (Apple Message framework v1084) X-Mailer: Apple Mail (2.1084) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p4HGc3n3010773 Subject: [Caml-list] mac profiling Has anyone given thought to how OCaml programs can be profiled on the Mac? gprof on the Mac gives only call counts and no timing information. Using Instruments on native OCaml programs clearly shows only C functions in the OCaml runtime. -------------------------------------------------------------------------- - for hire: mac osx device driver ninja, kernel extensions and usb drivers ---------------------+------------+--------------------------------------- http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont ---------------------+------------+---------------------------------------