[m-dev.] Implicit Parallelism test cases.

Julien Fischer juliensf at csse.unimelb.edu.au
Thu Oct 16 14:54:31 AEDT 2008

On Thu, 16 Oct 2008, Paul Bone wrote:

> On Thu, Oct 16, 2008 at 09:57:08AM +1100, Zoltan Somogyi wrote:
>> On 16-Oct-2008, Paul Bone <pbone at csse.unimelb.edu.au> wrote:
>>> I recall that Tom Conway used a monte carlo simulator to test parallel
>>> conjunctions in his Phd thesis.  Do we have a (working) copy of this
>>> program?
>> You can ask Tom (he is working for NICTA), but that program uses only
>> independent AND-parallelism, and thus would not be all that interesting for
>> you.
>> I know it is a cliche, but one thing you can try is using the compiler itself
>> as a test case. There are many compiler passes that process all the procedures
>> in the module one after the other. Some thread state, and some of this state
>> may be rarely used.
> This is probably a good idea.  Julien has also suggested that I can use
> G12's minizinc to flatzinc translator which he guesses will have some
> implicit dependant parallelism.

I'm not so sure about that last bit, but you can certainly try to find
some ...

mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au

More information about the developers mailing list