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.