mcrl2::utilities::spinlock =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/utilities/spinlock.h .. cpp:class:: mcrl2::utilities::spinlock Implements a very simple spinlock. Private attributes ------------------------------------------------------------------------------- .. cpp:member:: std::atomic_flag mcrl2::utilities::spinlock::m_flag Public member functions ------------------------------------------------------------------------------- .. cpp:function:: void lock() Busy waits until the lock is unlocked. .. cpp:function:: bool try_lock() Tries to lock the spinlock, but also returns immediately. **Returns:** Whether the lock was acquired succesfully. .. cpp:function:: void unlock() Frees the lock.