honey_inverter.h

Go to the documentation of this file.

 
/* Copyright (C) 2009,2010,2013,2014,2023,2024 Olly Betts
 *
 * 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 2 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
 * <https://www.gnu.org/licenses/>.
 */
 
#ifndef XAPIAN_INCLUDED_HONEY_INVERTER_H
#define XAPIAN_INCLUDED_HONEY_INVERTER_H
 
#include "xapian/types.h"
 
#include "api/smallvector.h"
 
#include <map>
#include <string>
#include <vector>
 
#include "negate_unsigned.h"
#include "omassert.h"
#include "str.h"
#include "xapian/error.h"
 
class HoneyPostListTable;
class HoneyPositionTable;
 
namespace Xapian {
class TermIterator;
}
 
class HoneyInverter {
    friend class HoneyPostListTable;
 
    static const Xapian::termcount DELETED_POSTING = Xapian::termcount(-1);
 
    class PostingChanges {
        friend class HoneyPostListTable;
 
        Xapian::termcount tf_delta;
 
        Xapian::termcount cf_delta;
 
        std::map<Xapian::docid, Xapian::termcount> pl_changes;
 
      public:
        PostingChanges(Xapian::docid did, Xapian::termcount wdf)
            : tf_delta(1), cf_delta(wdf)
        {
            pl_changes.insert(std::make_pair(did, wdf));
        }
 
        PostingChanges(Xapian::docid did, Xapian::termcount wdf, bool)
            : tf_delta(UNSIGNED_OVERFLOW_OK(-1)),
              cf_delta(negate_unsigned(wdf))
        {
            pl_changes.insert(std::make_pair(did, DELETED_POSTING));
        }
 
        PostingChanges(Xapian::docid did, Xapian::termcount old_wdf,
                       Xapian::termcount new_wdf)
            : tf_delta(0),
              cf_delta(UNSIGNED_OVERFLOW_OK(new_wdf - old_wdf))
        {
            pl_changes.insert(std::make_pair(did, new_wdf));
        }
 
        void add_posting(Xapian::docid did, Xapian::termcount wdf) {
            // May overflow past 0.
            UNSIGNED_OVERFLOW_OK(++tf_delta);
            UNSIGNED_OVERFLOW_OK(cf_delta += wdf);
            // Add did to term's postlist
            pl_changes[did] = wdf;
        }
 
        void remove_posting(Xapian::docid did, Xapian::termcount wdf) {
            // May overflow past 0.
            UNSIGNED_OVERFLOW_OK(--tf_delta);
            UNSIGNED_OVERFLOW_OK(cf_delta -= wdf);
            // Remove did from term's postlist.
            pl_changes[did] = DELETED_POSTING;
        }
 
        void update_posting(Xapian::docid did, Xapian::termcount old_wdf,
                            Xapian::termcount new_wdf) {
            UNSIGNED_OVERFLOW_OK(cf_delta += new_wdf - old_wdf);
            pl_changes[did] = new_wdf;
        }
 
        Xapian::termcount get_tfdelta() const { return tf_delta; }
 
        Xapian::termcount get_cfdelta() const { return cf_delta; }
    };
 
    std::map<std::string, PostingChanges, std::less<>> postlist_changes;
 
    mutable int has_positions_cache = -1;
 
    std::map<std::string,
             std::map<Xapian::docid, std::string>,
             std::less<>> pos_changes;
 
    void store_positions(const HoneyPositionTable& position_table,
                         Xapian::docid did,
                         std::string_view term,
                         const Xapian::VecCOW<Xapian::termpos>& posvec,
                         bool modifying);
 
    void set_positionlist(Xapian::docid did,
                          std::string_view term,
                          std::string_view s);
 
  public:
    std::map<Xapian::docid, Xapian::termcount> doclen_changes;
 
  public:
    void add_posting(Xapian::docid did, const std::string& term,
                     Xapian::doccount wdf) {
        auto i = postlist_changes.find(term);
        if (i == postlist_changes.end()) {
            postlist_changes.insert(
                std::make_pair(term, PostingChanges(did, wdf)));
        } else {
            i->second.add_posting(did, wdf);
        }
    }
 
    void remove_posting(Xapian::docid did, const std::string& term,
                        Xapian::doccount wdf) {
        auto i = postlist_changes.find(term);
        if (i == postlist_changes.end()) {
            postlist_changes.insert(
                std::make_pair(term, PostingChanges(did, wdf, false)));
        } else {
            i->second.remove_posting(did, wdf);
        }
    }
 
    void update_posting(Xapian::docid did, const std::string& term,
                        Xapian::termcount old_wdf,
                        Xapian::termcount new_wdf) {
        auto i = postlist_changes.find(term);
        if (i == postlist_changes.end()) {
            postlist_changes.insert(
                std::make_pair(term, PostingChanges(did, old_wdf, new_wdf)));
        } else {
            i->second.update_posting(did, old_wdf, new_wdf);
        }
    }
 
    void set_positionlist(const HoneyPositionTable& position_table,
                          Xapian::docid did,
                          std::string_view term,
                          const Xapian::TermIterator& t,
                          bool modifying = false);
 
    void delete_positionlist(Xapian::docid did,
                             std::string_view term);
 
    bool get_positionlist(Xapian::docid did,
                          std::string_view term,
                          std::string& s) const;
 
    bool has_positions(const HoneyPositionTable& position_table) const;
 
    void clear() {
        doclen_changes.clear();
        postlist_changes.clear();
        pos_changes.clear();
        has_positions_cache = -1;
    }
 
    void set_doclength(Xapian::docid did, Xapian::termcount doclen, bool add) {
        if (add) {
            Assert(doclen_changes.find(did) == doclen_changes.end() ||
                   doclen_changes[did] == DELETED_POSTING);
        }
        doclen_changes[did] = doclen;
    }
 
    void delete_doclength(Xapian::docid did) {
        Assert(doclen_changes.find(did) == doclen_changes.end() ||
               doclen_changes[did] != DELETED_POSTING);
        doclen_changes[did] = DELETED_POSTING;
    }
 
    bool get_doclength(Xapian::docid did, Xapian::termcount& doclen) const {
        auto i = doclen_changes.find(did);
        if (i == doclen_changes.end())
            return false;
        if (rare(i->second == DELETED_POSTING))
            throw Xapian::DocNotFoundError("Document not found: " + str(did));
        doclen = i->second;
        return true;
    }
 
    void flush_doclengths(HoneyPostListTable& table);
 
    void flush_post_list(HoneyPostListTable& table, std::string_view term);
 
    void flush_all_post_lists(HoneyPostListTable& table);
 
    void flush_post_lists(HoneyPostListTable& table, std::string_view pfx);
 
    void flush(HoneyPostListTable& table);
 
    void flush_pos_lists(HoneyPositionTable& table);
 
    bool get_deltas(std::string_view term,
                    Xapian::termcount& tf_delta,
                    Xapian::termcount& cf_delta) const {
        auto i = postlist_changes.find(term);
        if (i == postlist_changes.end()) {
            return false;
        }
        tf_delta = i->second.get_tfdelta();
        cf_delta = i->second.get_cfdelta();
        return true;
    }
};
 
#endif // XAPIAN_INCLUDED_HONEY_INVERTER_H