Модуль Сеmaphore.Counting

module Counting: sig .. end

type t

Тип счетных семафоров.

val make : int -> t

make n возвращает новый счетный семафор с начальным значением n. Начальное значение n должно быть неотрицательным.

Исключения Invalid_argument если n < 0

val release : t -> unit

release s увеличивает значение семафора s. Если другие потоки ожидают s, один из них перезапускается. Если текущее значение s равно max_int, значение семафора не изменяется, и генерируется исключение Sys_error для сигнализации о переполнении.

Исключения Sys_error если значение семафора превысит предел max_int

val acquire : t -> unit

acquire s блокирует вызывающий поток, пока значение семафора s не станет отличным от нуля, затем атомарно уменьшает значение s и возвращается.

val try_acquire : t -> bool

try_acquire s немедленно возвращает false если значение семафора s равно нулю. В противном случае, значение s атомарно уменьшается, и try_acquire s возвращает true.

val get_value : t -> int

get_value s возвращает текущее значение семафора s. Текущее значение может быть изменено в любой момент одновременными операциями Semaphore.Counting.release и Semaphore.Counting.acquire. Следовательно, операция get_value конкурентная, и её результат следует использовать только для отладки или информационных сообщений.