From e3cf0a9d726c9d76f4938590691336fbf2e9f6d5 Mon Sep 17 00:00:00 2001 From: Benjamin Paassen Date: Fri, 14 Nov 2014 13:52:40 +0100 Subject: Moved Managed to core and implemented managing of nodes for the CSS Style Tree. --- src/core/Managed.cpp | 364 ++++++++++++++++++++++ src/core/Managed.hpp | 712 +++++++++++++++++++++++++++++++++++++++++++ src/core/dom/Managed.cpp | 367 ---------------------- src/core/dom/Managed.hpp | 690 ----------------------------------------- src/core/dom/Node.hpp | 2 +- src/core/utils/CSSParser.cpp | 10 +- src/core/utils/CSSParser.hpp | 81 ++--- 7 files changed, 1124 insertions(+), 1102 deletions(-) create mode 100644 src/core/Managed.cpp create mode 100644 src/core/Managed.hpp delete mode 100644 src/core/dom/Managed.cpp delete mode 100644 src/core/dom/Managed.hpp (limited to 'src/core') diff --git a/src/core/Managed.cpp b/src/core/Managed.cpp new file mode 100644 index 0000000..8cbbb17 --- /dev/null +++ b/src/core/Managed.cpp @@ -0,0 +1,364 @@ +/* + Ousía + Copyright (C) 2014, 2015 Benjamin Paaßen, Andreas Stöckel + + This program 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 3 of the License, or + (at your option) any later version. + + This program 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 this program. If not, see . +*/ + +#include +#include + +#include "Managed.hpp" + +namespace ousia { + +/* Private Class ScopedIncrement */ + +/** + * The ScopedIncrement class is used by the Manager to safely increment a + * variable when a scope is entered and to decrement it when the scope is left. + */ +class ScopedIncrement { +private: + /** + * Reference to the variable that should be incremented. + */ + int &i; + +public: + /** + * Constructor of ScopedIncrement. Increments the given variable. + * + * @param i is the variable that should be incremented. + */ + ScopedIncrement(int &i) : i(i) { i++; } + + /** + * Destructor of ScopedIncrement. Decrements the referenced variable. + */ + ~ScopedIncrement() { i--; } +}; + +/* Class ObjectDescriptor */ + +int ObjectDescriptor::refInCount() const +{ + int res = 0; + for (const auto &e : refIn) { + res += e.second; + } + return res + rootRefCount; +} + +int ObjectDescriptor::refOutCount() const +{ + int res = 0; + for (const auto &e : refOut) { + res += e.second; + } + return res; +} + +int ObjectDescriptor::refInCount(Managed *o) const +{ + if (o == nullptr) { + return rootRefCount; + } + + const auto it = refIn.find(o); + if (it != refIn.cend()) { + return it->second; + } + return 0; +} + +int ObjectDescriptor::refOutCount(Managed *o) const +{ + const auto it = refOut.find(o); + if (it != refOut.cend()) { + return it->second; + } + return 0; +} + +void ObjectDescriptor::incrDegree(RefDir dir, Managed *o) +{ + // If the given Managed is null it refers to an input rooted reference + if (o == nullptr) { + rootRefCount++; + return; + } + + // Fetch a reference to either the input or the output reference map + auto &m = dir == RefDir::in ? refIn : refOut; + + // Insert a new entry or increment the corresponding reference counter + auto it = m.find(o); + if (it == m.end()) { + m.emplace(std::make_pair(o, 1)); + } else { + it->second++; + } +} + +bool ObjectDescriptor::decrDegree(RefDir dir, Managed *o, bool all) +{ + // If the given Managed is null it refers to an input rooted reference + if (o == nullptr) { + if (rootRefCount > 0) { + if (all) { + rootRefCount = 0; + } else { + rootRefCount--; + } + return true; + } + return false; + } + + // Fetch a reference to either the input or the output reference map + auto &m = dir == RefDir::in ? refIn : refOut; + + // Decrement corresponding reference counter, delete the entry if the + // reference counter reaches zero + auto it = m.find(o); + if (it != m.end()) { + it->second--; + if (it->second == 0 || all) { + m.erase(it); + } + return true; + } + return false; +} + +/* Class Manager */ + +Manager::~Manager() +{ + // Perform a final sweep + sweep(); + + // All objects should have been deleted! + assert(objects.empty()); + + // Free all objects managed by the Managed manager (we'll get here if assertions + // are disabled) + if (!objects.empty()) { + ScopedIncrement incr{deletionRecursionDepth}; + for (auto &e : objects) { + delete e.first; + } + } +} + +ObjectDescriptor *Manager::getDescriptor(Managed *o) +{ + if (o) { + auto it = objects.find(o); + if (it != objects.end()) { + return &(it->second); + } + } + return nullptr; +} + +void Manager::manage(Managed *o) +{ + objects.emplace(std::make_pair(o, ObjectDescriptor{})); +} + +void Manager::addRef(Managed *tar, Managed *src) +{ + // Fetch the Managed descriptors for the two objects + ObjectDescriptor *dTar = getDescriptor(tar); + ObjectDescriptor *dSrc = getDescriptor(src); + + // Store the tar <- src reference + assert(dTar); + dTar->incrDegree(RefDir::in, src); + if (src) { + // Store the src -> tar reference + assert(dSrc); + dSrc->incrDegree(RefDir::out, tar); + } else { + // We have just added a root reference, remove the element from the + // list of marked objects + marked.erase(tar); + } +} + +void Manager::deleteRef(Managed *tar, Managed *src, bool all) +{ + // Fetch the Managed descriptors for the two objects + ObjectDescriptor *dTar = getDescriptor(tar); + ObjectDescriptor *dSrc = getDescriptor(src); + + // Decrement the output degree of the source Managed first + if (dSrc) { + dSrc->decrDegree(RefDir::out, tar, all); + } + + // Decrement the input degree of the input Managed + if (dTar && dTar->decrDegree(RefDir::in, src, all)) { + // If the Managed has a zero in degree, it can be safely deleted, otherwise + // if it has no root reference, add it to the "marked" set which is + // subject to tracing garbage collection + if (dTar->refInCount() == 0) { + deleteObject(tar, dTar); + } else if (dTar->rootRefCount == 0) { + // Insert the Managed into the list of objects to be inspected by garbage + // collection + marked.insert(tar); + } + } + + // Call the tracing garbage collector if the marked size is larger than the + // actual value + if (marked.size() >= threshold) { + sweep(); + } +} + +void Manager::deleteObject(Managed *o, ObjectDescriptor *descr) +{ + // Abort if the Managed already is on the "deleted" list + if (deleted.find(o) != deleted.end()) { + return; + } + + // Increment the recursion depth counter. The "deleteRef" function called + // below + // may descend further into this function and the actual deletion should be + // done in a single step. + { + ScopedIncrement incr{deletionRecursionDepth}; + + // Add the Managed to the "deleted" set + deleted.insert(o); + + // Remove all output references of this Managed + while (!descr->refOut.empty()) { + deleteRef(descr->refOut.begin()->first, o, true); + } + + // Remove the Managed from the "marked" set + marked.erase(o); + } + + purgeDeleted(); +} + +void Manager::purgeDeleted() +{ + // Perform the actual deletion if the recursion level is zero + if (deletionRecursionDepth == 0 && !deleted.empty()) { + // Increment the recursion depth so this function does not get called + // again while deleting objects + ScopedIncrement incr{deletionRecursionDepth}; + + // Deleting objects might add new objects to the deleted list, thus the + // iterator would get invalid and we have to use this awkward + // construction + while (!deleted.empty()) { + auto it = deleted.begin(); + Managed *o = *it; + deleted.erase(it); + marked.erase(o); + objects.erase(o); + delete o; + } + } +} + +void Manager::sweep() +{ + // Only execute sweep on the highest recursion level + if (deletionRecursionDepth > 0) { + return; + } + + // Set containing objects which are reachable from a rooted Managed + std::unordered_set reachable; + + // Deletion of objects may cause other objects to be added to the "marked" list + // so we repeat this process until objects are no longer deleted + while (!marked.empty()) { + // Repeat until all objects in the "marked" list have been visited + while (!marked.empty()) { + // Increment the deletionRecursionDepth counter to prevent deletion + // of objects while sweep is running + ScopedIncrement incr{deletionRecursionDepth}; + + // Fetch the next Managed in the "marked" list and remove it + Managed *curManaged = *(marked.begin()); + + // Perform a breadth-first search starting from the current Managed + bool isReachable = false; + std::unordered_set visited{{curManaged}}; + std::queue queue{{curManaged}}; + while (!queue.empty() && !isReachable) { + // Pop the next element from the queue, remove the element from + // the marked list as we obviously have evaluated it + curManaged = queue.front(); + queue.pop(); + marked.erase(curManaged); + + // Fetch the Managed descriptor + ObjectDescriptor *descr = getDescriptor(curManaged); + if (!descr) { + continue; + } + + // If this Managed is rooted, the complete visited subgraph is + // rooted + if (descr->rootRefCount > 0) { + isReachable = true; + break; + } + + // Iterate over all objects leading to the current one + for (auto &src : descr->refIn) { + Managed *srcManaged = src.first; + + // Abort if the Managed already in the reachable list, + // otherwise add the Managed to the queue if it was not visited + if (reachable.find(srcManaged) != reachable.end()) { + isReachable = true; + break; + } else if (visited.find(srcManaged) == visited.end()) { + visited.insert(srcManaged); + queue.push(srcManaged); + } + } + } + + // Insert the objects into the list of to be deleted objects or + // reachable objects depending on the "isReachable" flag + if (isReachable) { + for (auto o : visited) { + reachable.insert(o); + } + } else { + for (auto o : visited) { + deleteObject(o, getDescriptor(o)); + } + } + } + + // Now purge all objects marked for deletion + purgeDeleted(); + } +} +} diff --git a/src/core/Managed.hpp b/src/core/Managed.hpp new file mode 100644 index 0000000..8cef1d2 --- /dev/null +++ b/src/core/Managed.hpp @@ -0,0 +1,712 @@ +/* + Ousía + Copyright (C) 2014, 2015 Benjamin Paaßen, Andreas Stöckel + + This program 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 3 of the License, or + (at your option) any later version. + + This program 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 this program. If not, see . +*/ + +#ifndef _OUSIA_MANAGED_HPP_ +#define _OUSIA_MANAGED_HPP_ + +#include +#include +#include +#include +#include + +namespace ousia { + +// TODO: Implement clone, getReferenced and getReferencing + +class Managed; + +template +class Handle; + +template +class Rooted; + +template +class Owned; + +/** + * Enum used to specify the direction of a object reference (inbound or + * outbound). + */ +enum class RefDir { in, out }; + +/** + * The ObjectDescriptor struct is used by the Manager for reference counting and + * garbage collection. It describes the reference multigraph with adjacency + * lists. Each ObjectDescriptor instance represents a single managed object and + * its assocition to and from other managed objects (nodes in the graph). + */ +struct ObjectDescriptor { +public: + /** + * Contains the number of references to rooted handles. A managed objects + * whith at least one rooted reference is considered reachable. + */ + int rootRefCount; + + /** + * Map containing all references pointing at this managed object. The + * map key describes the object which points at this object, the map + * value contains the reference count from this object. + */ + std::map refIn; + + /** + * Map containing all references pointing from this managed object to + * other managed objects. The map key describes the target object and + * the map value the reference count. + */ + std::map refOut; + + /** + * Default constructor of the ObjectDescriptor class. + */ + ObjectDescriptor() : rootRefCount(0){}; + + /** + * Returns the total input degree of this managed object. The root + * references are also counted as incomming references and thus added to + * the result. + * + * @return the input degree of this node, including the root references. + */ + int refInCount() const; + + /** + * Returns the total output degree of this node. + * + * @return the output degree of this node. + */ + int refOutCount() const; + + /** + * Returns the input degree for the given managed object. + * + * @param o is the node for which the input degree should be returned, + * nullptr if the number of root references is returned. + * @return the input degree of the node or the rootRefCount if nullptr + * is given as node. If the node is not found, zero is returned. + */ + int refInCount(Managed *o) const; + + /** + * Returns the output degree for the given node. + * + * @param o is the node for which the output degree should be returned. + * @return the output degree of the node. If the node is not found, zero + * is returned. + */ + int refOutCount(Managed *o) const; + + /** + * Increments the input or output degree for the represented managed + * object. + * + * @param dir describes the direction of the association. A value of + * "in", increments the input degree, otherwise increments the output + * degree. + * @param o is the managed object for which the input or output degree + * should be incremented. If the given object is null, the rootRefCount + * is incremented, independent of the dir parameter. + */ + void incrDegree(RefDir dir, Managed *o); + + /** + * Decrements the input or output degree for the given managed object. + * + * @param dir describes the direction of the association. A value of + * "in", increments the input degree, otherwise increments the output + * degree. + * @param o is the managed object for which the input or output degree + * should be incremented. If the given object is null, the rootRefCount + * is incremented, independent of the dir parameter. + * @param all specifies whether the degree of the reference to this + * object should be set to zero, no matter what the actual degree is. + * This parameter is used when the given object is deleted and all + * references to it should be purged, no matter what. + * @return true if the degree was sucessfully decremented. + */ + bool decrDegree(RefDir dir, Managed *o, bool all = false); +}; + +class Manager { +private: + /** + * Default sweep threshold. If the number of managed objects marked for + * sweeping reaches this threshold a garbage collection sweep is performed. + */ + static constexpr size_t SWEEP_THRESHOLD = 128; + +protected: + /** + * Threshold that defines the minimum number of entries in the "marked" + * set until "sweep" is called. + */ + const size_t threshold; + + /** + * Map used to store the descriptors for all managed objects. Every object + * that has at least one root, in or out reference has an entry in this map. + */ + std::unordered_map objects; + + /** + * Set containing the objects marked for sweeping. + */ + std::unordered_set marked; + + /** + * Set containing objects marked for deletion. + */ + std::unordered_set deleted; + + /** + * Recursion depth while performing deletion. This variable is needed + * because the deletion of an object may cause further objects to be + * deleted. Yet the actual deletion should only be performed at the + * uppermost recursion level. + */ + int deletionRecursionDepth = 0; + + /** + * Returns the object ObjectDescriptor for the given object from the objects + * map. + */ + ObjectDescriptor *getDescriptor(Managed *o); + + /** + * Purges the objects in the "deleted" set. + */ + void purgeDeleted(); + + /** + * Function used internally to delete a object and clean up all references + * in the object manager still pointing at it. + * + * @param o is the object that should be deleted. + * @param descr is a reference to the ObjectDescriptor of the given object. + */ + void deleteObject(Managed *o, ObjectDescriptor *descr); + + /** + * Internal version of the deleteRef function with an additional "all" + * parameter. Removes a reference to the given target object from the source + * object. + * + * @param tar is the target object for which the reference from the given + * source object should be removed. + * @param src is the source object from which the target object was + * referenced or nullptr if the target object is referenced from the local + * scope. + * @param all specifies whether all (src, tar) references should be deleted, + * independent of the actual cardinality. This is set to true, when the + * given object is deleted and all references to it should be purged, no + * matter what. + */ + void deleteRef(Managed *tar, Managed *src, bool all); + +public: + Manager() : threshold(SWEEP_THRESHOLD) {} + + Manager(size_t threshold) : threshold(threshold) {} + + /** + * Deletes all objects managed by this class. + */ + ~Manager(); + + /** + * Registers an object for being managed by the Manager. The Manager now has + * the sole responsibility for freeing the managed object. Under no + * circumstances free the object manually, this will result in double frees. + * + * @param o is the object which is registered for being used with the + * Manager. + */ + void manage(Managed *o); + + /** + * Stores a reference to the given target object from the given source + * object. If the source pointer is set to nullptr, this means that the + * target object is rooted (semantic: it is reachable from the current + * scope) and should not be collected. + * + * @param tar is the target object to which the reference from src should be + * stored. + * @param src is the source object from which the target object is + * referenced or nullptr if the target object is referenced from the local + * scope. + */ + void addRef(Managed *tar, Managed *src); + + /** + * Removes a reference to the given target object from the source object. + * + * @param tar is the target object for which the reference from the given + * source object should be removed. + * @param src is the source object from which the target object was + * referenced or nullptr if the target object is referenced from the local + * scope. + */ + void deleteRef(Managed *tar, Managed *src) { deleteRef(tar, src, false); } + + /** + * Performs garbage collection. + */ + void sweep(); +}; + +/** + * The Managed class represents a garbage collected object. Instances of the + * Managed class are managed (e.g. freed) by an instance of the Manager class. + * Never free instances of this class yourself (even by playing an instance of + * this class on the steck). Create any new instance of any managed object with + * the makeRooted and makeOwned functions. + */ +class Managed { +protected: + Manager &mgr; + +public: + Managed(Manager &mgr) : mgr(mgr) { mgr.manage(this); }; + + virtual ~Managed(){}; + + Manager &getManager() { return mgr; } + + template + Owned acquire(const Handle &h) + { + return Owned{h, this}; + } + + template + Owned acquire(Handle &&h) + { + return Owned{h, this}; + } + + template + Owned acquire(T *t) + { + return Owned{t, this}; + } + + template + std::vector> acquire(const std::vector> &vec) + { + std::vector> res; + for (auto &e : vec) { + res.push_back(acquire(e)); + } + return res; + } + + template + std::vector> acquire(const std::vector &vec) + { + std::vector> res; + for (auto &e : vec) { + res.push_back(acquire(e)); + } + return res; + } +}; + +/** + * The Handle class is the base class for handles pointing at managed objects. + * It implements methods for comparing handles to each other and to pointers + * of the represented managed object type. Furthermore all other handle types + * and pointers can be conveniently converted to a Handle instance. However, + * the Handle class does not qualify the represented pointer for garbage + * collection. Thus the Handle class should only be used as type for input + * parameters in methods/functions and at no other ocasion. Use the Rooted or + * the Owned class if the represented object should actually be garbage + * collected. + */ +template +class Handle { +protected: + friend class Rooted; + friend class Owned; + + static_assert(std::is_convertible::value, + "T must be a Managed"); + + /** + * Reference to the represented managed object. + */ + T *ptr; + +public: + /** + * Constructor of the base Handle class. + * + * @param ptr is the pointer to the managed object the Handle should + * represent. + */ + Handle(T *ptr) : ptr(ptr) {} + + /** + * Copies the given Handle to this Handle instance. + * + * @param h is the Handle that should be asigned to this instance. + */ + Handle(const Handle &h) : ptr(h.get()) {} + + /** + * Copies the given Handle for a managed object of a derived class to this + * Handle instance. + * + * @param h is the Handle that should be asigned to this instance. + */ + template + Handle(const Handle &h) + : ptr(h.get()) + { + } + + /** + * Returns the underlying pointer. + */ + T *get() const { return ptr; } + + /** + * Provides access to the underlying managed object. + */ + T *operator->() { return ptr; } + + /** + * Provides access to the underlying managed object for immutable handles. + */ + const T *operator->() const { return ptr; } + + /** + * Provides access to the underlying managed object. + */ + T &operator*() { return *ptr; } + + /** + * Provides access to the underlying managed object for immutable handles. + */ + const T &operator*() const { return *ptr; } + + /** + * Comparison operator between base Owned and base Owned. + */ + template + bool operator==(const Handle &h) const + { + return ptr == h.get(); + } + + /** + * Comparison operator between base Owned and pointer. + */ + friend bool operator==(const Handle &h, const Managed *o) + { + return h.get() == o; + } + + /** + * Comparison operator between base Owned and pointer. + */ + friend bool operator==(const Managed *o, const Handle &h) + { + return o == h.get(); + } + + /** + * Returns true if the handle is the null pointer. + */ + bool isNull() const { return ptr == nullptr; } + + /** + * Returns true if the handle is the null pointer. + */ + bool operator!() const { return isNull(); } +}; + +/** + * A Rooted represents a directed, garbage collected pointer at a managed + * object. The lifetime of the represented managed object is guaranteed to be at + * least as long as the lifetime of the Rooted handle instance. + */ +template +class Rooted : public Handle { +private: + void addRef() + { + if (Handle::ptr) { + Handle::ptr->getManager().addRef(Handle::ptr, nullptr); + } + } + + void deleteRef() + { + if (Handle::ptr) { + Handle::ptr->getManager().deleteRef(Handle::ptr, nullptr); + } + } + +public: + /** + * Creates an empty Owned. + */ + Rooted() : Handle(nullptr){}; + + /** + * Copies the given Rooted to this Rooted instance. Both handles + * are indistinguishable after the operation. + * + * @param h is the Owned that should be asigned to this instance. + */ + Rooted(const Rooted &h) : Handle(h.ptr) { addRef(); } + + /** + * Move constructor. Moves the given rvalue Rooted to this instance. + * + * @param h is the Rooted to be moved to this instance. + */ + Rooted(Rooted &&h) : Handle(h.ptr) { h.ptr = nullptr; } + + /** + * Constructor of the Rooted class. + * + * @param ptr is the managed object the Rooted handle should represent. + */ + Rooted(T *ptr) : Handle(ptr) { addRef(); } + + /** + * Constructor of the Rooted class. + * + * @param h is another Rooted whose managed object should be used. + */ + template + Rooted(const Handle &h) + : Handle(h.get()) + { + addRef(); + } + + /** + * Assignment operator. Assigns the given Owned to this Owned instance. + * Both handles are indistinguishable after the operation. + * + * @param h is the Owned that should be asigned to this instance. + */ + Rooted &operator=(const Rooted &h) + { + deleteRef(); + this->ptr = h.ptr; + addRef(); + return *this; + } + + /** + * Move assignment operator. Moves the given rvalue Owned into this + * instance. + * + * @param h is the Owned to be moved to this instance. + */ + Rooted &operator=(Rooted &&h) + { + deleteRef(); + this->ptr = h.ptr; + h.ptr = nullptr; + return *this; + } + + /** + * Assignment operator. Assigns the given Owned to this Owned instance. + * Both handles are indistinguishable after the operation. + * + * @param h is the Owned that should be asigned to this instance. + */ + template + Rooted &operator=(const Handle &h) + { + deleteRef(); + this->ptr = h.get(); + addRef(); + return *this; + } + + /** + * Move assignment operator. Moves the given rvalue Owned into this + * instance. + * + * @param h is the Owned to be moved to this instance. + */ + Rooted &operator=(Handle &&h) + { + deleteRef(); + this->ptr = h.ptr; + h.ptr = nullptr; + return *this; + } + + /** + * Destructor of the Rooted class, deletes all refrences the class is + * still holding. + */ + ~Rooted() { deleteRef(); } +}; + +/** + * The Owned class represents a directed, garbage collected pointer at a managed + * instance. The lifetime of the represented managed object is guaranteed to be + * at last as long as the lifetime of the Managed instance which owns this + * reference. + */ +template +class Owned : public Handle { +private: + Managed *owner; + + void addRef() + { + if (Handle::ptr && owner) { + owner->getManager().addRef(Handle::ptr, owner); + } + } + + void deleteRef() + { + if (Handle::ptr && owner) { + owner->getManager().deleteRef(Handle::ptr, owner); + } + } + +public: + /** + * Creates an empty Owned. + */ + Owned() : Handle(nullptr), owner(nullptr){}; + + /** + * Copies the given Owned to this Owned instance. Both handles are + * indistinguishable after the operation. Note that especially the Owned + * owner is copied. + * + * @param h is the Owned that should be asigned to this instance. + */ + Owned(const Owned &h) : Handle(h.get()), owner(h.getOwner()) + { + addRef(); + } + + /** + * Copies the given Owned of another derived type to this Owned instance. + * Both handles are indistinguishable after the operation (except for the + * type). Note that especially the Owned owner is copied. + * + * @param h is the Owned that should be asigned to this instance. + */ + template + Owned(const Owned &h) + : Handle(h.get()), owner(h.getOwner()) + { + addRef(); + } + + /** + * Move constructor. Moves the given rvalue Owned to this instance. + * + * @param h is the Owned to be moved to this instance. + */ + Owned(Owned &&h) : Handle(h.get()), owner(h.getOwner()) + { + h.ptr = nullptr; + } + + /** + * Assignment operator. Assigns the given Owned to this Owned instance. + * Both handles are indistinguishable after the operation. Note that + * especially the Owned owner is copied. + * + * @param h is the Owned that should be asigned to this instance. + */ + Owned &operator=(const Owned &h) + { + deleteRef(); + this->ptr = h.ptr; + this->owner = h.getOwner(); + addRef(); + return *this; + } + + /** + * Move assignment operator. Moves the given rvalue Owned into this + * instance. + * + * @param h is the Owned to be moved to this instance. + */ + Owned &operator=(Owned &&h) + { + deleteRef(); + this->ptr = h.ptr; + this->owner = h.getOwner(); + h.ptr = nullptr; + return *this; + } + + /** + * Constructor of the Owned class. + * + * @param ptr is a pointer at the managed object the Owned handle should + * represent. + * @param owner is the managed object which owns this Owned handle instance. + * The managed object pointed to in the handle is guaranteed to live at + * least as long as the owner. + */ + Owned(T *ptr, Managed *owner) : Handle(ptr), owner(owner) { addRef(); } + + /** + * Constructor of the Owned class. + * + * @param h is another Owned whose managed object should be used. + * @param owner is the managed object which owns this Owned handle instance. + * The managed object pointed to in the handle is guaranteed to live at + * least as long as the owner. + */ + template + Owned(const Handle &h, Managed *owner) + : Handle(h.get()), owner(owner) + { + addRef(); + } + + /** + * Destructor of the Owned class, deletes all refrences the class is still + * holding. + */ + ~Owned() { deleteRef(); } + + /** + * Returns the reference to the owner of the Owned. + * + * @return the Owned owner. + */ + Managed *getOwner() const { return owner; } +}; +} + +#endif /* _OUSIA_MANAGED_HPP_ */ + diff --git a/src/core/dom/Managed.cpp b/src/core/dom/Managed.cpp deleted file mode 100644 index ec3849f..0000000 --- a/src/core/dom/Managed.cpp +++ /dev/null @@ -1,367 +0,0 @@ -/* - Ousía - Copyright (C) 2014, 2015 Benjamin Paaßen, Andreas Stöckel - - This program 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 3 of the License, or - (at your option) any later version. - - This program 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 this program. If not, see . -*/ - -#include -#include - -#include "Managed.hpp" - -namespace ousia { -namespace dom { - -/* Private Class ScopedIncrement */ - -/** - * The ScopedIncrement class is used by the Manager to safely increment a - * variable when a scope is entered and to decrement it when the scope is left. - */ -class ScopedIncrement { -private: - /** - * Reference to the variable that should be incremented. - */ - int &i; - -public: - /** - * Constructor of ScopedIncrement. Increments the given variable. - * - * @param i is the variable that should be incremented. - */ - ScopedIncrement(int &i) : i(i) { i++; } - - /** - * Destructor of ScopedIncrement. Decrements the referenced variable. - */ - ~ScopedIncrement() { i--; } -}; - -/* Class ObjectDescriptor */ - -int ObjectDescriptor::refInCount() const -{ - int res = 0; - for (const auto &e : refIn) { - res += e.second; - } - return res + rootRefCount; -} - -int ObjectDescriptor::refOutCount() const -{ - int res = 0; - for (const auto &e : refOut) { - res += e.second; - } - return res; -} - -int ObjectDescriptor::refInCount(Managed *o) const -{ - if (o == nullptr) { - return rootRefCount; - } - - const auto it = refIn.find(o); - if (it != refIn.cend()) { - return it->second; - } - return 0; -} - -int ObjectDescriptor::refOutCount(Managed *o) const -{ - const auto it = refOut.find(o); - if (it != refOut.cend()) { - return it->second; - } - return 0; -} - -void ObjectDescriptor::incrDegree(RefDir dir, Managed *o) -{ - // If the given Managed is null it refers to an input rooted reference - if (o == nullptr) { - rootRefCount++; - return; - } - - // Fetch a reference to either the input or the output reference map - auto &m = dir == RefDir::in ? refIn : refOut; - - // Insert a new entry or increment the corresponding reference counter - auto it = m.find(o); - if (it == m.end()) { - m.emplace(std::make_pair(o, 1)); - } else { - it->second++; - } -} - -bool ObjectDescriptor::decrDegree(RefDir dir, Managed *o, bool all) -{ - // If the given Managed is null it refers to an input rooted reference - if (o == nullptr) { - if (rootRefCount > 0) { - if (all) { - rootRefCount = 0; - } else { - rootRefCount--; - } - return true; - } - return false; - } - - // Fetch a reference to either the input or the output reference map - auto &m = dir == RefDir::in ? refIn : refOut; - - // Decrement corresponding reference counter, delete the entry if the - // reference counter reaches zero - auto it = m.find(o); - if (it != m.end()) { - it->second--; - if (it->second == 0 || all) { - m.erase(it); - } - return true; - } - return false; -} - -/* Class Manager */ - -Manager::~Manager() -{ - // Perform a final sweep - sweep(); - - // All objects should have been deleted! - assert(objects.empty()); - - // Free all objects managed by the Managed manager (we'll get here if assertions - // are disabled) - if (!objects.empty()) { - ScopedIncrement incr{deletionRecursionDepth}; - for (auto &e : objects) { - delete e.first; - } - } -} - -ObjectDescriptor *Manager::getDescriptor(Managed *o) -{ - if (o) { - auto it = objects.find(o); - if (it != objects.end()) { - return &(it->second); - } - } - return nullptr; -} - -void Manager::manage(Managed *o) -{ - objects.emplace(std::make_pair(o, ObjectDescriptor{})); -} - -void Manager::addRef(Managed *tar, Managed *src) -{ - // Fetch the Managed descriptors for the two objects - ObjectDescriptor *dTar = getDescriptor(tar); - ObjectDescriptor *dSrc = getDescriptor(src); - - // Store the tar <- src reference - assert(dTar); - dTar->incrDegree(RefDir::in, src); - if (src) { - // Store the src -> tar reference - assert(dSrc); - dSrc->incrDegree(RefDir::out, tar); - } else { - // We have just added a root reference, remove the element from the - // list of marked objects - marked.erase(tar); - } -} - -void Manager::deleteRef(Managed *tar, Managed *src, bool all) -{ - // Fetch the Managed descriptors for the two objects - ObjectDescriptor *dTar = getDescriptor(tar); - ObjectDescriptor *dSrc = getDescriptor(src); - - // Decrement the output degree of the source Managed first - if (dSrc) { - dSrc->decrDegree(RefDir::out, tar, all); - } - - // Decrement the input degree of the input Managed - if (dTar && dTar->decrDegree(RefDir::in, src, all)) { - // If the Managed has a zero in degree, it can be safely deleted, otherwise - // if it has no root reference, add it to the "marked" set which is - // subject to tracing garbage collection - if (dTar->refInCount() == 0) { - deleteObject(tar, dTar); - } else if (dTar->rootRefCount == 0) { - // Insert the Managed into the list of objects to be inspected by garbage - // collection - marked.insert(tar); - } - } - - // Call the tracing garbage collector if the marked size is larger than the - // actual value - if (marked.size() >= threshold) { - sweep(); - } -} - -void Manager::deleteObject(Managed *o, ObjectDescriptor *descr) -{ - // Abort if the Managed already is on the "deleted" list - if (deleted.find(o) != deleted.end()) { - return; - } - - // Increment the recursion depth counter. The "deleteRef" function called - // below - // may descend further into this function and the actual deletion should be - // done in a single step. - { - ScopedIncrement incr{deletionRecursionDepth}; - - // Add the Managed to the "deleted" set - deleted.insert(o); - - // Remove all output references of this Managed - while (!descr->refOut.empty()) { - deleteRef(descr->refOut.begin()->first, o, true); - } - - // Remove the Managed from the "marked" set - marked.erase(o); - } - - purgeDeleted(); -} - -void Manager::purgeDeleted() -{ - // Perform the actual deletion if the recursion level is zero - if (deletionRecursionDepth == 0 && !deleted.empty()) { - // Increment the recursion depth so this function does not get called - // again while deleting objects - ScopedIncrement incr{deletionRecursionDepth}; - - // Deleting objects might add new objects to the deleted list, thus the - // iterator would get invalid and we have to use this awkward - // construction - while (!deleted.empty()) { - auto it = deleted.begin(); - Managed *o = *it; - deleted.erase(it); - marked.erase(o); - objects.erase(o); - delete o; - } - } -} - -void Manager::sweep() -{ - // Only execute sweep on the highest recursion level - if (deletionRecursionDepth > 0) { - return; - } - - // Set containing objects which are reachable from a rooted Managed - std::unordered_set reachable; - - // Deletion of objects may cause other objects to be added to the "marked" list - // so we repeat this process until objects are no longer deleted - while (!marked.empty()) { - // Repeat until all objects in the "marked" list have been visited - while (!marked.empty()) { - // Increment the deletionRecursionDepth counter to prevent deletion - // of objects while sweep is running - ScopedIncrement incr{deletionRecursionDepth}; - - // Fetch the next Managed in the "marked" list and remove it - Managed *curManaged = *(marked.begin()); - - // Perform a breadth-first search starting from the current Managed - bool isReachable = false; - std::unordered_set visited{{curManaged}}; - std::queue queue{{curManaged}}; - while (!queue.empty() && !isReachable) { - // Pop the next element from the queue, remove the element from - // the marked list as we obviously have evaluated it - curManaged = queue.front(); - queue.pop(); - marked.erase(curManaged); - - // Fetch the Managed descriptor - ObjectDescriptor *descr = getDescriptor(curManaged); - if (!descr) { - continue; - } - - // If this Managed is rooted, the complete visited subgraph is - // rooted - if (descr->rootRefCount > 0) { - isReachable = true; - break; - } - - // Iterate over all objects leading to the current one - for (auto &src : descr->refIn) { - Managed *srcManaged = src.first; - - // Abort if the Managed already in the reachable list, - // otherwise add the Managed to the queue if it was not visited - if (reachable.find(srcManaged) != reachable.end()) { - isReachable = true; - break; - } else if (visited.find(srcManaged) == visited.end()) { - visited.insert(srcManaged); - queue.push(srcManaged); - } - } - } - - // Insert the objects into the list of to be deleted objects or - // reachable objects depending on the "isReachable" flag - if (isReachable) { - for (auto o : visited) { - reachable.insert(o); - } - } else { - for (auto o : visited) { - deleteObject(o, getDescriptor(o)); - } - } - } - - // Now purge all objects marked for deletion - purgeDeleted(); - } -} -} -} - diff --git a/src/core/dom/Managed.hpp b/src/core/dom/Managed.hpp deleted file mode 100644 index deccb99..0000000 --- a/src/core/dom/Managed.hpp +++ /dev/null @@ -1,690 +0,0 @@ -/* - Ousía - Copyright (C) 2014, 2015 Benjamin Paaßen, Andreas Stöckel - - This program 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 3 of the License, or - (at your option) any later version. - - This program 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 this program. If not, see . -*/ - -#ifndef _OUSIA_DOM_MANAGED_HPP_ -#define _OUSIA_DOM_MANAGED_HPP_ - -#include -#include -#include -#include -#include - -namespace ousia { -namespace dom { - -// TODO: Implement clone, getReferenced and getReferencing - -class Managed; - -template -class Handle; - -template -class Rooted; - -template -class Owned; - -/** - * Enum used to specify the direction of a object reference (inbound or - * outbound). - */ -enum class RefDir { in, out }; - -/** - * The ObjectDescriptor struct is used by the Manager for reference counting and - * garbage collection. It describes the reference multigraph with adjacency - * lists. Each ObjectDescriptor instance represents a single managed object and - * its assocition to and from other managed objects (nodes in the graph). - */ -struct ObjectDescriptor { -public: - /** - * Contains the number of references to rooted handles. A managed objects - * whith at least one rooted reference is considered reachable. - */ - int rootRefCount; - - /** - * Map containing all references pointing at this managed object. The - * map key describes the object which points at this object, the map - * value contains the reference count from this object. - */ - std::map refIn; - - /** - * Map containing all references pointing from this managed object to - * other managed objects. The map key describes the target object and - * the map value the reference count. - */ - std::map refOut; - - /** - * Default constructor of the ObjectDescriptor class. - */ - ObjectDescriptor() : rootRefCount(0){}; - - /** - * Returns the total input degree of this managed object. The root - * references are also counted as incomming references and thus added to - * the result. - * - * @return the input degree of this node, including the root references. - */ - int refInCount() const; - - /** - * Returns the total output degree of this node. - * - * @return the output degree of this node. - */ - int refOutCount() const; - - /** - * Returns the input degree for the given managed object. - * - * @param o is the node for which the input degree should be returned, - * nullptr if the number of root references is returned. - * @return the input degree of the node or the rootRefCount if nullptr - * is given as node. If the node is not found, zero is returned. - */ - int refInCount(Managed *o) const; - - /** - * Returns the output degree for the given node. - * - * @param o is the node for which the output degree should be returned. - * @return the output degree of the node. If the node is not found, zero - * is returned. - */ - int refOutCount(Managed *o) const; - - /** - * Increments the input or output degree for the represented managed - * object. - * - * @param dir describes the direction of the association. A value of - * "in", increments the input degree, otherwise increments the output - * degree. - * @param o is the managed object for which the input or output degree - * should be incremented. If the given object is null, the rootRefCount - * is incremented, independent of the dir parameter. - */ - void incrDegree(RefDir dir, Managed *o); - - /** - * Decrements the input or output degree for the given managed object. - * - * @param dir describes the direction of the association. A value of - * "in", increments the input degree, otherwise increments the output - * degree. - * @param o is the managed object for which the input or output degree - * should be incremented. If the given object is null, the rootRefCount - * is incremented, independent of the dir parameter. - * @param all specifies whether the degree of the reference to this - * object should be set to zero, no matter what the actual degree is. - * This parameter is used when the given object is deleted and all - * references to it should be purged, no matter what. - * @return true if the degree was sucessfully decremented. - */ - bool decrDegree(RefDir dir, Managed *o, bool all = false); -}; - -class Manager { -private: - /** - * Default sweep threshold. If the number of managed objects marked for - * sweeping reaches this threshold a garbage collection sweep is performed. - */ - static constexpr size_t SWEEP_THRESHOLD = 128; - -protected: - /** - * Threshold that defines the minimum number of entries in the "marked" - * set until "sweep" is called. - */ - const size_t threshold; - - /** - * Map used to store the descriptors for all managed objects. Every object - * that has at least one root, in or out reference has an entry in this map. - */ - std::unordered_map objects; - - /** - * Set containing the objects marked for sweeping. - */ - std::unordered_set marked; - - /** - * Set containing objects marked for deletion. - */ - std::unordered_set deleted; - - /** - * Recursion depth while performing deletion. This variable is needed - * because the deletion of an object may cause further objects to be - * deleted. Yet the actual deletion should only be performed at the - * uppermost recursion level. - */ - int deletionRecursionDepth = 0; - - /** - * Returns the object ObjectDescriptor for the given object from the objects map. - */ - ObjectDescriptor *getDescriptor(Managed *o); - - /** - * Purges the objects in the "deleted" set. - */ - void purgeDeleted(); - - /** - * Function used internally to delete a object and clean up all references - * in the object manager still pointing at it. - * - * @param o is the object that should be deleted. - * @param descr is a reference to the ObjectDescriptor of the given object. - */ - void deleteObject(Managed *o, ObjectDescriptor *descr); - - /** - * Internal version of the deleteRef function with an additional "all" - * parameter. Removes a reference to the given target object from the source - * object. - * - * @param tar is the target object for which the reference from the given - * source object should be removed. - * @param src is the source object from which the target object was - * referenced or nullptr if the target object is referenced from the local - * scope. - * @param all specifies whether all (src, tar) references should be deleted, - * independent of the actual cardinality. This is set to true, when the - * given object is deleted and all references to it should be purged, no - * matter what. - */ - void deleteRef(Managed *tar, Managed *src, bool all); - -public: - Manager() : threshold(SWEEP_THRESHOLD) {} - - Manager(size_t threshold) : threshold(threshold) {} - - /** - * Deletes all objects managed by this class. - */ - ~Manager(); - - /** - * Registers an object for being managed by the Manager. The Manager now has - * the sole responsibility for freeing the managed object. Under no - * circumstances free the object manually, this will result in double frees. - * - * @param o is the object which is registered for being used with the - * Manager. - */ - void manage(Managed *o); - - /** - * Stores a reference to the given target object from the given source - * object. If the source pointer is set to nullptr, this means that the - * target object is rooted (semantic: it is reachable from the current - * scope) and should not be collected. - * - * @param tar is the target object to which the reference from src should be - * stored. - * @param src is the source object from which the target object is - * referenced or nullptr if the target object is referenced from the local - * scope. - */ - void addRef(Managed *tar, Managed *src); - - /** - * Removes a reference to the given target object from the source object. - * - * @param tar is the target object for which the reference from the given - * source object should be removed. - * @param src is the source object from which the target object was - * referenced or nullptr if the target object is referenced from the local - * scope. - */ - void deleteRef(Managed *tar, Managed *src) { deleteRef(tar, src, false); } - - /** - * Performs garbage collection. - */ - void sweep(); -}; - -/** - * The Managed class represents a garbage collected object. Instances of the - * Managed class are managed (e.g. freed) by an instance of the Manager class. - * Never free instances of this class yourself (even by playing an instance of - * this class on the steck). Create any new instance of any managed object with - * the makeRooted and makeOwned functions. - */ -class Managed { -protected: - Manager &mgr; - -public: - Managed(Manager &mgr) : mgr(mgr) { mgr.manage(this); }; - - virtual ~Managed(){}; - - Manager &getManager() { return mgr; } - - template - Owned acquire(const Handle &h) - { - return Owned{h, this}; - } - - template - Owned acquire(Handle &&h) - { - return Owned{h, this}; - } - - template - Owned acquire(T *t) - { - return Owned{t, this}; - } -}; - -/** - * The Handle class is the base class for handles pointing at managed objects. - * It implements methods for comparing handles to each other and to pointers - * of the represented managed object type. Furthermore all other handle types - * and pointers can be conveniently converted to a Handle instance. However, - * the Handle class does not qualify the represented pointer for garbage - * collection. Thus the Handle class should only be used as type for input - * parameters in methods/functions and at no other ocasion. Use the Rooted or - * the Owned class if the represented object should actually be garbage - * collected. - */ -template -class Handle { -protected: - friend class Rooted; - friend class Owned; - - static_assert(std::is_convertible::value, "T must be a Managed"); - - /** - * Reference to the represented managed object. - */ - T *ptr; - -public: - /** - * Constructor of the base Handle class. - * - * @param ptr is the pointer to the managed object the Handle should - * represent. - */ - Handle(T *ptr) : ptr(ptr) {} - - /** - * Copies the given Handle to this Handle instance. - * - * @param h is the Handle that should be asigned to this instance. - */ - Handle(const Handle &h) : ptr(h.get()) {} - - /** - * Copies the given Handle for a managed object of a derived class to this - * Handle instance. - * - * @param h is the Handle that should be asigned to this instance. - */ - template - Handle(const Handle &h) - : ptr(h.get()) - { - } - - /** - * Returns the underlying pointer. - */ - T *get() const { return ptr; } - - /** - * Provides access to the underlying managed object. - */ - T *operator->() { return ptr; } - - /** - * Provides access to the underlying managed object for immutable handles. - */ - const T *operator->() const { return ptr; } - - /** - * Provides access to the underlying managed object. - */ - T &operator*() { return *ptr; } - - /** - * Provides access to the underlying managed object for immutable handles. - */ - const T &operator*() const { return *ptr; } - - /** - * Comparison operator between base Owned and base Owned. - */ - template - bool operator==(const Handle &h) const { return ptr == h.get(); } - - /** - * Comparison operator between base Owned and pointer. - */ - friend bool operator==(const Handle &h, const Managed *o) - { - return h.get() == o; - } - - /** - * Comparison operator between base Owned and pointer. - */ - friend bool operator==(const Managed *o, const Handle &h) - { - return o == h.get(); - } - - /** - * Returns true if the handle is the null pointer. - */ - bool isNull() const { return ptr == nullptr; } - - /** - * Returns true if the handle is the null pointer. - */ - bool operator!() const { return isNull(); } -}; - -/** - * A Rooted represents a directed, garbage collected pointer at a managed - * object. The lifetime of the represented managed object is guaranteed to be at - * least as long as the lifetime of the Rooted handle instance. - */ -template -class Rooted : public Handle { -private: - void addRef() - { - if (Handle::ptr) { - Handle::ptr->getManager().addRef(Handle::ptr, nullptr); - } - } - - void deleteRef() - { - if (Handle::ptr) { - Handle::ptr->getManager().deleteRef(Handle::ptr, nullptr); - } - } - -public: - /** - * Creates an empty Owned. - */ - Rooted() : Handle(nullptr){}; - - /** - * Copies the given Rooted to this Rooted instance. Both handles - * are indistinguishable after the operation. - * - * @param h is the Owned that should be asigned to this instance. - */ - Rooted(const Rooted &h) : Handle(h.ptr) { addRef(); } - - /** - * Move constructor. Moves the given rvalue Rooted to this instance. - * - * @param h is the Rooted to be moved to this instance. - */ - Rooted(Rooted &&h) : Handle(h.ptr) { h.ptr = nullptr; } - - /** - * Constructor of the Rooted class. - * - * @param ptr is the managed object the Rooted handle should represent. - */ - Rooted(T *ptr) : Handle(ptr) { addRef(); } - - /** - * Constructor of the Rooted class. - * - * @param h is another Rooted whose managed object should be used. - */ - template - Rooted(const Handle &h) - : Handle(h.get()) - { - addRef(); - } - - /** - * Assignment operator. Assigns the given Owned to this Owned instance. - * Both handles are indistinguishable after the operation. - * - * @param h is the Owned that should be asigned to this instance. - */ - Rooted &operator=(const Rooted &h) - { - deleteRef(); - this->ptr = h.ptr; - addRef(); - return *this; - } - - /** - * Move assignment operator. Moves the given rvalue Owned into this - * instance. - * - * @param h is the Owned to be moved to this instance. - */ - Rooted &operator=(Rooted &&h) - { - deleteRef(); - this->ptr = h.ptr; - h.ptr = nullptr; - return *this; - } - - /** - * Assignment operator. Assigns the given Owned to this Owned instance. - * Both handles are indistinguishable after the operation. - * - * @param h is the Owned that should be asigned to this instance. - */ - template - Rooted &operator=(const Handle &h) - { - deleteRef(); - this->ptr = h.get(); - addRef(); - return *this; - } - - /** - * Move assignment operator. Moves the given rvalue Owned into this - * instance. - * - * @param h is the Owned to be moved to this instance. - */ - Rooted &operator=(Handle &&h) - { - deleteRef(); - this->ptr = h.ptr; - h.ptr = nullptr; - return *this; - } - - /** - * Destructor of the Rooted class, deletes all refrences the class is - * still holding. - */ - ~Rooted() { deleteRef(); } -}; - -/** - * The Owned class represents a directed, garbage collected pointer at a managed - * instance. The lifetime of the represented managed object is guaranteed to be - * at last as long as the lifetime of the Managed instance which owns this - * reference. - */ -template -class Owned : public Handle { -private: - Managed *owner; - - void addRef() - { - if (Handle::ptr && owner) { - owner->getManager().addRef(Handle::ptr, owner); - } - } - - void deleteRef() - { - if (Handle::ptr && owner) { - owner->getManager().deleteRef(Handle::ptr, owner); - } - } - -public: - /** - * Creates an empty Owned. - */ - Owned() : Handle(nullptr), owner(nullptr){}; - - /** - * Copies the given Owned to this Owned instance. Both handles are - * indistinguishable after the operation. Note that especially the Owned - * owner is copied. - * - * @param h is the Owned that should be asigned to this instance. - */ - Owned(const Owned &h) : Handle(h.get()), owner(h.getOwner()) - { - addRef(); - } - - /** - * Copies the given Owned of another derived type to this Owned instance. - * Both handles are indistinguishable after the operation (except for the - * type). Note that especially the Owned owner is copied. - * - * @param h is the Owned that should be asigned to this instance. - */ - template - Owned(const Owned &h) - : Handle(h.get()), owner(h.getOwner()) - { - addRef(); - } - - /** - * Move constructor. Moves the given rvalue Owned to this instance. - * - * @param h is the Owned to be moved to this instance. - */ - Owned(Owned &&h) : Handle(h.get()), owner(h.getOwner()) - { - h.ptr = nullptr; - } - - /** - * Assignment operator. Assigns the given Owned to this Owned instance. - * Both handles are indistinguishable after the operation. Note that - * especially the Owned owner is copied. - * - * @param h is the Owned that should be asigned to this instance. - */ - Owned &operator=(const Owned &h) - { - deleteRef(); - this->ptr = h.ptr; - this->owner = h.getOwner(); - addRef(); - return *this; - } - - /** - * Move assignment operator. Moves the given rvalue Owned into this - * instance. - * - * @param h is the Owned to be moved to this instance. - */ - Owned &operator=(Owned &&h) - { - deleteRef(); - this->ptr = h.ptr; - this->owner = h.getOwner(); - h.ptr = nullptr; - return *this; - } - - /** - * Constructor of the Owned class. - * - * @param ptr is a pointer at the managed object the Owned handle should - * represent. - * @param owner is the managed object which owns this Owned handle instance. - * The managed object pointed to in the handle is guaranteed to live at - * least as long as the owner. - */ - Owned(T *ptr, Managed *owner) : Handle(ptr), owner(owner) { addRef(); } - - /** - * Constructor of the Owned class. - * - * @param h is another Owned whose managed object should be used. - * @param owner is the managed object which owns this Owned handle instance. - * The managed object pointed to in the handle is guaranteed to live at - * least as long as the owner. - */ - template - Owned(const Handle &h, Managed *owner) - : Handle(h.get()), owner(owner) - { - addRef(); - } - - /** - * Destructor of the Owned class, deletes all refrences the class is still - * holding. - */ - ~Owned() { deleteRef(); } - - /** - * Returns the reference to the owner of the Owned. - * - * @return the Owned owner. - */ - Managed *getOwner() const { return owner; } -}; - -} -} - -#endif /* _OUSIA_DOM_MANAGED_HPP_ */ - diff --git a/src/core/dom/Node.hpp b/src/core/dom/Node.hpp index 9c006a1..98a51d9 100644 --- a/src/core/dom/Node.hpp +++ b/src/core/dom/Node.hpp @@ -24,7 +24,7 @@ #include #include -#include "Managed.hpp" +#include namespace ousia { namespace dom { diff --git a/src/core/utils/CSSParser.cpp b/src/core/utils/CSSParser.cpp index e66eb34..1639152 100644 --- a/src/core/utils/CSSParser.cpp +++ b/src/core/utils/CSSParser.cpp @@ -44,11 +44,11 @@ static const TokenTreeNode CSS_ROOT{{{"{", CURLY_OPEN}, {"/*", COMMENT_OPEN}, {"*/", COMMENT_CLOSE}}}; -StyleNode CSSParser::parse(BufferedCharReader &input) { - Tokenizer tokenizer {input, CSS_ROOT}; - //TODO: implement - -} +//StyleNode CSSParser::parse(BufferedCharReader &input) { +// Tokenizer tokenizer {input, CSS_ROOT}; +// //TODO: implement +// +//} diff --git a/src/core/utils/CSSParser.hpp b/src/core/utils/CSSParser.hpp index 8db5cdd..0f9cd8f 100644 --- a/src/core/utils/CSSParser.hpp +++ b/src/core/utils/CSSParser.hpp @@ -24,6 +24,9 @@ #include #include +#include +#include + #include "BufferedCharReader.hpp" namespace ousia { @@ -62,14 +65,15 @@ bool operator==(const Specificity &x, const Specificity &y) return std::tie(x.b, x.c, x.d) == std::tie(y.b, y.c, y.d); } -class RuleSet { +class RuleSet : public Managed { private: const std::map values; const Specificity specificity; public: - RuleSet(std::map values, Specificity specificity) - : values(values), specificity(specificity) + RuleSet(Manager &mgr, std::map values, + Specificity specificity) + : Managed(mgr), values(std::move(values)), specificity(specificity) { } @@ -90,7 +94,7 @@ private: public: PseudoSelector(std::string name, std::vector args, bool generative) - : name(name), args(args), generative(generative) + : name(std::move(name)), args(std::move(args)), generative(generative) { } @@ -103,53 +107,52 @@ public: enum class SelectionOperator { DESCENDANT, DIRECT_DESCENDANT }; -// TODO: Subclass of Andreas' Node class -class StyleEdge { -private: - // TODO: This is wrong! Here we want to have a managed pointer as Andreas - // mentioned! - // const StyleNode target; - const SelectionOperator selectionOperator; - +class StyleNode : public dom::Node { public: - StyleEdge(/*StyleNode target,*/ SelectionOperator selectionOperator) - : /*target(target),*/ selectionOperator(selectionOperator) - { - } - - // const StyleNode &getTarget() const { return target; } + class StyleEdge : public Managed { + private: + Owned target; + const SelectionOperator selectionOperator; + + public: + StyleEdge(Manager &mgr, Handle target, + SelectionOperator selectionOperator) + : Managed(mgr), + target(acquire(target)), + selectionOperator(selectionOperator) + { + } + + Rooted getTarget() const { return target; } + + const SelectionOperator &getSelectionOperator() const + { + return selectionOperator; + } + }; - const SelectionOperator &getSelectionOperator() const - { - return selectionOperator; - } -}; - -// TODO: Subclass of Andreas' Node class -class StyleNode { private: - const std::string className; const PseudoSelector pseudoSelector; - const std::vector edges; - const std::vector ruleSets; + std::vector> edges; + const std::vector> ruleSets; public: - StyleNode(std::string className, PseudoSelector pseudoSelector, - std::vector edges, std::vector ruleSets) - : className(className), - pseudoSelector(pseudoSelector), - edges(edges), - ruleSets(ruleSets) + StyleNode(Manager &mgr, std::string name, + PseudoSelector pseudoSelector, + const std::vector> &edges, + const std::vector> &ruleSets) + : dom::Node(mgr, std::move(name)), + pseudoSelector(std::move(pseudoSelector)), + edges(acquire(edges)), + ruleSets(acquire(ruleSets)) { } - const std::string &getClassName() const { return className; } - const PseudoSelector &getPseudoSelector() const { return pseudoSelector; } - const std::vector &getEdges() const { return edges; } + const std::vector> &getEdges() const { return edges; } - const std::vector &getRuleSets() const { return ruleSets; } + const std::vector> &getRuleSets() const { return ruleSets; } }; class CSSParser { -- cgit v1.2.3