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=2.1 required=5.0 tests=BAYES_05,INVALID_DATE,
	MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no
	version=3.4.4
Path: utzoo!attcan!sobeco!onfcanim!zap!matrox!IRO.UMontreal.CA!bonnie.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!bu.edu!att!tut.cis.ohio-state.edu!pt.cs.cmu.edu!sei!firth
From: firth@sei.cmu.edu (Robert Firth)
Newsgroups: comp.lang.ada
Subject: Re: Implicit garbage collection in Ada systems
Message-ID: <9896@as0c.sei.cmu.edu>
Date: 8 Jan 91 14:05:16 GMT
References: <9101072017.AA03865@winnie.fit.edu>
Reply-To: firth@sei.cmu.edu (Robert Firth)
Organization: Software Engineering Institute, Pittsburgh, PA
List-Id: <comp.lang.ada>

In article <9101072017.AA03865@winnie.fit.edu> saharbaugh%roo.dnet@WINNIE.BERKELEY.EDU writes:

>sam harbaugh
>Integrated Software, Inc.
>1945 Palm Bay Rd #7
>Palm Bay, Florida 32905
>(407) 984-1986     fax (407) 951-4291

>     Yes, we have a heap management system called HeapGuard (tm) which 
>was invented to allow full-Ada to be used in hard real-time systems.

I'm not going to give details either, but Sam was kind enough to
show me HeapGuard on a recent visit to sunny Florida.

For a program to use it, certain minor conditions have to be met, but
the bottom line is that it allows a transaction-processing system to
run forever (ie without storage fragmentation or other entropic
degradation), and to do so with bounded performance and with bounded
storage requirements.

In many applications, it is just as important that an application
be able to run indefinitely without degradation as that it be able
to meet deadline and resource constraints.  If you have that kind of
problem, I'm strongly recommend you look at HeapGuard.

Robert Firth