refcounted.cc

Go to the documentation of this file.

//
// Copyright (c) 2000-2004 California Institute of Technology
// Copyright (c) 2004-2007 University of Southern California
// Rob Peters <rjpeters at usc dot edu>
//
// created: Sun Oct 22 14:40:28 2000
// commit: $Id: refcounted.cc 10065 2007-04-12 05:54:56Z rjpeters $
// $HeadURL: file:///lab/rjpeters/svnrepo/code/trunk/groovx/src/nub/refcounted.cc $
//
// --------------------------------------------------------------------
//
// This file is part of GroovX.
//   [http://ilab.usc.edu/rjpeters/groovx/]
//
// GroovX is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 2 of the License, or
// (at your option) any later version.
//
// GroovX is distributed in the hope that it will be useful, but
// WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
// General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with GroovX; if not, write to the Free Software Foundation,
// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
//

#ifndef GROOVX_NUB_REFCOUNTED_CC_UTC20050626084018_DEFINED
#define GROOVX_NUB_REFCOUNTED_CC_UTC20050626084018_DEFINED

#include "refcounted.h"

#include "rutz/error.h"

#include <limits>

#include <typeinfo>

#ifndef GVX_NO_PROF
#define GVX_NO_PROF
#endif

#include "rutz/trace.h"
#include "rutz/debug.h"
GVX_DBG_REGISTER

//
// ref_counts member definitions
//

void* nub::ref_counts::operator new(size_t bytes)
{
  return ::operator new(bytes);
}

void nub::ref_counts::operator delete(void* space, size_t /*bytes*/)
{
  ::operator delete(space);
}

nub::ref_counts::ref_counts() throw() :
  m_strong(),
  m_weak(),
  m_owner_alive(true),
  m_volatile(false)
{
GVX_TRACE("nub::ref_counts::ref_counts");
}

nub::ref_counts::~ref_counts() throw()
{
GVX_TRACE("nub::ref_counts::~ref_counts");

  if (m_strong.atomic_get() > 0) GVX_PANIC("ref_counts object destroyed before strong refcount fell to 0");
  if (m_weak.atomic_get() > 0) GVX_PANIC("ref_counts object destroyed before weak refcount fell to 0");
}

void nub::ref_counts::acquire_weak() throw()
{
GVX_TRACE("nub::ref_counts::acquire_weak");

  if (m_weak.atomic_incr_return() == rutz::atomic_int_t::max_value())
    GVX_PANIC("weak refcount overflow");
}

int nub::ref_counts::release_weak() throw()
{
GVX_TRACE("nub::ref_counts::release_weak");

  const int result = m_weak.atomic_decr_return();

  if (result < 0) GVX_PANIC("weak refcount already 0 in release_weak()");

  if (result == 0)
    {
      if (m_strong.atomic_get() > 0) GVX_PANIC("weak refcount fell to 0 before strong refcount");
      delete this;
    }

  return result;
}

void nub::ref_counts::acquire_strong() throw()
{
GVX_TRACE("nub::ref_counts::acquire_strong");

  if (m_volatile) GVX_PANIC("attempt to use strong refcount with volatile object");
  if (m_strong.atomic_incr_return() == rutz::atomic_int_t::max_value())
    GVX_PANIC("strong refcount overflow");
}

int nub::ref_counts::release_strong() throw()
{
GVX_TRACE("nub::ref_counts::release_strong");

  if (m_volatile) GVX_PANIC("attempt to use strong refcount with volatile object");
  if (m_weak.atomic_get() == 0) GVX_PANIC("weak refcount prematurely fell to 0");

  const int result = m_strong.atomic_decr_return();

  if (result < 0) GVX_PANIC("strong refcount already 0 in release_strong()");

  return result;
}

void nub::ref_counts::release_strong_no_delete() throw()
{
GVX_TRACE("nub::ref_counts::release_strong_no_delete");

  const int result = m_strong.atomic_decr_return();

  if (result < 0) GVX_PANIC("strong refcount already 0 in release_strong_no_delete()");
}

