[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: Bug#346552: Axiom unsoundness
From: |
Gabriel Dos Reis |
Subject: |
[Axiom-developer] Re: Bug#346552: Axiom unsoundness |
Date: |
27 Oct 2006 20:04:22 +0200 |
Camm Maguire <address@hidden> writes:
| Greetings! Please be aware that in most cases this message is,
| unfortunately, misleading about memory corruption. Segfaults are
| grouped here with a number of other errors which the error handler
| cannot properly process, usually because of some bug in the error
| handler. Of course you can see if you really have a segfault with
| strace, presuming you are not running with sgc on (si::sgc-on
| nil). (or of course when running under gdb).
|
| Obviously this needs improving, but an error system overhaul must wait
| for 2.7. If you can track it down to some specific gcl read error or
| some such, we might be able to get a fix in 2.6.8. I'd suggest seeing
| if such an error could be triggered with AXIOMsys first, and if
| necessary, check with (si::readline-off). But at least the parent
| issue appears to primarily concern sman.
Many thanks for the suggestion. I'll give it a shot next week-end (this
one is already overbooked).
-- Gaby
- Re: [Axiom-developer] Re: Bug#346552: naive methods of exiting axiom can blow up catastrophically, (continued)
- Re: [Axiom-developer] Re: Bug#346552: naive methods of exiting axiom can blow up catastrophically, root, 2006/10/26
- Re: [Axiom-developer] Re: Bug#346552: naive methods of exiting axiom can blow up catastrophically, Waldek Hebisch, 2006/10/26
- Re: [Axiom-developer] Re: Bug#346552: naive methods of exiting axiom can blow up catastrophically, Camm Maguire, 2006/10/27
- RE: [Axiom-developer] Re: Bug#346552: naive methods of exiting axiomcan blow up catastrophically, Page, Bill, 2006/10/27
- Re: [Axiom-developer] Re: Bug#346552: naive methods of exiting axiomcan blow up catastrophically, Waldek Hebisch, 2006/10/27
- RE: [Axiom-developer] Re: Bug#346552: naive methods of exiting axiomcan blow up catastrophically, Page, Bill, 2006/10/27
- Re: [Axiom-developer] Re: Bug#346552: naive methods of exiting axiom can blow up catastrophically, root, 2006/10/27
- Re: [Axiom-developer] Re: Bug#346552: naive methods of exiting axiom can blow up catastrophically, Waldek Hebisch, 2006/10/27
- [Axiom-developer] Axiom unsoundness, Gabriel Dos Reis, 2006/10/27
- [Axiom-developer] Re: Bug#346552: Axiom unsoundness, Camm Maguire, 2006/10/27
- [Axiom-developer] Re: Bug#346552: Axiom unsoundness,
Gabriel Dos Reis <=
- RE: [Axiom-developer] Axiom unsoundness, Page, Bill, 2006/10/27