|
»
»
still have "Bad plist" problem
|
View:
New views
4 Messages
—
Rating Filter:
Alert me
|
 |
still have "Bad plist" problem
by Matt Kaufmann
::
Rate this Message:
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. 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. Regards, Matt _______________________________________________ Gcl-devel mailing list Gcl-devel@... http://lists.gnu.org/mailman/listinfo/gcl-devel |
|
|
Re: still have "Bad plist" problem
by Camm Maguire-2
::
Rate this Message:
Greetings!
Matt Kaufmann <kaufmann@...> 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 camm@... ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@... http://lists.gnu.org/mailman/listinfo/gcl-devel |
|
|
Re: still have "Bad plist" problem
by Matt Kaufmann
::
Rate this Message:
Hi, Camm --
Please see below. Cc: gcl-devel@..., dagreve@... From: Camm Maguire <camm@...> 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 <kaufmann@...> 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? Yes. Here's a snippet from an email dated 12 Sep 2006 12:38:39 -0500: [SGC for 13 CFUN pages..(12895 writable)..(T=4).GC finished] Error: Bad plist #<FREE OBJECT 0b669528> Does the gc mode (i.e. sgc) affect this? Good question. Should I try running with SGC off? Any other list corruption? (I'm assuming you can examine and verify the bad plist after this error.) No, sorry; I run in batch mode using makefiles. > 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? I'll try right now! Take care, Thanks -- -- Matt > Regards, > Matt > > > > -- Camm Maguire camm@... ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@... http://lists.gnu.org/mailman/listinfo/gcl-devel |
|
|
Re: still have "Bad plist" problem
by Matt Kaufmann
::
Rate this Message:
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: gcl-devel@..., dagreve@... From: Camm Maguire <camm@...> 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 <kaufmann@...> 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 camm@... ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@... http://lists.gnu.org/mailman/listinfo/gcl-devel |
| Free embeddable forum powered by Nabble | Forum Help |
