Re: Safety and legality of optimizations

> Given the popularity of threads, it might make sense to champion a
> "shared" keyword - something between volatile and nothing - but I
> have no idea what! Of course, the parallel-language guys have been
> at it awhile.


...and then you get into the debate between strong and weak coherent
shared memory (strong means processes see changes immediately, weak means
that changes are only propagated at synchronisation points). Far better to
give up now and use or design a language that has these concepts at its
core. As for recommendations, don't miss OCCAM, an imperative language
designed for parallelism which communicates via synchronous channels; and
avoid Ada's rendezvous mechanism like the plague. There has also been some
good work on Virtual Shared Memory that may alleviate much of the need to
tinker too much with C.


Cheers,
----------------------------------------------------------------------
Dave Lloyd Email: Dave@occl-cam.demon.co.uk
Oxford and Cambridge Compilers Ltd Phone: (44) 223 572074
55 Brampton Rd, Cambridge CB1 3HJ, UK
--

Return to the comp.compilers page.
Search the comp.compilers archives again.