process-sharing-unlock Function

Summary

Removes a sharing lock.

Package

mp

Signature

process-sharing-unlock sharing-lock

Arguments

sharing-lock⇩

A sharing lock.

Description

The function process-sharing-unlock is the same as process-unlock but for a "sharing" lock.

Calls to process-sharing-unlock should be matched by calls to process-sharing-lock with sharing-lock. Normally with-sharing-lock is the best way to achieve this.

Notes

process-sharing-unlock is guaranteed to successfully unlock sharing-lock, but is not guaranteed to return, as described in 19.4.3 Guarantees and limitations when locking and unlocking.

See also

process-unlock
with-sharing-lock
19.4 Locks