small_map.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Small map
 
Author: Daniel Poetzl
 
\*******************************************************************/
 
 
#ifndef CPROVER_UTIL_SMALL_MAP_H
#define CPROVER_UTIL_SMALL_MAP_H
 
#include <bitset>
#include <cstdint>
#include <cstring>
#include <limits>
#include <memory>
#include <new>
#include <type_traits>
#include <utility>
 
#include "invariant.h"
 
//#define _SMALL_MAP_REALLOC_STATS
 
template <typename T, typename Ind = uint32_t, std::size_t Num = 8>
class small_mapt
{
public:
  small_mapt() : ind(0), p(nullptr)
  {
  }
  small_mapt() : ind(0), p(nullptr) {…}
 
private:
  static_assert(std::is_unsigned<Ind>::value, "Ind should be an unsigned type");
 
  typedef Ind index_fieldt;
 
  friend void small_map_test();
 
  // Memory
 
  void copy(T *dest, const T *src, std::size_t n) const
  {
    for(std::size_t i = 0; i < n; i++)
    {
      new(dest + i) T(*(src + i));
    }
  }
  void copy(T *dest, const T *src, std::size_t n) const {…}
 
  T *allocate(std::size_t n) const
  {
    if(n == 0)
      return nullptr;
 
    T *mem = (T *)malloc(sizeof(T) * n);
 
    if(!mem)
      throw std::bad_alloc();
 
    return mem;
  }
  T *allocate(std::size_t n) const {…}
 
  T *allocate(T *ptr, std::size_t n) const
  {
    if(n == 0)
      return nullptr;
 
    // explicitly cast to char * as GCC 8 warns about not using new/delete for
    // class sharing_node_innert<dstringt, std::basic_string<char>,
    // std::equal_to<dstringt> >
    T *mem = (T *)realloc((char *)ptr, sizeof(T) * n);
 
    if(!mem)
      throw std::bad_alloc();
 
#ifdef _SMALL_MAP_REALLOC_STATS
    if(ptr == mem)
    {
      realloc_success++;
    }
    else if(ptr != nullptr)
    {
      realloc_failure++;
    }
#endif
 
    return mem;
  }
  T *allocate(T *ptr, std::size_t n) const {…}
 
public:
  small_mapt(const small_mapt &m) : ind(m.ind), p(m.p)
  {
    if(m.p == nullptr)
    {
      return;
    }
 
    const std::size_t n = m.size();
    INVARIANT(n > 0, "size is > 0 if data pointer is non-null");
 
    p = allocate(n);
 
    copy(p, m.p, n);
  }
  small_mapt(const small_mapt &m) : ind(m.ind), p(m.p) {…}
 
  ~small_mapt()
  {
    if(p)
    {
      std::size_t n = size();
 
      for(std::size_t i = 0; i < n; i++)
      {
        (p + i)->~T();
      }
 
      free(p);
    }
  }
  ~small_mapt() {…}
 
private:
  // Derived config
 
  static const std::size_t N_BITS = std::numeric_limits<index_fieldt>::digits;
 
  static const std::size_t NUM = Num;
 
  static_assert(NUM >= 2, "NUM should be at least 2");
 
  static constexpr std::size_t num_bits(const std::size_t n)
  {
    return n < 2 ? 1 : 1 + num_bits(n >> 1);
  }
  static constexpr std::size_t num_bits(const std::size_t n) {…}
 
  static constexpr std::size_t S_BITS = NUM * num_bits(NUM - 1) + NUM;
 
  static const std::size_t BITS = num_bits(NUM - 1) + 1;
 
  static constexpr index_fieldt indicator_mask(const index_fieldt digit = 1)
  {
    return !digit ? 0 : digit | indicator_mask(digit << BITS);
  }
  static constexpr index_fieldt indicator_mask(const index_fieldt digit = 1) {…}
 
  static const index_fieldt IND = indicator_mask();
 
  static const index_fieldt MASK = ((index_fieldt)1 << BITS) - 1;
 
  static_assert(S_BITS <= N_BITS, "S_BITS should be no larger than N_BITS");
 
  static_assert(
    std::numeric_limits<std::size_t>::digits >= BITS,
    "BITS must fit into an unsigned");
 
  // Internal
 
