Skip to content

Commit 49f08ec

Browse files
committed
parameter change
1 parent a61486c commit 49f08ec

File tree

1 file changed

+7
-7
lines changed

1 file changed

+7
-7
lines changed

README.md

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -181,13 +181,13 @@ this on `utop`.
181181
val pool : Task.pool = <abstr>
182182
```
183183
We have created a new task pool with three new domains. The parent domain is
184-
also part of this pool, thus making it a pool of four domains. After the pool
185-
is setup, we can use this pool to execute all tasks we want to run in parallel.
186-
The `setup_pool` function requires us to specify the number of new domains to
187-
be spawned in the task pool. The ideal number of domains to initiate a task
188-
pool with is equal to the number of cores available. Since the parent domain
189-
also takes part in the pool, the `num_domains` parameter should be one less
190-
than the number of available cores.
184+
also part of this pool, thus making it a pool of four domains. After the pool is
185+
setup, we can use this pool to execute all tasks we want to run in parallel. The
186+
`setup_pool` function requires us to specify the number of new domains to be
187+
spawned in the task pool. The ideal number of domains to initiate a task pool
188+
with is equal to the number of cores available. Since the parent domain also
189+
takes part in the pool, the `num_additional_domains` parameter should be one
190+
less than the number of available cores.
191191

192192
Closing the task pool after execution of all tasks, though not strictly
193193
necessary, is highly recommended. This can be done as

0 commit comments

Comments
 (0)