Module Lock_file

module Lock_file: sig .. end

Mutual exclusion between processes using flock and lockf. A file is considered locked if either of these mechanisms works.

These locks are OS-level but are Local (will not work across computers even if they mount the same directory).

val create : ?message:string ->
       ?close_on_exec:bool -> ?unlink_on_exit:bool -> string -> bool

create ?close_on_exec ?message path tries to create a file at path containing the text message, which defaults to the pid of the locking process. It returns true on success, false on failure. Note: there is no way to release the lock or the fd created inside! It will only be released when the process dies. If close_on_exec is false, then the lock will not be released until children created via fork and exec also terminate. If not specified, close_on_exec=true. Note that by default, the lock file is not cleaned up for you when the process exits. If you pass unlink_on_exit:true, an at_exit handler will be set up to remove the lock-file on program termination.

val create_exn : ?message:string ->
       ?close_on_exec:bool -> ?unlink_on_exit:bool -> string -> unit

create_exn ?message path is like create except that it throws an exception on failure instead of returning a boolean value

val blocking_create : ?message:string ->
       ?close_on_exec:bool -> ?unlink_on_exit:bool -> string -> unit

blocking_create t tries to create the lock. If another process holds the lock this function will wait until it is released.

val is_locked : string -> bool

is_locked path returns true when the file at path exists and is locked, false otherwise.

module Nfs: sig .. end

An implementation neutral NFS lock file scheme that relies on the atomicity of link over NFS (see NFS Illustrated, atomicity for more information).