comp.lang.ada
 help / color / mirror / Atom feed
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;

  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