[m-dev.] Thread Pools in the Mercury Java backend.

Ian MacLarty imaclarty at opturion.com
Thu Oct 24 10:00:49 AEDT 2013

Hi Paul,

On Thu, Oct 24, 2013 at 12:22 AM, Paul Bone <paul at bone.id.au> wrote:
> Hi.
> I've made some notes on my idea for implementing thread pooling for the
> Mercury java backend.
> https://github.com/Mercury-Language/discussions/blob/master/parallelism_and_java/2013-10-23_thread-pools.txt
> If anyone has any comments I'd appriciate them.

Have you considered using the supplied thread pool system in


More information about the developers mailing list