[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: address@hidden: Re: [Gcl-devel] Re: Profiling [ was Re: lisp reader

From: Camm Maguire
Subject: Re: address@hidden: Re: [Gcl-devel] Re: Profiling [ was Re: lisp reader enhancement ]]
Date: 12 Aug 2003 13:04:21 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

Greetings!  OK a more detailed comment to follow, but first two quick

1) I see you can find heap_end in gdb as I'd advised.  Does this mean
   your gcl and acl2 have been compiled with debugging enabled?  Gdb
   is not reporting (no debugging symbols found) as is typically the
   case when inspecting non-debugging executables. You can check by
   inspecting the variable compiler::*cc*.  A debugging image has -g,
   and optimizing image has -O6 -fomit-frame-pointer.

2) Do you have some roughly analogous command I can run on stock acl2
   here to mimick your steps?  I want to double check the profiling
   output.  I.e., some cpu consuming step I can run in stock acl2 to
   generate a profile which hopefully exercises the same sorts of acl2
   functionality you are looking at here.

Take care,

Camm Maguire                                            address@hidden
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]