From: mph@oberon.inmos.co.uk (Mike Harrison)
Subject: Re: Teaching Concurrency
Date: 12 Jan 90 13:12:19 GMT [thread overview]
Message-ID: <3569@ganymede.inmos.co.uk> (raw)
In-Reply-To: 33100@watmath.waterloo.edu
In article <33100@watmath.waterloo.edu> sccowan@watmsg.waterloo.edu (S. Crispin Cowan) writes:
>When to use tasking critically depends on the cost of the tasking
>operations.
Not necessarily so!
There are different possible goals in writing a program, run-time efficiency
is only one, another may be 'write-time' efficiency.
Ada tasking is, (in addition to permitting an implementation to allow the
use of multi-processor systems), an abstraction mechanism for the convenient
expression of concurrency. If a user can express his needs more easily and
effectively using tasking constructs, he may not be (seriously) concerned
about the running speed of the program.
For example, in a previous job, I had to write simulation of the behaviour
of a multi-processor system (in executing Ada tasking as it happens), using
1, 2, 3 or 4 cpus.
It was much easier to represent the processors as separate tasks and to use
redzvous to simulate interactions than to write a single serial program with
explicit handling of the (simulated) paralellism.
However, I didn't care if the program took twice as long to run.
Mike.
Michael P. Harrison - Software Group - Inmos Ltd. UK.
-----------------------------------------------------------
UK : mph@inmos.co.uk with STANDARD_DISCLAIMERS;
US : mph@inmos.com use STANDARD_DISCLAIMERS;
next prev parent reply other threads:[~1990-01-12 13:12 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
1990-01-07 2:26 Teaching Concurrency Bill Wolfe
1990-01-09 16:41 ` Marc Benveniste,lsp
1990-01-10 20:49 ` Mark Shepherd
1990-01-10 22:47 ` Richard Pattis
1990-01-11 13:04 ` Robert Firth
1990-01-11 19:27 ` Vincent Manis
1990-01-13 7:34 ` Peter G Ludemann
1990-01-12 19:02 ` Peter da Silva
1990-01-15 13:30 ` Robert Firth
1990-01-17 15:40 ` Kurt Luoto
1990-01-11 16:09 ` Michael Meissner
1990-01-14 12:33 ` Re^2: " Kim Shearer
1990-01-11 18:50 ` Tom Griest
1990-01-11 20:38 ` Brian L. Stuart
1990-01-12 0:47 ` Robert Steigerwald x2468
1990-01-15 11:10 ` Stavros Macrakis
1990-01-11 14:52 ` David Lamb
1990-01-13 0:06 ` Mark Shepherd
1990-01-11 16:13 ` S. Crispin Cowan
1990-01-12 13:12 ` Mike Harrison [this message]
1990-01-11 19:20 ` Vincent Manis
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox