<html>
  <head>
    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <font face="Times New Roman, Times, serif">Looks good.<br>
      <br>
      Jon<br>
    </font><br>
    <div class="moz-cite-prefix">On 04/28/2016 05:14 AM, Thomas Schatzl
      wrote:<br>
    </div>
    <blockquote cite="mid:1461845664.2484.29.camel@oracle.com"
      type="cite">
      <pre wrap="">Hi Stefan,

On Thu, 2016-04-28 at 13:58 +0200, Stefan Karlsson wrote:
</pre>
      <blockquote type="cite">
        <pre wrap="">Hi Thomas,

This change looks fine.

I have a slight reservation about using the word "thread" in this 
context, since the tasks might be executed on a lower number of
threads. 
The surrounding code uses the word "workers" instead of "threads".
Maybe 
your function code be named run_task_on_workers, or maybe even use
an 
overloaded run_task function?
</pre>
      </blockquote>
      <pre wrap="">
  made an overloaded run_task(). Sorry.

Webrev:
<a class="moz-txt-link-freetext" href="http://cr.openjdk.java.net/~tschatzl/8155232/webrev.1/">http://cr.openjdk.java.net/~tschatzl/8155232/webrev.1/</a>

Also fixed up all dependent changesets in place due to the triviality
of this name change.

Thanks,
  Thomas

</pre>
    </blockquote>
    <br>
  </body>
</html>