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,61e9062c1f23b9d5
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: contracted exceptions
From: Georg Bauhaus <bauhaus+rm.tsoh@maps.futureapps.de>
In-Reply-To: <cdcp1ydis4o7$.185z3b5nusall$.dlg@40tude.net>
References: <1181165630.012508.55290@i38g2000prf.googlegroups.com>
	 <19fxsxv1god43$.1pqq8vgfu2itn$.dlg@40tude.net>
	 <ud507n1rt.fsf_-_@STRIPCAPStelus.net>
	 <wccwsyfa5vf.fsf@shell01.TheWorld.com> <f4ae75$jtp$1@jacob-sparre.dk>
	 <gwqsi47pdu2j.89sc0pb9332p$.dlg@40tude.net>
	 <uzm3aq130.fsf@STRIPCAPStelus.net>
	 <s2uary9xul2i.bsehe8l9otx3.dlg@40tude.net>
	 <usl92wdyj.fsf@STRIPCAPStelus.net>
	 <cdcp1ydis4o7$.185z3b5nusall$.dlg@40tude.net>
Content-Type: text/plain
Content-Transfer-Encoding: 7bit
Message-Id: <1181326858.6826.8.camel@sonnenregen>
Mime-Version: 1.0
X-Mailer: Evolution 2.10.1 
Date: Fri, 08 Jun 2007 20:20:58 +0200
Organization: Arcor
NNTP-Posting-Date: 08 Jun 2007 20:22:33 CEST
NNTP-Posting-Host: 20f0e944.newsspool3.arcor-online.net
X-Trace: 
 DXC=lQbUGJk;f>KWDmlTRbh@=IMcF=Q^Z^V3H4Fo<]lROoRAFl8W>\BH3YBQLV^TbmHZXIA:ho7QcPOVC28JHjBiaSPBQY@HSn3ccXO
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:16121
Date: 2007-06-08T20:22:33+02:00
List-Id: <comp.lang.ada>

On Fri, 2007-06-08 at 20:00 +0200, Dmitry A. Kazakov wrote: 
> On Fri, 08 Jun 2007 17:31:05 GMT, Ray Blaak wrote:

> > Hm. I'm not so sure there is a disagreement as such with fault vs error. I
> > guess that my point is that what the software does in response to both tends
> > to be the same: report it and reset/halt/whatever.
> 
> Software and more narrowly exceptions cannot report own bugs. It would be a
> very bad idea to exceptions for that, because vital information about the
> reasons will be inevitably destroyed. The best possible way is to break
> into debugger, stopping everything else.

Or use backtracking and try an alternative path? Which,
of course, must have be provided, then.

Another option in distributed systems is advertized
as fault tolerance in the presence of Byzantine faults.
Uses replicas. Bought by the Redmond machine.

(M. Castro (MS) and B. Liskov (MIT) 2002; I admit I have
only read the abstract.)