[Gcl-devel] Re: still have "Bad plist" problem

[Matt Kaufmann]

Hi, Camm --

By the way, I tried again (after rebuilding ACL2) and this time, I
didn't get an error.  The problem really is intermittent (and
reasonably rare).  Actually, I tried with SGC off as well as in the
normal way (SGC on).  In case you're interested, here are times (on an
8-core machine).

SGC off:
18483.339u 855.773s 54:49.55 587.8%     0+0k 0+0io 88pf+0w

SGC on (normal):
16096.517u 815.982s 48:03.46 586.5%     0+0k 0+0io 1pf+0w

-- Matt
   Cc: address@hidden, address@hidden
   From: Camm Maguire <address@hidden>
   Date: Mon, 18 May 2009 13:19:26 -0400
   X-SpamAssassin-Status: No, hits=-2.6 required=5.0
   X-UTCS-Spam-Status: No, hits=-252 required=165

   Greetings!

   Matt Kaufmann <address@hidden> writes:

   > Hi, Camm --
   >
   > By the way, I'm still seeing a problem with GCL 2.6.8pre that we've
   > discussed over the years:  A "Bad plist" error that seems to occur
   > randomly.  I don't have any suggestions -- we've kind of exhausted
   > what I can offer, and unfortunately, the error seems intermittent.
   > Anyhow, I thought  you might want to know it's still there.  At UT CS,
   > the version I used is /lusr/opt/gcl-2.6.8pre/bin/gcl, and my latest
   > error looks like this:
   >
   >   Error: Bad plist ((< (EXPO X) K) (IF (< # A) (IF # # ...) ...) (QUOTE 
NIL))
   >
   > But "Bad plist" has taken many different forms over time.
   >

   Does this mean you get a different error message on occasion? 

   Does the gc mode (i.e. sgc) affect this?

   Any other list corruption?  (I'm assuming you can examine and verify
   the bad plist after this error.)

   > I've run the ACL2 regression on Clozure CL (CCL) with safety 3 not
   > long ago (and ACL2 has changed little since then), so there's some
   > evidence at least that this isn't ACL2's fault.
   >
   > My only suggestion is that you run a bunch of regression runs and see
   > if you can make this happen on your own system.  But maybe that's not
   > helpful.
   >

   Is it possible to reactivate my account at ut so that I might try to
   reproduce this?

   Take care,

   > Regards,
   > Matt
   >
   >
   >
   >

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