From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Ada compiler differences
Date: Mon, 25 Oct 2004 19:28:57 -0500
Date: 2004-10-25T19:28:57-05:00 [thread overview]
Message-ID: <L5GdnQxjMqtoBODcRVn-uA@megapath.net> (raw)
In-Reply-To: x7vzn2iq6t4.fsf@smaug.pushface.org
"Simon Wright" <simon@pushface.org> wrote in message
news:x7vzn2iq6t4.fsf@smaug.pushface.org...
> Stephen Leake <stephen_leake@acm.org> writes:
>
> > Hmm. If the Language Reference Manual does not _explicitly_ state
> > that a particular function is safe for calling from multiple tasks,
> > then you must assume it is not, and provide your own layer of task
> > protection for it. I suspect Nick has been violating this rule.
>
> What, even Generic_Elementary_Functions.Arctan?!
This is wrong. As long as the tasks are not passing the same objects, the
language requires that multiple tasks can call predefined routines at the
same time. See A(3). (That's the third paragraph of the introduction to
Annex A.)
Any implementation that fails to do that for any predefined subprogram is
incorrect. Of course, it is not unusual for implementations to be incorrect,
especially in this area; and that seemed to be Nick's original point.
It will be very important that this property is true for the containers, for
instance.
Randy.
next prev parent reply other threads:[~2004-10-26 0:28 UTC|newest]
Thread overview: 30+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-10-20 1:32 Ada compiler differences Stephen Leake
2004-10-20 5:47 ` Simon Wright
2004-10-26 0:28 ` Randy Brukardt [this message]
-- strict thread matches above, loose matches on Subject: below --
2004-10-20 13:05 Stephen Leake
2004-10-20 17:17 ` Nick Roberts
2004-10-20 19:44 ` Simon Wright
2004-10-21 21:02 ` Nick Roberts
2004-10-18 12:47 Magnus
2004-10-18 14:01 ` Jacob Sparre Andersen
2004-10-18 18:31 ` Luke A. Guest
2004-10-18 19:55 ` Nick Roberts
2004-10-19 20:52 ` Luke A. Guest
2004-10-20 1:16 ` Jeffrey Carter
2004-10-18 21:03 ` Martin Dowie
2004-10-19 2:11 ` Jeffrey Carter
2004-10-18 20:36 ` Nick Roberts
2004-10-18 21:48 ` Mark H Johnson
2004-10-19 14:49 ` Larry Kilgallen
2004-10-19 20:32 ` Mark H Johnson
2004-10-20 16:48 ` Warren W. Gay VE3WWG
2004-10-21 13:54 ` Larry Kilgallen
2004-10-21 20:57 ` Warren W. Gay VE3WWG
2004-10-21 21:05 ` Mark H Johnson
2004-10-26 15:23 ` Larry Kilgallen
2004-10-26 21:21 ` Mark H Johnson
2004-10-27 4:39 ` Larry Kilgallen
2004-10-27 13:49 ` Mark H Johnson
2004-10-20 8:02 ` Rod Chapman
2004-10-21 13:55 ` Larry Kilgallen
2004-10-22 8:13 ` Rod Chapman
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox