From: robert_dewar@my-dejanews.com
Subject: Re: tasking in Ada and Annex D question
Date: 1999/02/02
Date: 1999-02-02T00:00:00+00:00 [thread overview]
Message-ID: <796v4e$16e$1@nnrp1.dejanews.com> (raw)
In-Reply-To: 796jj7$5s2$1@pegasus.csx.cam.ac.uk
In article <796jj7$5s2$1@pegasus.csx.cam.ac.uk>,
mgk25@cl.cam.ac.uk (Markus Kuhn) wrote:
> They provide no concurrency when system calls block,
> and they provide no parallelism on multiprocessor
> machines, while the native linuxthreads do offer all
> this.
The FSU threads need supporting for at least a while for
two reasons:
1. They are indeed the threads used for validation.
2. They may well be far more efficient, that is true on
many targets, did you experiment with this aspect. A lot
of people do not need concurrency with system calls (indeed
a properly written portable Ada program cannot rely on
such concurrency, since it is not guaranteed by the Ada
standard), and if FSU threads are more efficient, they
may be preferable for many real applications.
In an effort to use shared libraries, be careful not to
take away important functionality.
If experiments show that the efficiency gain is small (I
would suggest running the PIWG tests), then this is of
course not a factor.
-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/ Search, Read, Discuss, or Start Your Own
next prev parent reply other threads:[~1999-02-02 0:00 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-01-31 0:00 tasking in Ada and Annex D question nabbasi
1999-02-01 0:00 ` Dr. Hubert B. Keller
1999-02-02 0:00 ` Markus Kuhn
1999-02-02 0:00 ` robert_dewar [this message]
1999-02-02 0:00 ` Markus Kuhn
1999-02-02 0:00 ` Niklas Holsti
1999-02-03 0:00 ` Ehud Lamm
1999-02-03 0:00 ` robert_dewar
1999-02-02 0:00 ` robert_dewar
1999-02-02 0:00 ` Roger Racine
1999-02-02 0:00 ` robert_dewar
1999-02-03 0:00 ` Nick Roberts
1999-02-03 0:00 ` Frank Mueller
1999-02-03 0:00 ` Frank Mueller
1999-02-03 0:00 ` Roger Racine
1999-02-03 0:00 ` Tom Moran
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox