From: Jeffrey Carter <jeffrey.carter@boeing.com>
Subject: Re: Standard Queue status
Date: Thu, 29 Nov 2001 22:29:12 GMT
Date: 2001-11-29T22:29:12+00:00 [thread overview]
Message-ID: <3C06B6B8.F739A3B0@boeing.com> (raw)
In-Reply-To: ubshlheoj.fsf@gsfc.nasa.gov
Stephen Leake wrote:
>
> Here are some criteria I remember from this discussion:
I thought we had reached a sort of rough consensus on these kinds of
things. I'll try to express that consensus.
>
> user must be able to get a list package with a single
> instantiation.
Consensus: Yes.
Me: Yes.
>
> lists must be safe (ie no dangling pointers, etc) against _any_ list
> or iterator operation
Consensus: Undecided.
Me: 99% safe is good enough.
>
> lists must be efficient enough for hard real-time use
Consensus: No.
Me: No.
>
> lists must be safe in a multitasking environment
Consensus: No.
Me: Basic list should be unprotected, and a protected version built on
top of it should also be provided (this comes under the heading of
"common enough" to supply, even though the client can do it himself).
>
> lists must not be a tagged type
Consensus: No. Must be controlled.
Me: Should not be visibly tagged, but must be controlled.
>
> lists must be safe for assignment (always do deep copy, or don't allow
> assignment).
Consensus: Yes.
Me: Should be limited.
>
> list elements must not be [limited] private
Consensus: Yes.
Me: No.
>
> lists must support elements of any Ada type (private, limited, tagged,
> indefinite)
Consensus: No.
Me: Needn't support indefinite types.
--
Jeffrey Carter
next prev parent reply other threads:[~2001-11-29 22: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
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 [this message]
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