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 BACE57FA5F for ; Mon, 30 Jan 2017 17:50:14 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=zhenya1007@gmail.com; spf=Pass smtp.mailfrom=zhenya1007@gmail.com; spf=None smtp.helo=postmaster@mail-yb0-f169.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of zhenya1007@gmail.com) identity=pra; client-ip=209.85.213.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="zhenya1007@gmail.com"; x-sender="zhenya1007@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of zhenya1007@gmail.com designates 209.85.213.169 as permitted sender) identity=mailfrom; client-ip=209.85.213.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="zhenya1007@gmail.com"; x-sender="zhenya1007@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-yb0-f169.google.com) identity=helo; client-ip=209.85.213.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="zhenya1007@gmail.com"; x-sender="postmaster@mail-yb0-f169.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ALHvdFRT3cKZxLbVPRg4ZuhGyHNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6yYByN2/xhgRfzUJnB7Loc0qyN4vymBzdLsMrJmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanb75/KBq7oR/Qu8QYjodvLqk8wQbVr3VVfO?= =?us-ascii?q?hb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnY?= =?us-ascii?q?UAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhS?= =?us-ascii?q?waLDMy7n3ZhdJsg6JauBKhpgJww4jIYIGOKfFyerrRcc4GSWZdW8pcUTFKDIGh?= =?us-ascii?q?YIsVF+cOP+hYoYnzqVUNsBWwGxWjCfj1xTNUnHL7x7E23/gjHAzAwQcuH8gOsH?= =?us-ascii?q?PRrNjtO6kST++1w7fOzTTDcvhYxTD96JXTfRAgp/GDQbJwcdbPxkkuEQPOk1Kd?= =?us-ascii?q?qI3lPzyL0OQMs3KU4/d8We6ziWMqsA5xoj21ycctjonFnJ4aylfB9Shgxos+ON?= =?us-ascii?q?O2SEl+YdG+EZtQsTmXN4pwQsM4QmFnojw2yrMcuZKjYCgLyIwnyADFa/OZfImE?= =?us-ascii?q?+BXjVPyeITp+mXlre6q/ig6s/US8zuDwTMq53VZQoiZbj9XBuGoB2wHS58WDTP?= =?us-ascii?q?Z2412v1iyV1w/J7+FJOUA0mrTfK54m2rMwk4AcsUXHHiPvmET5l7Oaelwq+uS1?= =?us-ascii?q?6unqZq/qppCbN49zhQH+NrohltajDuQ/NwgCR2mb+eKi273/5UD1XqlGg/ksnq?= =?us-ascii?q?TasJ3WP9oXqrO3DgNPz4ou6hKyAy+j0NsCnHkHKFxFeAiAj4jsI1zPIfD4Aum5?= =?us-ascii?q?g1Wsijhn2uzKMqHjD5jWIXjDla3ufbd560JG1AUzytVf64pOCr4dOPLzRlPxtN?= =?us-ascii?q?vAAxAlKQO0xuLnBMx51oMfQmKPHrSUMLjSsF+N/uIgOfOAZI4TuDbnKvgq/eTi?= =?us-ascii?q?jXEjmQxVQa7845IRIFu4F/IuBUqeKS7ngt4HV2EFuVBkFLfCh1iLUDoVbHG3Cf?= =?us-ascii?q?ES/DY+Xa+4AorFV8iXh6GL3SGwHoFbZ2YOXkKMHHH5ftzcA6gkZyebI8snmTsB?= =?us-ascii?q?A+vyA7Q93A2j4Vepg4FsKfDZr2hB7cru?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CMAAAXbo9YhqnVVdFdGQEBAQEBAQEBA?= =?us-ascii?q?QEBBwEBAQEBFAEBAQEBAQEBAQEBBwEBAQEBg34LeBEHg06cDY0chHGFMSqFdAI?= =?us-ascii?q?CAoIXB0IVAQEBAQEBAQEBAQESAQEBCAsLCh0vgjMbAYIaAQEBAwEjHQEbHQEDA?= =?us-ascii?q?QsGBQQBBg0qAgIhAQERAQUBHAYTiUgBAwgFCA6eMT+MAoIDBQEcgwkFg1cKGSc?= =?us-ascii?q?NVYJhAQEBAQEBBAEBAQEBAQEBGAIGEosoglGCJYJZgl8FgSsBAQGPAYptIA4IA?= =?us-ascii?q?QGBNgmFKIcDhBGCTI4riieHEhQegRQPJoFtUBRKg08MFAuBfyI1AYgxAQEB?= X-IPAS-Result: =?us-ascii?q?A0CMAAAXbo9YhqnVVdFdGQEBAQEBAQEBAQEBBwEBAQEBFAE?= =?us-ascii?q?BAQEBAQEBAQEBBwEBAQEBg34LeBEHg06cDY0chHGFMSqFdAICAoIXB0IVAQEBA?= =?us-ascii?q?QEBAQEBAQESAQEBCAsLCh0vgjMbAYIaAQEBAwEjHQEbHQEDAQsGBQQBBg0qAgI?= =?us-ascii?q?hAQERAQUBHAYTiUgBAwgFCA6eMT+MAoIDBQEcgwkFg1cKGScNVYJhAQEBAQEBB?= =?us-ascii?q?AEBAQEBAQEBGAIGEosoglGCJYJZgl8FgSsBAQGPAYptIA4IAQGBNgmFKIcDhBG?= =?us-ascii?q?CTI4riieHEhQegRQPJoFtUBRKg08MFAuBfyI1AYgxAQEB?= X-IronPort-AV: E=Sophos;i="5.33,312,1477954800"; d="scan'208,217";a="211418312" Received: from mail-yb0-f169.google.com ([209.85.213.169]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 30 Jan 2017 17:50:13 +0100 Received: by mail-yb0-f169.google.com with SMTP id j82so97061451ybg.1 for ; Mon, 30 Jan 2017 08:50:13 -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=Ewyj13ZFZmF4mxLiN9Loz9qBK2efkXAw6Y4oMv/S3xA=; b=Vwq1K2g3HAWl3X7TqIRCZ2DArvAUbf8zm8jlBqJW+Nm26Gag/titfxGHbOwOoApOZO gtUwbxhbJb8yB+H3gg34dyXL+oBFxfIDS79Iv7lBTtNphG6y6efxWCirOS+8UcoG8nuK Bskm5h5yUIFbkmj4BlDiGTqh+ilrXv/rKIPXaE+qVgcetDQ2o3ovLs/2QJuZ92UrrskT NmRLbn1Mp39XBYp9S6pejQ512rDCHZrUVhwry3X2rJHfP5fZsmplWHsDkQowZuRCBpJt OcD+UbzG4jKbSgnPcwtoE63NEOepIwP0sp5TD3ckTWynQts1zVsYhAYa+P9XjZnmD/+h +FHg== 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=Ewyj13ZFZmF4mxLiN9Loz9qBK2efkXAw6Y4oMv/S3xA=; b=fvpGF68K6KqsaT8tEczBrQz7x5TcXIv1arLlGlexi8XyRVXhLoa3wcTmRDPisC5e0b ZPAB4H3ID1k4t8WvdfdtZRX/FrEmfRLAVmr/nQl5AREYVlEOB9ndef0W+ZbUznbTYU+l +gxy47JCwqmwQHIdbTENg2KL9bZgK+pj4UfjF5Vbnto/Nyo4lciW7o+M6L4a0h+CStYx r+x2A4TsvuV4W66nSsZuhA6LRrtghHL2YOsTL8TtBJhNw8JCAgCrY4xjXCWx4ZG4LDzz tKJdELl18/mWUEzV/me/eMtCkjc/i/NCczaKOVj8W7/uNV7efXSGgQZNd5hVKWyOmdUa nFEQ== X-Gm-Message-State: AIkVDXISE41F7+b70MfCLrIqN4UpgPwZAsLXEK9B15RhHGhzFYyT43QJNmT3szjakWcetGLOHz6XfbjlHsKoBg== X-Received: by 10.129.102.69 with SMTP id a66mr15240062ywc.144.1485795012764; Mon, 30 Jan 2017 08:50:12 -0800 (PST) MIME-Version: 1.0 Received: by 10.37.171.195 with HTTP; Mon, 30 Jan 2017 08:50:12 -0800 (PST) In-Reply-To: References: From: Evgeny Roubinchtein Date: Mon, 30 Jan 2017 11:50:12 -0500 Message-ID: To: Van Chan Ngo Cc: Umair Siddique , caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a114906a4f1eb460547529b2a Subject: Re: [Caml-list] Memory Usage --001a114906a4f1eb460547529b2a Content-Type: text/plain; charset=UTF-8 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 > > > --001a114906a4f1eb460547529b2a Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

--
Best,
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
=

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 best way to find the t= ime and memory usage (in words or bytes) of an Ocaml function, e.g., Factor= ial) on MAC?


Thanks=C2=A0


Umair=C2=A0


--001a114906a4f1eb460547529b2a--