tria_objects.cc

Go to the documentation of this file.

// ---------------------------------------------------------------------
//
// Copyright (C) 2006 - 2020 by the deal.II authors
//
// This file is part of the deal.II library.
//
// The deal.II library is free software; you can use it, redistribute
// it, and/or modify it under the terms of the GNU Lesser General
// Public License as published by the Free Software Foundation; either
// version 2.1 of the License, or (at your option) any later version.
// The full text of the license can be found in the file LICENSE.md at
// the top level directory of deal.II.
//
// ---------------------------------------------------------------------

#include <deal.II/base/memory_consumption.h>

#include <deal.II/grid/tria.h>
#include <deal.II/grid/tria_accessor.h>
#include <deal.II/grid/tria_iterator.h>
#include <deal.II/grid/tria_objects.h>

#include <algorithm>
#include <functional>



DEAL_II_NAMESPACE_OPEN

namespace internal
{
  namespace TriangulationImplementation
  {
    template <class G>
    void
    TriaObjects<G>::reserve_space(const unsigned int new_objects_in_pairs,
                                  const unsigned int new_objects_single)
    {
      Assert(new_objects_in_pairs % 2 == 0, ExcInternalError());

      next_free_single               = 0;
      next_free_pair                 = 0;
      reverse_order_next_free_single = false;

      // count the number of objects, of unused single objects and of
      // unused pairs of objects
      unsigned int n_objects        = 0;
      unsigned int n_unused_pairs   = 0;
      unsigned int n_unused_singles = 0;
      for (unsigned int i = 0; i < used.size(); ++i)
        {
          if (used[i])
            ++n_objects;
          else if (i + 1 < used.size())
            {
              if (used[i + 1])
                {
                  ++n_unused_singles;
                  if (next_free_single == 0)
                    next_free_single = i;
                }
              else
                {
                  ++n_unused_pairs;
                  if (next_free_pair == 0)
                    next_free_pair = i;
                  ++i;
                }
            }
          else
            ++n_unused_singles;
        }
      Assert(n_objects + 2 * n_unused_pairs + n_unused_singles == used.size(),
             ExcInternalError());

      // how many single objects are needed in addition to
      // n_unused_objects?
      const int additional_single_objects =
        new_objects_single - n_unused_singles;

      unsigned int new_size =
        used.size() + new_objects_in_pairs - 2 * n_unused_pairs;
      if (additional_single_objects > 0)
        new_size += additional_single_objects;

      // only allocate space if necessary
      if (new_size > cells.size())
        {
          cells.reserve(new_size);
          cells.insert(cells.end(), new_size - cells.size(), G());

          used.reserve(new_size);
          used.insert(used.end(), new_size - used.size(), false);

          user_flags.reserve(new_size);
          user_flags.insert(user_flags.end(),
                            new_size - user_flags.size(),
                            false);

          const unsigned int factor =
            GeometryInfo<G::dimension>::max_children_per_cell / 2;
          children.reserve(factor * new_size);
          children.insert(children.end(),
                          factor * new_size - children.size(),
                          -1);

          if (G::dimension > 1)
            {
              refinement_cases.reserve(new_size);
              refinement_cases.insert(
                refinement_cases.end(),
                new_size - refinement_cases.size(),
                RefinementCase<G::dimension>::no_refinement);
            }

          // first reserve, then resize. Otherwise the std library can decide to
          // allocate more entries.
          boundary_or_material_id.reserve(new_size);
          boundary_or_material_id.resize(new_size);

          user_data.reserve(new_size);
          user_data.resize(new_size);

          manifold_id.reserve(new_size);
          manifold_id.insert(manifold_id.end(),
                             new_size - manifold_id.size(),
                             numbers::flat_manifold_id);
        }

      if (n_unused_singles == 0)
        {
          next_free_single               = new_size - 1;
          reverse_order_next_free_single = true;
        }
    }


    template <>
    template <int dim, int spacedim>
    typename ::Triangulation<dim, spacedim>::raw_hex_iterator
    TriaObjects<TriaObject<3>>::next_free_hex(
      const ::Triangulation<dim, spacedim> &tria,
      const unsigned int                          level)
    {
      // TODO: Think of a way to ensure that we are using the correct
      // triangulation, i.e. the one containing *this.

      int pos = next_free_pair, last = used.size() - 1;
      for (; pos < last; ++pos)
        if (!used[pos])
          {
            // this should be a pair slot
            Assert(!used[pos + 1], ExcInternalError());
            break;
          }
      if (pos >= last)
        // no free slot
        return tria.end_hex();
      else
        next_free_pair = pos + 2;

      return
        typename ::Triangulation<dim, spacedim>::raw_hex_iterator(&tria,
                                                                        level,
                                                                        pos);
    }


