Determining Whether to Liberate an Event

If the state of an event is NOT AVAILABLE, then the process that most recently procured the event can be referred to as the owner of that event. A process can use the MCP procedure EVENT_STATUS to determine whether that process is the current owner of an event. The EVENT_STATUS procedure is especially useful in fault-handling code and in EPILOG and EXCEPTION procedures. Refer to Determining the Ownership of an Event earlier in this section.