[ library(threads) | Reference Manual | Alphabetic Index ]
thread_set_default(++Option)
Set default options for thread/engine creation
- Option
- A thread-option term
Description
Sets default thread/engine creation options.
The supported options are:
- local(KBytes)
- Set size of local/control stack in kBytes.
Equivalent to set_flag(default_localsize, kBytes).
- global(KBytes)
- Set size of global/trail stack in kBytes.
Equivalent to set_flag(default_globalsize, kBytes).
Modes and Determinism
- thread_set_default(++) is det
See Also
thread_create / 2, engine_create / 2, set_flag / 2