comp.lang.ada
 help / color / mirror / Atom feed
From: dennison@telepath.com
Subject: Re: Looking for implementation idea
Date: 1999/02/08
Date: 1999-02-08T00:00:00+00:00	[thread overview]
Message-ID: <79n3bi$6bu$1@nnrp1.dejanews.com> (raw)
In-Reply-To: 79ldf2$sc3$1@nnrp1.dejanews.com

In article <79ldf2$sc3$1@nnrp1.dejanews.com>,
  dewar@gnat.com wrote:

> If a program assumes that an active high priority task
> which does not block will guarantee that low priority tasks
> make no progress at all (a guarantee that MUST be true on
> a mono-processor for a compiler that fully implements the
> real time annex (*)) then you have a program which will
> work only on a single processor.

> (*) Of course not all compilers fully implement the real
> time annex, including the important FIFO_Within_Priorities
> dispatching policy that makes this guarantee. For example,

Isn't it possible that a compiler implementing that annex has a default
dispatching policy (not FIFO_Within_Priorities of course) that doesn't make
this guarantee? I suppose you could force it to work on said system (again,
on a single processor), by specifing FIFO_* policy rather than using the
default.

T.E.D.

-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own    




  reply	other threads:[~1999-02-08  0:00 UTC|newest]

Thread overview: 25+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1999-02-07  0:00 Looking for implementation idea Thomas Handler
1999-02-07  0:00 ` Corey Minyard
1999-02-07  0:00   ` Tom Moran
1999-02-07  0:00     ` Corey Minyard
1999-02-07  0:00   ` Larry Kilgallen
1999-02-08  0:00     ` dewar
1999-02-08  0:00       ` dennison [this message]
1999-02-08  0:00         ` robert_dewar
1999-02-07  0:00   ` Tucker Taft
1999-02-07  0:00     ` Corey Minyard
1999-02-08  0:00       ` Tucker Taft
1999-02-07  0:00         ` Corey Minyard
1999-02-08  0:00       ` robert_dewar
1999-02-08  0:00     ` dennison
1999-02-08  0:00       ` Tucker Taft
1999-02-09  0:00         ` robert_dewar
1999-02-11  0:00           ` Ehud Lamm
1999-02-08  0:00       ` robert_dewar
1999-02-08  0:00   ` Thomas Handler
1999-02-07  0:00 ` Niklas Holsti
1999-02-08  0:00   ` Thomas Handler
1999-02-09  0:00     ` Niklas Holsti
1999-02-10  0:00       ` Thomas Handler
1999-02-07  0:00 ` Paul Duquennoy
1999-02-08  0:00   ` Thomas Handler
replies disabled

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