Semaphores

Purpose

• Claim a semaphore to reserve exclusive resource access
• Release a semaphore to relinquish exclusive resource access
• Only among threads of the same kernel, ie. on the same core

Notes

• Based on Signals.mod.

See Also

• Kernel Description (kernel-v1)
• Kernel.mod
• Signals.mod

Repository

• Semaphores.mod