    void
    TriaObjectsHex::reserve_space(const unsigned int new_hexes)
    {
      const unsigned int new_size =
        new_hexes + std::count(used.begin(), used.end(), true);

      // see above...
      if (new_size > cells.size())
        {
          cells.reserve(new_size);
          cells.insert(cells.end(), new_size - cells.size(), TriaObject<3>());

          used.reserve(new_size);
          used.insert(used.end(), new_size - used.size(), false);

          user_flags.reserve(new_size);
          user_flags.insert(user_flags.end(),
                            new_size - user_flags.size(),
                            false);

          children.reserve(4 * new_size);
          children.insert(children.end(), 4 * new_size - children.size(), -1);

          // for the following fields, we know exactly how many elements
          // we need, so first reserve then resize (resize itself, at least
          // with some compiler libraries, appears to round up the size it
          // actually reserves)
          boundary_or_material_id.reserve(new_size);
          boundary_or_material_id.resize(new_size);

          manifold_id.reserve(new_size);
          manifold_id.insert(manifold_id.end(),
                             new_size - manifold_id.size(),
                             numbers::flat_manifold_id);

          user_data.reserve(new_size);
          user_data.resize(new_size);

          face_orientations.reserve(new_size * GeometryInfo<3>::faces_per_cell);
          face_orientations.insert(face_orientations.end(),
                                   new_size * GeometryInfo<3>::faces_per_cell -
                                     face_orientations.size(),
                                   true);

          refinement_cases.reserve(new_size);
          refinement_cases.insert(refinement_cases.end(),
                                  new_size - refinement_cases.size(),
                                  RefinementCase<3>::no_refinement);

          face_flips.reserve(new_size * GeometryInfo<3>::faces_per_cell);
          face_flips.insert(face_flips.end(),
                            new_size * GeometryInfo<3>::faces_per_cell -
                              face_flips.size(),
                            false);
          face_rotations.reserve(new_size * GeometryInfo<3>::faces_per_cell);
          face_rotations.insert(face_rotations.end(),
                                new_size * GeometryInfo<3>::faces_per_cell -
                                  face_rotations.size(),
                                false);
        }
      next_free_single = next_free_pair = 0;
    }


    void
    TriaObjectsQuad3D::reserve_space(const unsigned int new_quads_in_pairs,
                                     const unsigned int new_quads_single)
    {
      Assert(new_quads_in_pairs % 2 == 0, ExcInternalError());

      next_free_single               = 0;
      next_free_pair                 = 0;
      reverse_order_next_free_single = false;

      // count the number of objects, of unused single objects and of
      // unused pairs of objects
      unsigned int n_quads          = 0;
      unsigned int n_unused_pairs   = 0;
      unsigned int n_unused_singles = 0;
      for (unsigned int i = 0; i < used.size(); ++i)
        {
          if (used[i])
            ++n_quads;
          else if (i + 1 < used.size())
            {
              if (used[i + 1])
                {
                  ++n_unused_singles;
                  if (next_free_single == 0)
                    next_free_single = i;
                }
              else
                {
                  ++n_unused_pairs;
                  if (next_free_pair == 0)
                    next_free_pair = i;
                  ++i;
                }
            }
          else
            ++n_unused_singles;
        }
      Assert(n_quads + 2 * n_unused_pairs + n_unused_singles == used.size(),
             ExcInternalError());

      // how many single quads are needed in addition to n_unused_quads?
      const int additional_single_quads = new_quads_single - n_unused_singles;

      unsigned int new_size =
        used.size() + new_quads_in_pairs - 2 * n_unused_pairs;
      if (additional_single_quads > 0)
        new_size += additional_single_quads;

      // see above...
      if (new_size > cells.size())
        {
          // reseve space for the base class
          TriaObjects<TriaObject<2>>::reserve_space(new_quads_in_pairs,
                                                    new_quads_single);
          // reserve the field of the derived class
          line_orientations.reserve(new_size * GeometryInfo<2>::lines_per_cell);
          line_orientations.insert(line_orientations.end(),
                                   new_size * GeometryInfo<2>::lines_per_cell -
                                     line_orientations.size(),
                                   true);
        }

      if (n_unused_singles == 0)
        {
          next_free_single               = new_size - 1;
          reverse_order_next_free_single = true;
        }
    }


    template <>
    void
    TriaObjects<TriaObject<1>>::monitor_memory(const unsigned int) const
    {
      Assert(cells.size() == used.size(),
             ExcMemoryInexact(cells.size(), used.size()));
      Assert(cells.size() == user_flags.size(),
             ExcMemoryInexact(cells.size(), user_flags.size()));
      Assert(cells.size() == children.size(),
             ExcMemoryInexact(cells.size(), children.size()));
      Assert(cells.size() == boundary_or_material_id.size(),
             ExcMemoryInexact(cells.size(), boundary_or_material_id.size()));
      Assert(cells.size() == manifold_id.size(),
             ExcMemoryInexact(cells.size(), manifold_id.size()));
      Assert(cells.size() == user_data.size(),
             ExcMemoryInexact(cells.size(), user_data.size()));
    }


