caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Shuai Wang <wangshuai901@gmail.com>
To: Ivan Gotovchits <ivg@ieee.org>
Cc: caml-list <caml-list@inria.fr>
Subject: Re: [Caml-list] Cannot execute "main" function
Date: Fri, 17 Jul 2015 15:07:02 -0400	[thread overview]
Message-ID: <CAEQMQomeXA10BU=-UEeeN5qe0OkHS_AMA_+hN5Cj4_nbhv4Ucg@mail.gmail.com> (raw)
In-Reply-To: <CALdWJ+w4p1B4sLMjEDh3uug4+bTSFq6r-AEnkMtmYNLH4FT7hQ@mail.gmail.com>

[-- Attachment #1: Type: text/plain, Size: 2280 bytes --]

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 <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 "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 <wangshuai901@gmail.com>
> 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
>>
>
>

[-- Attachment #2: Type: text/html, Size: 4654 bytes --]

  reply	other threads:[~2015-07-17 19:07 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-07-17 18:35 Shuai Wang
2015-07-17 18:50 ` Kenneth Adam Miller
2015-07-17 18:53   ` Shuai Wang
2015-07-17 18:57     ` Kenneth Adam Miller
2015-07-17 19:08       ` Shuai Wang
2015-07-17 18:51 ` Ivan Gotovchits
2015-07-17 19:07   ` Shuai Wang [this message]
2015-07-17 19:11     ` Ivan Gotovchits
2015-07-17 19:13       ` Shuai Wang
2015-07-17 19:16         ` Kenneth Adam Miller
2015-07-17 19:35           ` Shuai Wang
2015-07-17 19:37             ` Kenneth Adam Miller

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAEQMQomeXA10BU=-UEeeN5qe0OkHS_AMA_+hN5Cj4_nbhv4Ucg@mail.gmail.com' \
    --to=wangshuai901@gmail.com \
    --cc=caml-list@inria.fr \
    --cc=ivg@ieee.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).