From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=BAYES_05,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,6f248223d81c2ffc X-Google-Attributes: gid103376,public From: mazzanti@iei.pi.cnr.it (Franco Mazzanti) Subject: Re: Finalization and Garbage Collection: a hole in the RM? Date: 1996/08/30 Message-ID: #1/1 X-Deja-AN: 177429133 organization: IEI-CNR newsgroups: comp.lang.ada Date: 1996-08-30T00:00:00+00:00 List-Id: > >I could not find are rule describing what could/should happen when an > >exception is raised by a Finalization routine called by the garbage > >collector. ... > One possible answer is that the exceptions get lost, as for a task. > This makes debugging rather painful. > ... > Another possibility is to kill the whole program, trap into the > debugger, record the error in an error log, or whatever is appropriate > for catastrophic failures on your system. > ... > > Another possibility is to not collect finalizable objects. > ... > In any case, the design of Ada 95 does not answer your question, so I'd > say it's fair for the gc implementer to design a solution to the > problem. There's always the cop-out of letting the user choose from > among several bad options. ;-) > > - Bob > Well, I understand that a clean integration of garbage collection in Ada requires the solution of several difficulties. What is really scaring me, are not just the problems inherent to GC, but the fact that there are hidden "holes" in the language definition, and that the effect of a program falling in this "holes" is completely undefined. Are there any other holes like this one are hiding there? I am trying to write a roadmap to erroneous executions and other unpredictabilities in Ada95, so for me it would be important to find all the possible issues of this kind. Anybody knows? Franco Mazzanti ------------------------------------------------------------ Dr. Franco Mazzanti Istituto di Elaborazione della Informazione Via S.Maria 46, 56126 Pisa, ITALY Tel: +39-50-593447/593400, Fax: +39-50-554342 e-mail: mazzanti@iei.pi.cnr.it ------------------------------------------------------------