comp.lang.ada
 help / color / mirror / Atom feed
From: Stephen Leake <stephen_leake@acm.org>
To: comp.lang.ada@ada-france.org
Subject: Re: Ada compiler differences
Date: Wed, 20 Oct 2004 09:05:50 -0400
Date: 2004-10-20T09:05:50-04:00	[thread overview]
Message-ID: <mailman.38.1098277591.10401.comp.lang.ada@ada-france.org> (raw)

Simon Wright <simon@pushface.org> writes:

> 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?!

Well, you have a point. Although, on a system without floating point
hardware, this _could_ use a global cache of previously computed
results, which _could_ be not task safe.

> On the other hand, anyone who called Float_Random from two tasks
> *with the same generator* would be entitled to expect truly random
> results. I think you have to be prepared to use your wits sometimes
> ..

It could also be argued that the LRM _should_ say more about what is
guarranteed to be task safe.

-- 

-- Stephe
___________________________________________________________
This mail sent using ToadMail -- Web based e-mail @ ToadNet



             reply	other threads:[~2004-10-20 13:05 UTC|newest]

Thread overview: 30+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-10-20 13:05 Stephen Leake [this message]
2004-10-20 17:17 ` Ada compiler differences Nick Roberts
2004-10-20 19:44   ` Simon Wright
2004-10-21 21:02     ` Nick Roberts
  -- strict thread matches above, loose matches on Subject: below --
2004-10-20  1:32 Stephen Leake
2004-10-20  5:47 ` Simon Wright
2004-10-26  0:28   ` Randy Brukardt
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