comp.lang.ada
 help / color / mirror / Atom feed
From: stt@houdini.camb.inmet.com (Tucker Taft)
Subject: Re: Blocking protected ops (was: Tasks and C/C++ code)
Date: 1998/11/29
Date: 1998-11-29T00:00:00+00:00	[thread overview]
Message-ID: <F35sAE.Csu.0.-s@inmet.camb.inmet.com> (raw)
In-Reply-To: x7vlnkzx7ok.fsf@pogner.demon.co.uk

Simon Wright (simon@pogner.demon.co.uk) wrote:
: ...
: I for one understood the language of 9.5.8 as meaning that _only_ the
                                       ^^^^^ 9.5.1

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

The underlying rule is that anything which might result in
a task switch (or a deadlock) is a bad idea.  It is safe to call an O/S 
routine during a protected action if and only if no task switch could happen.

It is a "bounded error" rather than one which must result in an
exception being raised because it is not always easy for the run-time
to detect violations.

--
-Tucker Taft   stt@inmet.com   http://www.inmet.com/~stt/
Intermetrics, Inc.  Burlington, MA  USA
An AverStar Company




  parent reply	other threads:[~1998-11-29  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     ` 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-11  0:00     ` dennison
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                     ` Robert I. Eachus
1998-11-26  0:00                       ` Simon Wright
1998-11-27  0:00                         ` David Botton
1998-11-27  0:00                           ` Mats Weber
1998-11-27  0:00                           ` Tom Moran
1998-11-27  0:00                             ` Jerry van Dijk
1998-11-28  0:00                               ` Tom Moran
1998-11-29  0:00                         ` Tucker Taft [this message]
1998-11-30  0:00                           ` Simon Wright
1998-11-25  0:00                     ` Jean-Pierre Rosen
1998-11-27  0:00                       ` Mats Weber
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox