123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185 |
- // Copyright (C) 2010 Internet Systems Consortium, Inc. ("ISC")
- //
- // Permission to use, copy, modify, and/or distribute this software for any
- // purpose with or without fee is hereby granted, provided that the above
- // copyright notice and this permission notice appear in all copies.
- //
- // THE SOFTWARE IS PROVIDED "AS IS" AND ISC DISCLAIMS ALL WARRANTIES WITH
- // REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY
- // AND FITNESS. IN NO EVENT SHALL ISC BE LIABLE FOR ANY SPECIAL, DIRECT,
- // INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM
- // LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE
- // OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
- // PERFORMANCE OF THIS SOFTWARE.
- #ifndef _RBTREE_H
- #define _RBTREE_H 1
- //! \file datasrc/rbtree.h
- ///
- /// \note The purpose of the RBTree is to provide a generic map with
- /// domain names as the key that can be used by various BIND 10 modules or
- /// even by other applications. However, because of some unresolved design
- /// issue, the design and interface are not fixed, and RBTree isn't ready
- /// to be used as a base data structure by other modules.
- #include <dns/name.h>
- #include <boost/utility.hpp>
- #include <boost/shared_ptr.hpp>
- #include <exceptions/exceptions.h>
- #include <ostream>
- #include <algorithm>
- #include <cassert>
- namespace isc {
- namespace datasrc {
- namespace helper {
- /// \brief Helper function to remove the base domain from super domain.
- ///
- /// The precondition of this function is the super_name contains the
- /// sub_name so
- /// \code Name a("a.b.c");
- /// Name b("b.c");
- /// Name c = a - b;
- /// \endcode
- /// c will contain "a".
- ///
- /// \note Functions in this namespace is not intended to be used outside of
- /// RBTree implementation.
- inline isc::dns::Name
- operator-(const isc::dns::Name& super_name, const isc::dns::Name& sub_name) {
- return (super_name.split(0, super_name.getLabelCount() -
- sub_name.getLabelCount()));
- }
- }
- /// Forward declare RBTree class here is convinent for following friend
- /// class declare inside RBNode and RBTreeNodeChain
- template <typename T>
- class RBTree;
- /// \brief \c RBNode is used by RBTree to store any data related to one domain
- /// name.
- ///
- /// This is meant to be used only from RBTree. It is meaningless to inherit it
- /// or create instances of it from elsewhere. For that reason, the constructor
- /// is private.
- ///
- /// It serves three roles. One is to keep structure of the \c RBTree as a
- /// red-black tree. For that purpose, it has left, right and parent pointers
- /// and color member. These are private and accessed only from within the tree.
- ///
- /// The second one is to store data for one domain name. The data related
- /// functions can be used to access and set the data.
- ///
- /// The third role is to keep the hierarchy of domains. The down pointer points
- /// to a subtree of subdomains. Note that we can traverse the hierarchy down,
- /// but not up.
- ///
- /// One special kind of node is non-terminal node. It has subdomains with
- /// RRsets, but doesn't have any RRsets itself.
- template <typename T>
- class RBNode : public boost::noncopyable {
- private:
- /// The RBNode is meant for use from within RBTree, so it has access to
- /// it.
- friend class RBTree<T>;
- /// \name Constructors
- ///
- /// \note The existence of a RBNode without a RBTree is meaningless.
- /// Therefore the constructors are private.
- //@{
- /// \brief Default constructor.
- ///
- /// This constructor is provided specifically for generating a special
- /// "null" node.
- RBNode();
- /// \brief Constructor from the node name.
- ///
- /// \param name The *relative* domain name (if this will live inside
- /// a.b.c and is called d.e.a.b.c, then you pass d.e).
- RBNode(const isc::dns::Name& name);
- //@}
- public:
- /// \brief Alias for shared pointer to the data.
- typedef boost::shared_ptr<T> NodeDataPtr;
- /// \brief Destructor
- ///
- /// It might seem strange that constructors are private and destructor
- /// public, but this is needed because of shared pointers need access
- /// to the destructor.
- ///
- /// You should never call anything like:
- /// \code delete pointer_to_node; \endcode
- /// The RBTree handles both creation and destructoion of nodes.
- ~RBNode();
- /// \name Getter functions.
- //@{
- /// \brief Return the name of current node.
- ///
- /// It's relative to its containing node.
- ///
- /// To get the absolute name of one node, the node path from the top node
- /// to current node has to be recorded.
- const isc::dns::Name& getName() const { return (name_); }
- /// \brief Return the data stored in this node.
- ///
- /// You should not delete the data, it is handled by shared pointers.
- NodeDataPtr& getData() { return (data_); }
- /// \brief Return the data stored in this node.
- const NodeDataPtr& getData() const { return (data_); }
- /// \brief return whether the node has related data.
- ///
- /// There can be empty nodes inside the RBTree. They are usually the
- /// non-terminal domains, but it is possible (yet probably meaningless)
- /// empty nodes anywhere.
- bool isEmpty() const { return (data_.get() == NULL); }
- //@}
- /// \name Setter functions.
- //@{
- /// \brief Set the data stored in the node.
- void setData(const NodeDataPtr& data) { data_ = data; }
- //@}
- /// \name Callback related methods
- ///
- /// See the description of \c RBTree<T>::find() about callbacks.
- ///
- /// These methods never throw an exception.
- //@{
- /// Return if callback is enabled at the node.
- bool isCallbackEnabled() const { return (callback_required_); }
- /// Enable callback at the node.
- void enableCallback() { callback_required_ = true; }
- /// Disable callback at the node.
- void disableCallback() { callback_required_ = false; }
- //@}
- private:
- /// \brief Define rbnode color
- enum RBNodeColor {BLACK, RED};
- /// This is a factory class method of a special singleton null node.
- static RBNode<T>* NULL_NODE() {
- static RBNode<T> null_node;
- return (&null_node);
- }
- /// \brief return the next node which is bigger than current node
- /// in the same subtree
- ///
- /// The next successor for this node is the next bigger node in terms of
- /// the DNSSEC order relation within the same single subtree.
- /// Note that it may NOT be the next bigger node in the entire RBTree;
- /// RBTree is a tree in tree, and the real next node may reside in
- /// an upper or lower subtree of the subtree where this node belongs.
- /// For example, if this node has a sub domain, the real next node is
- /// the smallest node in the sub domain tree.
- ///
- /// If this node is the biggest node within the subtree, this method
- /// returns \c NULL_NODE().
- ///
- /// This method never throws an exception.
- const RBNode<T>* successor() const;
- /// \name Data to maintain the rbtree structure.
- //@{
- RBNode<T>* parent_;
- RBNode<T>* left_;
- RBNode<T>* right_;
- RBNodeColor color_;
- //@}
- /// \brief Relative name of the node.
- isc::dns::Name name_;
- /// \brief Data stored here.
- NodeDataPtr data_;
- /// \brief The subdomain tree.
- ///
- /// This points to the root node of trees of subdomains of this domain.
- ///
- /// \par Adding down pointer to \c RBNode has two purposes:
- /// \li Accelerate the search process, with sub domain tree, it splits the
- /// big flat tree into several hierarchy trees.
- /// \li It saves memory useage as it allows storing only relative names,
- /// avoiding storage of the same domain labels multiple times.
- RBNode<T>* down_;
- /// \brief If callback should be called when traversing this node in
- /// RBTree::find().
- ///
- /// \todo It might be needed to put it into more general attributes field.
- bool callback_required_;
- };
- // This is only to support NULL nodes.
- template <typename T>
- RBNode<T>::RBNode() :
- parent_(this),
- left_(this),
- right_(this),
- color_(BLACK),
- // dummy name, the value doesn't matter:
- name_(isc::dns::Name::ROOT_NAME()),
- down_(this),
- callback_required_(false)
- {
- }
- template <typename T>
- RBNode<T>::RBNode(const isc::dns::Name& name) :
- parent_(NULL_NODE()),
- left_(NULL_NODE()),
- right_(NULL_NODE()),
- color_(RED),
- name_(name),
- down_(NULL_NODE()),
- callback_required_(false)
- {
- }
- template <typename T>
- RBNode<T>::~RBNode() {
- }
- template <typename T>
- const RBNode<T>*
- RBNode<T>::successor() const {
- const RBNode<T>* current = this;
- // If it has right node, the successor is the left-most node of the right
- // subtree.
- if (right_ != NULL_NODE()) {
- current = right_;
- while (current->left_ != NULL_NODE()) {
- current = current->left_;
- }
- return (current);
- }
- // Otherwise go up until we find the first left branch on our path to
- // root. If found, the parent of the branch is the successor.
- // Otherwise, we return the null node
- const RBNode<T>* parent = current->parent_;
- while (parent != NULL_NODE() && current == parent->right_) {
- current = parent;
- parent = parent->parent_;
- }
- return (parent);
- }
- /// \brief RBTreeNodeChain is used to keep track of the sequence of
- /// nodes to reach any given node from the root of RBTree.
- ///
- /// Currently, RBNode does not have "up" pointers in them (i.e., back pointers
- /// from the root of one level of tree of trees to the node in the parent
- /// tree whose down pointer points to that root node) for memory usage
- /// reasons, so there is no other way to find the path back to the root from
- /// any given RBNode.
- ///
- /// \note This design may change in future versions. In particular, it's
- /// quite likely we want to have that pointer if we want to optimize name
- /// compression by exploiting the structure of the zone. If and when that
- /// happens we should also revisit the need for the chaining.
- ///
- /// RBTreeNodeChain is constructed and manipulated only inside the \c RBTree
- /// class.
- /// \c RBTree uses it as an inner data structure to iterate over the whole
- /// RBTree.
- /// This is the reason why manipulation methods such as \c push() and \c pop()
- /// are private (and not shown in the doxygen document).
- template <typename T>
- class RBTreeNodeChain {
- /// RBTreeNodeChain is initialized by RBTree, only RBTree has
- /// knowledge to manipuate it.
- friend class RBTree<T>;
- public:
- /// \name Constructors and Assignment Operator.
- ///
- /// \note The copy constructor and the assignment operator are
- /// intentionally defined as private, making this class non copyable.
- /// This may have to be changed in a future version with newer need.
- /// For now we explicitly disable copy to avoid accidental copy happens
- /// unintentionally.
- //{@
- /// The default constructor.
- ///
- /// \exception None
- RBTreeNodeChain() : node_count_(0) {}
- private:
- RBTreeNodeChain(const RBTreeNodeChain<T>&);
- RBTreeNodeChain<T>& operator=(const RBTreeNodeChain<T>&);
- //@}
- public:
- /// \brief Return the number of levels stored in the chain.
- ///
- /// It's equal to the number of nodes in the chain; for an empty
- /// chain, 0 will be returned.
- ///
- /// \exception None
- unsigned int getLevelCount() const { return (node_count_); }
- /// \brief return the absolute name for the node which this
- /// \c RBTreeNodeChain currently refers to.
- ///
- /// The chain must not be empty.
- ///
- /// \exception isc::BadValue the chain is empty.
- /// \exception std::bad_alloc memory allocation for the new name fails.
- isc::dns::Name getAbsoluteName() const {
- if (isEmpty()) {
- isc_throw(isc::BadValue,
- "RBTreeNodeChain::getAbsoluteName is called on an empty "
- "chain");
- }
- const RBNode<T>* top_node = top();
- isc::dns::Name absolute_name = top_node->getName();
- int node_count = node_count_ - 1;
- while (node_count > 0) {
- top_node = nodes_[node_count - 1];
- absolute_name = absolute_name.concatenate(top_node->getName());
- --node_count;
- }
- return (absolute_name);
- }
- private:
- // the following private functions check invariants about the internal
- // state using assert() instead of exception. The state of a chain
- // can only be modified operations within this file, so if any of the
- // assumptions fails it means an internal bug.
- /// \brief return whther node chain has node in it.
- ///
- /// \exception None
- bool isEmpty() const { return (node_count_ == 0); }
- /// \brief return the top node for the node chain
- ///
- /// RBTreeNodeChain store all the nodes along top node to
- /// root node of RBTree
- ///
- /// \exception None
- const RBNode<T>* top() const {
- assert(!isEmpty());
- return (nodes_[node_count_ - 1]);
- }
- /// \brief pop the top node from the node chain
- ///
- /// After pop, up/super node of original top node will be
- /// the top node
- ///
- /// \exception None
- void pop() {
- assert(!isEmpty());
- --node_count_;
- }
- /// \brief add the node into the node chain
- ///
- /// If the node chain isn't empty, the node should be
- /// the sub domain of the original top node in node chain
- /// otherwise the node should be the root node of RBTree.
- ///
- /// \exception None
- void push(const RBNode<T>* node) {
- assert(node_count_ < RBT_MAX_LEVEL);
- nodes_[node_count_++] = node;
- }
- private:
- // The max label count for one domain name is Name::MAX_LABELS (128).
- // Since each node in rbtree stores at least one label, and the root
- // name always shares the same level with some others (which means
- // all top level nodes except the one for the root name contain at least
- // two labels), the possible maximum level is MAX_LABELS - 1.
- // It's also the possible maximum nodes stored in a chain.
- const static int RBT_MAX_LEVEL = isc::dns::Name::MAX_LABELS - 1;
- const RBNode<T>* nodes_[RBT_MAX_LEVEL];
- int node_count_;
- };
- // note: the following class description is documented using multiline comments
- // because the verbatim diagram contain a backslash, which could be interpreted
- // as escape of newline in singleline comment.
- /**
- * \brief \c RBTree class represents all the domains with the same suffix.
- * It can be used to store the domains in one zone, for example.
- *
- * RBTree is a generic map from domain names to any kind of data. Internally,
- * it uses a red-black tree. However, it isn't one tree containing everything.
- * Subdomains are trees, so this structure is recursive - trees inside trees.
- * But, from the interface point of view, it is opaque data structure.
- *
- * \c RBTree splits the domain space into hierarchy red black trees; nodes
- * in one tree has the same base name. The benefit of this struct is that:
- * - Enhances the query performace compared with one big flat red black tree.
- * - Decreases the memory footprint, as it doesn't store the suffix labels
- * multiple times.
- *
- * Depending on different usage, rbtree will support different search policies.
- * Whether to return an empty node to end user is one policy among them.
- * The default policy is to NOT return an empty node to end user;
- * to change the behavior, specify \c true for the constructor parameter
- * \c returnEmptyNode.
- * \note The search policy only affects the \c find() behavior of RBTree.
- * When inserting one name into RBTree, if the node with the name already
- * exists in the RBTree and it's an empty node which doesn't have any data,
- * the \c insert() method will still return \c ALREADYEXISTS regardless of
- * the search policy.
- *
- * \anchor diagram
- *
- * with the following names:
- * - a
- * - b
- * - c
- * - x.d.e.f
- * - z.d.e.f
- * - g.h
- * - o.w.y.d.e.f
- * - p.w.y.d.e.f
- * - q.w.y.d.e.f
- *
- * the tree will look like:
- * \verbatim
- b
- / \
- a d.e.f
- /|\
- c | g.h
- |
- w.y
- /|\
- x | z
- |
- p
- / \
- o q
- \endverbatim
- * \todo
- * - add remove interface
- * - add iterator to iterate over the whole \c RBTree. This may be necessary,
- * for example, to support AXFR.
- */
- template <typename T>
- class RBTree : public boost::noncopyable {
- friend class RBNode<T>;
- public:
- /// \brief The return value for the \c find() and insert() methods
- enum Result {
- SUCCESS, ///< Insert was successful
- /// \brief The node returned from find mathes exactly the name given
- EXACTMATCH,
- PARTIALMATCH, ///< A superdomain node was found
- NOTFOUND, ///< Not even any superdomain was found
- /// \brief Returned by insert() if a node of the name already exists
- ALREADYEXISTS,
- };
- /// \name Constructor and Destructor
- //@{
- /// The constructor.
- ///
- /// It never throws an exception.
- explicit RBTree(bool returnEmptyNode = false);
- /// \b Note: RBTree is not intended to be inherited so the destructor
- /// is not virtual
- ~RBTree();
- //@}
- /// \name Find methods
- ///
- /// \brief Find the node that gives a longest match against the given name.
- ///
- /// \anchor find
- ///
- /// These methods search the RBTree for a node whose name is longest
- /// against name. The found node, if any, is returned via the node pointer.
- ///
- /// By default, nodes that don't have data (see RBNode::isEmpty) are
- /// ignored and the result can be NOTFOUND even if there's a node whose
- /// name matches. If the \c RBTree is constructed with its
- /// \c returnEmptyNode parameter being \c true, an empty node will also
- /// be match candidates.
- ///
- /// \note Even when \c returnEmptyNode is \c true, not all empty nodes
- /// in terms of the DNS protocol may necessarily be found by this method.
- /// For example, in the \ref diagram shown in the class description,
- /// the name y.d.e.f is logically contained in the tree as part of the
- /// node w.y, but the \c find() variants cannot find the former for
- /// the search key of y.d.e.f, no matter how the \c RBTree is constructed.
- /// The caller of this method must use a different way to identify the
- /// hidden match when necessary.
- ///
- /// These methods involve operations on names that can throw an exception.
- /// If that happens the exception will be propagated to the caller.
- /// The callback function should generally not throw an exception, but
- /// if it throws, the exception will be propagated to the caller.
- ///
- /// The \c name parameter says what should be found. The node parameter
- /// is output only and in case of EXACTMATCH and PARTIALMATCH, it is set
- /// to a pointer to the found node.
- ///
- /// They return:
- /// - EXACTMATCH when a node with the same name as requested exists.
- /// - PARTIALMATCH when a node with the same name does not exist (or is
- /// empty), but there's a (nonempty) superdomain of the requested one.
- /// The superdomain with longest name is returned through the node
- /// parameter. Beware that if you store a zone in the tree, you may get
- /// PARTIALMATCH with zone apex when the given domain name is not there.
- /// You should not try to delegate into another zone in that case.
- /// - NOTFOUND if there's no node with the same name nor any superdomain
- /// of it. In that case, node parameter is left intact.
- //@{
- /// \brief Simple find.
- ///
- /// Acts as described in the \ref find section.
- Result find(const isc::dns::Name& name, RBNode<T>** node) const {
- RBTreeNodeChain<T> node_path;
- return (find<void*>(name, node, node_path, NULL, NULL));
- }
- /// \brief Simple find returning immutable node.
- ///
- /// Acts as described in the \ref find section, but returns immutable node
- /// pointer.
- Result find(const isc::dns::Name& name, const RBNode<T>** node) const {
- RBTreeNodeChain<T> node_path;
- RBNode<T> *target_node = NULL;
- Result ret = (find<void*>(name, &target_node, node_path, NULL, NULL));
- if (ret != NOTFOUND) {
- *node = target_node;
- }
- return (ret);
- }
- /// \brief Find with callback and node chain.
- ///
- /// This version of \c find() is specifically designed for the backend
- /// of the \c MemoryZone class, and implements all necessary features
- /// for that purpose. Other applications shouldn't need these additional
- /// features, and should normally use the simpler versions.
- ///
- /// This version of \c find() calls the callback whenever traversing (on
- /// the way from root down the tree) a marked node on the way down through
- /// the domain namespace (see RBNode::enableCallback and related
- /// functions).
- ///
- /// If you return true from the callback, the search is stopped and a
- /// PARTIALMATCH is returned with the given node. Note that this node
- /// doesn't really need to be the one with longest possible match.
- ///
- /// This callback mechanism was designed with zone cut (delegation)
- /// processing in mind. The marked nodes would be the ones at delegation
- /// points. It is not expected that any other applications would need
- /// callbacks; they should use the versions of find without callbacks.
- /// The callbacks are not general functors for the same reason - we don't
- /// expect it to be needed.
- ///
- /// Another special feature of this version is the ability to provide
- /// a node chain containing a path to the found node. The chain will be
- /// returned via the \c node_path parameter.
- /// The passed parameter must be empty.
- /// On success, it will contain all the ancestor nodes from the found
- /// node towards the root.
- /// For example, if we look for o.w.y.d.e.f in the example \ref diagram,
- /// \c node_path will contain w.y and d.e.f; the \c top() node of the
- /// chain will be o, w.f and d.e.f will be stored below it.
- ///
- /// This feature can be used to get the absolute name for a node;
- /// to do so, we need to travel upside from the node toward the root,
- /// concatenating all ancestor names. With the current implementation
- /// it's not possible without a node chain, because there is a no pointer
- /// from the root of a subtree to the parent subtree (this may change
- /// in a future version). A node chain can also be used to find the next
- /// node of a given node in the entire RBTree; the \c nextNode() method
- /// takes a node chain as a parameter.
- ///
- /// \exception isc::BadValue node_path is not empty.
- ///
- /// \param name Target to be found
- /// \param node On success (either \c EXACTMATCH or \c PARTIALMATCH)
- /// it will store a pointer to the matching node
- /// \param node_path It will store all the ancestor nodes in the RBTree
- /// from the found node to the root. The found node is stored.
- /// \param callback If non \c NULL, a call back function to be called
- /// at marked nodes (see above).
- /// \param callback_arg A caller supplied argument to be passed to
- /// \c callback.
- ///
- /// \return As described above, but in case of callback returning true,
- /// it returns immediately with the current node.
- template <typename CBARG>
- Result find(const isc::dns::Name& name,
- RBNode<T>** node,
- RBTreeNodeChain<T>& node_path,
- bool (*callback)(const RBNode<T>&, CBARG),
- CBARG callback_arg) const;
- /// \brief Simple find returning immutable node.
- ///
- /// Acts as described in the \ref find section, but returns immutable
- /// node pointer.
- template <typename CBARG>
- Result find(const isc::dns::Name& name,
- const RBNode<T>** node,
- RBTreeNodeChain<T>& node_path,
- bool (*callback)(const RBNode<T>&, CBARG),
- CBARG callback_arg) const
- {
- RBNode<T>* target_node = NULL;
- Result ret = find(name, &target_node, node_path, callback,
- callback_arg);
- if (ret != NOTFOUND) {
- *node = target_node;
- }
- return (ret);
- }
- //@}
- /// \brief return the next bigger node in DNSSEC order from a given node
- /// chain.
- ///
- /// This method identifies the next bigger node of the node currently
- /// referenced in \c node_path and returns it.
- /// This method also updates the passed \c node_path so that it will store
- /// the path for the returned next node.
- /// It will be convenient when we want to iterate over the all nodes
- /// of \c RBTree; we can do this by calling this method repeatedly
- /// starting from the root node.
- ///
- /// \note \c nextNode() will iterate over all the nodes in RBTree including
- /// empty nodes. If empty node isn't desired, it's easy to add logic to
- /// check return node and keep invoking \c nextNode() until the non-empty
- /// node is retrieved.
- ///
- /// \exception isc::BadValue node_path is empty.
- ///
- /// \param node_path A node chain that stores all the nodes along the path
- /// from root to node.
- ///
- /// \return An \c RBNode that is next bigger than \c node; if \c node is
- /// the largest, \c NULL will be returned.
- const RBNode<T>* nextNode(RBTreeNodeChain<T>& node_path) const;
- /// \brief Get the total number of nodes in the tree
- ///
- /// It includes nodes internally created as a result of adding a domain
- /// name that is a subdomain of an existing node of the tree.
- /// This function is mainly intended to be used for debugging.
- int getNodeCount() const { return (node_count_); }
- /// \name Debug function
- //@{
- /// \brief Print the nodes in the trees.
- ///
- /// \param os A \c std::ostream object to which the tree is printed.
- /// \param depth A factor of the initial indentation. Each line
- /// will begin with space character repeating <code>5 * depth</code>
- /// times.
- void dumpTree(std::ostream& os, unsigned int depth = 0) const;
- //@}
- /// \name Modify functions
- //@{
- /// \brief Insert the domain name into the tree.
- ///
- /// It either finds an already existing node of the given name or inserts
- /// a new one, if none exists yet. In any case, the inserted_node parameter
- /// is set to point to that node. You can fill data into it or modify it.
- /// So, if you don't know if a node exists or not and you need to modify
- /// it, just call insert and act by the result.
- ///
- /// Please note that the tree can add some empty nodes by itself, so don't
- /// assume that if you didn't insert a node of that name it doesn't exist.
- ///
- /// This method normally involves resource allocation. If it fails
- /// the corresponding standard exception will be thrown.
- ///
- /// This method does not provide the strong exception guarantee in its
- /// strict sense; if an exception is thrown in the middle of this
- /// method, the internal structure may change. However, it should
- /// still retain the same property as a mapping container before this
- /// method is called. For example, the result of \c find() should be
- /// the same. This method provides the weak exception guarantee in its
- /// normal sense.
- ///
- /// \param name The name to be inserted into the tree.
- /// \param inserted_node This is an output parameter and is set to the
- /// node.
- ///
- /// \return
- /// - SUCCESS The node was added.
- /// - ALREADYEXISTS There was already a node of that name, so it was not
- /// added.
- Result insert(const isc::dns::Name& name, RBNode<T>** inserted_node);
- /// \brief Swaps two tree's contents.
- ///
- /// This acts the same as many std::*.swap functions, exchanges the
- /// contents. This doesn't throw anything.
- void swap(RBTree<T>& other) {
- std::swap(root_, other.root_);
- std::swap(NULLNODE, other.NULLNODE);
- std::swap(node_count_, other.node_count_);
- }
- //@}
- private:
- /// \name RBTree balance functions
- //@{
- void insertRebalance(RBNode<T>** root, RBNode<T>* node);
- RBNode<T>* rightRotate(RBNode<T>** root, RBNode<T>* node);
- RBNode<T>* leftRotate(RBNode<T>** root, RBNode<T>* node);
- //@}
- /// \name Helper functions
- //@{
- /// \brief delete tree whose root is equal to node
- void deleteHelper(RBNode<T> *node);
- /// \brief Print the information of given RBNode.
- void dumpTreeHelper(std::ostream& os, const RBNode<T>* node,
- unsigned int depth) const;
- /// \brief Indentation helper function for dumpTree
- static void indent(std::ostream& os, unsigned int depth);
- /// Split one node into two nodes, keep the old node and create one new
- /// node, old node will hold the base name, new node will be the down node
- /// of old node, new node will hold the sub_name, the data
- /// of old node will be move into new node, and old node became non-terminal
- void nodeFission(RBNode<T>& node, const isc::dns::Name& sub_name);
- //@}
- RBNode<T>* NULLNODE;
- RBNode<T>* root_;
- /// the node count of current tree
- unsigned int node_count_;
- /// search policy for rbtree
- const bool needsReturnEmptyNode_;
- };
- template <typename T>
- RBTree<T>::RBTree(bool returnEmptyNode) :
- NULLNODE(RBNode<T>::NULL_NODE()),
- root_(NULLNODE),
- node_count_(0),
- needsReturnEmptyNode_(returnEmptyNode)
- {
- }
- template <typename T>
- RBTree<T>::~RBTree() {
- deleteHelper(root_);
- assert(node_count_ == 0);
- }
- template <typename T>
- void
- RBTree<T>::deleteHelper(RBNode<T>* root) {
- if (root == NULLNODE) {
- return;
- }
- RBNode<T>* node = root;
- while (root->left_ != NULLNODE || root->right_ != NULLNODE) {
- while (node->left_ != NULLNODE || node->right_ != NULLNODE) {
- node = (node->left_ != NULLNODE) ? node->left_ : node->right_;
- }
- RBNode<T>* parent = node->parent_;
- if (parent->left_ == node) {
- parent->left_ = NULLNODE;
- } else {
- parent->right_ = NULLNODE;
- }
- deleteHelper(node->down_);
- delete node;
- --node_count_;
- node = parent;
- }
- deleteHelper(root->down_);
- delete root;
- --node_count_;
- }
- template <typename T>
- template <typename CBARG>
- typename RBTree<T>::Result
- RBTree<T>::find(const isc::dns::Name& target_name,
- RBNode<T>** target,
- RBTreeNodeChain<T>& node_path,
- bool (*callback)(const RBNode<T>&, CBARG),
- CBARG callback_arg) const
- {
- using namespace helper;
- if (!node_path.isEmpty()) {
- isc_throw(isc::BadValue, "RBTree::find is given a non empty chain");
- }
- RBNode<T>* node = root_;
- Result ret = NOTFOUND;
- isc::dns::Name name = target_name;
- while (node != NULLNODE) {
- const isc::dns::NameComparisonResult compare_result =
- name.compare(node->name_);
- const isc::dns::NameComparisonResult::NameRelation relation =
- compare_result.getRelation();
- if (relation == isc::dns::NameComparisonResult::EQUAL) {
- if (needsReturnEmptyNode_ || !node->isEmpty()) {
- node_path.push(node);
- *target = node;
- ret = EXACTMATCH;
- }
- break;
- } else {
- const int common_label_count = compare_result.getCommonLabels();
- // If the common label count is 1, there is no common label between
- // the two names, except the trailing "dot".
- if (common_label_count == 1) {
- node = (compare_result.getOrder() < 0) ?
- node->left_ : node->right_;
- } else if (relation == isc::dns::NameComparisonResult::SUBDOMAIN) {
- if (needsReturnEmptyNode_ || !node->isEmpty()) {
- ret = PARTIALMATCH;
- *target = node;
- if (callback != NULL && node->callback_required_) {
- if ((callback)(*node, callback_arg)) {
- break;
- }
- }
- }
- node_path.push(node);
- name = name - node->name_;
- node = node->down_;
- } else {
- break;
- }
- }
- }
- return (ret);
- }
- template <typename T>
- const RBNode<T>*
- RBTree<T>::nextNode(RBTreeNodeChain<T>& node_path) const {
- if (node_path.isEmpty()) {
- isc_throw(isc::BadValue, "RBTree::nextNode is given an empty chain");
- }
- const RBNode<T>* node = node_path.top();
- // if node has sub domain, the next domain is the smallest
- // domain in sub domain tree
- if (node->down_ != NULLNODE) {
- const RBNode<T>* left_most = node->down_;
- while (left_most->left_ != NULLNODE) {
- left_most = left_most->left_;
- }
- node_path.push(left_most);
- return (left_most);
- }
- // node_path go to up level
- node_path.pop();
- // otherwise found the successor node in current level
- const RBNode<T>* successor = node->successor();
- if (successor != NULLNODE) {
- node_path.push(successor);
- return (successor);
- }
- // if no successor found move to up level, the next successor
- // is the successor of up node in the up level tree, if
- // up node doesn't have successor we gonna keep moving to up
- // level
- while (!node_path.isEmpty()) {
- const RBNode<T>* up_node_successor = node_path.top()->successor();
- node_path.pop();
- if (up_node_successor != NULLNODE) {
- node_path.push(up_node_successor);
- return (up_node_successor);
- }
- }
- return (NULL);
- }
- template <typename T>
- typename RBTree<T>::Result
- RBTree<T>::insert(const isc::dns::Name& target_name, RBNode<T>** new_node) {
- using namespace helper;
- RBNode<T>* parent = NULLNODE;
- RBNode<T>* current = root_;
- RBNode<T>* up_node = NULLNODE;
- isc::dns::Name name = target_name;
- int order = -1;
- while (current != NULLNODE) {
- const isc::dns::NameComparisonResult compare_result =
- name.compare(current->name_);
- const isc::dns::NameComparisonResult::NameRelation relation =
- compare_result.getRelation();
- if (relation == isc::dns::NameComparisonResult::EQUAL) {
- if (new_node != NULL) {
- *new_node = current;
- }
- return (ALREADYEXISTS);
- } else {
- const int common_label_count = compare_result.getCommonLabels();
- if (common_label_count == 1) {
- parent = current;
- order = compare_result.getOrder();
- current = order < 0 ? current->left_ : current->right_;
- } else {
- // insert sub domain to sub tree
- if (relation == isc::dns::NameComparisonResult::SUBDOMAIN) {
- parent = NULLNODE;
- up_node = current;
- name = name - current->name_;
- current = current->down_;
- } else {
- // The number of labels in common is fewer
- // than the number of labels at the current
- // node, so the current node must be adjusted
- // to have just the common suffix, and a down
- // pointer made to a new tree.
- const isc::dns::Name common_ancestor = name.split(
- name.getLabelCount() - common_label_count,
- common_label_count);
- nodeFission(*current, common_ancestor);
- }
- }
- }
- }
- RBNode<T>** current_root = (up_node != NULLNODE) ?
- &(up_node->down_) : &root_;
- // using auto_ptr here is avoid memory leak in case of exceptoin raised
- // after the RBNode creation, if we can make sure no exception will be
- // raised until the end of the function, we can remove it for optimization
- std::auto_ptr<RBNode<T> > node(new RBNode<T>(name));
- node->parent_ = parent;
- if (parent == NULLNODE) {
- *current_root = node.get();
- //node is the new root of sub tree, so its init color
- // is BLACK
- node->color_ = RBNode<T>::BLACK;
- } else if (order < 0) {
- parent->left_ = node.get();
- } else {
- parent->right_ = node.get();
- }
- insertRebalance(current_root, node.get());
- if (new_node != NULL) {
- *new_node = node.get();
- }
- ++node_count_;
- node.release();
- return (SUCCESS);
- }
- template <typename T>
- void
- RBTree<T>::nodeFission(RBNode<T>& node, const isc::dns::Name& base_name) {
- using namespace helper;
- const isc::dns::Name sub_name = node.name_ - base_name;
- // using auto_ptr here is to avoid memory leak in case of exception raised
- // after the RBNode creation
- std::auto_ptr<RBNode<T> > down_node(new RBNode<T>(sub_name));
- node.name_ = base_name;
- // the rest of this function should be exception free so that it keeps
- // consistent behavior (i.e., a weak form of strong exception guarantee)
- // even if code after the call to this function throws an exception.
- std::swap(node.data_, down_node->data_);
- std::swap(node.callback_required_, down_node->callback_required_);
- down_node->down_ = node.down_;
- node.down_ = down_node.get();
- // root node of sub tree, the initial color is BLACK
- down_node->color_ = RBNode<T>::BLACK;
- ++node_count_;
- down_node.release();
- }
- template <typename T>
- void
- RBTree<T>::insertRebalance(RBNode<T>** root, RBNode<T>* node) {
- RBNode<T>* uncle;
- while (node != *root && node->parent_->color_ == RBNode<T>::RED) {
- if (node->parent_ == node->parent_->parent_->left_) {
- uncle = node->parent_->parent_->right_;
- if (uncle->color_ == RBNode<T>::RED) {
- node->parent_->color_ = RBNode<T>::BLACK;
- uncle->color_ = RBNode<T>::BLACK;
- node->parent_->parent_->color_ = RBNode<T>::RED;
- node = node->parent_->parent_;
- } else {
- if (node == node->parent_->right_) {
- node = node->parent_;
- leftRotate(root, node);
- }
- node->parent_->color_ = RBNode<T>::BLACK;
- node->parent_->parent_->color_ = RBNode<T>::RED;
- rightRotate(root, node->parent_->parent_);
- }
- } else {
- uncle = node->parent_->parent_->left_;
- if (uncle->color_ == RBNode<T>::RED) {
- node->parent_->color_ = RBNode<T>::BLACK;
- uncle->color_ = RBNode<T>::BLACK;
- node->parent_->parent_->color_ = RBNode<T>::RED;
- node = node->parent_->parent_;
- } else {
- if (node == node->parent_->left_) {
- node = node->parent_;
- rightRotate(root, node);
- }
- node->parent_->color_ = RBNode<T>::BLACK;
- node->parent_->parent_->color_ = RBNode<T>::RED;
- leftRotate(root, node->parent_->parent_);
- }
- }
- }
- (*root)->color_ = RBNode<T>::BLACK;
- }
- template <typename T>
- RBNode<T>*
- RBTree<T>::leftRotate(RBNode<T>** root, RBNode<T>* node) {
- RBNode<T>* right = node->right_;
- node->right_ = right->left_;
- if (right->left_ != NULLNODE)
- right->left_->parent_ = node;
- right->parent_ = node->parent_;
- if (node->parent_ != NULLNODE) {
- if (node == node->parent_->left_) {
- node->parent_->left_ = right;
- } else {
- node->parent_->right_ = right;
- }
- } else {
- *root = right;
- }
- right->left_ = node;
- node->parent_ = right;
- return (node);
- }
- template <typename T>
- RBNode<T>*
- RBTree<T>::rightRotate(RBNode<T>** root, RBNode<T>* node) {
- RBNode<T>* left = node->left_;
- node->left_ = left->right_;
- if (left->right_ != NULLNODE)
- left->right_->parent_ = node;
- left->parent_ = node->parent_;
- if (node->parent_ != NULLNODE) {
- if (node == node->parent_->right_) {
- node->parent_->right_ = left;
- } else {
- node->parent_->left_ = left;
- }
- } else {
- *root = left;
- }
- left->right_ = node;
- node->parent_ = left;
- return (node);
- }
- template <typename T>
- void
- RBTree<T>::dumpTree(std::ostream& os, unsigned int depth) const {
- indent(os, depth);
- os << "tree has " << node_count_ << " node(s)\n";
- dumpTreeHelper(os, root_, depth);
- }
- template <typename T>
- void
- RBTree<T>::dumpTreeHelper(std::ostream& os, const RBNode<T>* node,
- unsigned int depth) const
- {
- if (node == NULLNODE) {
- indent(os, depth);
- os << "NULL\n";
- return;
- }
- indent(os, depth);
- os << node->name_.toText() << " ("
- << ((node->color_ == RBNode<T>::BLACK) ? "black" : "red") << ")";
- os << ((node->isEmpty()) ? "[invisible] \n" : "\n");
- if (node->down_ != NULLNODE) {
- indent(os, depth + 1);
- os << "begin down from " << node->name_.toText() << "\n";
- dumpTreeHelper(os, node->down_, depth + 1);
- indent(os, depth + 1);
- os << "end down from " << node->name_.toText() << "\n";
- }
- dumpTreeHelper(os, node->left_, depth + 1);
- dumpTreeHelper(os, node->right_, depth + 1);
- }
- template <typename T>
- void
- RBTree<T>::indent(std::ostream& os, unsigned int depth) {
- static const unsigned int INDENT_FOR_EACH_DEPTH = 5;
- os << std::string(depth * INDENT_FOR_EACH_DEPTH, ' ');
- }
- }
- }
- #endif // _RBTREE_H
- // Local Variables:
- // mode: c++
- // End:
|