  std::size_t get_field(std::size_t field) const
  {
    PRECONDITION(field < NUM);
 
    std::size_t shift = field * BITS;
    return (ind & (MASK << shift)) >> shift;
  }
  std::size_t get_field(std::size_t field) const {…}
 
  void set_field(std::size_t field, std::size_t v)
  {
    PRECONDITION(field < NUM);
    PRECONDITION((std::size_t)(v >> 1) < NUM);
 
    std::size_t shift = field * BITS;
 
    ind &= ~((index_fieldt)MASK << shift);
    ind |= (index_fieldt)v << shift;
  }
  void set_field(std::size_t field, std::size_t v) {…}
 
  void shift_indices(std::size_t ii)
  {
    for(std::size_t idx = 0; idx < S_BITS / BITS; idx++)
    {
      std::size_t v = get_field(idx);
      if(v & 1)
      {
        v >>= 1;
        if(v > ii)
        {
          v = ((v - 1) << 1) | 1;
          set_field(idx, v);
        }
      }
    }
  }
  void shift_indices(std::size_t ii) {…}
 
public:
  // Standard const iterator
 
  typedef std::pair<const std::size_t, const T &> valuet;
 
  class const_iterator
  {
  public:
    explicit const_iterator(const small_mapt &m) : m(m), idx(0), ii(0)
    {
      find_next();
    }
    explicit const_iterator(const small_mapt &m) : m(m), idx(0), ii(0) {…}
 
    const_iterator(
      const small_mapt &m,
      const std::size_t idx,
      const std::size_t ii)
      : m(m), idx(idx), ii(ii)
    {
    }
    const_iterator( {…}
 
    const valuet operator*() const
    {
      return valuet(idx, *(m.p + ii));
    }
    const valuet operator*() const {…}
 
    const std::shared_ptr<valuet> operator->() const
    {
      return std::make_shared<valuet>(idx, *(m.p + ii));
    }
    const std::shared_ptr<valuet> operator->() const {…}
 
    const T &get_value() const
    {
      return *(m.p + ii);
    }
    const T &get_value() const {…}
 
    const_iterator operator++()
    {
      idx++;
      find_next();
 
      return *this;
    }
    const_iterator operator++() {…}
 
    const_iterator operator++(int)
    {
      std::size_t old_idx = idx;
      std::size_t old_ii = ii;
 
      idx++;
      find_next();
 
      return const_iterator(m, old_idx, old_ii);
    }
    const_iterator operator++(int) {…}
 
    bool operator==(const const_iterator &other) const
    {
      return idx == other.idx;
    }
    bool operator==(const const_iterator &other) const {…}
 
    bool operator!=(const const_iterator &other) const
    {
      return idx != other.idx;
    }
    bool operator!=(const const_iterator &other) const {…}
 
  private:
    void find_next()
    {
      while(idx < NUM)
      {
        std::size_t v = m.get_field(idx);
        if(v & 1)
        {
          ii = v >> 1;
          break;
        }
 
        idx++;
      }
    }
    void find_next() {…}
 
    const small_mapt &m;
    std::size_t idx;
    std::size_t ii;
  };
  class const_iterator {…};
 
  const_iterator begin() const
  {
    return const_iterator(*this);
  }
  const_iterator begin() const {…}
 
  const_iterator end() const
  {
    return const_iterator(*this, NUM, 0);
  }
  const_iterator end() const {…}
 
  class const_value_iterator
  {
  public:
    const_value_iterator(const small_mapt &m, const int ii) : m(m), ii(ii)
    {
    }
    const_value_iterator(const small_mapt &m, const int ii) : m(m), ii(ii) {…}
 
    const T &operator*() const
    {
      return *(m.p + ii);
    }
    const T &operator*() const {…}
 
    const T *operator->() const
    {
      return m.p + ii;
    }
    const T *operator->() const {…}
 
    const_value_iterator operator++()
    {
      ii--;
 
      return *this;
    }
    const_value_iterator operator++() {…}
 
    const_value_iterator operator++(int)
    {
      int old_ii = ii;
 
      ii--;
 
      return const_value_iterator(m, old_ii);
    }
    const_value_iterator operator++(int) {…}
 
    bool operator==(const const_value_iterator &other) const
    {
      return ii == other.ii;
    }
    bool operator==(const const_value_iterator &other) const {…}
 
