comp.lang.ada
 help / color / mirror / Atom feed
From: "Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org>
Subject: Re: Standard Queue status
Date: Thu, 29 Nov 2001 14:12:37 -0500
Date: 2001-11-29T19:12:40+00:00	[thread overview]
Message-ID: <9u61b8$3o9$1@nh.pace.co.uk> (raw)
In-Reply-To: p0vN7.42577$xS6.71670@www.newsranger.com

"Ted Dennison" <dennison@telepath.com> wrote in message
news:p0vN7.42577$xS6.71670@www.newsranger.com...
>
> I believe it was more of a "should" than a "shall" requirement. You
clearly
> can't entirely get rid of dynamic allocation for an "unbounded" structure.
But
> what you can do is try to fix it so that once the structure is "set" (no
more
> deletions, additions, or moves), it can be used without any heap
allocations
> occuring. If its feasable to do this without violating a "shall"
requirement,
> there is no good reason to not design it that way.
>
I get your point. I'd agree to reentrancy and efficiency and lack of dynamic
allocation once the list is built - all of which just on general principle.
Even non-realtime stuff shouldn't suffer with needless inefficiency or
unpredictable behavior without good reason.

Obviously, a data structure of indeterminate size has real problems for
"hard" real time systems. Behavior of the code now depends on the number of
elements that are there at any given run. So really, anything other than a
fixed (at *compile* time) sized structure would probably be unsuitable for
hard realtime. Hence, I think the requirement should be restated:

The list should do allocation/deallocation of memory only to add or remove
elements - not to access its contents.

The list should be made as efficient and predictable as is practical for a
dynamic data structure.

MDC
--
Marin David Condic
Senior Software Engineer
Pace Micro Technology Americas    www.pacemicro.com
Enabling the digital revolution
e-Mail:    marin.condic@pacemicro.com
Web:      http://www.mcondic.com/





  reply	other threads:[~2001-11-29 19:12 UTC|newest]

Thread overview: 62+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-11-27  1:19 Queue steve
2001-11-27  2:07 ` Queue Larry Kilgallen
2001-11-27 19:30   ` Queue Ted Dennison
2001-11-27 19:45     ` Queue Marin David Condic
2001-11-27 20:29       ` Queue Matthew Heaney
2001-11-27 20:55         ` Queue Marin David Condic
2001-11-27 21:20           ` Queue Ehud Lamm
2001-11-27 22:13             ` Queue Marin David Condic
2001-11-27 22:35               ` Queue Ehud Lamm
2001-11-28 14:53                 ` Queue Marin David Condic
2001-11-28 16:40                   ` Standard Library, Again (was: Re: Queue) Jeffrey Carter
2001-11-28 18:37           ` Standard Queue status Ted Dennison
2001-11-28 21:02             ` Marin David Condic
2001-11-28 21:40               ` Ehud Lamm
2001-11-29 14:42                 ` Ted Dennison
2001-11-29 15:23                   ` Marin David Condic
2001-11-29 17:58                     ` Ted Dennison
2001-11-29  7:23             ` Mats Karlssohn
2001-11-29 14:55               ` Ted Dennison
2001-11-29 15:58               ` Jeffrey Carter
2001-11-29 16:27                 ` Marin David Condic
2001-11-29 18:10                 ` Ted Dennison
2001-11-30  2:00                   ` Jeffrey Carter
2001-11-30 15:07                     ` Ted Dennison
2001-11-30 20:19                 ` Mark Lundquist
2001-11-29 13:47             ` Stephen Leake
2001-11-29 15:53               ` Marin David Condic
2001-11-29 18:10                 ` Stephen Leake
2001-11-29 18:58                   ` Marin David Condic
2001-11-29 18:21                 ` Ted Dennison
2001-11-29 19:12                   ` Marin David Condic [this message]
2001-11-29 20:25                     ` Ted Dennison
2001-11-29 22:49                       ` Marin David Condic
2001-11-30 15:15                         ` Ted Dennison
2001-11-30 15:32                           ` Marin David Condic
2001-11-30 19:49                             ` tmoran
2001-11-29 18:29               ` Stephen Leake
2001-11-29 19:27                 ` Marin David Condic
2001-11-29 20:35                   ` Ted Dennison
2001-11-29 22:54                     ` Marin David Condic
2001-11-30  1:51                       ` Jeffrey Carter
2001-11-29 18:37               ` Ted Dennison
2001-12-04 19:48                 ` Stephen Leake
2001-12-04 20:27                   ` Ted Dennison
2001-11-29 22:29               ` Jeffrey Carter
2001-11-30  2:19                 ` Nick Roberts
2001-12-04 19:51                   ` Stephen Leake
2001-11-30 15:19                 ` Ted Dennison
2001-11-30 12:40               ` Simon Wright
2001-11-27 21:38         ` Queue Brian Rogoff
2001-11-28  8:07           ` Queue Mats Karlssohn
2001-11-30  4:49             ` Queue Brian Rogoff
2001-11-30 15:30               ` Queue Ted Dennison
2001-11-30 21:02                 ` Queue Ehud Lamm
2001-11-30 21:07               ` Queue Ehud Lamm
2001-11-28  8:28           ` Queue Thomas Wolf
2001-11-28 17:27           ` Queue Ted Dennison
2001-11-30 22:11             ` Queue Ehud Lamm
2001-11-28  8:01         ` Queue Mats Karlssohn
2001-11-28  7:48       ` Queue Mats Karlssohn
2001-11-28 15:39         ` Queue Marin David Condic
2001-11-29  7:35           ` Queue Mats Karlssohn
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox