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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,95a195198c452b32 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!newsread.com!newsprint.newsread.com!panix!newsfeed-00.mathworks.com!nntp.TheWorld.com!not-for-mail From: Robert A Duff Newsgroups: comp.lang.ada Subject: Re: Finalization of a record containing a task Date: 17 Feb 2005 19:17:32 -0500 Organization: The World Public Access UNIX, Brookline, MA Message-ID: References: <4213b899$0$20902$ba620e4c@news.skynet.be> <421454b0$0$9136$ba620e4c@news.skynet.be> NNTP-Posting-Host: shell01-e.theworld.com Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: pcls4.std.com 1108685853 7102 69.38.147.31 (18 Feb 2005 00:17:33 GMT) X-Complaints-To: abuse@TheWorld.com NNTP-Posting-Date: Fri, 18 Feb 2005 00:17:33 +0000 (UTC) User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Xref: g2news1.google.com comp.lang.ada:8402 Date: 2005-02-17T19:17:32-05:00 List-Id: Adrien Plisson writes: > anyway, it is a very bad idea since aborting the task may have a side > effect: you don't know what was going on at the time you abort the task, > so the state of the data accessed by the task is undefined. Yes! If you use abort (including select-then-abort) then any data modified by the abortable code can be destroyed in an unpredictable fashion. So you have to avoid looking at that data after the abort, or make sure the data is updated in abort-deferred regions, or.... It is *very* difficult to get this right in a large system. - Bob