Thread module

destroy

procedure6 overloadsSource

Releases the resources of a mutex. It must be unlocked.

destroy :: (m: *Mutex)

Parameters

m: *Mutex
destroy :: (cv: *Condition_Variable)

Releases the resources of a condition variable. No thread may be waiting on it.

Parameters

destroy :: (s: *Semaphore)

Releases the resources of a semaphore.

Parameters

destroy :: (m: *Mutex)

Parameters

m: *Mutex
destroy :: (cv: *Condition_Variable)

Releases the resources of a condition variable. No thread may be waiting on it.

Parameters

destroy :: (s: *Semaphore)

Releases the resources of a semaphore.

Parameters

See also