[ 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