tagged_pointer.h

Go to the documentation of this file.

// Author(s): Maurice Laveaux
// Copyright: see the accompanying file COPYING or copy at
// https://github.com/mCRL2org/mCRL2/blob/master/COPYING
//
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//
 
#ifndef MCRL2_UTILITIES_TAGGED_POINTER_H_
#define MCRL2_UTILITIES_TAGGED_POINTER_H_
 
#include <functional>
#include <type_traits>
 
#include "mcrl2/utilities/configuration.h"
#include "mcrl2/utilities/detail/atomic_wrapper.h"
 
namespace mcrl2::utilities
{
 
template<typename T>
T* tag(const T* p)
{
  return reinterpret_cast<T*>(reinterpret_cast<std::size_t>(p) | 1);
}
 
template<typename T>
T* tag(const detail::atomic_wrapper<T*>& p)
{
  return reinterpret_cast<T*>(reinterpret_cast<std::size_t>(p.load(std::memory_order_relaxed)) | 1);
}
 
template<typename T>
T* pointer(const T* p)
{
  return reinterpret_cast<T*>(reinterpret_cast<std::size_t>(p) & ~static_cast<std::size_t>(1));
}
 
template<typename T>
T* pointer(const detail::atomic_wrapper<T*>& p)
{
  return reinterpret_cast<T*>(reinterpret_cast<std::size_t>(p.load(std::memory_order_relaxed)) & ~static_cast<std::size_t>(1));
}
 
template<typename T>
bool tagged(const T* p)
{
  return reinterpret_cast<std::size_t>(p) & 1;
}
 
template<typename T>
bool tagged(const detail::atomic_wrapper<T*>& p)
{
  return reinterpret_cast<std::size_t>(p.load(std::memory_order_relaxed)) & 1;
}
 
template<typename T>
class tagged_pointer
{
public:
  tagged_pointer() {}
  explicit tagged_pointer(T* p)
    : m_pointer(p)
  {}
 
  bool tagged() const
  {
    return mcrl2::utilities::tagged(m_pointer);
  }
 
  void tag() const
  {
    m_pointer = mcrl2::utilities::tag(m_pointer);
  }
 
  void untag() const
  {
    m_pointer = const_cast<T*>(get());
  }
 
  bool defined() const
  {
    return get() != nullptr;
  }
 
  void operator=(std::nullptr_t)
  {
    m_pointer = mcrl2::utilities::tag(static_cast<T*>(nullptr));
  }
 
  bool operator==(std::nullptr_t) const
  {
    return get() == nullptr;
  }
 
  bool operator!=(std::nullptr_t) const
  {
    return !(*this == nullptr);
  }
 
  bool operator==(const tagged_pointer& other) const
  {
    return get() == other.get();
  }
 
  bool operator!=(const tagged_pointer& other) const
  {
    return !(*this == other);
  }
 
  bool operator <(const tagged_pointer& other) const noexcept
  {
    return get() < other.get();
  }
 
  bool operator <=(const tagged_pointer& other) const noexcept
  {
    return get() <= other.get();
  }
 
  bool operator >(const tagged_pointer& other) const noexcept
  {
    return get() > other.get();
  }
 
  bool operator >=(const tagged_pointer& other) const noexcept
  {
    return get() >= other.get();
  }
 
  const T& operator*() const
  {
    return *get();
  }
 
  T& operator*()
  {
    return *get();
  }
 
  const T* operator->() const
  {
    return get();
  }
 
  T* operator->()
  {
    return get();
  }
 
  const T* get() const
  {
    return pointer(m_pointer);
  }
 
  T* get()
  {
    return pointer(m_pointer);
  }
 
  void swap(tagged_pointer<T>& other)
  {
    // This is not atomic, so swaps are only allowed when no tags are being applied concurrently.
    auto tmp = other.m_pointer;
    other.m_pointer = m_pointer;
    m_pointer = tmp;
  }
 
private:
  mutable std::conditional_t<detail::GlobalThreadSafe, detail::atomic_wrapper<T*>, T*> m_pointer = nullptr;
};
 
} // namespace mcrl2::utilities
 
namespace std
{
 
template<typename T>
struct hash<mcrl2::utilities::tagged_pointer<T>>
{
  std::size_t operator()(const mcrl2::utilities::tagged_pointer<T>& p) const
  {
    const std::hash<const T*> hasher;
    return hasher(p.get());
  }
};
 
} // namespace std
 
#endif // MCRL2_UTILITIES_TAGGED_POINTER_H