Specifying a release option

When calling Latch_Release, the requestor specifies the latch token that was returned on the previous Latch_Obtain call. The latch token identifies the specific request to be released. On the call to Latch_Release, the requestor also specifies a release option, which tells the latch manager to do one of the following if the latch manager did not grant ownership of the latch to the caller of Latch_Obtain:

Summary of results of calls to Latch_Release describes the results of calls to Latch_Release.