    template <>
    void
    TriaObjects<TriaObject<2>>::monitor_memory(const unsigned int) const
    {
      Assert(cells.size() == used.size(),
             ExcMemoryInexact(cells.size(), used.size()));
      Assert(cells.size() == user_flags.size(),
             ExcMemoryInexact(cells.size(), user_flags.size()));
      Assert(2 * cells.size() == children.size(),
             ExcMemoryInexact(cells.size(), children.size()));
      Assert(cells.size() == refinement_cases.size(),
             ExcMemoryInexact(cells.size(), refinement_cases.size()));
      Assert(cells.size() == boundary_or_material_id.size(),
             ExcMemoryInexact(cells.size(), boundary_or_material_id.size()));
      Assert(cells.size() == manifold_id.size(),
             ExcMemoryInexact(cells.size(), manifold_id.size()));
      Assert(cells.size() == user_data.size(),
             ExcMemoryInexact(cells.size(), user_data.size()));
    }


    void
    TriaObjectsHex::monitor_memory(const unsigned int) const
    {
      Assert(cells.size() == used.size(),
             ExcMemoryInexact(cells.size(), used.size()));
      Assert(cells.size() == user_flags.size(),
             ExcMemoryInexact(cells.size(), user_flags.size()));
      Assert(4 * cells.size() == children.size(),
             ExcMemoryInexact(cells.size(), children.size()));
      Assert(cells.size() == boundary_or_material_id.size(),
             ExcMemoryInexact(cells.size(), boundary_or_material_id.size()));
      Assert(cells.size() == manifold_id.size(),
             ExcMemoryInexact(cells.size(), manifold_id.size()));
      Assert(cells.size() == user_data.size(),
             ExcMemoryInexact(cells.size(), user_data.size()));
      Assert(cells.size() * GeometryInfo<3>::faces_per_cell ==
               face_orientations.size(),
             ExcMemoryInexact(cells.size() * GeometryInfo<3>::faces_per_cell,
                              face_orientations.size()));
      Assert(cells.size() * GeometryInfo<3>::faces_per_cell ==
               face_flips.size(),
             ExcMemoryInexact(cells.size() * GeometryInfo<3>::faces_per_cell,
                              face_flips.size()));
      Assert(cells.size() * GeometryInfo<3>::faces_per_cell ==
               face_rotations.size(),
             ExcMemoryInexact(cells.size() * GeometryInfo<3>::faces_per_cell,
                              face_rotations.size()));
    }


    void
    TriaObjectsQuad3D::monitor_memory(const unsigned int) const
    {
      // check that we have not allocated too much memory. note that bool
      // vectors allocate their memory in chunks of whole integers, so they
      // may over-allocate by up to as many elements as an integer has bits
      Assert(cells.size() * GeometryInfo<2>::lines_per_cell ==
               line_orientations.size(),
             ExcMemoryInexact(cells.size() * GeometryInfo<2>::lines_per_cell,
                              line_orientations.size()));
      TriaObjects<TriaObject<2>>::monitor_memory(3);
    }


    template <typename G>
    void
    TriaObjects<G>::clear()
    {
      cells.clear();
      children.clear();
      refinement_cases.clear();
      used.clear();
      user_flags.clear();
      boundary_or_material_id.clear();
      manifold_id.clear();
      user_data.clear();
      user_data_type = data_unknown;
    }


    void
    TriaObjectsHex::clear()
    {
      TriaObjects<TriaObject<3>>::clear();
      face_orientations.clear();
      face_flips.clear();
      face_rotations.clear();
    }


    void
    TriaObjectsQuad3D::clear()
    {
      TriaObjects<TriaObject<2>>::clear();
      line_orientations.clear();
    }


    template <typename G>
    std::size_t
    TriaObjects<G>::memory_consumption() const
    {
      return (MemoryConsumption::memory_consumption(cells) +
              MemoryConsumption::memory_consumption(children) +
              MemoryConsumption::memory_consumption(used) +
              MemoryConsumption::memory_consumption(user_flags) +
              MemoryConsumption::memory_consumption(boundary_or_material_id) +
              MemoryConsumption::memory_consumption(manifold_id) +
              MemoryConsumption::memory_consumption(refinement_cases) +
              user_data.capacity() * sizeof(UserData) + sizeof(user_data));
    }


    std::size_t
    TriaObjectsHex::memory_consumption() const
    {
      return (MemoryConsumption::memory_consumption(face_orientations) +
              MemoryConsumption::memory_consumption(face_flips) +
              MemoryConsumption::memory_consumption(face_rotations) +
              TriaObjects<TriaObject<3>>::memory_consumption());
    }


    std::size_t
    TriaObjectsQuad3D::memory_consumption() const
    {
      return (MemoryConsumption::memory_consumption(line_orientations) +
              this->TriaObjects<TriaObject<2>>::memory_consumption());
    }



    // explicit instantiations
#ifndef DOXYGEN
    template class TriaObjects<TriaObject<1>>;
    template class TriaObjects<TriaObject<2>>;

#  include "tria_objects.inst"
#endif
  } // namespace TriangulationImplementation
} // namespace internal

DEAL_II_NAMESPACE_CLOSE