File locks

Author(s): José Manuel Gómez Pérez, Daniel Cabeza, Manuel Carro.

This module implements file locks: the ability to lock a file so that other processes cannot access it until the file is unlocked.

NOT IMPLEMENTED. Consider locking in open/3.

Usage and interface

Documentation on exports

PREDICATElock_file/3

Usage:lock_file(File,LockType,Result)

Tries to lock File with LockType and returns the result (either true or false) in Result.

PREDICATEunlock_file/2

Usage:unlock_file(File,Result)

Tries to unlock File the result (either true or false) in Result.

Documentation on imports

This module has the following direct dependencies:

Known bugs and planned improvements

  • file locks are not currently implemented.