...one of the most highly
regarded and expertly designed C++ library projects in the
world.
— Herb Sutter and Andrei
Alexandrescu, C++
Coding Standards
boost::interprocess::file_lock
// In header: <boost/interprocess/sync/file_lock.hpp> class file_lock { public: // construct/copy/destruct file_lock() noexcept; file_lock(const char *); file_lock(const wchar_t *); file_lock(file_lock &&) noexcept; file_lock & operator=(file_lock &&) noexcept; ~file_lock(); // public member functions void swap(file_lock &) noexcept; void lock(); bool try_lock(); template<typename TimePoint> bool timed_lock(const TimePoint &); template<typename TimePoint> bool try_lock_until(const TimePoint &); template<typename Duration> bool try_lock_for(const Duration &); void unlock(); void lock_sharable(); void lock_shared(); bool try_lock_sharable(); bool try_lock_shared(); template<typename TimePoint> bool timed_lock_sharable(const TimePoint &); template<typename TimePoint> bool try_lock_shared_until(const TimePoint &); template<typename Duration> bool try_lock_shared_for(const Duration &); void unlock_sharable(); void unlock_shared(); };
A file lock, is a mutual exclusion utility similar to a mutex using a file. A file lock has sharable and exclusive locking capabilities and can be used with scoped_lock and sharable_lock classes. A file lock can't guarantee synchronization between threads of the same process so just use file locks to synchronize threads from different processes.
file_lock
public
construct/copy/destructfile_lock() noexcept;
Constructs an empty file mapping. Does not throw
file_lock(const char * name);
Opens a file lock. Throws interprocess_exception
if the file does not exist or there are no operating system resources.
file_lock(const wchar_t * name);
Opens a file lock. Throws interprocess_exception
if the file does not exist or there are no operating system resources.
Note: This function is only available on operating systems with native wchar_t APIs (e.g. Windows).
file_lock(file_lock && moved) noexcept;
Moves the ownership of "moved"'s file mapping object to *this. After the call, "moved" does not represent any file mapping object. Does not throw
file_lock & operator=(file_lock && moved) noexcept;
Moves the ownership of "moved"'s file mapping to *this. After the call, "moved" does not represent any file mapping. Does not throw
~file_lock();Closes a file lock. Does not throw.
file_lock
public member functionsvoid swap(file_lock & other) noexcept;
Swaps two file_locks. Does not throw.
void lock();
Requires: The calling thread does not own the mutex.
Effects: The calling thread tries to obtain exclusive ownership of the mutex, and if another thread has exclusive, or sharable ownership of the mutex, it waits until it can obtain the ownership. Throws: interprocess_exception
on error.
Note: A program may deadlock if the thread that has ownership calls this function. If the implementation can detect the deadlock, an exception could be thrown.
bool try_lock();
Requires: The calling thread does not own the mutex.
Effects: The calling thread tries to acquire exclusive ownership of the mutex without waiting. If no other thread has exclusive, or sharable ownership of the mutex this succeeds. Returns: If it can acquire exclusive ownership immediately returns true. If it has to wait, returns false. Throws: interprocess_exception
on error.
Note: A program may deadlock if the thread that has ownership calls this function. If the implementation can detect the deadlock, an exception could be thrown.
template<typename TimePoint> bool timed_lock(const TimePoint & abs_time);
Requires: The calling thread does not own the mutex.
Effects: The calling thread tries to acquire exclusive ownership of the mutex waiting if necessary until no other thread has exclusive, or sharable ownership of the mutex or abs_time is reached. Returns: If acquires exclusive ownership, returns true. Otherwise returns false. Throws: interprocess_exception
on error.
Note: A program may deadlock if the thread that has ownership calls this function. If the implementation can detect the deadlock, an exception could be thrown.
template<typename TimePoint> bool try_lock_until(const TimePoint & abs_time);
Same as timed_lock
, but this function is modeled after the standard library interface.
template<typename Duration> bool try_lock_for(const Duration & dur);
Same as timed_lock
, but this function is modeled after the standard library interface.
void unlock();
Precondition: The thread must have exclusive ownership of the mutex. Effects: The calling thread releases the exclusive ownership of the mutex. Throws: An exception derived from interprocess_exception
on error.
void lock_sharable();
Requires: The calling thread does not own the mutex.
Effects: The calling thread tries to obtain sharable ownership of the mutex, and if another thread has exclusive ownership of the mutex, waits until it can obtain the ownership. Throws: interprocess_exception
on error.
Note: A program may deadlock if the thread that owns a mutex object calls this function. If the implementation can detect the deadlock, an exception could be thrown.
void lock_shared();
Same as lock_sharable
but with a std-compatible interface
bool try_lock_sharable();
Effects: The calling thread tries to acquire sharable ownership of the mutex without waiting. If no other thread has exclusive ownership of the mutex this succeeds. Returns: If it can acquire sharable ownership immediately returns true. If it has to wait, returns false. Throws: interprocess_exception
on error.
bool try_lock_shared();
Same as try_lock_sharable
but with a std-compatible interface
template<typename TimePoint> bool timed_lock_sharable(const TimePoint & abs_time);
Effects: The calling thread tries to acquire sharable ownership of the mutex waiting if necessary until no other thread has exclusive ownership of the mutex or abs_time is reached. Returns: If acquires sharable ownership, returns true. Otherwise returns false. Throws: interprocess_exception
on error.
template<typename TimePoint> bool try_lock_shared_until(const TimePoint & abs_time);
Same as timed_lock_sharable
, but this function is modeled after the standard library interface.
template<typename Duration> bool try_lock_shared_for(const Duration & dur);
Same as timed_lock_sharable
, but this function is modeled after the standard library interface.
void unlock_sharable();
Precondition: The thread must have sharable ownership of the mutex. Effects: The calling thread releases the sharable ownership of the mutex. Throws: An exception derived from interprocess_exception
on error.
void unlock_shared();
Same as unlock_sharable
but with a std-compatible interface