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 DBFF47EEF8 for ; Fri, 17 Jul 2015 21:07:04 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of wangshuai901@gmail.com) identity=pra; client-ip=209.85.216.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wangshuai901@gmail.com"; x-sender="wangshuai901@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of wangshuai901@gmail.com designates 209.85.216.48 as permitted sender) identity=mailfrom; client-ip=209.85.216.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wangshuai901@gmail.com"; x-sender="wangshuai901@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-vn0-f48.google.com) identity=helo; client-ip=209.85.216.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wangshuai901@gmail.com"; x-sender="postmaster@mail-vn0-f48.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DWAQB+UalVmzDYVdFagkaBIWkGgx24FoIkhXsCgUIHTAEBAQEBARIBAQEBAQYLCwkhLoQjAQEBAwESER0BGxcGAQMBCwYFCwMKKgICIQEBEQEFARwGEyKHdgEDCggNrFCBLD4xiz+BbIJ5iyUKGScNV4RXAQEBAQYBAQEBAQEWAQUOiz6CTYFnAQFQB4JogUMFkViCbwWEb4JggmmBZ4FDRo9Tg0aCFxIjgRURBoIcHIFvIjEBAYELgT4BAQE X-IPAS-Result: A0DWAQB+UalVmzDYVdFagkaBIWkGgx24FoIkhXsCgUIHTAEBAQEBARIBAQEBAQYLCwkhLoQjAQEBAwESER0BGxcGAQMBCwYFCwMKKgICIQEBEQEFARwGEyKHdgEDCggNrFCBLD4xiz+BbIJ5iyUKGScNV4RXAQEBAQYBAQEBAQEWAQUOiz6CTYFnAQFQB4JogUMFkViCbwWEb4JggmmBZ4FDRo9Tg0aCFxIjgRURBoIcHIFvIjEBAYELgT4BAQE X-IronPort-AV: E=Sophos;i="5.15,497,1432591200"; d="scan'208";a="140400212" Received: from mail-vn0-f48.google.com ([209.85.216.48]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 17 Jul 2015 21:07:03 +0200 Received: by vnaa140 with SMTP id a140so4292025vna.2 for ; Fri, 17 Jul 2015 12:07:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=m3AbkEP2nRd0g/Mq3p89YYBmtJLRx5hW3ddYvpBoboY=; b=a9cZHEN3aJYkRTSwrmGKVGbAmkzg2GQELAOvMznHWU0l1Inz981ojDkyqbYHchX/yD hTqJ+5axhgzfd21m08thID5N8fkHOvDV10BF1t4f5kXLkEGQm4BIhWAuN8WD3g6bEH7b 5NMvFaBwfQdh+1txzfmd49PA2DFSz0BaTcgLd55gjr9dnU7yvlYNtwUS/r2mJPZnM7K3 N3z4VioCPbozzktwiH07Iw9Up9xVidoWrT8RJ4rxCDXlPoDMnvsR6T3usu7Q1wL37LcU mJLkeXcICS8LtCaNlDFHoLfhsAiwnRonOhXl0uX0OlFT0r1N0SM68eWotdWkeF2KjG3L XhiA== MIME-Version: 1.0 X-Received: by 10.52.113.97 with SMTP id ix1mr18502711vdb.1.1437160022422; Fri, 17 Jul 2015 12:07:02 -0700 (PDT) Received: by 10.31.4.8 with HTTP; Fri, 17 Jul 2015 12:07:02 -0700 (PDT) In-Reply-To: References: Date: Fri, 17 Jul 2015 15:07:02 -0400 Message-ID: From: Shuai Wang To: Ivan Gotovchits Cc: caml-list Content-Type: multipart/alternative; boundary=bcaec548a6279f3b9b051b16e442 Subject: Re: [Caml-list] Cannot execute "main" function --bcaec548a6279f3b9b051b16e442 Content-Type: text/plain; charset=UTF-8 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 >> > > --bcaec548a6279f3b9b051b16e442 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hello Ivan,

Thank you for your reply! a= ha, 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 version which works fin= e. But it is still trapped in this way..

By lookin= g at the ltrace output, IMHO, is there any chance that some=C2=A0
setting up code of runtime system does not work well? I am probably wrong.=

Sincerely,
Shuai






On Fri, Jul 17, 2015 at 2:5= 1 PM, Ivan Gotovchits <ivg@ieee.org> wrote:
In OCaml all module level expressions are ev= aluated in order of their appearance. If you have some function
that yo= u designate as a "main" function*, then before this function is e= ntered all modules on which module,=C2=A0
containing "main&q= uot; function, depends. So you need to find, whether you added some code, t= hat evaluates before=C2=A0
your main.

* = there is no such function as main function in OCaml. All modules are evalua= ted in the order of their occurrence
on the compilation string. U= sually, the order is defined by a build tool, like `ocamlbuild`, that will = put the entry module=C2=A0
in the last place, and topologically s= ort the preceding modules.

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

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


I am working on s= ome tools written in OCaml (compiled by OCaml version 4.01.0).=C2=A0
<= div style=3D"font-size:12.8000001907349px">
This morning I changed some code, compiled it and let= it processing some large data (~ 4G), it never 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 into "main" function= !

I tried to clean the whole codebase, and reco= mpile it ( I use ocamlbuild 4.01.0), but the same wired situation still hap= pens..=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 bl= ocks my large image.. ):
<= br>


Is anyone aware this = kind of issue before..? Am I messed up something..?=C2=A0
I have been working on OCaml for a relati= vely long time and I didn't encounter this kind of stuff before...


Sincerely,
Shuai
<= /div>


--bcaec548a6279f3b9b051b16e442--