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.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ccb8bd6b4c3162fd
X-Google-Attributes: gid103376,public
From: kilgallen@eisner.decus.org (Larry Kilgallen)
Subject: Re: Beginner's questions
Date: 1999/05/04
Message-ID: <1999May4.093747.1@eisner>#1/1
X-Deja-AN: 473915681
X-Nntp-Posting-Host: eisner.decus.org
References: <372da49c.12366381@news.rwth-aachen.de>
 <372D3B9A.5CBA1ABC@frqnet.de> <m3g15evaqb.fsf@mheaney.ni.net>
 <372D8919.8CE17514@frqnet.de> <372E7475.6D884152@aasaa.ofe.org>
 <372ED1C4.9A1AE1B2@frqnet.de>
X-Trace: news.decus.org 925825078 2919 KILGALLEN [192.67.173.2]
Organization: LJK Software
Reply-To: Kilgallen@eisner.decus.org.nospam
Newsgroups: comp.lang.ada
Date: 1999-05-04T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <372ED1C4.9A1AE1B2@frqnet.de>, Andreas Winckler <andreas.winckler@frqnet.de> writes:

> Not embedded systems but message handling systems for air traffic
> control which are designed for 99,995% availability. This means
> rebooting maximum once a year, not twice a day like with M$-Windows.
> 
> So, does anybody know more details about unbounded_strings? How does it
> work? Does it recycle deallocated memory by 100%? If not I'll better
> stay away from it.

There are three levels of guarantee possible:

	The language specification (reference manual) might require it.

	The author of your compiler(s) might commit to it.

	You might engage in testing for it.

Of these the first is probably least important other than as a nudge
to the second.

Larry Kilgallen