From: eachus@spectre.mitre.org (Robert I. Eachus)
Subject: Re: Ada --> C Translation, was: Win CE target
Date: 1998/10/13
Date: 1998-10-13T00:00:00+00:00 [thread overview]
Message-ID: <EACHUS.98Oct13164304@spectre.mitre.org> (raw)
In-Reply-To: 6vobnk$vt9$1@jupiter.cs.uml.edu
In article <6vobnk$vt9$1@jupiter.cs.uml.edu> dramirez@cs.uml.edu (Dr Amirez) writes:
> ... If you consider a feature rich language a better language
> then let me tell you this. I remember seeing a question on this forum
> that goes like this: "If a task blocks on I/O, do other tasks get a chance
> to run or the *process* will suspend itself, and no task will run
> until the process get scheduled again? "
> Someone responded that it's undefined. Well, I would think such
> an important feature should be very well defined instead of being
> left as an excercise for the user to find out how that is implemented
> on their systems.
I suspect that you misheard. The correct answer is not that it is
undefined, but that it is not defined unless the implementation
supports the Systems Programming Annex. (In particular, section C.3,
Interrupt Support.)
But this misses the point. The real reason it is not defined in the
core standard is that for some purposes, you need to be able to
control things like tasking policies. The Real-Time Systems annex
allows the programmer to change the task dispatching policy. Also,
some implementations have different run-time libraries available with
support for different policies. So the real answer is that, if it
matters and you don't like the standard policy, read annex D, and
choose a policy that you do like.
> After all, isn't Ada intended to be a system programming language?
Yes, especially if the System Programming annex is supported. ;-)
(Actually, I suspect that most, if not all compilers try to support
annex C.)
> You can't program systems using features that are system dependant
> themselves.
Huh? The SP annex has nine implementation-defined characteristics
that are required to be documented. For the most part they are things
which MUST be implementation dependent, such as what interrupts the
hardware has, or the op-codes for machine instructions.
> The more features a language has, the more flaws it has. You, as an
> Ada programmer, probably know better than I.
No, I don't know that. I do know that if the language is at least
as powerful as Peano arithmetic, it is either incomplete or
inconsistant. The Ada community puts lots of effort into being
consistant, but does have well marked doors you can use if you need
completeness.
--
Robert I. Eachus
with Standard_Disclaimer;
use Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...
next prev parent reply other threads:[~1998-10-13 0:00 UTC|newest]
Thread overview: 40+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-09-20 0:00 Win CE target William A Whitaker
1998-09-20 0:00 ` dewarr
1998-09-20 0:00 ` dewarr
1998-09-20 0:00 ` Tucker Taft
1998-09-21 0:00 ` dennison
1998-09-21 0:00 ` dewarr
1998-09-28 0:00 ` Ada --> C Translation, was: " Stefan Helfert
1998-09-29 0:00 ` Tucker Taft
1998-09-30 0:00 ` dewarr
1998-09-29 0:00 ` Robert A Duff
1998-10-10 0:00 ` Dr Amirez
1998-10-11 0:00 ` Dale Stanbrough
1998-10-10 0:00 ` Dr Amirez
1998-10-11 0:00 ` Dale Stanbrough
1998-10-11 0:00 ` Dr Amirez
1998-10-12 0:00 ` Larry Kilgallen
1998-10-13 0:00 ` dennison
1998-10-12 0:00 ` Niklas Holsti
1998-10-12 0:00 ` dennison
1998-10-12 0:00 ` Larry Kilgallen
1998-10-14 0:00 ` dewarr
1998-10-14 0:00 ` Andi Kleen
1998-10-12 0:00 ` PC
1998-10-12 0:00 ` Operating System in Ada (was Ada --> C Translation) Larry Kilgallen
1998-10-12 0:00 ` dennison
1998-10-12 0:00 ` Chris Morgan
1998-10-13 0:00 ` Larry Kilgallen
1998-10-13 0:00 ` Dale Stanbrough
1998-10-14 0:00 ` dewarr
1998-10-12 0:00 ` Tom Moran
1998-10-12 0:00 ` Brian Rogoff
1998-10-13 0:00 ` dennison
1998-10-13 0:00 ` Brian Rogoff
1998-10-13 0:00 ` Tucker Taft
1998-10-21 0:00 ` Van Snyder
1998-10-22 0:00 ` Tom Moran
1998-10-13 0:00 ` Robert I. Eachus [this message]
1998-10-14 0:00 ` Ada --> C Translation, was: Win CE target Samuel Mize
1998-10-16 0:00 ` Tasking/blocking system calls (was: Ada --> C Translation) Mats Weber
1998-09-23 0:00 ` Win CE target falis
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox