glass_freelist.h

Go to the documentation of this file.

 
/* Copyright 2014 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, write to the Free Software
 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301
 * USA
 */
 
#ifndef XAPIAN_INCLUDED_GLASS_FREELIST_H
#define XAPIAN_INCLUDED_GLASS_FREELIST_H
 
#include "glass_defs.h"
#include "pack.h"
 
class GlassTable;
 
class GlassFLCursor {
  public:
    uint4 n;
 
    unsigned c;
 
    GlassFLCursor() : n(0), c(0) { }
 
    bool operator==(const GlassFLCursor & o) const {
        return n == o.n && c == o.c;
    }
 
    bool operator!=(const GlassFLCursor & o) const {
        return !(*this == o);
    }
 
    void swap(GlassFLCursor &o) {
        std::swap(n, o.n);
        std::swap(c, o.c);
    }
 
    void pack(std::string & buf) {
        pack_uint(buf, n);
        pack_uint(buf, c / 4);
    }
 
    bool unpack(const char ** p, const char * end) {
        bool r = unpack_uint(p, end, &n) && unpack_uint(p, end, &c);
        if (usual(r))
            c *= 4;
        return r;
    }
};
 
class GlassFreeList {
    GlassFreeList(const GlassFreeList &);
 
    void operator=(const GlassFreeList &);
 
    void read_block(const GlassTable * B, uint4 n, uint8_t * p);
 
    void write_block(const GlassTable * B, uint4 n, uint8_t * p, uint4 rev);
 
  protected:
    uint4 revision;
 
    uint4 first_unused_block;
 
    GlassFLCursor fl, fl_end, flw;
 
    bool flw_appending;
 
  private:
    uint8_t * p;
 
    uint8_t * pw;
 
  public:
    GlassFreeList() {
        revision = 0;
        first_unused_block = 0;
        flw_appending = false;
        p = pw = NULL;
    }
 
    void reset() {
        revision = 0;
        first_unused_block = 0;
        flw_appending = false;
    }
 
    ~GlassFreeList() { delete [] p; delete [] pw; }
 
    bool empty() const { return fl == fl_end; }
 
    uint4 get_block(const GlassTable * B, uint4 block_size,
                    uint4 * blk_to_free = NULL);
 
    uint4 walk(const GlassTable *B, uint4 block_size, bool inclusive);
 
    void mark_block_unused(const GlassTable * B, uint4 block_size, uint4 n);
 
    uint4 get_revision() const { return revision; }
    void set_revision(uint4 revision_) { revision = revision_; }
 
    uint4 get_first_unused_block() const { return first_unused_block; }
 
    // Used when compacting to a single file.
    void set_first_unused_block(uint4 base) { first_unused_block = base; }
 
    void commit(const GlassTable * B, uint4 block_size);
 
    void pack(std::string & buf) {
        pack_uint(buf, revision);
        pack_uint(buf, first_unused_block);
        fl.pack(buf);
        flw.pack(buf);
    }
 
    bool unpack(const char ** pstart, const char * end) {
        bool r = unpack_uint(pstart, end, &revision) &&
                 unpack_uint(pstart, end, &first_unused_block) &&
                 fl.unpack(pstart, end) &&
                 flw.unpack(pstart, end);
        if (r) {
            fl_end = flw;
            flw_appending = false;
        }
        return r;
    }
 
    bool unpack(const std::string & s) {
        const char * ptr = s.data();
        const char * end = ptr + s.size();
        return unpack(&ptr, end) && ptr == end;
    }
};
 
class GlassFreeListChecker {
    // FIXME: uint_fast32_t is probably a good choice.
    typedef unsigned long elt_type;
 
    uint4 bitmap_size;
 
    elt_type * bitmap;
 
    // Prevent copying
    GlassFreeListChecker(const GlassFreeListChecker&);
    GlassFreeListChecker& operator=(const GlassFreeListChecker&);
 
  public:
    explicit GlassFreeListChecker(const GlassFreeList & fl);
 
    ~GlassFreeListChecker() {
        delete [] bitmap;
    }
 
    bool mark_used(uint4 n) {
        const unsigned BITS_PER_ELT = sizeof(elt_type) * 8;
        elt_type mask = static_cast<elt_type>(1) << (n & (BITS_PER_ELT - 1));
        n /= BITS_PER_ELT;
        if (rare(n >= bitmap_size)) return false;
        if ((bitmap[n] & mask) == 0) return false;
        bitmap[n] &= ~mask;
        return true;
    }
 
    uint4 count_set_bits(uint4 * p_first_bad_blk) const;
};
 
#endif // XAPIAN_INCLUDED_GLASS_FREELIST_H