From: Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov>
Subject: Re: Standard Queue status
Date: 29 Nov 2001 13:29:51 -0500
Date: 2001-11-29T18:32:11+00:00 [thread overview]
Message-ID: <uu1vdfn1c.fsf@gsfc.nasa.gov> (raw)
In-Reply-To: ubshlheoj.fsf@gsfc.nasa.gov
Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov> writes:
> I'd like to suggest a slightly different approach.
And here are my votes on these criteria.
> user must be able to get a list package with a single
> instantiation.
yes.
> lists must be safe (ie no dangling pointers, etc) against _any_ list
> or iterator operation
No. There should be an "Unchecked_Lists" package that is _fast_, and
perhaps another "Checked" version built on top of it.
> lists must be efficient enough for hard real-time use
No. Hard real-time doesn't do dynamic allocation.
> lists must be safe in a multitasking environment
No. Similar to "Unchecked" above.
> lists must not be a tagged type
I could go either way. Making it tagged allows deep copy on a
non-limited list, so I lean that way.
> lists must be safe for assignment (always do deep copy, or don't
> allow assignment).
Yes.
> list elements must not be private
Hmm, I meant "limited private", not "private". And all my others are
stated positively. So let's replace this with:
"List elements must be limited private".
Yes. They force the user to provide a Copy routine, allowing
multi-layered deep copies.
> lists must support elements of any Ada type (private, limited,
> tagged, indefinite)
Yes. But I could relax this one if it really is a hassle.
--
-- Stephe
next prev parent reply other threads:[~2001-11-29 18:29 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
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 [this message]
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