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 844217FA5F for ; Tue, 31 Jan 2017 19:09:43 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=umair.hvg@gmail.com; spf=Pass smtp.mailfrom=umair.hvg@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f176.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of umair.hvg@gmail.com) identity=pra; client-ip=209.85.223.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="umair.hvg@gmail.com"; x-sender="umair.hvg@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of umair.hvg@gmail.com designates 209.85.223.176 as permitted sender) identity=mailfrom; client-ip=209.85.223.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="umair.hvg@gmail.com"; x-sender="umair.hvg@gmail.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@mail-io0-f176.google.com) identity=helo; client-ip=209.85.223.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="umair.hvg@gmail.com"; x-sender="postmaster@mail-io0-f176.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AZ9wrMxJSPQCVzd9x8tmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRI/nxwZ3uMQTl6Ol3ixeRBMOAuq4C1bed6vi/EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQtFiT6ybL9oLRi7rQrdutQKjYZgN6081gbHrnxUdu?= =?us-ascii?q?pM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02QaRXAzo6PW814tbrtQTY?= =?us-ascii?q?QguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+86tmTgLjhS?= =?us-ascii?q?EaPDA77W7XkNR9g6BVoByhqRJxwJPabp+JO/dlZKzRYckXSHBdUspNVSFMBJ63?= =?us-ascii?q?YYsVD+oGOOZVt4fyp14Uohu/HwmnGf7hyj5ViXDr3K06yvkhHh/b1wEnAtIOtW?= =?us-ascii?q?7brNTvNKsIUeC10qbIwC7Mb/NTwzj96YzIfgo9rvGLWLJ9aMzcwlQhGQPCi1Wf?= =?us-ascii?q?s43lPzWN2+QMtWib9etgWvi1h24psQF9uiSvx8c0iobXnIIa1F/F+T9+wIYvKt?= =?us-ascii?q?21TlNwb928EJZIqS2WK497TtkhTmxooio21KMKtJChcCQXypkqxhjSYOGdfYeS?= =?us-ascii?q?+BLsTuORLC94hH17fLK/gA6/8U26xe39Usm4yVdKri1ZntXVuHAByh7e58mdRv?= =?us-ascii?q?ty+Ueh3jmP1wTN5e1ePU80kq/bJ4Ygwr42iJUTrVzOEjHqlEjylqObdUUp9vK2?= =?us-ascii?q?5+j5bLjqvIKQOo11hw3mN6QhgM2/AeA2MggUWGib/Pyx1KDm/ULjQbVKlOc6kq?= =?us-ascii?q?nHsJDVPskbqau5DBVU0oYn8RqwEzCm0NEAkXkdMF1FYA6Hj5TuO1zWPP/3F/K/?= =?us-ascii?q?g1C1nDdvxvDGJaHhD47WLnnDlbfhZaxy51RdyAo119Bf5ohbBqsPIPLpCQfNs4?= =?us-ascii?q?n1EBA0NR38+eH6AtR73YMCVGOJSvuLMK7UoFbRvrpwC+aJbY4R/j36Lq52yeTp?= =?us-ascii?q?iCoEnFYcZ+GS3JcbaWmlE7wyPkCQYGCqgskOOWgPtws6CuftjQvRAnZoe3+uUv?= =?us-ascii?q?dktXkAA4W8ANKbSw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ChAACj0pBYhrDfVdFdGQEBAQEBAQEBA?= =?us-ascii?q?QEBBwEBAQEBFAEBAQEBAQEBAQEBBwEBAQEBhAl4EQeDT5wQl0AqhXQCAgKCLgd?= =?us-ascii?q?DFAEBAQEBAQEBAQEBEgEBAQgLCwodL4IzGYIdAQEBAwEjHQEbHQEDAQsGBQQHA?= =?us-ascii?q?woqAgIhAQERAQUBHAYTCIlNAQMNCA6fTj+MAoIDBQEcgwkFg2YKGScNVYMTAQE?= =?us-ascii?q?BAQEBBAEBAQEBAQEBGAIGEosoglGCKIJZgl8FkDKKbTiGZ4cDhBSCTI4siieHE?= =?us-ascii?q?hQegRQPJ4FPHVAUg3ApDBQLgX8iNQGIKQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0ChAACj0pBYhrDfVdFdGQEBAQEBAQEBAQEBBwEBAQEBFAE?= =?us-ascii?q?BAQEBAQEBAQEBBwEBAQEBhAl4EQeDT5wQl0AqhXQCAgKCLgdDFAEBAQEBAQEBA?= =?us-ascii?q?QEBEgEBAQgLCwodL4IzGYIdAQEBAwEjHQEbHQEDAQsGBQQHAwoqAgIhAQERAQU?= =?us-ascii?q?BHAYTCIlNAQMNCA6fTj+MAoIDBQEcgwkFg2YKGScNVYMTAQEBAQEBBAEBAQEBA?= =?us-ascii?q?QEBGAIGEosoglGCKIJZgl8FkDKKbTiGZ4cDhBSCTI4siieHEhQegRQPJ4FPHVA?= =?us-ascii?q?Ug3ApDBQLgX8iNQGIKQEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,315,1477954800"; d="scan'208,217";a="211560716" Received: from mail-io0-f176.google.com ([209.85.223.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 31 Jan 2017 19:09:09 +0100 Received: by mail-io0-f176.google.com with SMTP id l66so138082971ioi.1 for ; Tue, 31 Jan 2017 10:09:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=2V7zjLyCaq+/0Z53h03ylanx4UktFr1czKrCapXlYBg=; b=ixdqqZslfSP7eoKv23kSqguOhVtjMkmpJ3eHjlHqDwDftTFJ5DGYcc6NDo3TLxcMPP TB6rJIlctP46Lpp06gjIF5MmOZ4cHHS1/87GTsgCVlHjDhjeJwVeHzUDbUAhoTpruUMH 7bBlzGpcc9xJYKGrF7ZpG+UJ9zsfkfW/W/4A6ulanB/pfvnAewXdniZZ6hvAkYZMe/4b UGdC11kj9EzsD3it/GzWt8NiZR0JovfUBNiUny3Q3jti4UQIthlgFU4qx0YQHcSdLAZD reDpeVwKmTE0hHC+NpG4IZXMMJw/Ke96Buk4vUC3PAgOtYftL137L+xwq2+f8RhAvDZH Nr+g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=2V7zjLyCaq+/0Z53h03ylanx4UktFr1czKrCapXlYBg=; b=VIJCq8y7xHCAzrwfAPs9Y/FX1YvYg2BA4yeqNEUdY6W2ooPIBTqrN9dSWRSxJ6tBSe H0u+IpoVRgLLFoIXj92SGK+8OD/yIm4cD3q6ZogCU1W9vk5bOJOGUA6C5dEplMr+Q43J XpPxtgjybB8MNla+2DiZBypJ5MPWgxpmK13FckrRyY03ypU4CnLLtJxXgQzNokAINKQd UDxVL0MBCTLao/JEmwbD5fDCS/w/02eJyDeYZj+HQOkyC8/XW7g0MQCzEd71qr99bmex iWSdRCoFsQ0wAMoOeqFeU34kcQFfAwIcEBtsBgcI/+9vnCApJHH1nbFamiJl2ZBygBNJ Q/rA== X-Gm-Message-State: AIkVDXIxHE8Oop+X4gUV7+C6ZnDG5FeZr59M74lnZDJH91ZUoAXV4LWPUGqt3u2jHTJKWVFfgr/DBAham28E0w== X-Received: by 10.107.5.137 with SMTP id 131mr26309734iof.87.1485886148359; Tue, 31 Jan 2017 10:09:08 -0800 (PST) MIME-Version: 1.0 Received: by 10.107.12.104 with HTTP; Tue, 31 Jan 2017 10:09:07 -0800 (PST) In-Reply-To: References: From: Umair Siddique Date: Tue, 31 Jan 2017 13:09:07 -0500 Message-ID: To: Evgeny Roubinchtein Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a113ee25c0cbe99054767d454 Subject: Re: [Caml-list] Memory Usage --001a113ee25c0cbe99054767d454 Content-Type: text/plain; charset=UTF-8 Thanks a lot, I used it and its seems to be working. I am wondering if I can know the memory usage of a specific function in the whole file ? thanks Umair On Mon, Jan 30, 2017 at 11:50 AM, Evgeny Roubinchtein wrote: > I have to also point out: https://caml.inria.fr/pub/ > docs/manual-ocaml/spacetime.html > > -- > Best, > Zhenya > > On Mon, Jan 30, 2017 at 11:42 AM, Van Chan Ngo > wrote: > >> Hello Umair, >> >> One option is using a profiling tool, for example the following one >> http://memprof.typerex.org >> >> Best, >> Van Chan Ngo >> >> On Jan 30, 2017, at 11:39 AM, Umair Siddique wrote: >> >> Dear All, >> >> >> I am wondering what is the best way to find the time and memory usage >> (in words or bytes) of an Ocaml function, e.g., Factorial) on MAC? >> >> >> Thanks >> >> >> Umair >> >> >> > --001a113ee25c0cbe99054767d454 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Thanks a lot, I used it and its seems to be working.=C2=A0=

I am wondering if I can know the memory usage of a spec= ific function in the whole file ?

thanks=C2=A0

Umair =C2=A0


=

On Mo= n, Jan 30, 2017 at 11:50 AM, Evgeny Roubinchtein <zhenya1007@gmail.com<= /a>> wrote:
<= span class=3D"HOEnZb">Zhenya

On Mon, Jan 30, 2017 at 11:42 AM, Van Chan Ngo <chan.ngo2203@gmail.com> wrote:
Hello Umair,

= One option is using a profiling tool, for example the following one
http://memprof.= typerex.org

Best,
Van Chan Ngo
=

On Jan 30, 2017, at 11:39 AM, Umair= Siddique <umai= r.hvg@gmail.com> wrote:

Dear All,= =C2=A0


I am wondering =C2=A0what is the b= est way to find the time and memory usage (in words or bytes) of an Ocaml f= unction, e.g., Factorial) on MAC?


T= hanks=C2=A0


Umair=C2=A0



--001a113ee25c0cbe99054767d454--