From: Simon Wright <simon@pogner.demon.co.uk>
Subject: Re: Blocking protected ops (was: Tasks and C/C++ code)
Date: 1998/11/26
Date: 1998-11-26T00:00:00+00:00 [thread overview]
Message-ID: <x7vlnkzx7ok.fsf@pogner.demon.co.uk> (raw)
In-Reply-To: EACHUS.98Nov25183406@spectre.mitre.org
eachus@spectre.mitre.org (Robert I. Eachus) writes:
> In article <365BE117.59209A5@elca-matrix.ch> Mats Weber <Mats.Weber@elca-matrix.ch> writes:
>
> > I don't think so. Look closely at 9.5.1(16&18). Subprograms imported
> > with pragma Import are not covered.
>
> Eighteen only says that language-defined subprograms are not
> potentially blocking unless the RM says otherwise. Language-defined
> here is a technical term applying to subprograms defined by the
> Reference Manual. Sixteen is the key here. Within Ada, the RM can
> define what is a potentially blocking subprogram, outside the
> programmer has to figure it out for himself, which is why this is a
> bounded error.
I for one understood the language of 9.5.8 as meaning that _only_ the
operations stated in 9-16 are 'potentially blocking', ie the list is a
definition of what it is to be 'potentially blocking' and hence
subject to possible checking by the runtime.
There must be a difference between bad design and illegal design!
next prev parent reply other threads:[~1998-11-26 0:00 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-11-09 0:00 Tasks and C/C++ code Barry L. Dorough
1998-11-09 0:00 ` Mats Weber
1998-11-10 0:00 ` dennison
1998-11-11 0:00 ` dbotton
1998-11-11 0:00 ` dennison
1998-11-11 0:00 ` Barry L. Dorough
1998-11-11 0:00 ` dennison
1998-11-12 0:00 ` Jerry van Dijk
1998-11-13 0:00 ` Mats Weber
1998-11-18 0:00 ` Samuel Tardieu
1998-11-19 0:00 ` Mats Weber
1998-11-20 0:00 ` Samuel Tardieu
1998-11-23 0:00 ` Mats Weber
1998-11-23 0:00 ` Tom Moran
1998-11-24 0:00 ` Blocking protected ops (was: Tasks and C/C++ code) Mats Weber
1998-11-24 0:00 ` Robert I. Eachus
1998-11-25 0:00 ` Mats Weber
1998-11-25 0:00 ` Jean-Pierre Rosen
1998-11-27 0:00 ` Mats Weber
1998-11-25 0:00 ` Robert I. Eachus
1998-11-26 0:00 ` Simon Wright [this message]
1998-11-27 0:00 ` David Botton
1998-11-27 0:00 ` Tom Moran
1998-11-27 0:00 ` Jerry van Dijk
1998-11-28 0:00 ` Tom Moran
1998-11-27 0:00 ` Mats Weber
1998-11-29 0:00 ` Tucker Taft
1998-11-30 0:00 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox