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

[Ian MacLarty]

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
java.util.concurrent?

Cheers,
Ian.