[m-dev.] for review - new stuff for the extras directory.

[Ralph Becket]

> From: Thomas Conway [mailto:conway at cs.mu.OZ.AU]
> > In your code, you wrote:
> > 
> > main -->
> > 	new(Lock), signal(Lock),
> > 	new(forks(yes, yes, yes, yes, yes), ForkGlob),
> > 	spawn(philosopher(plato, Lock, ForkGlob)),
> > 	spawn(philosopher(aristotle, Lock, ForkGlob)),
> > 	spawn(philosopher(descartes, Lock, ForkGlob)),
> > 	spawn(philosopher(russell, Lock, ForkGlob)),
> > 	      philosopher(sartre, Lock, ForkGlob).
> 
> Actually, when I looked again at the engine, I realised that the
> implementation doesn't quite match up with the specification!
> The engine doesn't wait until there are no other runnable threads
> before exiting when main returns. :-(

Heh, that makes my error of inclusion a bugfix :)
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------