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 8A3ED7EEF8 for ; Fri, 17 Jul 2015 21:12:01 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ivg@ieee.org) identity=pra; client-ip=209.85.217.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of ivg@ieee.org designates 209.85.217.175 as permitted sender) identity=mailfrom; client-ip=209.85.217.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; 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-f175.google.com) identity=helo; client-ip=209.85.217.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="postmaster@mail-lb0-f175.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DpAQDTUqlVm6/ZVdFagkaBIWkGgx2lYQaSL4IkhXsCgUIHTAEBAQEBARIBAQEBAQYLCwkhLoQjAQEBAwESEVAGBQsLCw0qAgIhARIBBQEcBhMih3cDCggNrFSBLD4xiz+QUw2FLgEBAQEGAQEBAQEdCoYUhS6CTYFnAQFQB4JogUMFkViCdIRvgmCCaYFngUNGj1ODRoIXEiOBFREGghwcgW8iMQEBgQuBPgEBAQ X-IPAS-Result: A0DpAQDTUqlVm6/ZVdFagkaBIWkGgx2lYQaSL4IkhXsCgUIHTAEBAQEBARIBAQEBAQYLCwkhLoQjAQEBAwESEVAGBQsLCw0qAgIhARIBBQEcBhMih3cDCggNrFSBLD4xiz+QUw2FLgEBAQEGAQEBAQEdCoYUhS6CTYFnAQFQB4JogUMFkViCdIRvgmCCaYFngUNGj1ODRoIXEiOBFREGghwcgW8iMQEBgQuBPgEBAQ X-IronPort-AV: E=Sophos;i="5.15,497,1432591200"; d="scan'208";a="140400453" Received: from mail-lb0-f175.google.com ([209.85.217.175]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 17 Jul 2015 21:12:00 +0200 Received: by lbbyj8 with SMTP id yj8so66298565lbb.0 for ; Fri, 17 Jul 2015 12:11:59 -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:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=xRBN5ta7hwPqe4RRdm+LeM32xcC6OcS455Zz6hwz00s=; b=WEs91BodE1dpFrkE3vjwIis57DGgS7Ae4flqL60mqtmQnak7xu5DTq59tT87iB2m41 iq7+YoCtelmmEOjyeAS42+yvMI7HpRvp+QsLDCHa/xG0Jhw8r1mVrpOlvZAvhDmIoG9L R/kaPZ9EWaupuTZXm8IZ0e1GaCBWFV4ynsTkYK6KbpLcuElCH+Waue7J94kBKNmjl3Oh Ez+oS5ccOvySHnU6uGlrUeIybfBUm3KHxM6JUf3J0GWcGSCOIT509PPtKdOTXd2OpCv0 dCUMQLuwG1iJ5928Cs9An8eoCIDvtr2e3kNY9xQXT/swwsGCqTh148F+6qxDMjjKZWX8 D2lw== X-Gm-Message-State: ALoCoQkmZQAlDG+4+ifg1xJ7u/wVEYAIxoLZ9x32Eg1XhAYOwF/dPXvks2ytiLRbjvkT+e3vVL0g MIME-Version: 1.0 X-Received: by 10.152.87.131 with SMTP id ay3mr15716108lab.27.1437160319679; Fri, 17 Jul 2015 12:11:59 -0700 (PDT) Received: by 10.114.26.99 with HTTP; Fri, 17 Jul 2015 12:11:59 -0700 (PDT) In-Reply-To: References: Date: Fri, 17 Jul 2015 15:11:59 -0400 Message-ID: From: Ivan Gotovchits To: Shuai Wang Cc: caml-list Content-Type: multipart/alternative; boundary=001a11c23c9e57082b051b16f6ed Subject: Re: [Caml-list] Cannot execute "main" function --001a11c23c9e57082b051b16f6ed Content-Type: text/plain; charset=UTF-8 Can you show the output of `ldd` on your main executable, e.g., `ldd init.native`? On Fri, Jul 17, 2015 at 3:07 PM, Shuai Wang wrote: > Hello Ivan, > > Thank you for your reply! aha, it is not related to BAP ;) > > I didn't touch the code in init.ml for a long time, and I have tried to > roll back > to previous version which works fine. But it is still trapped in this way.. > > By looking at the ltrace output, IMHO, is there any chance that some > setting up code of runtime system does not work well? I am probably wrong. > > Sincerely, > Shuai > > > > > > > On Fri, Jul 17, 2015 at 2:51 PM, Ivan Gotovchits wrote: > >> In OCaml all module level expressions are evaluated in order of their >> appearance. If you have some function >> that you designate as a "main" function*, then before this function is >> entered all modules on which module, >> containing "main" function, depends. So you need to find, whether you >> added some code, that evaluates before >> your main. >> >> * there is no such function as main function in OCaml. All modules are >> evaluated in the order of their occurrence >> on the compilation string. Usually, the order is defined by a build tool, >> like `ocamlbuild`, that will put the entry module >> in the last place, and topologically sort the preceding modules. >> >> P.S. I hope that this is not related to BAP? ;) >> >> On Fri, Jul 17, 2015 at 2:35 PM, Shuai Wang >> wrote: >> >>> Dear list, >>> >>> >>> I am working on some tools written in OCaml (compiled by OCaml version >>> 4.01.0). >>> >>> This morning I changed some code, compiled it and let it processing some >>> large data (~ 4G), it never stops after over 2 hours. >>> >>> I feed the tool with a tiny input which took less than 1 second to >>> process before, and I figured out that now it takes around 2.5 minutes >>> before entering into "main" function! >>> >>> I tried to clean the whole codebase, and recompile it ( I use ocamlbuild >>> 4.01.0), but the same wired situation still happens.. >>> >>> I did this: >>> >>> ltrace ./init.native input >>> >>> and I got this output flushing out for a very long time (sorry mail list >>> blocks my large image.. ): >>> >>> http://i.stack.imgur.com/sEkKk.png >>> >>> >>> >>> Is anyone aware this kind of issue before..? Am I messed up something..? >>> I have been working on OCaml for a relatively long time and I didn't >>> encounter this kind of stuff before... >>> >>> >>> Sincerely, >>> Shuai >>> >> >> > --001a11c23c9e57082b051b16f6ed Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Can you show the output of `ldd` on your main executable, = e.g., =C2=A0`ldd init.native`?

