[ library(threads) | Reference Manual | Alphabetic Index ]

with_mutex(+Mutex, +Goal)

Equivalent to once(Goal) but with mutual exclusion
Mutex
Mutex handle or alias
Goal
A callable term

Description

Equivalent to the with_mutex/2 built-in predicate, but also accepts an atomic mutex alias.

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

See Also

mutex_create / 1, mutex_create / 2, with_mutex / 2