Module Async_extra.Lock_file

Async.Lock_file is a wrapper that provides Async equivalents for Core.Lock_file.

val create : ?⁠message:string ‑> ?⁠close_on_exec:bool ‑> ?⁠unlink_on_exit:bool ‑> string ‑> bool Async_extra__.Import.Deferred.t

create ?message path tries to create a file at path containing the text message, pid if none provided. 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.

val create_exn : ?⁠message:string ‑> ?⁠close_on_exec:bool ‑> ?⁠unlink_on_exit:bool ‑> string ‑> unit Async_extra__.Import.Deferred.t

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

val waiting_create : ?⁠abort:unit Async_extra__.Import.Deferred.t ‑> ?⁠message:string ‑> ?⁠close_on_exec:bool ‑> ?⁠unlink_on_exit:bool ‑> string ‑> unit Async_extra__.Import.Deferred.t

waiting_create path repeatedly tries to lock path, becoming determined when path is locked or raising when abort becomes determined. Similar to Core.Lock_file.blocking_create.

val is_locked : string ‑> bool Async_extra__.Import.Deferred.t

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

module Nfs : sig ... end

Nfs has analogs of functions in Core.Lock_file.Nfs; see there for documentation. In addition to adding Deferred's, blocking_create was renamed waiting_create to avoid the impression that it blocks Async.