package picos_std

  1. Overview
  2. Docs

Module Picos_std_sync.SemaphoreSource

Counting and Binary semaphores.

ℹ️ This intentionally mimics the interface of Stdlib.Semaphore. Unlike with the standard library semaphores, blocking on these semaphores allows an effects based scheduler to run other fibers on the thread.

Sourcemodule Counting : sig ... end

A counting semaphore.

Sourcemodule Binary : sig ... end

A binary semaphore.