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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 801717EEBF for ; Mon, 29 Jun 2015 18:29:50 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mohamed.iguernelala@gmail.com) identity=pra; client-ip=209.85.212.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mohamed.iguernelala@gmail.com"; x-sender="mohamed.iguernelala@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of mohamed.iguernelala@gmail.com designates 209.85.212.177 as permitted sender) identity=mailfrom; client-ip=209.85.212.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mohamed.iguernelala@gmail.com"; x-sender="mohamed.iguernelala@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f177.google.com) identity=helo; client-ip=209.85.212.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mohamed.iguernelala@gmail.com"; x-sender="postmaster@mail-wi0-f177.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DMAQDccZFVm7HUVdFbg2Vfgx67aYYAAoE7TAEBAQEBARIBAQEBAQYLCwkhLoQjAQEEEhEdARscAQEDDAYDAgsNCRYIAwICCQMCAQIBDwIRAQUBCxEGDQEFAgEBHod3AQMSBAGVZpBrPjGLP4FrgnmKdgoZJw1XhRUBAQEBAQUBAQEBAQEBARQBBQ6LPIJNgjkHCYJfgUMFlASEWYUZgWNMbkKGOogBaYM+ghM1gRUXhApugQMkgSEBAQE X-IPAS-Result: A0DMAQDccZFVm7HUVdFbg2Vfgx67aYYAAoE7TAEBAQEBARIBAQEBAQYLCwkhLoQjAQEEEhEdARscAQEDDAYDAgsNCRYIAwICCQMCAQIBDwIRAQUBCxEGDQEFAgEBHod3AQMSBAGVZpBrPjGLP4FrgnmKdgoZJw1XhRUBAQEBAQUBAQEBAQEBARQBBQ6LPIJNgjkHCYJfgUMFlASEWYUZgWNMbkKGOogBaYM+ghM1gRUXhApugQMkgSEBAQE X-IronPort-AV: E=Sophos;i="5.13,699,1427752800"; d="scan'208,217";a="167889622" Received: from mail-wi0-f177.google.com ([209.85.212.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 29 Jun 2015 18:29:49 +0200 Received: by widjy10 with SMTP id jy10so8342924wid.1 for ; Mon, 29 Jun 2015 09:29:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:cc:subject :references:in-reply-to:content-type; bh=gZcjLi1GMByHtADmm02XInYFJcoQYhzkpeUi+hizGeg=; b=JVAZHpkSzFKl3FoTcVzXTKxDGzowj93UavGJXSecVLI7fWsBf3vv3IkWg9F5TLdDCz L/SRoH3Rk2OMOmy2S7FjXGpySRaff6abnLu2nuTRWJAfvyd0bG7CAYXn8iWMMoNejghD n+daTIQMJdTV0f0pbk74thQeHuNI6WRwn33HlBH0o/WXqTH6x36D13XjJ4hcPCTBKUsj rtSDYcXeoY1+tf5p3Z2E85ipzmF6rJT5OPIxWZIsLbh/Rw+EbtRcvgEX2+EDVRPGewv5 Vq3Ew+LqnAkdHdXZIiwMQ/mz9gPDG3iz7MyYkhSf8emd6RLbfDrAEsMYdzdaZtbZcAye I5gw== X-Received: by 10.180.36.129 with SMTP id q1mr13042496wij.10.1435595389517; Mon, 29 Jun 2015 09:29:49 -0700 (PDT) Received: from [192.168.43.10] ([141.170.211.244]) by mx.google.com with ESMTPSA id ha4sm12917863wib.0.2015.06.29.09.29.45 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 29 Jun 2015 09:29:48 -0700 (PDT) Message-ID: <5591726C.6080203@gmail.com> Date: Mon, 29 Jun 2015 17:29:32 +0100 From: Iguernlala Mohamed User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0 MIME-Version: 1.0 To: Kenneth Adam Miller CC: caml users , "memprof-bugs@ocamlpro.com" References: <558EE2DC.3010406@gmail.com> <558F63B9.3050502@gmail.com> In-Reply-To: Content-Type: multipart/alternative; boundary="------------080200010105000901070405" Subject: Re: [Caml-list] Massive Memory Consumption This is a multi-part message in MIME format. --------------080200010105000901070405 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit I don't remember if you reported the bug to "memprof-bugs@ocamlpro.com". This is definitely the best thing to do. We regularly update the online version of ocp-memprof when bugs are fixed. But, it is more difficult to update the compiler, mainly for compatibility reasons. We should work on this in the future. Unfortunately, I think your bug is coming from this part of the "OCaml Memory Profiler". So you have to wait to be able to use the online version :-/ Regards, Mohamed. Le 29/06/2015 16:13, Kenneth Adam Miller a écrit : > Having trouble installing ocp-memprof: > > opam switch 4.01.0+ocp1-20150202 > opam install core # that gives the below error > > #=== ERROR while installing lwt.2.4.5 > =========================================# > # opam-version 1.2.0 > # os linux > # command ./configure --disable-libev --enable-react > --disable-ssl --enable-unix --enable-extra --disable-preemptive > --disable-glib --disable-text > # path /home/kennethadammiller/.opam/4.01.0+ocp1-20150202/build/lwt.2.4.5 > # compiler 4.01.0+ocp1-20150202 > # exit-code 1 > # env-file > /home/kennethadammiller/.opam/4.01.0+ocp1-20150202/build/lwt.2.4.5/lwt-9302-90b366.env > # stdout-file > /home/kennethadammiller/.opam/4.01.0+ocp1-20150202/build/lwt.2.4.5/lwt-9302-90b366.out > # stderr-file > /home/kennethadammiller/.opam/4.01.0+ocp1-20150202/build/lwt.2.4.5/lwt-9302-90b366.err > ### stderr ### > # E: Cannot find buildable internal library 'lwt-preemptive' when > checking build depends > # E: Failure("1 configuration error") > > > #=== ERROR while installing typerep.111.17.00 > =================================# > # opam-version 1.2.0 > # os linux > # command make > # path > /home/kennethadammiller/.opam/4.01.0+ocp1-20150202/build/typerep.111.17.00 > # compiler 4.01.0+ocp1-20150202 > # exit-code 2 > # env-file > /home/kennethadammiller/.opam/4.01.0+ocp1-20150202/build/typerep.111.17.00/typerep-8640-062a54.env > # stdout-file > /home/kennethadammiller/.opam/4.01.0+ocp1-20150202/build/typerep.111.17.00/typerep-8640-062a54.out > # stderr-file > /home/kennethadammiller/.opam/4.01.0+ocp1-20150202/build/typerep.111.17.00/typerep-8640-062a54.err > ### stdout ### > # ...[truncated] > # Re-raised at file "driver/compile.ml ", line 120, > characters 10-11 > # Called from file "driver/optmain.ml ", line 234, > characters 25-26 > # Called from file "arg.ml ", line 252, characters 11-20 > # Called from file "arg.ml ", line 264, characters 4-32 > # Called from file "driver/optmain.ml ", line 234, > characters 25-26 > # Re-raised at file "driver/errors.ml ", line 79, > characters 33-34 > # Called from file "format.ml ", line 1197, > characters 8-23 > # Called from file "driver/optmain.ml ", line 234, > characters 25-26 > # Called from file "driver/optmain.ml ", line 234, > characters 25-26 > # Command exited with code 2. > ### stderr ### > # W: Cannot find source file matching module > 'typerep_generics_sexprep' in library typerep_generics_sexprep > # W: Cannot find source file matching module 'typerep_extended' in > library typerep_extended > # W: Cannot find source file matching module 'typerep_lib' in library > typerep_lib > # E: Failure("Command > ''/home/kennethadammiller/.opam/4.01.0+ocp1-20150202/bin/ocamlbuild' > lib/typerep_lib.cma lib/typerep_lib.cmxa lib/typerep_lib.a > lib/typerep_lib.cmxs syntax/with_typerep/typerep_syntax.cma > syntax/with_typerep/typerep_syntax.cmxa > syntax/with_typerep/typerep_syntax.a > syntax/with_typerep/typerep_syntax.cmxs > extended/lib/typerep_extended.cma extended/lib/typerep_extended.cmxa > extend...[truncated] > # make: *** [build] Error 1 > > I'll switch to the other version of ocp and try and build install > core, possibly it's a compiler and package version combination thing... > > > On Sat, Jun 27, 2015 at 11:02 PM, Iguernlala Mohamed > > > wrote: > > If you plan to release it, I guess that it will be open source > (?). So, you should be able to use > the online (public) version of ocp-memprof if you don't > want/cannot request for a private > version. > > > > Le 27/06/2015 20:26, Kenneth Adam Miller a écrit : >> Well I can release it, but I was planning on integrating it into >> a library. Can we share with one another somehow so that it's >> just temporarily private? >> >> On Sat, Jun 27, 2015 at 1:52 PM, Iguernlala Mohamed >> > > wrote: >> >> Hi, >> >> Can you elaborate ? What is the kind of tool you would like >> to profile ? >> - open-source vs closed-source ? >> - commercial or not ? >> - ... >> >> Regards, >> Mohamed Iguernlala. >> >> >> >> Le 27/06/2015 15:38, Kenneth Adam Miller a écrit : >> >> So, I saw that ocp-memprof is private, so I was looking >> for an alternative. What kind of other profiling tools >> for ocaml are out there? >> >> >> > > --------------080200010105000901070405 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 8bit I don't remember if you reported the bug to "memprof-bugs@ocamlpro.com".
This is definitely the best thing to do.

We regularly update the online version of ocp-memprof when bugs are fixed.
But, it is more difficult to update the compiler, mainly for compatibility reasons.
We should work on this in the future.

Unfortunately, I think your bug is coming from this part of the "OCaml Memory
Profiler". So you have to wait to be able to use the online version :-/

Regards,
Mohamed.


Le 29/06/2015 16:13, Kenneth Adam Miller a écrit :
Having trouble installing ocp-memprof:

opam switch 4.01.0+ocp1-20150202
opam install core # that gives the below error

#=== ERROR while installing lwt.2.4.5 =========================================#
# opam-version 1.2.0
# os           linux
# command      ./configure --disable-libev --enable-react --disable-ssl --enable-unix --enable-extra --disable-preemptive --disable-glib --disable-text
# path         /home/kennethadammiller/.opam/4.01.0+ocp1-20150202/build/lwt.2.4.5
# compiler     4.01.0+ocp1-20150202
# exit-code    1
# env-file     /home/kennethadammiller/.opam/4.01.0+ocp1-20150202/build/lwt.2.4.5/lwt-9302-90b366.env
# stdout-file  /home/kennethadammiller/.opam/4.01.0+ocp1-20150202/build/lwt.2.4.5/lwt-9302-90b366.out
# stderr-file  /home/kennethadammiller/.opam/4.01.0+ocp1-20150202/build/lwt.2.4.5/lwt-9302-90b366.err
### stderr ###
# E: Cannot find buildable internal library 'lwt-preemptive' when checking build depends
# E: Failure("1 configuration error")


#=== ERROR while installing typerep.111.17.00 =================================#
# opam-version 1.2.0
# os           linux
# command      make
# path         /home/kennethadammiller/.opam/4.01.0+ocp1-20150202/build/typerep.111.17.00
# compiler     4.01.0+ocp1-20150202
# exit-code    2
# env-file     /home/kennethadammiller/.opam/4.01.0+ocp1-20150202/build/typerep.111.17.00/typerep-8640-062a54.env
# stdout-file  /home/kennethadammiller/.opam/4.01.0+ocp1-20150202/build/typerep.111.17.00/typerep-8640-062a54.out
# stderr-file  /home/kennethadammiller/.opam/4.01.0+ocp1-20150202/build/typerep.111.17.00/typerep-8640-062a54.err
### stdout ###
# ...[truncated]
# Re-raised at file "driver/compile.ml", line 120, characters 10-11
# Called from file "driver/optmain.ml", line 234, characters 25-26
# Called from file "arg.ml", line 252, characters 11-20
# Called from file "arg.ml", line 264, characters 4-32
# Called from file "driver/optmain.ml", line 234, characters 25-26
# Re-raised at file "driver/errors.ml", line 79, characters 33-34
# Called from file "format.ml", line 1197, characters 8-23
# Called from file "driver/optmain.ml", line 234, characters 25-26
# Called from file "driver/optmain.ml", line 234, characters 25-26
# Command exited with code 2.
### stderr ###
# W: Cannot find source file matching module 'typerep_generics_sexprep' in library typerep_generics_sexprep
# W: Cannot find source file matching module 'typerep_extended' in library typerep_extended
# W: Cannot find source file matching module 'typerep_lib' in library typerep_lib
# E: Failure("Command ''/home/kennethadammiller/.opam/4.01.0+ocp1-20150202/bin/ocamlbuild' lib/typerep_lib.cma lib/typerep_lib.cmxa lib/typerep_lib.a lib/typerep_lib.cmxs syntax/with_typerep/typerep_syntax.cma syntax/with_typerep/typerep_syntax.cmxa syntax/with_typerep/typerep_syntax.a syntax/with_typerep/typerep_syntax.cmxs extended/lib/typerep_extended.cma extended/lib/typerep_extended.cmxa extend...[truncated]
# make: *** [build] Error 1

I'll switch to the other version of ocp and try and build install core, possibly it's a compiler and package version combination thing...


On Sat, Jun 27, 2015 at 11:02 PM, Iguernlala Mohamed <mohamed.iguernelala@gmail.com> wrote:
If you plan to release it, I guess that it will be open source (?). So, you should be able to use
the online (public) version of ocp-memprof if you don't want/cannot request for a private
version.



Le 27/06/2015 20:26, Kenneth Adam Miller a écrit :
Well I can release it, but I was planning on integrating it into a library. Can we share with one another somehow so that it's just temporarily private?

On Sat, Jun 27, 2015 at 1:52 PM, Iguernlala Mohamed <mohamed.iguernelala@gmail.com> wrote:
Hi,

Can you elaborate ? What is the kind of tool you would like to profile ?
- open-source vs closed-source ?
- commercial or not ?
- ...

Regards,
Mohamed Iguernlala.



Le 27/06/2015 15:38, Kenneth Adam Miller a écrit :
So, I saw that ocp-memprof is private, so I was looking for an alternative. What kind of other profiling tools for ocaml are out there?





--------------080200010105000901070405--