From: kilgallen@eisner.decus.org (Larry Kilgallen)
Subject: Re: Looking for implementation idea
Date: 1999/02/07
Date: 1999-02-07T00:00:00+00:00 [thread overview]
Message-ID: <1999Feb7.152252.1@eisner> (raw)
In-Reply-To: m2yamagkdi.fsf@wf-rch.cirr.com
In article <m2yamagkdi.fsf@wf-rch.cirr.com>, Corey Minyard <minyard@acm.org> writes:
> One question for the Ada experts: Ada protected types don't work in
> SMP since they are task priority based, do they? Or maybe I'm missing
> something. If they don't, maybe we should think about adding a real
> semaphore to the Ada spec.
I cannot speak as an Ada expert, but I can say that the natural
expectation of a programmer would be that if a protected type
mechanism worked on a uniprocessor it would also work correctly
on an SMP machine. The availability of extra processors should
not have to be a coding concern. Perhaps there is something in
the specification of compiler tests that allows one to pass
with the caveat that "it only works on uniprocessors", but if
a compiler vendor used that approach I would think they lose
some of the more desirable customers (those with enough money
to buy multiprocessors).
Larry Kilgallen
next prev parent reply other threads:[~1999-02-07 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 [this message]
1999-02-08 0:00 ` dewar
1999-02-08 0:00 ` dennison
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 ` robert_dewar
1999-02-08 0:00 ` Tucker Taft
1999-02-07 0:00 ` Corey Minyard
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