    bool operator!=(const const_value_iterator &other) const
    {
      return ii != other.ii;
    }
    bool operator!=(const const_value_iterator &other) const {…}
 
  private:
    const small_mapt &m;
    int ii;
  };
  class const_value_iterator {…};
 
  const_value_iterator value_begin() const
  {
    return const_value_iterator(*this, size() - 1);
  }
  const_value_iterator value_begin() const {…}
 
  const_value_iterator value_end() const
  {
    return const_value_iterator(*this, -1);
  }
  const_value_iterator value_end() const {…}
 
  // Interface
 
  T &operator[](std::size_t idx)
  {
    PRECONDITION(idx < NUM);
 
    std::size_t v = get_field(idx);
    if(v & 1)
    {
      std::size_t ii = v >> 1;
      return *(p + ii);
    }
 
    std::size_t ii = size();
    p = allocate(p, ii + 1);
    new(p + ii) T();
 
    v = (ii << 1) | 1;
    set_field(idx, v);
 
    return *(p + ii);
  }
  T &operator[](std::size_t idx) {…}
 
  const_iterator find(std::size_t idx) const
  {
    PRECONDITION(idx < NUM);
 
    std::size_t v = get_field(idx);
    if(v & 1)
    {
      std::size_t ii = v >> 1;
      return const_iterator(*this, idx, ii);
    }
 
    return end();
  }
  const_iterator find(std::size_t idx) const {…}
 
  std::size_t erase(std::size_t idx)
  {
    PRECONDITION(idx < NUM);
 
    std::size_t v = get_field(idx);
 
    if(v & 1)
    {
      std::size_t ii = v >> 1;
 
      (p + ii)->~T();
      std::size_t n = size();
      if(ii < n - 1)
      {
        // explicitly cast to char * as GCC 8 warns about not using new/delete
        // for
        // class sharing_node_innert<dstringt, std::basic_string<char>,
        // std::equal_to<dstringt> >
        memmove((char *)(p + ii), p + ii + 1, sizeof(T) * (n - ii - 1));
      }
 
      p = allocate(p, n - 1);
 
      if(n == 1)
      {
        p = nullptr;
      }
 
      set_field(idx, 0);
      shift_indices(ii);
 
      return 1;
    }
 
    return 0;
  }
  std::size_t erase(std::size_t idx) {…}
 
  small_mapt *copy_and_erase(std::size_t idx) const
  {
    PRECONDITION(idx < NUM);
 
    std::size_t v = get_field(idx);
    INVARIANT(v & 1, "element must be in map");
 
    std::size_t ii = v >> 1;
    std::size_t n = size();
 
    // new map
 
    small_mapt *m = new small_mapt();
 
    if(n == 1)
    {
      return m;
    }
 
    m->p = allocate(n - 1);
 
    // copy part before erased element
    copy(m->p, p, ii);
 
    // copy part after erased element
    copy(m->p + ii, p + ii + 1, n - ii - 1);
 
    m->ind = ind;
    m->set_field(idx, 0);
    m->shift_indices(ii);
 
    return m;
  }
  small_mapt *copy_and_erase(std::size_t idx) const {…}
 
  small_mapt *copy_and_insert(std::size_t idx, const T &value) const
  {
    PRECONDITION(idx < NUM);
 
    std::size_t v = get_field(idx);
    INVARIANT(!(v & 1), "element must not be in map");
 
    std::size_t n = size();
    std::size_t ii = n;
 
    small_mapt *m = new small_mapt();
 
    m->p = allocate(n + 1);
 
    // copy old elements
    copy(m->p, p, n);
 
    // new element
    new(m->p + ii) T(value);
 
    m->ind = ind;
    v = (ii << 1) | 1;
    m->set_field(idx, v);
 
    return m;
  }
  small_mapt *copy_and_insert(std::size_t idx, const T &value) const {…}
 
  std::size_t size() const
  {
    std::bitset<N_BITS> bs(ind & IND);
    return bs.count();
  }
  std::size_t size() const {…}
 
  bool empty() const
  {
    return !ind;
  }
  bool empty() const {…}
 
#ifdef _SMALL_MAP_REALLOC_STATS
  mutable std::size_t realloc_failure = 0;
  mutable std::size_t realloc_success = 0;
#endif
 
private:
  index_fieldt ind;
  T *p;
};
class small_mapt {…};
 
#endif