void nub::ref_counts::debug_dump() const throw()
{
  dbg_eval_nl(0, this);
  dbg_eval_nl(0, m_strong.atomic_get());
  dbg_eval_nl(0, m_weak.atomic_get());
  dbg_eval_nl(0, m_owner_alive);
}

//
// ref_counted member definitions
//

void* nub::ref_counted::operator new(size_t bytes)
{
GVX_TRACE("nub::ref_counted::operator new");
  return ::operator new(bytes);
}

void nub::ref_counted::operator delete(void* space, size_t /*bytes*/)
{
GVX_TRACE("nub::ref_counted::operator delete");
  ::operator delete(space);
}

nub::ref_counted::ref_counted() :
  m_ref_counts(new nub::ref_counts)
{
GVX_TRACE("nub::ref_counted::ref_counted");
  dbg_print(7, "ref_counted ctor"); dbg_eval_nl(7, this);

  m_ref_counts->acquire_weak();
}

nub::ref_counted::~ref_counted() GVX_DTOR_NOTHROW
{
GVX_TRACE("nub::ref_counted::~ref_counted");
  dbg_print(7, "ref_counted dtor"); dbg_eval_nl(7, this);
  dbg_dump(7, *m_ref_counts);

  // Must guarantee that (strong-count == 0) when the refcounted object is
  // destroyed. Without that guarantee, weak references will be messed up,
  // since they'll think that the object is still alive (i.e. strong
  // refcount > 0) when it actually is already destroyed.
  if (m_ref_counts->m_strong.atomic_get() > 0)
    GVX_PANIC("ref_counted object destroyed before strong refcount dropped to 0");

  m_ref_counts->m_owner_alive = false;
  m_ref_counts->release_weak();
}

void nub::ref_counted::mark_as_volatile() throw()
{
GVX_TRACE("nub::ref_counted::mark_as_volatile");
  if (m_ref_counts->m_strong.atomic_get() > 0)
    GVX_PANIC("can't make volatile object that already has strong refs");

  if (m_ref_counts->m_volatile)
    GVX_PANIC("object already marked as volatile");

  m_ref_counts->m_volatile = true;
}

void nub::ref_counted::incr_ref_count() const throw()
{
  m_ref_counts->acquire_strong();
}

void nub::ref_counted::decr_ref_count() const throw()
{
  if (m_ref_counts->release_strong() == 0)
    {
      dbg_eval_nl(3, typeid(*this).name());
      delete this;
    }
}

void nub::ref_counted::decr_ref_count_no_delete() const throw()
{
  m_ref_counts->release_strong_no_delete();
}

bool nub::ref_counted::is_shared() const throw()
{
GVX_TRACE("nub::ref_counted::is_shared");

  return (m_ref_counts->m_strong.atomic_get() > 1) || is_not_shareable();
  // We check is_not_shareable() so that volatile objects always appear
  // shared, so that they cannot be removed from the nub::objectdb until
  // they become invalid.
}

bool nub::ref_counted::is_unshared() const throw()
{
GVX_TRACE("nub::ref_counted::is_unshared");
  return !is_shared();
}

bool nub::ref_counted::is_not_shareable() const throw()
{
GVX_TRACE("nub::ref_counted::is_not_shareable");
  return m_ref_counts->m_volatile;
}

nub::ref_counts* nub::ref_counted::get_counts() const throw()
{
GVX_TRACE("nub::ref_counted::get_counts");
  return m_ref_counts;
}

int nub::ref_counted::dbg_ref_count() const throw()
{
  return m_ref_counts->m_strong.atomic_get();
}

int nub::ref_counted::dbg_weak_ref_count() const throw()
{
  return m_ref_counts->m_weak.atomic_get();
}

static const char __attribute__((used)) vcid_groovx_nub_refcounted_cc_utc20050626084018[] = "$Id: refcounted.cc 10065 2007-04-12 05:54:56Z rjpeters $ $HeadURL: file:
#endif // !GROOVX_NUB_REFCOUNTED_CC_UTC20050626084018_DEFINED

---

The software described here is Copyright (c) 1998-2005, Rob Peters.
This page was generated Wed Dec 3 06:49:39 2008 by Doxygen version 1.5.5.