Re: idiom for task termination?

[mheaney@ni.net (Matthew Heaney)]

In article <32FF32D7.67D2@elca-matrix.ch>, Mats.Weber@elca-matrix.ch wrote:


>The user of P will then delcare an object of type P.ADT, which will make
>him the master of the task object, and the terminate alternative in the
>body of ADT will be selected when the program terminates.

But the question is, Does the select even have a terminate alternative?  If
you need to do some work before you terminate - such as shut down a device
or close a file - then you have to be told explicity to shut down.

You are correct that a terminate alternative would do the trick, but only
if the server task doesn't have to do anything before terminating.  That's
why I asked if the abstraction required to be told to quit.

Asking, How do I quit if my client forgets to tell me to quit?, is a little
like asking, What happens if I use Unchecked_Conversion to return a value
outside the range of the target type?  Of course, the behaviour is
undefined, so don't do it.

matt

--------------------------------------------------------------------
Matthew Heaney
Software Development Consultant
<mailto:matthew_heaney@acm.org>
(818) 985-1271