FileLock

Object Hierarchy:

Description:

    var lock = new FileLock (new Path ("/tmp/myjob.lock"));
    var acquired = lock.acquireTimeout (Duration.ofSeconds (5));
    if (acquired.isOk () && acquired.unwrap ()) {
        try {
            run_critical_job ();
        } finally {
            lock.release ();
        }
    }

Content:

Creation methods:

• public FileLock (Path path)
  Creates a FileLock for the target lock file path.

Methods:

• public bool acquire ()
  Acquires lock, blocking until success.
• public Result<bool,Error> acquireTimeout (Duration timeout)
  Attempts to acquire lock within timeout.
• public bool isHeld ()
  Returns whether this instance currently holds the lock.
• public int? ownerPid ()
  Returns owner process ID from lock-file content.
• public bool release ()
  Releases lock.
• public bool tryAcquire ()
  Attempts lock acquisition without blocking.
• public bool withLock (owned WithFileLockFunc fn)
  Executes callback while lock is held.

Inherited Members: