From: mockturtle <framefritti@gmail.com>
Subject: Re: About task-safeness
Date: Wed, 2 Feb 2011 13:14:43 -0800 (PST)
Date: 2011-02-02T13:14:43-08:00 [thread overview]
Message-ID: <3195b61d-e545-454d-8516-4ba16b490df0@glegroupsg2000goo.googlegroups.com> (raw)
In-Reply-To: <op.vqanciallzeukk@jellix.jlfencey.com>
On Wednesday, February 2, 2011 10:01:20 PM UTC+1, Vinzent Hoefler wrote:
> mockturtle wrote:
>
> > * Am I granted (maybe by some obscure paragraph of our beloved RM ;-) that the standard
> > packages are task-safe? (I would be surprised if they weren't, but it is nice to be sure...)
>
> Well, ARM 05, A(3/2) says:
>
> |The implementation shall ensure that each language-defined subprogram is reentrant in
> |the sense that concurrent calls on the same subprogram perform as specified, so long
> |as all parameters that could be passed by reference denote nonoverlapping objects.
>
> Apart from that, you probably have to trust the programmer - or some tool.
Thank you, that is what I needed. Of course, who writes the libraries could make a mistake and make some function non-reentrant, but at least the implementation is not permitted to choose a non-reentrant solution by design.
next prev parent reply other threads:[~2011-02-02 21:14 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-02-02 20:51 About task-safeness mockturtle
2011-02-02 21:01 ` Vinzent Hoefler
2011-02-02 21:14 ` mockturtle [this message]
2011-02-02 22:16 ` Maciej Sobczak
2011-02-02 22:28 ` Shark8
2011-02-02 22:40 ` Peter C. Chapin
2011-02-03 8:33 ` Dmitry A. Kazakov
2011-02-03 17:59 ` Vinzent Hoefler
2011-02-02 22:38 ` J-P. Rosen
2011-02-03 2:44 ` Randy Brukardt
2011-02-03 8:53 ` Niklas Holsti
2011-02-03 11:07 ` Georg Bauhaus
2011-02-03 11:22 ` AdaMagica
2011-02-03 18:13 ` Jeffrey Carter
2011-02-04 0:33 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox