leave_cs
| Definition: |
leave_cs(i)
-- or -- leave_cs() |
| Description: | End mutually exclusive execution, allowing any other threads stalled within an enter_cs for the same i to continue. |
| pwa/p2js: | Not supported. |
| Example: |
leave_cs(mycs) |
| Implementation: | via :%pLeaveCS in builtins\VM\pHeap.e (an autoinclude). |
| See Also: | init_cs, delete_cs, enter_cs, try_cs |