package tiny_httpd

  1. Overview
  2. Docs

Module Tiny_httpd_ws.With_lockSource

Synchronization primitive used to allow both the reader to reply to "ping", and the handler to send messages, without stepping on each other's toes.

  • since NEXT_RELEASE
Sourcetype t = {
  1. with_lock : 'a. (unit -> 'a) -> 'a;
}

A primitive to run the callback in a critical section where others cannot run at the same time.

The default is a mutex, but that works poorly with thread pools so it's possible to use a semaphore or a cooperative mutex instead.

Sourcetype builder = unit -> t
Sourceval default_builder : builder

Lock using Mutex.