On Fri, Jul 17, 2015 at 3:07 PM, Shuai Wang <wangs= huai901@gmail.com> wrote:
<= div dir=3D"ltr">Hello Ivan,

Thank you for your reply! ah= a, it is not related to BAP ;)=C2=A0

I didn't = touch the code in init.ml = for a long time, and I have tried to roll back
to previous versio= n which works fine. But it is still trapped in this way..

By looking at the ltrace output, IMHO, is there any chance that som= e=C2=A0
setting up code of runtime system does not work well? I a= m probably wrong.

Sincerely,
Shuai
=





=
On Fri, Jul 17, 2015 at 2:51 PM, Ivan Gotovchi= ts <= ivg@ieee.org> wrote:
In OCaml all module level expressions are evaluated in order of = their appearance. If you have some function
that you designate as a &qu= ot;main" function*, then before this function is entered all modules o= n which module,=C2=A0
containing "main" function, depen= ds. So you need to find, whether you added some code, that evaluates before= =C2=A0
your main.

* there is no such fun= ction as main function in OCaml. All modules are evaluated in the order of = their occurrence
on the compilation string. Usually, the order is= defined by a build tool, like `ocamlbuild`, that will put the entry module= =C2=A0
in the last place, and topologically sort the preceding mo= dules.

P.S. I hope that this is not related to BAP= ? ;)=C2=A0

On Fri, Jul 17, 2015 at 2:35 PM, Shuai Wang &l= t;wangshuai901@= gmail.com> wrote:
Dear = list,


I am working on some tools written in OCaml (compiled by OCam= l version 4.01.0).=C2=A0
<= br>
This morning I changed= some code, compiled it and let it processing some large data (~ 4G), it ne= ver stops after over 2 hours.=C2=A0

I feed the = tool with a tiny input which took less than 1 second to process before, and= =C2=A0I figured out that now it takes around 2.5 minutes before entering i= nto "main" function!

I tried to clean= the whole codebase, and recompile it ( I use ocamlbuild 4.01.0), but the s= ame wired situation still happens..=C2=A0

I did= this:

=C2=A0 =C2=A0 ltrace ./init.native input=

and I got this output flushing out for a very = long time (sorry mail list blocks my large image.. ):




Is anyone aware this kind of issue before..? Am I messed up somethi= ng..?=C2=A0
I have been wo= rking on OCaml for a relatively long time and I didn't encounter this k= ind of stuff before...

Sincerely,
Shuai



--001a11c23c9e57082b051b16f6ed--