2916 lines
98 KiB
C++
2916 lines
98 KiB
C++
// Metadata storage version 3 ("lsm heap")
|
|
// Copyright (c) Vitaliy Filippov, 2025+
|
|
// License: VNPL-1.1 (see README.md for details)
|
|
|
|
#include <assert.h>
|
|
#include <string.h>
|
|
#include <stddef.h>
|
|
|
|
#include <stdexcept>
|
|
#include <algorithm>
|
|
|
|
#include "blockstore_heap.h"
|
|
#include "../util/allocator.h"
|
|
#include "../util/crc32c.h"
|
|
#include "../util/malloc_or_die.h"
|
|
|
|
#define BS_HEAP_FREE_MVCC 1
|
|
#define BS_HEAP_FREE_MAIN 2
|
|
#define META_ALLOC_LEVELS 8
|
|
|
|
#define BS_HEAP_FREE_SPACE 0xAB8F
|
|
|
|
#define HEAP_INFLIGHT_DONE 1
|
|
#define HEAP_INFLIGHT_COMPACTABLE 2
|
|
#define HEAP_INFLIGHT_COMPACTED 4
|
|
#define HEAP_INFLIGHT_GC 8
|
|
#define HEAP_INFLIGHT_EXPLICIT 16
|
|
|
|
#define IMAP_MALLOC_LOW_BITS ((size_t)0x0F)
|
|
#define IMAP_MAX_LOW 16
|
|
|
|
#define list_item_overhead(a) (((a) + sizeof(heap_list_item_t) - sizeof(heap_entry_t) + sizeof(void*) + 15) & ~15)
|
|
|
|
void inode_map_put(void* & inode_idx, heap_list_item_t* li);
|
|
void inode_map_get(void *inode_idx, heap_inode_map_t::iterator & li_it, heap_list_item_t* & li, uint64_t stripe);
|
|
void inode_map_free(void* inode_idx);
|
|
bool inode_map_is_big(void* & inode_idx);
|
|
void inode_map_iterate(void* & inode_idx, std::function<void(heap_list_item_t*)> cb);
|
|
void inode_map_replace(void* & inode_idx, const heap_inode_map_t::iterator & li_it, heap_list_item_t* new_li);
|
|
void inode_map_erase(robin_hood::unordered_flat_map<inode_t, void*, i64hash_t> & pg_idx, void* & inode_idx,
|
|
const heap_inode_map_t::iterator & li_it, heap_list_item_t* li);
|
|
|
|
static inline heap_list_item_t *list_item(heap_entry_t *wr)
|
|
{
|
|
return (heap_list_item_t*)((uint8_t*)wr - offsetof(struct heap_list_item_t, entry));
|
|
}
|
|
|
|
static inline heap_list_item_t *list_item_key(uint64_t *stripe)
|
|
{
|
|
return (heap_list_item_t*)((uint8_t*)stripe - offsetof(struct heap_list_item_t, entry) - offsetof(struct heap_entry_t, stripe));
|
|
}
|
|
|
|
heap_entry_t *blockstore_heap_t::prev(heap_entry_t *wr)
|
|
{
|
|
auto li = list_item(wr);
|
|
return li->prev ? &li->prev->entry : NULL;
|
|
}
|
|
|
|
uint32_t blockstore_heap_t::get_simple_entry_size()
|
|
{
|
|
return sizeof(heap_entry_t);
|
|
}
|
|
|
|
uint32_t blockstore_heap_t::get_big_entry_size()
|
|
{
|
|
return sizeof(heap_big_write_t) + dsk->clean_entry_bitmap_size*2 +
|
|
(!dsk->data_csum_type ? 0 : dsk->data_block_size/dsk->csum_block_size * (dsk->data_csum_type & 0xFF));
|
|
}
|
|
|
|
uint32_t blockstore_heap_t::get_big_intent_entry_size()
|
|
{
|
|
return sizeof(heap_big_intent_t) + dsk->clean_entry_bitmap_size*2 +
|
|
(!dsk->data_csum_type ? 4 : dsk->data_block_size/dsk->csum_block_size * (dsk->data_csum_type & 0xFF));
|
|
}
|
|
|
|
uint32_t blockstore_heap_t::get_small_entry_size(uint32_t offset, uint32_t len)
|
|
{
|
|
return sizeof(heap_small_write_t) + dsk->clean_entry_bitmap_size +
|
|
(!dsk->data_csum_type ? 4 : (dsk->data_csum_type & 0xFF) *
|
|
((offset+len+dsk->csum_block_size-1)/dsk->csum_block_size - offset/dsk->csum_block_size));
|
|
}
|
|
|
|
uint32_t blockstore_heap_t::get_csum_size(heap_entry_t *wr)
|
|
{
|
|
if (wr->type() == BS_HEAP_SMALL_WRITE)
|
|
{
|
|
return get_csum_size(wr->type(), wr->small().offset, wr->small().len);
|
|
}
|
|
return get_csum_size(wr->type());
|
|
}
|
|
|
|
uint32_t blockstore_heap_t::get_csum_size(uint32_t entry_type, uint32_t offset, uint32_t len)
|
|
{
|
|
if (!dsk->data_csum_type)
|
|
{
|
|
return 0;
|
|
}
|
|
if ((entry_type & BS_HEAP_TYPE) == BS_HEAP_SMALL_WRITE ||
|
|
(entry_type & BS_HEAP_TYPE) == BS_HEAP_INTENT_WRITE)
|
|
{
|
|
return ((dsk->data_csum_type & 0xFF) *
|
|
((offset+len+dsk->csum_block_size-1)/dsk->csum_block_size - offset/dsk->csum_block_size));
|
|
}
|
|
else if ((entry_type & BS_HEAP_TYPE) == BS_HEAP_BIG_WRITE ||
|
|
(entry_type & BS_HEAP_TYPE) == BS_HEAP_BIG_INTENT)
|
|
{
|
|
return (dsk->data_block_size/dsk->csum_block_size * (dsk->data_csum_type & 0xFF));
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
uint32_t heap_entry_t::get_size(blockstore_heap_t *heap)
|
|
{
|
|
if (type() == BS_HEAP_BIG_WRITE)
|
|
{
|
|
return heap->get_big_entry_size();
|
|
}
|
|
if (type() == BS_HEAP_BIG_INTENT)
|
|
{
|
|
return heap->get_big_intent_entry_size();
|
|
}
|
|
if (type() == BS_HEAP_SMALL_WRITE || type() == BS_HEAP_INTENT_WRITE)
|
|
{
|
|
return heap->get_small_entry_size(small().offset, small().len);
|
|
}
|
|
return heap->get_simple_entry_size();
|
|
}
|
|
|
|
bool heap_entry_t::is_overwrite()
|
|
{
|
|
return ((entry_type & ~BS_HEAP_GARBAGE) == (BS_HEAP_BIG_WRITE|BS_HEAP_STABLE) ||
|
|
(entry_type & ~BS_HEAP_GARBAGE) == (BS_HEAP_BIG_INTENT|BS_HEAP_STABLE) ||
|
|
(entry_type & ~BS_HEAP_GARBAGE) == (BS_HEAP_DELETE|BS_HEAP_STABLE));
|
|
}
|
|
|
|
bool heap_entry_t::is_compactable()
|
|
{
|
|
return !is_overwrite() && (entry_type & BS_HEAP_STABLE) ||
|
|
(entry_type & ~BS_HEAP_GARBAGE) == BS_HEAP_COMMIT ||
|
|
(entry_type & ~BS_HEAP_GARBAGE) == BS_HEAP_ROLLBACK;
|
|
}
|
|
|
|
bool heap_entry_t::is_before(heap_entry_t *other)
|
|
{
|
|
return lsn < other->lsn || lsn == other->lsn && !is_overwrite() && other->is_overwrite();
|
|
}
|
|
|
|
bool heap_entry_t::is_garbage()
|
|
{
|
|
return (entry_type & BS_HEAP_GARBAGE);
|
|
}
|
|
|
|
void heap_entry_t::set_garbage()
|
|
{
|
|
entry_type |= BS_HEAP_GARBAGE;
|
|
}
|
|
|
|
uint8_t *heap_entry_t::get_ext_bitmap(blockstore_heap_t *heap)
|
|
{
|
|
if (type() == BS_HEAP_SMALL_WRITE || type() == BS_HEAP_INTENT_WRITE)
|
|
return ((uint8_t*)this + sizeof(heap_small_write_t));
|
|
else if (type() == BS_HEAP_BIG_WRITE)
|
|
return ((uint8_t*)this + sizeof(heap_big_write_t));
|
|
else if (type() == BS_HEAP_BIG_INTENT)
|
|
return ((uint8_t*)this + sizeof(heap_big_intent_t));
|
|
return NULL;
|
|
}
|
|
|
|
uint8_t *heap_entry_t::get_int_bitmap(blockstore_heap_t *heap)
|
|
{
|
|
if (type() == BS_HEAP_BIG_WRITE)
|
|
return ((uint8_t*)this + sizeof(heap_big_write_t) + heap->dsk->clean_entry_bitmap_size);
|
|
else if (type() == BS_HEAP_BIG_INTENT)
|
|
return ((uint8_t*)this + sizeof(heap_big_intent_t) + heap->dsk->clean_entry_bitmap_size);
|
|
return NULL;
|
|
}
|
|
|
|
uint8_t *heap_entry_t::get_checksums(blockstore_heap_t *heap)
|
|
{
|
|
if (!heap->dsk->csum_block_size)
|
|
return NULL;
|
|
if ((type() == BS_HEAP_SMALL_WRITE || type() == BS_HEAP_INTENT_WRITE) && small().len > 0)
|
|
return ((uint8_t*)this + sizeof(heap_small_write_t) + heap->dsk->clean_entry_bitmap_size);
|
|
if (type() == BS_HEAP_BIG_WRITE)
|
|
return ((uint8_t*)this + sizeof(heap_big_write_t) + 2*heap->dsk->clean_entry_bitmap_size);
|
|
if (type() == BS_HEAP_BIG_INTENT)
|
|
return ((uint8_t*)this + sizeof(heap_big_intent_t) + 2*heap->dsk->clean_entry_bitmap_size);
|
|
return NULL;
|
|
}
|
|
|
|
uint32_t *heap_entry_t::get_checksum(blockstore_heap_t *heap)
|
|
{
|
|
if (type() == BS_HEAP_SMALL_WRITE || type() == BS_HEAP_INTENT_WRITE)
|
|
{
|
|
if (heap->dsk->csum_block_size || small().len == 0)
|
|
return NULL;
|
|
return (uint32_t*)((uint8_t*)this + sizeof(heap_small_write_t) + heap->dsk->clean_entry_bitmap_size);
|
|
}
|
|
if (type() == BS_HEAP_BIG_INTENT)
|
|
{
|
|
return (uint32_t*)((uint8_t*)this + sizeof(heap_big_intent_t) + 2*heap->dsk->clean_entry_bitmap_size);
|
|
}
|
|
return NULL;
|
|
}
|
|
|
|
uint64_t heap_entry_t::big_location(blockstore_heap_t *heap)
|
|
{
|
|
return ((uint64_t)big().block_num) * heap->dsk->data_block_size;
|
|
}
|
|
|
|
void heap_entry_t::set_big_location(blockstore_heap_t *heap, uint64_t location)
|
|
{
|
|
assert(!(location % heap->dsk->data_block_size));
|
|
big().block_num = location / heap->dsk->data_block_size;
|
|
}
|
|
|
|
uint32_t heap_entry_t::calc_crc32c()
|
|
{
|
|
auto old_crc32c = crc32c;
|
|
crc32c = 0;
|
|
uint32_t res = ::crc32c(0, (uint8_t*)this, size);
|
|
crc32c = old_crc32c;
|
|
return res;
|
|
}
|
|
|
|
uint64_t blockstore_heap_t::get_pg_id(inode_t inode, uint64_t stripe)
|
|
{
|
|
uint64_t pg_num = 0;
|
|
uint64_t pool_id = (inode >> (64-POOL_ID_BITS));
|
|
auto sh_it = pool_shard_settings.find(pool_id);
|
|
if (sh_it != pool_shard_settings.end() && sh_it->second.pg_count > 0)
|
|
{
|
|
// like map_to_pg()
|
|
pg_num = (stripe / sh_it->second.pg_stripe_size) % sh_it->second.pg_count + 1;
|
|
}
|
|
return ((pool_id << (64-POOL_ID_BITS)) | pg_num);
|
|
}
|
|
|
|
blockstore_heap_t::blockstore_heap_t(blockstore_disk_t *dsk, uint8_t *buffer_area, int log_level):
|
|
dsk(dsk),
|
|
buffer_area(buffer_area),
|
|
log_level(log_level),
|
|
meta_block_count(dsk->meta_area_size/dsk->meta_block_size-1), // first block is the superblock
|
|
max_entry_size(get_big_intent_entry_size())
|
|
{
|
|
assert(dsk->meta_block_size < 32768);
|
|
assert(dsk->meta_area_size > 0);
|
|
assert(dsk->journal_len > 0);
|
|
meta_alloc = new multilist_index_t(meta_block_count, META_ALLOC_LEVELS+1, 2);
|
|
block_info.resize(meta_block_count);
|
|
assert(dsk->block_count <= 0xFFFF0000);
|
|
data_alloc = new allocator_t(dsk->block_count);
|
|
buffer_alloc = new multilist_alloc_t(dsk->journal_len / dsk->bitmap_granularity, dsk->data_block_size / dsk->bitmap_granularity - 1);
|
|
}
|
|
|
|
blockstore_heap_t::~blockstore_heap_t()
|
|
{
|
|
for (auto & pgp: block_index)
|
|
{
|
|
for (auto & ip: pgp.second)
|
|
{
|
|
inode_map_free(ip.second);
|
|
}
|
|
}
|
|
for (auto & inflight: inflight_lsn)
|
|
{
|
|
if (inflight.flags & HEAP_INFLIGHT_GC)
|
|
{
|
|
free(list_item(inflight.wr));
|
|
}
|
|
}
|
|
for (auto & inf: block_info)
|
|
{
|
|
for (auto & entry: inf.entries)
|
|
{
|
|
free(entry);
|
|
}
|
|
}
|
|
block_info.clear();
|
|
object_mvcc.clear();
|
|
delete meta_alloc;
|
|
delete data_alloc;
|
|
delete buffer_alloc;
|
|
}
|
|
|
|
void blockstore_heap_t::start_load(uint64_t completed_lsn)
|
|
{
|
|
this->completed_lsn = completed_lsn;
|
|
}
|
|
|
|
int blockstore_heap_t::read_blocks(uint64_t disk_offset, uint64_t disk_size, uint8_t *buf, bool allow_corrupted,
|
|
std::function<void(uint32_t block_num, heap_entry_t* wr)> handle_write,
|
|
std::function<void(uint32_t, uint32_t, uint8_t*)> handle_block)
|
|
{
|
|
for (uint64_t buf_offset = 0; buf_offset < disk_size; buf_offset += dsk->meta_block_size)
|
|
{
|
|
uint32_t block_num = (disk_offset + buf_offset) / dsk->meta_block_size;
|
|
assert(block_num < block_info.size());
|
|
uint32_t block_offset = 0;
|
|
while (block_offset <= dsk->meta_block_size-2)
|
|
{
|
|
uint8_t *data = buf + buf_offset + block_offset;
|
|
heap_entry_t *wr = (heap_entry_t*)data;
|
|
if (wr->size > dsk->meta_block_size-block_offset)
|
|
{
|
|
fprintf(stderr, "Error: entry is too large in metadata block %u at %u (%u > max %ju bytes). ",
|
|
block_num, block_offset, wr->size, dsk->meta_block_size-block_offset);
|
|
corrupted_block:
|
|
if (allow_corrupted)
|
|
{
|
|
fprintf(stderr, "Metadata block is corrupted, skipping\n");
|
|
recheck_modified_blocks.insert(block_num);
|
|
break;
|
|
}
|
|
else
|
|
{
|
|
fprintf(stderr, "Metadata is corrupted, aborting\n");
|
|
return EDOM;
|
|
}
|
|
}
|
|
if (dsk->meta_block_size-block_offset < sizeof(heap_entry_t) ||
|
|
wr->size >= 4 && wr->entry_type == BS_HEAP_FREE_SPACE)
|
|
{
|
|
// Empty end of the block - required to be filled with heap_empty_pattern
|
|
if (wr->size != dsk->meta_block_size-block_offset || wr->size >= 4 && wr->entry_type != BS_HEAP_FREE_SPACE)
|
|
{
|
|
goto corrupted_block;
|
|
}
|
|
break;
|
|
}
|
|
if (wr->size < sizeof(heap_entry_t))
|
|
{
|
|
fprintf(stderr, "Error: entry is too small in metadata block %u at %u (%u < min %zu bytes). ",
|
|
block_num, block_offset, wr->size, sizeof(heap_entry_t));
|
|
goto corrupted_block;
|
|
}
|
|
// Garbage collection is only performed when writing new entries into the block
|
|
// because it needs a fake LSN and modified blocks require consecutive modified LSNs
|
|
// At the same time, further modifications _after_ putting new entries into the block,
|
|
// but _before_ writing it, may mark some entries in it as garbage. That's why garbage
|
|
// entries may still be present on disk.
|
|
wr->entry_type &= ~BS_HEAP_GARBAGE;
|
|
if ((wr->entry_type & BS_HEAP_TYPE) < BS_HEAP_BIG_WRITE ||
|
|
(wr->entry_type & BS_HEAP_TYPE) > BS_HEAP_ROLLBACK ||
|
|
(wr->entry_type & ~(BS_HEAP_TYPE|BS_HEAP_STABLE)) ||
|
|
(wr->entry_type == BS_HEAP_DELETE) ||
|
|
(wr->entry_type == (BS_HEAP_ROLLBACK|BS_HEAP_STABLE)) ||
|
|
(wr->entry_type == (BS_HEAP_COMMIT|BS_HEAP_STABLE)))
|
|
{
|
|
fprintf(stderr, "Error: entry has unknown type %u in metadata block %u at %u. ",
|
|
wr->entry_type, block_num, block_offset);
|
|
corrupted_object:
|
|
if (allow_corrupted)
|
|
{
|
|
fprintf(stderr, "Entry is corrupted, skipping\n");
|
|
recheck_modified_blocks.insert(block_num);
|
|
block_offset += wr->size;
|
|
continue;
|
|
}
|
|
else
|
|
{
|
|
fprintf(stderr, "Metadata is corrupted, aborting\n");
|
|
return EDOM;
|
|
}
|
|
}
|
|
if (((wr->entry_type & BS_HEAP_TYPE) == BS_HEAP_SMALL_WRITE ||
|
|
(wr->entry_type & BS_HEAP_TYPE) == BS_HEAP_INTENT_WRITE) &&
|
|
wr->size < sizeof(heap_small_write_t))
|
|
{
|
|
// Small writes require accessing offset & len to calculate correct length,
|
|
// so require at least sizeof(heap_small_write_t) for them
|
|
fprintf(stderr, "Error: entry %jx:%jx v%ju has invalid size in metadata block %u at %u (%u < min %zu bytes)\n",
|
|
wr->inode, wr->stripe, wr->version, block_num, block_offset, wr->size, sizeof(heap_small_write_t));
|
|
goto corrupted_object;
|
|
}
|
|
if (wr->entry_type == BS_HEAP_COMMIT && !wr->version)
|
|
{
|
|
fprintf(stderr, "Error: commit entry has zero version in metadata block %u at %u. ",
|
|
block_num, block_offset);
|
|
goto corrupted_object;
|
|
}
|
|
// Verify crc
|
|
uint32_t expected_crc32c = wr->calc_crc32c();
|
|
if (wr->crc32c != expected_crc32c)
|
|
{
|
|
fprintf(stderr, "Error: entry %jx:%jx v%ju l%ju in metadata block %u at %u is corrupt (crc32c mismatch: expected %08x, got %08x). ",
|
|
wr->inode, wr->stripe, wr->version, wr->lsn,
|
|
block_num, block_offset, expected_crc32c, wr->crc32c);
|
|
goto corrupted_object;
|
|
}
|
|
// Verify offset & len
|
|
if ((wr->type() == BS_HEAP_SMALL_WRITE || wr->type() == BS_HEAP_INTENT_WRITE) &&
|
|
(wr->small().offset+wr->small().len > dsk->data_block_size ||
|
|
wr->small().offset % dsk->bitmap_granularity ||
|
|
wr->small().len % dsk->bitmap_granularity))
|
|
{
|
|
fprintf(stderr, "Error: %s entry %jx:%jx v%ju has invalid offset/length: %u/%u. Metadata is incompatible with current parameters. ",
|
|
wr->type() == BS_HEAP_SMALL_WRITE ? "small_write" : "intent_write",
|
|
wr->inode, wr->stripe, wr->version, wr->small().offset, wr->small().len);
|
|
goto corrupted_object;
|
|
}
|
|
if (wr->type() == BS_HEAP_BIG_INTENT &&
|
|
(wr->big_intent().offset+wr->big_intent().len > dsk->data_block_size ||
|
|
wr->big_intent().offset % dsk->bitmap_granularity ||
|
|
wr->big_intent().len % dsk->bitmap_granularity))
|
|
{
|
|
fprintf(stderr, "Error: big_intent entry %jx:%jx v%ju has invalid offset/length: %u/%u. Metadata is incompatible with current parameters. ",
|
|
wr->inode, wr->stripe, wr->version, wr->big_intent().offset, wr->big_intent().len);
|
|
goto corrupted_object;
|
|
}
|
|
if ((wr->type() == BS_HEAP_BIG_INTENT || wr->type() == BS_HEAP_BIG_WRITE) &&
|
|
wr->big().block_num >= dsk->block_count)
|
|
{
|
|
fprintf(stderr, "Error: big_write or big_intent entry %jx:%jx v%ju block_num is too large: %u > %lu. Metadata is incompatible with current parameters. ",
|
|
wr->inode, wr->stripe, wr->version, wr->big_intent().block_num, dsk->block_count);
|
|
goto corrupted_object;
|
|
}
|
|
handle_write(block_num, wr);
|
|
block_offset += wr->size;
|
|
}
|
|
handle_block(block_num, block_offset, buf+buf_offset);
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
int blockstore_heap_t::load_blocks(uint64_t disk_offset, uint64_t size, uint8_t *buf, bool allow_corrupted, uint64_t &entries_loaded)
|
|
{
|
|
entries_loaded = 0;
|
|
return read_blocks(disk_offset, size, buf, allow_corrupted, [&](uint32_t block_num, heap_entry_t *wr_orig)
|
|
{
|
|
auto alloc_size = wr_orig->size + sizeof(heap_list_item_t) - sizeof(heap_entry_t);
|
|
heap_list_item_t *li = (heap_list_item_t*)malloc_or_die(alloc_size);
|
|
live_entries++;
|
|
live_memory += list_item_overhead(wr_orig->size);
|
|
li->block_num = block_num;
|
|
li->prev = li->next = NULL;
|
|
memcpy(&li->entry, wr_orig, wr_orig->size);
|
|
auto wr = &li->entry;
|
|
if (wr->lsn > next_lsn)
|
|
{
|
|
next_lsn = wr->lsn;
|
|
}
|
|
entries_loaded++;
|
|
loaded_list_items.push_back(li);
|
|
modify_alloc(block_num, [&](heap_block_info_t & inf)
|
|
{
|
|
if (!inf.entries.size())
|
|
inf.entries.reserve(dsk->meta_block_size / max_entry_size);
|
|
inf.entries.push_back(li);
|
|
inf.used_space += wr->size;
|
|
});
|
|
}, [&](uint32_t block_num, uint32_t last_offset, uint8_t *buf)
|
|
{
|
|
});
|
|
}
|
|
|
|
// Validate object entry sequence
|
|
bool blockstore_heap_t::validate_object(heap_entry_t *obj)
|
|
{
|
|
heap_entry_t *small_wr = NULL;
|
|
heap_entry_t *commit_wr = NULL, *rollback_wr = NULL;
|
|
heap_entry_t *stable_wr = NULL;
|
|
heap_entry_t *next_wr = NULL;
|
|
for (auto wr = obj; wr && !wr->is_garbage(); wr = prev(wr))
|
|
{
|
|
if (next_wr && wr->lsn == next_wr->lsn && (wr->is_overwrite() == next_wr->is_overwrite()))
|
|
{
|
|
// Check duplicate lsns
|
|
fprintf(stderr, "Error: there are two entries for %jx:%jx with lsn %ju\n", wr->inode, wr->stripe, wr->lsn);
|
|
return false;
|
|
}
|
|
if (next_wr && next_wr->is_overwrite())
|
|
{
|
|
// Don't care if the object is overwritten/deleted
|
|
return true;
|
|
}
|
|
next_wr = wr;
|
|
if (wr->type() == BS_HEAP_ROLLBACK)
|
|
{
|
|
rollback_wr = wr;
|
|
continue;
|
|
}
|
|
if (wr->type() == BS_HEAP_COMMIT)
|
|
{
|
|
if (commit_wr && wr->version > commit_wr->version)
|
|
{
|
|
// commit may not come before commit with a smaller version
|
|
fprintf(stderr, "Error: commit entry %jx:%jx v%ju l%ju comes before a commit entry v%ju l%ju\n",
|
|
wr->inode, wr->stripe, wr->version, wr->lsn, commit_wr->version, commit_wr->lsn);
|
|
return false;
|
|
}
|
|
if (!commit_wr)
|
|
{
|
|
commit_wr = wr;
|
|
}
|
|
continue;
|
|
}
|
|
if (wr->entry_type & BS_HEAP_STABLE)
|
|
{
|
|
stable_wr = wr;
|
|
}
|
|
else if (rollback_wr && wr->version > rollback_wr->version)
|
|
{
|
|
// neither stable nor unstable but ignored
|
|
}
|
|
else if (commit_wr && wr->version <= commit_wr->version)
|
|
{
|
|
stable_wr = wr;
|
|
}
|
|
else
|
|
{
|
|
if (stable_wr)
|
|
{
|
|
// a stable write may not come over unstable
|
|
fprintf(stderr, "Error: uncommitted entry %jx:%jx v%ju l%ju comes before a committed entry v%ju l%ju\n",
|
|
wr->inode, wr->stripe, wr->version, wr->lsn, stable_wr->version, stable_wr->lsn);
|
|
return false;
|
|
}
|
|
}
|
|
if (wr->type() == BS_HEAP_SMALL_WRITE || wr->type() == BS_HEAP_INTENT_WRITE)
|
|
{
|
|
small_wr = wr;
|
|
}
|
|
else if (wr->type() == BS_HEAP_BIG_WRITE || wr->type() == BS_HEAP_BIG_INTENT)
|
|
{
|
|
small_wr = NULL;
|
|
}
|
|
else if (wr->type() == BS_HEAP_DELETE)
|
|
{
|
|
if (small_wr)
|
|
{
|
|
// small_write may not come over delete
|
|
fprintf(stderr, "Error: entry %jx:%jx v%ju l%ju comes over a DELETE but a BIG_WRITE or BIG_INTENT is expected\n",
|
|
small_wr->inode, small_wr->stripe, small_wr->version, small_wr->lsn);
|
|
return false;
|
|
}
|
|
}
|
|
}
|
|
if (small_wr)
|
|
{
|
|
fprintf(stderr, "Error: entry %jx:%jx v%ju l%ju comes first but a BIG_WRITE or BIG_INTENT is expected before it\n",
|
|
small_wr->inode, small_wr->stripe, small_wr->version, small_wr->lsn);
|
|
return false;
|
|
}
|
|
return true;
|
|
}
|
|
|
|
void blockstore_heap_t::finish_load()
|
|
{
|
|
if (loaded_list_items.size())
|
|
{
|
|
// Sort everything and load in correct order
|
|
std::sort(loaded_list_items.begin(), loaded_list_items.end(), [this](const heap_list_item_t* a, const heap_list_item_t* b)
|
|
{
|
|
return a->entry.lsn < b->entry.lsn;
|
|
});
|
|
for (auto & li: loaded_list_items)
|
|
{
|
|
insert_list_item(li);
|
|
}
|
|
loaded_list_items.clear();
|
|
}
|
|
}
|
|
|
|
void blockstore_heap_t::fill_recheck_queue()
|
|
{
|
|
for (auto & pgp: block_index)
|
|
{
|
|
for (auto & ip: pgp.second)
|
|
{
|
|
inode_map_iterate(ip.second, [&](heap_list_item_t *li)
|
|
{
|
|
auto obj = &li->entry;
|
|
// Add object to recheck queue
|
|
if (obj->type() == BS_HEAP_INTENT_WRITE || obj->type() == BS_HEAP_BIG_INTENT)
|
|
{
|
|
// Recheck only the latest intent_write
|
|
if (obj->lsn > completed_lsn)
|
|
{
|
|
// Do not recheck if it's already marked as completed in the superblock
|
|
recheck_queue.push_back(obj);
|
|
}
|
|
}
|
|
else
|
|
{
|
|
// Or recheck a series of small_writes
|
|
for (auto wr = obj; wr && wr->type() == BS_HEAP_SMALL_WRITE; wr = prev(wr))
|
|
{
|
|
if (wr->small().len > 0)
|
|
{
|
|
recheck_queue.push_back(wr);
|
|
}
|
|
}
|
|
}
|
|
});
|
|
}
|
|
}
|
|
}
|
|
|
|
int blockstore_heap_t::mark_used_blocks()
|
|
{
|
|
int res = 0;
|
|
std::vector<heap_list_item_t*> used_by;
|
|
if (dsk->skip_double_claim)
|
|
{
|
|
used_by.resize(dsk->block_count);
|
|
}
|
|
for (auto & pgp: block_index)
|
|
{
|
|
for (auto & ip: pgp.second)
|
|
{
|
|
inode_map_iterate(ip.second, [&](heap_list_item_t *li)
|
|
{
|
|
bool added = false;
|
|
auto wr = &li->entry;
|
|
if (!validate_object(wr))
|
|
{
|
|
res = EDOM;
|
|
return;
|
|
}
|
|
if (wr->entry_type == (BS_HEAP_DELETE|BS_HEAP_STABLE) && !li->prev)
|
|
{
|
|
wr->set_garbage();
|
|
garbage_entries++;
|
|
garbage_memory += list_item_overhead(wr->size);
|
|
modify_alloc(li->block_num, [&](heap_block_info_t & inf)
|
|
{
|
|
inf.garbage_space += wr->size;
|
|
});
|
|
li = NULL;
|
|
}
|
|
bool overwritten = false;
|
|
for (; li; li = li->prev, wr = &li->entry)
|
|
{
|
|
if (overwritten)
|
|
{
|
|
wr->set_garbage();
|
|
garbage_entries++;
|
|
garbage_memory += list_item_overhead(wr->size);
|
|
modify_alloc(li->block_num, [&](heap_block_info_t & inf)
|
|
{
|
|
inf.garbage_space += wr->size;
|
|
});
|
|
continue;
|
|
}
|
|
if (wr->type() == BS_HEAP_SMALL_WRITE)
|
|
{
|
|
if (!is_buffer_area_free(wr->small().location, wr->small().len))
|
|
{
|
|
fprintf(stderr, "Error: double-claimed %u bytes in buffer area at %ju, second time by %jx:%jx l%ju\n",
|
|
wr->small().len, wr->small().location, wr->inode, wr->stripe, wr->lsn);
|
|
res = EDOM;
|
|
return;
|
|
}
|
|
use_buffer_area(wr->inode, wr->small().location, wr->small().len);
|
|
}
|
|
else if (wr->type() == BS_HEAP_BIG_WRITE || wr->type() == BS_HEAP_BIG_INTENT)
|
|
{
|
|
if (is_data_used(wr->big_location(this)))
|
|
{
|
|
if (dsk->skip_double_claim)
|
|
{
|
|
// There is a BUG currently:
|
|
// Sometimes (under unknown conditions) deletion entries are removed from the disk
|
|
// earlier than previous big_writes.
|
|
// Until it's fixed, we provide a way to ignore such objects on start.
|
|
auto prev_li = used_by[wr->big().block_num];
|
|
assert(prev_li);
|
|
// Newer LSN must be trusted. Remove the older object.
|
|
fprintf(stderr, "Block %u is double-claimed by entries %jx:%jx l%ju and %jx:%jx l%ju\n",
|
|
wr->big().block_num, prev_li->entry.inode, prev_li->entry.stripe, prev_li->entry.lsn, wr->inode, wr->stripe, wr->lsn);
|
|
if (init_erase_double_claim(prev_li, li))
|
|
{
|
|
return;
|
|
}
|
|
}
|
|
else
|
|
{
|
|
fprintf(stderr, "Error: double-claimed data block %u, second time by %jx:%jx l%ju\n",
|
|
wr->big().block_num, wr->inode, wr->stripe, wr->lsn);
|
|
res = EDOM;
|
|
return;
|
|
}
|
|
}
|
|
if (dsk->skip_double_claim)
|
|
{
|
|
// Record the object which uses the data block
|
|
used_by[wr->big().block_num] = li;
|
|
}
|
|
use_data(wr->inode, wr->big_location(this));
|
|
}
|
|
if (wr->is_compactable() && !added)
|
|
{
|
|
compact_queue.push_back((object_id){ .inode = wr->inode, .stripe = wr->stripe });
|
|
added = true;
|
|
}
|
|
if (wr->is_overwrite())
|
|
{
|
|
overwritten = true;
|
|
}
|
|
}
|
|
});
|
|
}
|
|
}
|
|
if (dsk->gc_on_start)
|
|
{
|
|
recheck_full_gc();
|
|
}
|
|
return res;
|
|
}
|
|
|
|
void blockstore_heap_t::init_free_bad_entry(heap_entry_t *wr)
|
|
{
|
|
if (wr->type() == BS_HEAP_SMALL_WRITE)
|
|
{
|
|
free_buffer_area(wr->inode, wr->small().location, wr->small().len);
|
|
}
|
|
else if (wr->type() == BS_HEAP_BIG_WRITE || wr->type() == BS_HEAP_BIG_INTENT)
|
|
{
|
|
free_data(wr->inode, wr->big_location(this));
|
|
}
|
|
}
|
|
|
|
void blockstore_heap_t::init_erase_bad_entry(heap_list_item_t *li)
|
|
{
|
|
modify_alloc(li->block_num, [&](heap_block_info_t & inf)
|
|
{
|
|
for (size_t i = 0; i < inf.entries.size(); i++)
|
|
{
|
|
if (inf.entries[i] == li)
|
|
{
|
|
inf.entries.erase(inf.entries.begin()+i);
|
|
break;
|
|
}
|
|
}
|
|
inf.used_space -= li->entry.size;
|
|
inf.garbage_space -= (li->entry.is_garbage() ? li->entry.size : 0);
|
|
});
|
|
recheck_modified_blocks.insert(li->block_num);
|
|
unlink_list_item(li);
|
|
}
|
|
|
|
bool blockstore_heap_t::init_erase_double_claim(heap_list_item_t *prev_li, heap_list_item_t *cur_li)
|
|
{
|
|
bool erase_prev = false;
|
|
bool erase_cur = false;
|
|
if (prev_li->entry.lsn < cur_li->entry.lsn)
|
|
{
|
|
erase_prev = true;
|
|
auto latest_li = prev_li;
|
|
while (latest_li->next)
|
|
{
|
|
latest_li = latest_li->next;
|
|
}
|
|
if (latest_li->entry.lsn >= cur_li->entry.lsn)
|
|
{
|
|
// LSN ranges intersect, erase both
|
|
erase_cur = true;
|
|
}
|
|
}
|
|
else
|
|
{
|
|
erase_cur = true;
|
|
auto latest_li = cur_li;
|
|
while (latest_li->next)
|
|
{
|
|
latest_li = latest_li->next;
|
|
}
|
|
if ((latest_li->entry.inode != prev_li->entry.inode ||
|
|
latest_li->entry.stripe != prev_li->entry.stripe) &&
|
|
latest_li->entry.lsn >= prev_li->entry.lsn)
|
|
{
|
|
// LSN ranges intersect, erase both
|
|
erase_prev = true;
|
|
}
|
|
}
|
|
if (erase_prev)
|
|
{
|
|
fprintf(stderr, "Erasing object %jx:%jx due to double-claim\n", prev_li->entry.inode, prev_li->entry.stripe);
|
|
auto erase_li = prev_li;
|
|
while (erase_li->next)
|
|
{
|
|
erase_li = erase_li->next;
|
|
}
|
|
bool overwritten = false;
|
|
while (erase_li)
|
|
{
|
|
auto prev_erase_li = erase_li->prev;
|
|
if (!overwritten)
|
|
{
|
|
init_free_bad_entry(&erase_li->entry);
|
|
overwritten = erase_li->entry.is_overwrite();
|
|
}
|
|
init_erase_bad_entry(erase_li);
|
|
erase_li = prev_erase_li;
|
|
}
|
|
}
|
|
if (erase_cur)
|
|
{
|
|
fprintf(stderr, "Erasing object %jx:%jx due to double-claim\n", cur_li->entry.inode, cur_li->entry.stripe);
|
|
auto erase_li = cur_li->next;
|
|
while (erase_li)
|
|
{
|
|
// Only newer entries are marked as used
|
|
auto next_erase_li = erase_li->next;
|
|
init_free_bad_entry(&erase_li->entry);
|
|
init_erase_bad_entry(erase_li);
|
|
erase_li = next_erase_li;
|
|
}
|
|
erase_li = cur_li;
|
|
// Older ones are not
|
|
while (erase_li)
|
|
{
|
|
auto prev_erase_li = erase_li->prev;
|
|
init_erase_bad_entry(erase_li);
|
|
erase_li = prev_erase_li;
|
|
}
|
|
}
|
|
return erase_cur;
|
|
}
|
|
|
|
void blockstore_heap_t::recheck_full_gc()
|
|
{
|
|
uint32_t block_num = 0;
|
|
for (auto & inf: block_info)
|
|
{
|
|
// Instantly collect all garbage on restart
|
|
if (inf.garbage_space > 0)
|
|
{
|
|
if (log_level > 5)
|
|
{
|
|
fprintf(stderr, "Clearing %u out of %u garbage bytes in block %u\n", inf.garbage_space, inf.used_space, block_num);
|
|
}
|
|
uint32_t collected_garbage = 0;
|
|
size_t i = 0, j = 0;
|
|
for (; i < inf.entries.size(); i++)
|
|
{
|
|
if (inf.entries[i]->entry.is_garbage())
|
|
{
|
|
collected_garbage += inf.entries[i]->entry.size;
|
|
remove_list_item(inf.entries[i]);
|
|
}
|
|
else
|
|
{
|
|
if (j != i)
|
|
inf.entries[j] = inf.entries[i];
|
|
j++;
|
|
}
|
|
}
|
|
inf.entries.resize(j);
|
|
modify_alloc(block_num, [&](heap_block_info_t & inf)
|
|
{
|
|
inf.used_space -= collected_garbage;
|
|
inf.garbage_space -= collected_garbage;
|
|
});
|
|
recheck_modified_blocks.insert(block_num);
|
|
}
|
|
block_num++;
|
|
}
|
|
}
|
|
|
|
void blockstore_heap_t::recheck_buffer(heap_entry_t *cwr, uint8_t *buf)
|
|
{
|
|
auto free_entry = [&](heap_list_item_t *li)
|
|
{
|
|
uint32_t block_num = li->block_num;
|
|
auto wr_size = li->entry.size;
|
|
if (li->entry.is_garbage())
|
|
{
|
|
garbage_entries--;
|
|
garbage_memory -= list_item_overhead(wr_size);
|
|
}
|
|
live_entries--;
|
|
live_memory -= list_item_overhead(wr_size);
|
|
free(li);
|
|
modify_alloc(block_num, [&](heap_block_info_t & inf)
|
|
{
|
|
inf.used_space -= wr_size;
|
|
bool found = false;
|
|
for (auto it = inf.entries.begin(); it != inf.entries.end(); it++)
|
|
{
|
|
if (*it == li)
|
|
{
|
|
found = true;
|
|
inf.entries.erase(it);
|
|
break;
|
|
}
|
|
}
|
|
assert(found);
|
|
});
|
|
recheck_modified_blocks.insert(block_num);
|
|
};
|
|
if (cwr->is_garbage())
|
|
{
|
|
// already freed after rechecking one of the previous small_write entries
|
|
free_entry(list_item(cwr));
|
|
}
|
|
else if (!calc_checksums(cwr, buf, false))
|
|
{
|
|
// write entry is invalid, erase it and mark newer entries with garbage bit
|
|
auto & pg_idx = block_index[get_pg_id(cwr->inode, cwr->stripe)];
|
|
auto & inode_idx = pg_idx[cwr->inode];
|
|
heap_inode_map_t::iterator li_it;
|
|
heap_list_item_t *li = NULL;
|
|
inode_map_get(inode_idx, li_it, li, cwr->stripe);
|
|
int rolled_back = 1;
|
|
while (li && cwr != &li->entry)
|
|
{
|
|
assert(li->entry.entry_type == cwr->entry_type);
|
|
auto prev = li->prev;
|
|
li->next = li->prev = NULL;
|
|
if (!li->entry.is_garbage())
|
|
{
|
|
garbage_entries++;
|
|
garbage_memory += list_item_overhead(li->entry.size);
|
|
li->entry.set_garbage();
|
|
}
|
|
li = prev;
|
|
rolled_back++;
|
|
}
|
|
assert(li);
|
|
if (li->prev)
|
|
{
|
|
fprintf(stderr, "Notice: %u unfinished %s to %jx:%jx v%ju since lsn %ju, rolling back\n",
|
|
rolled_back, rolled_back > 1 ? "writes" : "write", cwr->inode, cwr->stripe, li->prev->entry.version, li->entry.lsn);
|
|
inode_map_replace(inode_idx, li_it, li->prev);
|
|
li->prev->next = NULL;
|
|
}
|
|
else
|
|
{
|
|
fprintf(stderr, "Notice: the whole object %jx:%jx only has unfinished writes, rolling back\n",
|
|
cwr->inode, cwr->stripe);
|
|
inode_map_erase(pg_idx, inode_idx, li_it, li);
|
|
}
|
|
free_entry(li);
|
|
}
|
|
}
|
|
|
|
bool blockstore_heap_t::recheck_small_writes(std::function<void(bool is_data, uint64_t offset, uint64_t len, uint8_t* buf, std::function<void()>)> read_buffer, int queue_depth)
|
|
{
|
|
if (in_recheck)
|
|
{
|
|
// Recheck already entered
|
|
return false;
|
|
}
|
|
if (!recheck_queue_filled)
|
|
{
|
|
finish_load();
|
|
fill_recheck_queue();
|
|
recheck_queue_filled = true;
|
|
}
|
|
if (read_buffer)
|
|
{
|
|
recheck_cb = read_buffer;
|
|
recheck_queue_depth = queue_depth;
|
|
}
|
|
in_recheck = true;
|
|
while (recheck_queue.size() > 0 && recheck_in_progress < recheck_queue_depth)
|
|
{
|
|
heap_entry_t *wr = recheck_queue.front();
|
|
recheck_queue.pop_front();
|
|
bool from_data = false;
|
|
uint64_t loc = 0;
|
|
uint32_t len = 0;
|
|
if (wr->type() == BS_HEAP_INTENT_WRITE)
|
|
{
|
|
auto prev_wr = prev(wr);
|
|
while (prev_wr && prev_wr->entry_type == wr->entry_type)
|
|
{
|
|
// Skip other intent_writes
|
|
prev_wr = prev(prev_wr);
|
|
}
|
|
if (!prev_wr || prev_wr->entry_type != (BS_HEAP_BIG_WRITE | (wr->entry_type & BS_HEAP_STABLE)) &&
|
|
prev_wr->entry_type != (BS_HEAP_BIG_INTENT | (wr->entry_type & BS_HEAP_STABLE)))
|
|
{
|
|
fprintf(stderr, "Error: intent_write entry %jx:%jx v%ju l%ju is not written over a big_write\n",
|
|
wr->inode, wr->stripe, wr->version, wr->lsn);
|
|
exit(1);
|
|
}
|
|
loc = wr->small().offset + prev_wr->big_location(this);
|
|
len = wr->small().len;
|
|
from_data = true;
|
|
}
|
|
else if (wr->type() == BS_HEAP_BIG_INTENT)
|
|
{
|
|
auto & bi = wr->big_intent();
|
|
loc = (uint64_t)bi.block_num * dsk->data_block_size + bi.offset;
|
|
len = bi.len;
|
|
from_data = true;
|
|
}
|
|
else
|
|
{
|
|
assert(wr->type() == BS_HEAP_SMALL_WRITE);
|
|
loc = wr->small().location;
|
|
len = wr->small().len;
|
|
}
|
|
if (log_level > 5)
|
|
{
|
|
fprintf(stderr, "Notice: rechecking %jx:%jx l%ju - %u bytes at %ju in %s area\n",
|
|
wr->inode, wr->stripe, wr->lsn, len, loc, from_data ? "data" : "buffer");
|
|
}
|
|
if (!from_data && buffer_area)
|
|
{
|
|
recheck_buffer(wr, buffer_area+loc);
|
|
}
|
|
else
|
|
{
|
|
recheck_in_progress++;
|
|
uint8_t *buf = (uint8_t*)memalign_or_die(MEM_ALIGNMENT, len);
|
|
recheck_cb(from_data, loc, len, buf, [this, wr, buf]()
|
|
{
|
|
recheck_buffer(wr, buf);
|
|
free(buf);
|
|
recheck_in_progress--;
|
|
recheck_small_writes(NULL, 0);
|
|
});
|
|
}
|
|
}
|
|
in_recheck = false;
|
|
if (!recheck_queue.size() && !recheck_in_progress)
|
|
{
|
|
auto cb = std::move(recheck_cb);
|
|
recheck_queue_depth = 0;
|
|
if (cb)
|
|
{
|
|
cb(false, 0, 0, NULL, NULL);
|
|
}
|
|
return true;
|
|
}
|
|
return false;
|
|
}
|
|
|
|
std::vector<uint32_t> blockstore_heap_t::get_recheck_modified_blocks()
|
|
{
|
|
std::vector<uint32_t> modified(recheck_modified_blocks.begin(), recheck_modified_blocks.end());
|
|
recheck_modified_blocks.clear();
|
|
return modified;
|
|
}
|
|
|
|
int blockstore_heap_t::finish_recheck()
|
|
{
|
|
if (!marked_used_blocks)
|
|
{
|
|
// We can't mark data/buffers as used before loading and rechecking the whole store, so mark them here
|
|
int res = mark_used_blocks();
|
|
if (res != 0)
|
|
{
|
|
return res;
|
|
}
|
|
marked_used_blocks = true;
|
|
}
|
|
completed_lsn = next_lsn;
|
|
first_inflight_lsn = next_lsn+1;
|
|
std::sort(compact_queue.begin(), compact_queue.end(), [this](const object_id & a, const object_id & b)
|
|
{
|
|
auto ao = read_entry(a);
|
|
auto bo = read_entry(b);
|
|
return ao->lsn < bo->lsn;
|
|
});
|
|
return 0;
|
|
}
|
|
|
|
bool blockstore_heap_t::calc_checksums(heap_entry_t *wr, uint8_t *data, bool set, uint32_t offset, uint32_t len)
|
|
{
|
|
if (!dsk->csum_block_size)
|
|
{
|
|
if (wr->type() == BS_HEAP_BIG_WRITE)
|
|
{
|
|
return true;
|
|
}
|
|
// Single checksum
|
|
uint32_t *wr_csum = wr->get_checksum(this);
|
|
if (!wr_csum)
|
|
{
|
|
return true;
|
|
}
|
|
if (wr->type() == BS_HEAP_SMALL_WRITE || wr->type() == BS_HEAP_INTENT_WRITE)
|
|
len = wr->small().len;
|
|
else if (wr->type() == BS_HEAP_BIG_INTENT)
|
|
len = wr->big_intent().len;
|
|
else
|
|
assert(0);
|
|
uint32_t real_csum = crc32c(0, data, len);
|
|
if (set)
|
|
{
|
|
*wr_csum = real_csum;
|
|
return true;
|
|
}
|
|
return ((*wr_csum) == real_csum);
|
|
}
|
|
if (wr->type() == BS_HEAP_BIG_WRITE)
|
|
{
|
|
assert(offset != UINT32_MAX && len != UINT32_MAX);
|
|
return calc_block_checksums((uint32_t*)(wr->get_checksums(this) + offset/dsk->csum_block_size * (dsk->data_csum_type & 0xFF)),
|
|
data, wr->get_int_bitmap(this), offset, offset+len, set, NULL);
|
|
}
|
|
if (wr->type() == BS_HEAP_BIG_INTENT)
|
|
{
|
|
auto & bi = wr->big_intent();
|
|
return calc_block_checksums((uint32_t*)(wr->get_checksums(this) + bi.offset/dsk->csum_block_size * (dsk->data_csum_type & 0xFF)),
|
|
data, wr->get_int_bitmap(this), bi.offset, bi.offset+bi.len, set, NULL);
|
|
}
|
|
assert(wr->type() == BS_HEAP_SMALL_WRITE || wr->type() == BS_HEAP_INTENT_WRITE);
|
|
return calc_block_checksums((uint32_t*)wr->get_checksums(this), data, NULL,
|
|
wr->small().offset, wr->small().offset+wr->small().len, set, NULL);
|
|
}
|
|
|
|
bool blockstore_heap_t::calc_block_checksums(uint32_t *block_csums, uint8_t *data, uint8_t *bitmap, uint32_t start, uint32_t end,
|
|
bool set, std::function<void(uint32_t, uint32_t, uint32_t)> bad_block_cb)
|
|
{
|
|
return calc_block_checksums(block_csums, bitmap, start, end, [&](uint32_t pos, uint32_t & len)
|
|
{
|
|
len = UINT32_MAX;
|
|
return data+pos-start;
|
|
}, set, bad_block_cb);
|
|
}
|
|
|
|
static uint32_t crc32c_iter(uint32_t prev_crc, const std::function<uint8_t*(uint32_t start, uint32_t & len)> & next, uint32_t pos, uint32_t size)
|
|
{
|
|
uint32_t cur_len = 0;
|
|
while (size > 0)
|
|
{
|
|
uint8_t *data = next(pos, cur_len);
|
|
assert(data);
|
|
cur_len = (cur_len < size ? cur_len : size);
|
|
prev_crc = crc32c(prev_crc, data, cur_len);
|
|
pos += cur_len;
|
|
size -= cur_len;
|
|
}
|
|
return prev_crc;
|
|
}
|
|
|
|
bool blockstore_heap_t::calc_block_checksums(uint32_t *block_csums, uint8_t *bitmap,
|
|
uint32_t start, uint32_t end, std::function<uint8_t*(uint32_t start, uint32_t & len)> next,
|
|
bool set, std::function<void(uint32_t, uint32_t, uint32_t)> bad_block_cb)
|
|
{
|
|
bool res = true;
|
|
uint32_t pos = start;
|
|
uint32_t block_end = (start/dsk->csum_block_size + 1)*dsk->csum_block_size;
|
|
uint32_t block_crc = 0;
|
|
bool isset = false;
|
|
while (pos < end)
|
|
{
|
|
uint32_t blk_start = pos;
|
|
if (bitmap)
|
|
{
|
|
uint32_t prev = pos;
|
|
while (pos < end && pos < block_end)
|
|
{
|
|
while (pos < end && pos < block_end && !(bitmap[pos/dsk->bitmap_granularity/8] & (1 << ((pos/dsk->bitmap_granularity) % 8))))
|
|
pos += dsk->bitmap_granularity;
|
|
// zero padding at the beginning or at the end of the block is not counted
|
|
if (pos > prev && prev > 0 && pos < block_end)
|
|
block_crc = crc32c_pad(block_crc, NULL, 0, pos-prev, 0);
|
|
prev = pos;
|
|
while (pos < end && pos < block_end && (bitmap[pos/dsk->bitmap_granularity/8] & (1 << ((pos/dsk->bitmap_granularity) % 8))))
|
|
pos += dsk->bitmap_granularity;
|
|
if (pos > prev)
|
|
{
|
|
isset = true;
|
|
block_crc = crc32c_iter(block_crc, next, prev, pos-prev);
|
|
}
|
|
prev = pos;
|
|
}
|
|
}
|
|
else
|
|
{
|
|
block_crc = crc32c_iter(block_crc, next, pos, (end > block_end ? block_end : end)-pos);
|
|
pos = (end > block_end ? block_end : end);
|
|
isset = true;
|
|
}
|
|
if (set)
|
|
{
|
|
*block_csums = block_crc;
|
|
}
|
|
else if (isset && block_crc != *block_csums)
|
|
{
|
|
if (bad_block_cb)
|
|
{
|
|
bad_block_cb(blk_start, *block_csums, block_crc);
|
|
res = false;
|
|
}
|
|
else
|
|
return false;
|
|
}
|
|
block_end += dsk->csum_block_size;
|
|
block_crc = 0;
|
|
block_csums++;
|
|
}
|
|
return res;
|
|
}
|
|
|
|
struct heap_reshard_state_t
|
|
{
|
|
int state = 0;
|
|
uint64_t pool_id = 0;
|
|
uint32_t old_pg_count = 0;
|
|
uint32_t pg_count = 0;
|
|
uint32_t pg_stripe_size = 0;
|
|
uint64_t chunk_size = 0;
|
|
heap_block_index_t new_shards;
|
|
heap_block_index_t old_shards;
|
|
heap_block_index_t::iterator sh_it;
|
|
robin_hood::unordered_flat_map<inode_t, void*, i64hash_t>::iterator inode_it;
|
|
heap_inode_map_t *stripe_map = NULL;
|
|
heap_inode_map_t::iterator stripe_it;
|
|
|
|
void add(heap_list_item_t *li);
|
|
bool run(uint64_t chunk_limit);
|
|
};
|
|
|
|
void heap_reshard_state_t::add(heap_list_item_t *li)
|
|
{
|
|
// like map_to_pg()
|
|
uint64_t pg_num = (li->entry.stripe / pg_stripe_size) % pg_count + 1;
|
|
uint64_t shard_id = (pool_id << (64-POOL_ID_BITS)) | pg_num;
|
|
inode_map_put(new_shards[shard_id][li->entry.inode], li);
|
|
chunk_size++;
|
|
}
|
|
|
|
bool heap_reshard_state_t::run(uint64_t chunk_limit)
|
|
{
|
|
chunk_size = 0;
|
|
if (state == 1)
|
|
goto resume_1;
|
|
else if (state == 2)
|
|
goto resume_2;
|
|
sh_it = old_shards.begin();
|
|
for (; sh_it != old_shards.end(); sh_it++)
|
|
{
|
|
inode_it = sh_it->second.begin();
|
|
for (; inode_it != sh_it->second.end(); inode_it++)
|
|
{
|
|
if (!inode_map_is_big(inode_it->second))
|
|
{
|
|
if (chunk_limit > 0 && chunk_size >= chunk_limit)
|
|
{
|
|
state = 1;
|
|
return false;
|
|
}
|
|
resume_1:
|
|
inode_map_iterate(inode_it->second, [&](heap_list_item_t *li) { add(li); });
|
|
}
|
|
else
|
|
{
|
|
stripe_map = (heap_inode_map_t*)inode_it->second;
|
|
stripe_it = stripe_map->begin();
|
|
for (; stripe_it != stripe_map->end(); stripe_it++)
|
|
{
|
|
if (chunk_limit > 0 && chunk_size >= chunk_limit)
|
|
{
|
|
state = 2;
|
|
return false;
|
|
}
|
|
resume_2:
|
|
add(*stripe_it);
|
|
}
|
|
}
|
|
inode_map_free(inode_it->second);
|
|
}
|
|
}
|
|
return true;
|
|
}
|
|
|
|
void* blockstore_heap_t::reshard_start(pool_id_t pool, uint32_t pg_count, uint32_t pg_stripe_size, uint64_t chunk_limit)
|
|
{
|
|
auto & pool_settings = pool_shard_settings[pool];
|
|
if (pool_settings.pg_count == pg_count && pool_settings.pg_stripe_size == pg_stripe_size)
|
|
{
|
|
return NULL;
|
|
}
|
|
heap_reshard_state_t *st = new heap_reshard_state_t;
|
|
st->pool_id = (uint64_t)pool;
|
|
st->pg_count = pg_count;
|
|
st->pg_stripe_size = pg_stripe_size;
|
|
st->old_pg_count = !pool_settings.pg_count ? 1 : pool_settings.pg_count;
|
|
for (uint32_t pg_num = 0; pg_num <= st->old_pg_count; pg_num++)
|
|
{
|
|
auto sh_it = block_index.find((st->pool_id << (64-POOL_ID_BITS)) | pg_num);
|
|
if (sh_it != block_index.end())
|
|
{
|
|
st->old_shards[pg_num] = std::move(sh_it->second);
|
|
block_index.erase(sh_it);
|
|
}
|
|
}
|
|
bool finished = reshard_continue(st, chunk_limit);
|
|
return finished ? NULL : st;
|
|
}
|
|
|
|
bool blockstore_heap_t::reshard_continue(void *reshard_state, uint64_t chunk_limit)
|
|
{
|
|
heap_reshard_state_t *st = (heap_reshard_state_t*)reshard_state;
|
|
if (!st->run(chunk_limit))
|
|
{
|
|
return false;
|
|
}
|
|
for (auto sh_it = st->new_shards.begin(); sh_it != st->new_shards.end(); sh_it++)
|
|
{
|
|
block_index[sh_it->first] = std::move(sh_it->second);
|
|
}
|
|
pool_shard_settings[st->pool_id] = (pool_shard_settings_t){
|
|
.pg_count = st->pg_count,
|
|
.pg_stripe_size = st->pg_stripe_size,
|
|
};
|
|
delete st;
|
|
return true;
|
|
}
|
|
|
|
bool blockstore_heap_t::reshard_check(pool_id_t pool, uint32_t pg_count, uint32_t pg_stripe_size)
|
|
{
|
|
auto set_it = pool_shard_settings.find(pool);
|
|
return (set_it != pool_shard_settings.end() &&
|
|
set_it->second.pg_count == pg_count &&
|
|
set_it->second.pg_stripe_size == pg_stripe_size);
|
|
}
|
|
|
|
heap_entry_t *blockstore_heap_t::lock_and_read_entry(object_id oid)
|
|
{
|
|
auto obj = read_entry(oid);
|
|
if (!obj)
|
|
{
|
|
return NULL;
|
|
}
|
|
auto & mvcc = object_mvcc[oid];
|
|
mvcc.readers++;
|
|
return obj;
|
|
}
|
|
|
|
bool blockstore_heap_t::unlock_entry(object_id oid)
|
|
{
|
|
auto mvcc_it = object_mvcc.find(oid);
|
|
if (mvcc_it == object_mvcc.end())
|
|
{
|
|
return false;
|
|
}
|
|
mvcc_it->second.readers--;
|
|
if (!mvcc_it->second.readers)
|
|
{
|
|
auto garbage_entry = mvcc_it->second.garbage_entry;
|
|
object_mvcc.erase(mvcc_it);
|
|
if (garbage_entry)
|
|
{
|
|
mark_garbage_up_to(garbage_entry);
|
|
}
|
|
}
|
|
return true;
|
|
}
|
|
|
|
heap_entry_t *blockstore_heap_t::read_entry(object_id oid)
|
|
{
|
|
auto pool_pg_id = get_pg_id(oid.inode, oid.stripe);
|
|
auto & pg_idx = block_index[pool_pg_id];
|
|
auto inode_it = pg_idx.find(oid.inode);
|
|
if (inode_it == pg_idx.end())
|
|
return NULL;
|
|
auto stripe = oid.stripe;
|
|
heap_inode_map_t::iterator li_it;
|
|
heap_list_item_t *li = NULL;
|
|
inode_map_get(inode_it->second, li_it, li, stripe);
|
|
if (!li)
|
|
return NULL;
|
|
return &li->entry;
|
|
}
|
|
|
|
void blockstore_heap_t::gc_block(heap_block_info_t & inf)
|
|
{
|
|
if (inf.garbage_space > 0)
|
|
{
|
|
size_t i = 0, j = 0;
|
|
for (; i < inf.entries.size(); i++)
|
|
{
|
|
if (inf.entries[i]->entry.is_garbage())
|
|
{
|
|
// old entry invalidated by a newer one, mark it as freeable on block write
|
|
// assign a 'virtual' LSN to track GC completion
|
|
assert(!inf.mod_lsn_to || inf.mod_lsn_to == next_lsn);
|
|
uint64_t gc_lsn = ++next_lsn;
|
|
inf.mod_lsn = inf.mod_lsn ? inf.mod_lsn : gc_lsn;
|
|
inf.mod_lsn_to = gc_lsn;
|
|
push_inflight_lsn(gc_lsn, &inf.entries[i]->entry, HEAP_INFLIGHT_GC);
|
|
}
|
|
else
|
|
{
|
|
if (j != i)
|
|
inf.entries[j] = inf.entries[i];
|
|
j++;
|
|
}
|
|
}
|
|
inf.entries.resize(j);
|
|
inf.used_space -= inf.garbage_space;
|
|
inf.garbage_space = 0;
|
|
}
|
|
}
|
|
|
|
int blockstore_heap_t::allocate_entry(uint32_t entry_size, uint32_t *block_num, bool allow_last_free)
|
|
{
|
|
if (last_allocated_block != UINT32_MAX)
|
|
{
|
|
// First try to write into the same block as the previous time
|
|
auto & inf = block_info.at(last_allocated_block);
|
|
if (inf.is_writing ||
|
|
inf.used_space - inf.garbage_space + entry_size > dsk->meta_block_size ||
|
|
// Do not allow to make the last non-nearfull block nearfull
|
|
!allow_last_free && meta_nearfull_blocks >= meta_block_count-1 &&
|
|
inf.used_space - inf.garbage_space <= dsk->meta_block_size-max_entry_size &&
|
|
inf.used_space - inf.garbage_space + entry_size > dsk->meta_block_size-max_entry_size)
|
|
{
|
|
last_allocated_block = UINT32_MAX;
|
|
}
|
|
}
|
|
if (last_allocated_block == UINT32_MAX)
|
|
{
|
|
int i;
|
|
for (i = 0; last_allocated_block == UINT32_MAX && i < META_ALLOC_LEVELS-1; i++)
|
|
{
|
|
// First try to write into most free blocks
|
|
last_allocated_block = meta_alloc->find(i);
|
|
}
|
|
if (last_allocated_block != UINT32_MAX && i == META_ALLOC_LEVELS-1 && !allow_last_free && meta_nearfull_blocks >= meta_block_count-1)
|
|
{
|
|
// Do not allow to make the last non-nearfull block nearfull
|
|
auto & inf = block_info.at(last_allocated_block);
|
|
if (inf.used_space - inf.garbage_space <= dsk->meta_block_size-max_entry_size &&
|
|
inf.used_space - inf.garbage_space + entry_size > dsk->meta_block_size-max_entry_size)
|
|
{
|
|
last_allocated_block = UINT32_MAX;
|
|
}
|
|
}
|
|
if (last_allocated_block == UINT32_MAX)
|
|
{
|
|
// Then into nearfull blocks
|
|
for (uint32_t b = meta_alloc->find(META_ALLOC_LEVELS-1); b != UINT32_MAX; b = meta_alloc->next(b))
|
|
{
|
|
auto & inf = block_info.at(b);
|
|
if (inf.used_space - inf.garbage_space + entry_size <= dsk->meta_block_size)
|
|
{
|
|
last_allocated_block = b;
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
if (last_allocated_block == UINT32_MAX)
|
|
{
|
|
// Then fail :)
|
|
return ENOSPC;
|
|
}
|
|
}
|
|
if (!allow_last_free && meta_nearfull_blocks >= meta_block_count-1)
|
|
{
|
|
// Do not allow to make the last non-nearfull block nearfull
|
|
auto & inf = block_info.at(last_allocated_block);
|
|
if (inf.used_space - inf.garbage_space <= dsk->meta_block_size-max_entry_size &&
|
|
inf.used_space - inf.garbage_space + entry_size > dsk->meta_block_size-max_entry_size)
|
|
{
|
|
last_allocated_block = UINT32_MAX;
|
|
return ENOSPC;
|
|
}
|
|
}
|
|
// Write into the same block
|
|
*block_num = last_allocated_block;
|
|
modify_alloc(last_allocated_block, [&](heap_block_info_t & inf)
|
|
{
|
|
// Write just 1 entry to the block to collect garbage
|
|
if (inf.garbage_space > (inf.used_space-inf.garbage_space)/2)
|
|
last_allocated_block = UINT32_MAX;
|
|
gc_block(inf);
|
|
inf.used_space += entry_size;
|
|
assert(inf.used_space - inf.garbage_space <= dsk->meta_block_size);
|
|
assert(!inf.mod_lsn_to || inf.mod_lsn_to == next_lsn);
|
|
++next_lsn;
|
|
inf.mod_lsn = inf.mod_lsn ? inf.mod_lsn : next_lsn;
|
|
inf.mod_lsn_to = next_lsn;
|
|
});
|
|
return 0;
|
|
}
|
|
|
|
void blockstore_heap_t::insert_list_item(heap_list_item_t *li)
|
|
{
|
|
auto & inode_idx = block_index[get_pg_id(li->entry.inode, li->entry.stripe)][li->entry.inode];
|
|
heap_inode_map_t::iterator li_it;
|
|
heap_list_item_t *old_head = NULL;
|
|
if (inode_idx)
|
|
inode_map_get(inode_idx, li_it, old_head, li->entry.stripe);
|
|
if (old_head && !old_head->entry.is_before(&li->entry))
|
|
{
|
|
// BIG_WRITE may be inserted into the middle of the sequence during compaction
|
|
// and it overrides SMALL_WRITEs and COMMITs with the same LSN
|
|
// However, all entries of other types (say DELETE) override previous ones
|
|
auto next_li = old_head;
|
|
auto prev_li = old_head->prev;
|
|
while (prev_li && !prev_li->entry.is_before(&li->entry))
|
|
{
|
|
next_li = prev_li;
|
|
prev_li = prev_li->prev;
|
|
}
|
|
// Insert <li> between <next_li> and <prev_li>
|
|
li->prev = prev_li;
|
|
if (prev_li)
|
|
prev_li->next = li;
|
|
next_li->prev = li;
|
|
li->next = next_li;
|
|
}
|
|
else
|
|
{
|
|
li->prev = old_head;
|
|
li->next = NULL;
|
|
if (old_head)
|
|
{
|
|
old_head->next = li;
|
|
inode_map_replace(inode_idx, li_it, li);
|
|
}
|
|
else
|
|
inode_map_put(inode_idx, li);
|
|
}
|
|
}
|
|
|
|
int blockstore_heap_t::add_entry(uint32_t wr_size, uint32_t *modified_block,
|
|
bool allow_last_free, bool explicit_complete, std::function<void(heap_entry_t *wr)> fill_entry)
|
|
{
|
|
uint32_t block_num;
|
|
int res = allocate_entry(wr_size, &block_num, allow_last_free);
|
|
if (res != 0)
|
|
{
|
|
return res;
|
|
}
|
|
if (modified_block)
|
|
{
|
|
*modified_block = block_num;
|
|
}
|
|
auto li = (heap_list_item_t*)malloc_or_die(wr_size + sizeof(heap_list_item_t) - sizeof(heap_entry_t));
|
|
live_entries++;
|
|
live_memory += list_item_overhead(wr_size);
|
|
auto new_wr = &li->entry;
|
|
auto & inf = block_info.at(block_num);
|
|
if (!inf.entries.size())
|
|
inf.entries.reserve(dsk->meta_block_size / max_entry_size);
|
|
inf.entries.push_back(li);
|
|
new_wr->lsn = next_lsn;
|
|
fill_entry(new_wr);
|
|
// Remember the object as dirty and remove older entries when this block is written and fsynced
|
|
push_inflight_lsn(next_lsn, new_wr,
|
|
(explicit_complete ? HEAP_INFLIGHT_EXPLICIT : 0) |
|
|
(new_wr->is_overwrite() ? HEAP_INFLIGHT_COMPACTED : 0) |
|
|
(new_wr->is_compactable() ? HEAP_INFLIGHT_COMPACTABLE : 0));
|
|
insert_list_item(li);
|
|
li->block_num = block_num;
|
|
new_wr->size = wr_size;
|
|
new_wr->crc32c = new_wr->calc_crc32c();
|
|
return 0;
|
|
}
|
|
|
|
// 1st step: post a write
|
|
|
|
int blockstore_heap_t::add_small_write(object_id oid, heap_entry_t **obj_ptr, uint16_t type, uint64_t version,
|
|
uint32_t offset, uint32_t len, uint64_t location, uint8_t *bitmap, uint8_t *data, uint32_t *modified_block)
|
|
{
|
|
auto obj = *obj_ptr;
|
|
if (!obj || obj->type() == BS_HEAP_DELETE || obj->version > version ||
|
|
type != (BS_HEAP_SMALL_WRITE|BS_HEAP_STABLE) && type != BS_HEAP_SMALL_WRITE && type != (BS_HEAP_INTENT_WRITE|BS_HEAP_STABLE) ||
|
|
(type & BS_HEAP_STABLE) && !(obj->entry_type & BS_HEAP_STABLE))
|
|
{
|
|
return EINVAL;
|
|
}
|
|
uint32_t wr_size = get_small_entry_size(offset, len);
|
|
// Small writes are written in parallel with buffered data so they require explicit_complete
|
|
return add_entry(wr_size, modified_block, false, true, [&](heap_entry_t *wr)
|
|
{
|
|
wr->entry_type = type;
|
|
wr->inode = oid.inode;
|
|
wr->stripe = oid.stripe;
|
|
wr->version = version;
|
|
wr->small().offset = offset;
|
|
wr->small().len = len;
|
|
wr->small().location = location;
|
|
if (bitmap)
|
|
memcpy(wr->get_ext_bitmap(this), bitmap, dsk->clean_entry_bitmap_size);
|
|
else if (obj)
|
|
memcpy(wr->get_ext_bitmap(this), obj->get_ext_bitmap(this), dsk->clean_entry_bitmap_size);
|
|
else
|
|
memset(wr->get_ext_bitmap(this), 0, dsk->clean_entry_bitmap_size);
|
|
calc_checksums(wr, (uint8_t*)data, true);
|
|
*obj_ptr = wr;
|
|
});
|
|
}
|
|
|
|
int blockstore_heap_t::add_big_write(object_id oid, heap_entry_t *old_head, bool stable, uint64_t version,
|
|
uint32_t offset, uint32_t len, uint64_t location, uint8_t *bitmap, uint8_t *data, uint32_t *modified_block)
|
|
{
|
|
if (stable && old_head && !(old_head->entry_type & BS_HEAP_STABLE))
|
|
{
|
|
return EINVAL;
|
|
}
|
|
uint32_t wr_size = get_big_entry_size();
|
|
// Big writes are written after writing data so they don't require explicit_complete
|
|
return add_entry(wr_size, modified_block, false, false, [&](heap_entry_t *wr)
|
|
{
|
|
wr->entry_type = BS_HEAP_BIG_WRITE | (stable ? BS_HEAP_STABLE : 0);
|
|
wr->inode = oid.inode;
|
|
wr->stripe = oid.stripe;
|
|
wr->version = version;
|
|
wr->set_big_location(this, location);
|
|
if (bitmap)
|
|
memcpy(wr->get_ext_bitmap(this), bitmap, dsk->clean_entry_bitmap_size);
|
|
else
|
|
memset(wr->get_ext_bitmap(this), 0, dsk->clean_entry_bitmap_size);
|
|
memset(wr->get_int_bitmap(this), 0, dsk->clean_entry_bitmap_size);
|
|
bitmap_set(wr->get_int_bitmap(this), offset, len, dsk->bitmap_granularity);
|
|
if (dsk->data_csum_type)
|
|
{
|
|
memset(wr->get_checksums(this), 0, get_csum_size(wr));
|
|
calc_checksums(wr, (uint8_t*)data, true, offset, len);
|
|
}
|
|
});
|
|
}
|
|
|
|
int blockstore_heap_t::add_redirect_intent(object_id oid, heap_entry_t **obj_ptr, uint64_t version,
|
|
uint32_t offset, uint32_t len, uint64_t location, uint8_t *bitmap, uint8_t *data, uint32_t *modified_block)
|
|
{
|
|
uint32_t wr_size = get_big_intent_entry_size();
|
|
// Big-redirect intents, just like regular big writes, are written after writing data so they don't require explicit_complete
|
|
return add_entry(wr_size, modified_block, false, false, [&](heap_entry_t *wr)
|
|
{
|
|
wr->entry_type = BS_HEAP_BIG_INTENT|BS_HEAP_STABLE;
|
|
wr->inode = oid.inode;
|
|
wr->stripe = oid.stripe;
|
|
wr->version = version;
|
|
wr->set_big_location(this, location);
|
|
auto & bi = wr->big_intent();
|
|
bi.offset = offset;
|
|
bi.len = len;
|
|
if (bitmap)
|
|
memcpy(wr->get_ext_bitmap(this), bitmap, dsk->clean_entry_bitmap_size);
|
|
else
|
|
memset(wr->get_ext_bitmap(this), 0, dsk->clean_entry_bitmap_size);
|
|
memset(wr->get_int_bitmap(this), 0, dsk->clean_entry_bitmap_size);
|
|
bitmap_set(wr->get_int_bitmap(this), offset, len, dsk->bitmap_granularity);
|
|
if (dsk->data_csum_type)
|
|
memset(wr->get_checksums(this), 0, get_csum_size(wr));
|
|
calc_checksums(wr, (uint8_t*)data, true);
|
|
*obj_ptr = wr;
|
|
});
|
|
}
|
|
|
|
int blockstore_heap_t::add_big_intent(object_id oid, heap_entry_t **obj_ptr, uint64_t version,
|
|
uint32_t offset, uint32_t len, uint8_t *bitmap, uint8_t *data, uint8_t *checksums, uint32_t *modified_block)
|
|
{
|
|
auto obj = *obj_ptr;
|
|
if (!obj ||
|
|
obj->entry_type != (BS_HEAP_BIG_INTENT|BS_HEAP_STABLE) &&
|
|
obj->entry_type != (BS_HEAP_BIG_WRITE|BS_HEAP_STABLE) ||
|
|
dsk->csum_block_size > dsk->bitmap_granularity && !checksums)
|
|
{
|
|
return EINVAL;
|
|
}
|
|
uint32_t wr_size = get_big_intent_entry_size();
|
|
// Big intents are written before writing data so they require explicit_complete
|
|
return add_entry(wr_size, modified_block, false, true, [&](heap_entry_t *wr)
|
|
{
|
|
wr->entry_type = BS_HEAP_BIG_INTENT | BS_HEAP_STABLE;
|
|
wr->inode = oid.inode;
|
|
wr->stripe = oid.stripe;
|
|
wr->version = version;
|
|
auto & bi = wr->big_intent();
|
|
bi.offset = offset;
|
|
bi.len = len;
|
|
bi.block_num = (obj->type() == BS_HEAP_BIG_INTENT
|
|
? obj->big_intent().block_num
|
|
: obj->big().block_num);
|
|
if (bitmap)
|
|
memcpy(wr->get_ext_bitmap(this), bitmap, dsk->clean_entry_bitmap_size);
|
|
else
|
|
memcpy(wr->get_ext_bitmap(this), obj->get_ext_bitmap(this), dsk->clean_entry_bitmap_size);
|
|
memcpy(wr->get_int_bitmap(this), obj->get_int_bitmap(this), dsk->clean_entry_bitmap_size);
|
|
bitmap_set(wr->get_int_bitmap(this), offset, len, dsk->bitmap_granularity);
|
|
if (dsk->data_csum_type)
|
|
{
|
|
if (checksums)
|
|
memcpy(wr->get_checksums(this), checksums, get_csum_size(wr));
|
|
else
|
|
{
|
|
memcpy(wr->get_checksums(this), obj->get_checksums(this), get_csum_size(wr));
|
|
calc_checksums(wr, (uint8_t*)data, true);
|
|
}
|
|
}
|
|
else
|
|
calc_checksums(wr, (uint8_t*)data, true);
|
|
*obj_ptr = wr;
|
|
});
|
|
}
|
|
|
|
int blockstore_heap_t::add_compact(heap_entry_t *obj, uint64_t compact_version, uint64_t compact_lsn, uint64_t compact_location,
|
|
bool do_delete, uint32_t *modified_block, uint8_t *new_int_bitmap, uint8_t *new_ext_bitmap, uint8_t *new_csums)
|
|
{
|
|
for (auto wr = obj; wr && wr->lsn > compact_lsn; wr = prev(wr))
|
|
{
|
|
if (wr->is_overwrite())
|
|
return EBUSY;
|
|
}
|
|
if (do_delete)
|
|
{
|
|
return add_entry(get_simple_entry_size(), modified_block, false, false, [&](heap_entry_t *wr)
|
|
{
|
|
wr->entry_type = BS_HEAP_DELETE|BS_HEAP_STABLE;
|
|
wr->inode = obj->inode;
|
|
wr->stripe = obj->stripe;
|
|
wr->version = 0;
|
|
wr->lsn = compact_lsn;
|
|
});
|
|
}
|
|
uint32_t wr_size = get_big_entry_size();
|
|
// Compaction entry is added after copying data so it doesn't require explicit_complete
|
|
return add_entry(wr_size, modified_block, true, false, [&](heap_entry_t *new_wr)
|
|
{
|
|
new_wr->entry_type = BS_HEAP_BIG_WRITE|BS_HEAP_STABLE;
|
|
new_wr->inode = obj->inode;
|
|
new_wr->stripe = obj->stripe;
|
|
new_wr->version = compact_version;
|
|
new_wr->lsn = compact_lsn;
|
|
new_wr->set_big_location(this, compact_location);
|
|
memcpy(new_wr->get_int_bitmap(this), new_int_bitmap, dsk->clean_entry_bitmap_size);
|
|
memcpy(new_wr->get_ext_bitmap(this), new_ext_bitmap, dsk->clean_entry_bitmap_size);
|
|
if (dsk->data_csum_type && new_csums)
|
|
memcpy(new_wr->get_checksums(this), new_csums, dsk->data_block_size/dsk->csum_block_size*(dsk->data_csum_type & 0xFF));
|
|
});
|
|
}
|
|
|
|
// A bit of a hack: overwrite the bitmap in an existing entry
|
|
int blockstore_heap_t::punch_holes(heap_entry_t *wr, uint8_t *new_bitmap, uint8_t *new_csums, uint32_t *modified_block)
|
|
{
|
|
assert(dsk->data_csum_type && dsk->csum_block_size > dsk->bitmap_granularity);
|
|
assert(new_csums);
|
|
uint32_t block_num = list_item(wr)->block_num;
|
|
auto & inf = block_info.at(block_num);
|
|
if (inf.is_writing)
|
|
{
|
|
return EAGAIN;
|
|
}
|
|
*modified_block = block_num;
|
|
memcpy(wr->get_int_bitmap(this), new_bitmap, dsk->clean_entry_bitmap_size);
|
|
memcpy(wr->get_checksums(this), new_csums, dsk->data_block_size/dsk->csum_block_size*(dsk->data_csum_type & 0xFF));
|
|
return 0;
|
|
}
|
|
|
|
int blockstore_heap_t::add_simple(heap_entry_t *obj, uint64_t version, uint32_t *modified_block, uint32_t entry_type)
|
|
{
|
|
uint32_t wr_size = get_simple_entry_size();
|
|
// Simple entries don't have data so they don't require explicit_complete
|
|
return add_entry(wr_size, modified_block, false, false, [&](heap_entry_t *wr)
|
|
{
|
|
wr->entry_type = entry_type;
|
|
wr->inode = obj->inode;
|
|
wr->stripe = obj->stripe;
|
|
wr->version = version;
|
|
});
|
|
}
|
|
|
|
int blockstore_heap_t::add_commit(heap_entry_t *obj, uint64_t version, uint32_t *modified_block)
|
|
{
|
|
heap_entry_t *wr = obj;
|
|
bool found = false, uncommitted = false;
|
|
uint64_t commit_version = 0;
|
|
while (wr)
|
|
{
|
|
if (wr->type() == BS_HEAP_ROLLBACK)
|
|
{
|
|
auto rollback_version = wr->version;
|
|
wr = prev(wr);
|
|
while (wr->version > rollback_version)
|
|
{
|
|
assert(!(wr->entry_type & BS_HEAP_STABLE));
|
|
wr = prev(wr);
|
|
}
|
|
continue;
|
|
}
|
|
if (wr->type() == BS_HEAP_COMMIT)
|
|
{
|
|
if (commit_version < wr->version)
|
|
commit_version = wr->version;
|
|
wr = prev(wr);
|
|
continue;
|
|
}
|
|
if (wr->version == version)
|
|
{
|
|
found = true;
|
|
if (!(wr->entry_type & BS_HEAP_STABLE) && wr->version > commit_version)
|
|
{
|
|
uncommitted = true;
|
|
}
|
|
break;
|
|
}
|
|
if (wr->is_overwrite())
|
|
{
|
|
break;
|
|
}
|
|
wr = prev(wr);
|
|
}
|
|
if (!found)
|
|
{
|
|
return ENOENT;
|
|
}
|
|
if (!uncommitted)
|
|
{
|
|
return 0;
|
|
}
|
|
return add_simple(obj, version, modified_block, BS_HEAP_COMMIT);
|
|
}
|
|
|
|
int blockstore_heap_t::add_rollback(heap_entry_t *obj, uint64_t version, uint32_t *modified_block)
|
|
{
|
|
heap_entry_t *wr = obj;
|
|
bool found_uncommitted = false;
|
|
uint64_t commit_version = 0;
|
|
uint64_t rollback_version = UINT64_MAX;
|
|
while (wr)
|
|
{
|
|
if (wr->type() == BS_HEAP_ROLLBACK)
|
|
{
|
|
if (wr->version <= version)
|
|
{
|
|
// All previous writes are already rolled back, stop
|
|
break;
|
|
}
|
|
rollback_version = wr->version;
|
|
wr = prev(wr);
|
|
continue;
|
|
}
|
|
if (wr->type() == BS_HEAP_COMMIT)
|
|
{
|
|
if (commit_version < wr->version)
|
|
{
|
|
commit_version = wr->version;
|
|
}
|
|
wr = prev(wr);
|
|
continue;
|
|
}
|
|
if (wr->version > rollback_version)
|
|
{
|
|
// Already rolled back, skip
|
|
wr = prev(wr);
|
|
continue;
|
|
}
|
|
bool stable = (wr->entry_type & BS_HEAP_STABLE) || wr->version <= commit_version;
|
|
if (stable)
|
|
{
|
|
if (wr->version > version)
|
|
{
|
|
return EBUSY;
|
|
}
|
|
else
|
|
{
|
|
break;
|
|
}
|
|
}
|
|
else if (wr->version > version)
|
|
{
|
|
found_uncommitted = true;
|
|
}
|
|
wr = prev(wr);
|
|
}
|
|
if (!found_uncommitted)
|
|
{
|
|
return 0;
|
|
}
|
|
return add_simple(obj, version, modified_block, BS_HEAP_ROLLBACK);
|
|
}
|
|
|
|
int blockstore_heap_t::add_delete(heap_entry_t *obj, uint32_t *modified_block)
|
|
{
|
|
assert(obj);
|
|
return add_simple(obj, 0, modified_block, BS_HEAP_DELETE|BS_HEAP_STABLE);
|
|
}
|
|
|
|
// 2nd step: mark the block as being written (to prevent further in-memory updates to it),
|
|
// then mark it as written, then mark LSN as fsynced, then compact objects
|
|
|
|
uint32_t blockstore_heap_t::meta_alloc_pos(const heap_block_info_t & inf)
|
|
{
|
|
auto real_used = (inf.used_space-inf.garbage_space);
|
|
if (inf.is_writing || inf.mod_lsn || real_used > dsk->meta_block_size-sizeof(heap_entry_t))
|
|
{
|
|
// 100% full - no entry can be written into this block at all
|
|
return META_ALLOC_LEVELS;
|
|
}
|
|
if (real_used > dsk->meta_block_size-max_entry_size)
|
|
{
|
|
// nearfull - big_entries won't fit into this block so it can't be used for compaction
|
|
return META_ALLOC_LEVELS-1;
|
|
}
|
|
// First we want to write to blocks with most garbage:
|
|
// >= 2*used, >= used/2
|
|
// (i.e. 66% garbage, 33% garbage)
|
|
// Then to mostly free blocks:
|
|
// >= 75% free, >= 50% free, >= 25% free
|
|
if (inf.garbage_space > real_used*2)
|
|
return 0;
|
|
if (inf.garbage_space > real_used/2)
|
|
return 1;
|
|
// META_ALLOC_LEVELS-3 levels left
|
|
return 2 + real_used / ((dsk->meta_block_size-max_entry_size+META_ALLOC_LEVELS-4) / (META_ALLOC_LEVELS-3));
|
|
}
|
|
|
|
void blockstore_heap_t::modify_alloc(uint32_t block_num, std::function<void(heap_block_info_t &)> change_cb)
|
|
{
|
|
auto & inf = block_info.at(block_num);
|
|
uint32_t old_pos = meta_alloc_pos(inf);
|
|
uint32_t old_used = inf.used_space-inf.garbage_space;
|
|
change_cb(inf);
|
|
uint32_t new_pos = meta_alloc_pos(inf);
|
|
uint32_t new_used = inf.used_space-inf.garbage_space;
|
|
meta_alloc->change(block_num, old_pos, new_pos);
|
|
meta_used_space -= old_used;
|
|
meta_used_space += new_used;
|
|
if ((old_pos < META_ALLOC_LEVELS-1) != (new_pos < META_ALLOC_LEVELS-1))
|
|
{
|
|
meta_nearfull_blocks += (new_pos >= META_ALLOC_LEVELS-1 ? 1 : -1);
|
|
}
|
|
}
|
|
|
|
void blockstore_heap_t::start_block_write(uint32_t block_num)
|
|
{
|
|
auto & inf = block_info.at(block_num);
|
|
assert(!inf.is_writing);
|
|
if (!inf.mod_lsn)
|
|
{
|
|
modify_alloc(block_num, [&](heap_block_info_t & inf)
|
|
{
|
|
inf.is_writing = true;
|
|
});
|
|
}
|
|
else
|
|
{
|
|
inf.is_writing = true;
|
|
}
|
|
}
|
|
|
|
void blockstore_heap_t::complete_block_write(uint32_t block_num)
|
|
{
|
|
uint64_t mod_lsn = 0, mod_lsn_to = 0;
|
|
modify_alloc(block_num, [&](heap_block_info_t & inf)
|
|
{
|
|
assert(inf.is_writing);
|
|
inf.is_writing = false;
|
|
mod_lsn = inf.mod_lsn;
|
|
mod_lsn_to = inf.mod_lsn_to;
|
|
inf.mod_lsn = 0;
|
|
inf.mod_lsn_to = 0;
|
|
});
|
|
if (mod_lsn)
|
|
{
|
|
auto it = inflight_lsn.begin() + (mod_lsn-first_inflight_lsn);
|
|
for (uint64_t lsn = mod_lsn; lsn <= mod_lsn_to; lsn++, it++)
|
|
{
|
|
assert(!(it->flags & HEAP_INFLIGHT_DONE));
|
|
if (!(it->flags & HEAP_INFLIGHT_EXPLICIT))
|
|
it->flags |= HEAP_INFLIGHT_DONE;
|
|
}
|
|
mark_completed_lsns(mod_lsn);
|
|
}
|
|
}
|
|
|
|
void blockstore_heap_t::complete_lsn_write(uint64_t lsn)
|
|
{
|
|
auto it = inflight_lsn.begin() + (lsn-first_inflight_lsn);
|
|
assert(!(it->flags & HEAP_INFLIGHT_DONE));
|
|
assert(it->flags & HEAP_INFLIGHT_EXPLICIT);
|
|
it->flags |= HEAP_INFLIGHT_DONE;
|
|
mark_completed_lsns(lsn);
|
|
}
|
|
|
|
void blockstore_heap_t::mark_garbage_up_to(heap_entry_t *wr)
|
|
{
|
|
auto mvcc_it = object_mvcc.find((object_id){ .inode = wr->inode, .stripe = wr->stripe });
|
|
if (mvcc_it != object_mvcc.end())
|
|
{
|
|
// Postpone until all readers complete
|
|
auto & mvcc = mvcc_it->second;
|
|
mvcc.garbage_entry = !mvcc.garbage_entry || mvcc.garbage_entry->lsn < wr->lsn ? wr : mvcc.garbage_entry;
|
|
return;
|
|
}
|
|
assert(wr->is_overwrite());
|
|
uint32_t used_big = (wr->type() == BS_HEAP_BIG_WRITE || wr->type() == BS_HEAP_BIG_INTENT ? wr->big().block_num : UINT32_MAX);
|
|
wr = prev(wr);
|
|
while (wr && !wr->is_garbage())
|
|
{
|
|
auto prev_wr = prev(wr);
|
|
mark_garbage(list_item(wr)->block_num, wr, used_big);
|
|
if (wr->type() == BS_HEAP_BIG_WRITE || wr->type() == BS_HEAP_BIG_INTENT)
|
|
{
|
|
used_big = wr->big().block_num;
|
|
}
|
|
wr = prev_wr;
|
|
}
|
|
}
|
|
|
|
void blockstore_heap_t::mark_garbage(uint32_t block_num, heap_entry_t *prev_wr, uint32_t used_big)
|
|
{
|
|
prev_wr->set_garbage();
|
|
garbage_entries++;
|
|
garbage_memory += list_item_overhead(prev_wr->size);
|
|
// And this is the moment when we can free the data reference
|
|
if (prev_wr->type() == BS_HEAP_SMALL_WRITE && prev_wr->small().len > 0)
|
|
{
|
|
free_buffer_area(prev_wr->inode, prev_wr->small().location, prev_wr->small().len);
|
|
}
|
|
else if ((prev_wr->type() == BS_HEAP_BIG_WRITE || prev_wr->type() == BS_HEAP_BIG_INTENT) && prev_wr->big().block_num != used_big)
|
|
{
|
|
free_data(prev_wr->inode, prev_wr->big_location(this));
|
|
}
|
|
if (prev_wr->is_compactable())
|
|
{
|
|
to_compact_count--;
|
|
}
|
|
modify_alloc(block_num, [&](heap_block_info_t & inf)
|
|
{
|
|
inf.garbage_space += prev_wr->size;
|
|
});
|
|
}
|
|
|
|
int blockstore_heap_t::get_next_compact(object_id & oid)
|
|
{
|
|
if (!compact_queue.size())
|
|
{
|
|
return ENOENT;
|
|
}
|
|
oid = compact_queue.front();
|
|
compact_queue.pop_front();
|
|
return 0;
|
|
}
|
|
|
|
void blockstore_heap_t::iterate_with_stable(heap_entry_t *obj, uint64_t max_lsn, std::function<bool(heap_entry_t*, bool)> cb)
|
|
{
|
|
auto old_wr = obj;
|
|
while (old_wr && old_wr->lsn > max_lsn)
|
|
{
|
|
// skip new entries
|
|
old_wr = prev(old_wr);
|
|
}
|
|
uint64_t commit_version = 0, rollback_version = UINT64_MAX;
|
|
for (; old_wr; old_wr = prev(old_wr))
|
|
{
|
|
if (old_wr->type() == BS_HEAP_ROLLBACK)
|
|
{
|
|
rollback_version = old_wr->version;
|
|
}
|
|
else if (old_wr->type() == BS_HEAP_COMMIT)
|
|
{
|
|
if (commit_version < old_wr->version)
|
|
commit_version = old_wr->version;
|
|
}
|
|
else
|
|
{
|
|
// 1) 1 2 3 ROLLBACK(2) COMMIT(3) -> 3 is unstable
|
|
// 2) 1 2 3 4 ROLLBACK(3) COMMIT(2) -> OK
|
|
// 3) 1 2 3 ROLLBACK(2) 3 COMMIT(3) -> first 3 is unstable
|
|
// 4) 1 2 3 COMMIT(3) ROLLBACK(2) -> impossible
|
|
// I.e. a rollback always has version >= previous commit
|
|
// 5) 1 2 3 4 5 ROLLBACK(4) 5 ROLLBACK(3)
|
|
if (old_wr->version > rollback_version)
|
|
{
|
|
continue;
|
|
}
|
|
auto cont = cb(old_wr, (old_wr->entry_type & BS_HEAP_STABLE) || (old_wr->version <= commit_version));
|
|
if (!cont)
|
|
{
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
// Interesting cases:
|
|
// 1) BIG_STABLE(v1 l1) SMALL(v2 l2) SMALL(v3 l3) SMALL(v4 l4) ROLLBACK(v3 l5) COMMIT(v2 l6)
|
|
// -> compact by adding BIG_STABLE(v2 l2)
|
|
// 2) BIG_STABLE(v1 l1) DELETE(l2) BIG_UNSTABLE(v1 l3) ROLLBACK(v0 l4)
|
|
// -> compact by adding DELETE(l4)
|
|
// 3) BIG_STABLE(v1 l1) SMALL(v2 l2) SMALL(v3 l3) ROLLBACK(v2 l4) SMALL(v3 l5) COMMIT(v3 l6)
|
|
// -> compact by adding BIG_STABLE(v3 l6) and skip l3
|
|
// 4) BIG_STABLE(v1 l1) SMALL_STABLE(v2 l2) BIG_UNSTABLE(v3 l3)
|
|
// -> skip compaction of l2 into l1 if not under pressure
|
|
heap_compact_t blockstore_heap_t::iterate_compaction(heap_entry_t *obj, uint64_t fsynced_lsn, bool under_pressure, std::function<void(heap_entry_t*)> small_wr_cb)
|
|
{
|
|
heap_compact_t res = {};
|
|
uint64_t commit_version = 0, rollback_version = UINT64_MAX;
|
|
bool has_small = false;
|
|
res.do_delete = true;
|
|
for (heap_entry_t *wr = obj; wr; wr = prev(wr))
|
|
{
|
|
if (wr->type() == BS_HEAP_ROLLBACK && wr->lsn <= fsynced_lsn)
|
|
{
|
|
if (!res.compact_lsn)
|
|
{
|
|
res.compact_lsn = wr->lsn;
|
|
res.compact_version = wr->version;
|
|
}
|
|
rollback_version = wr->version;
|
|
continue;
|
|
}
|
|
if (wr->type() == BS_HEAP_COMMIT && wr->lsn <= fsynced_lsn)
|
|
{
|
|
if (!res.compact_lsn)
|
|
{
|
|
res.compact_lsn = wr->lsn;
|
|
res.compact_version = wr->version;
|
|
}
|
|
res.do_delete = false;
|
|
if (commit_version < wr->version)
|
|
commit_version = wr->version;
|
|
continue;
|
|
}
|
|
bool rolled_back = (wr->version > rollback_version);
|
|
if (rolled_back)
|
|
{
|
|
continue;
|
|
}
|
|
bool stable = (wr->entry_type & BS_HEAP_STABLE);
|
|
bool committed = (wr->version <= commit_version);
|
|
if (!stable && !committed || wr->lsn > fsynced_lsn)
|
|
{
|
|
// Unstable and non-fsynced writes can't be compacted yet
|
|
res.do_delete = false;
|
|
res.compact_lsn = 0;
|
|
res.compact_version = 0;
|
|
if (!under_pressure && (wr->type() == BS_HEAP_BIG_WRITE || wr->type() == BS_HEAP_DELETE))
|
|
{
|
|
// We may postpone compaction if we have an unstable overwrite when not under pressure
|
|
return res;
|
|
}
|
|
continue;
|
|
}
|
|
if (wr->type() == BS_HEAP_BIG_WRITE || wr->type() == BS_HEAP_BIG_INTENT)
|
|
{
|
|
// Big_write to merge small_writes into is here
|
|
if (!stable && !res.compact_lsn)
|
|
{
|
|
res.compact_lsn = wr->lsn;
|
|
res.compact_version = wr->version;
|
|
}
|
|
res.clean_wr = wr;
|
|
res.do_delete = false;
|
|
return res;
|
|
}
|
|
if (wr->type() == BS_HEAP_DELETE)
|
|
{
|
|
// Object is deleted
|
|
assert(!has_small && stable); // unstable deletes are not supported
|
|
return res;
|
|
}
|
|
assert(wr->type() == BS_HEAP_SMALL_WRITE || wr->type() == BS_HEAP_INTENT_WRITE);
|
|
if (!res.compact_lsn)
|
|
{
|
|
res.compact_lsn = wr->lsn;
|
|
res.compact_version = wr->version;
|
|
}
|
|
res.do_delete = false;
|
|
has_small = true;
|
|
small_wr_cb(wr);
|
|
}
|
|
return res;
|
|
}
|
|
|
|
void blockstore_heap_t::iterate_objects(std::function<void(heap_entry_t*, uint32_t block_num)> cb)
|
|
{
|
|
for (auto & pgp: block_index)
|
|
{
|
|
for (auto & ip: pgp.second)
|
|
{
|
|
inode_map_iterate(ip.second, [&](heap_list_item_t *li)
|
|
{
|
|
cb(&li->entry, li->block_num);
|
|
});
|
|
}
|
|
}
|
|
}
|
|
|
|
int blockstore_heap_t::list_objects(uint32_t pg_num, object_id min_oid, object_id max_oid,
|
|
obj_ver_id **result_list, size_t *stable_count, size_t *unstable_count)
|
|
{
|
|
obj_ver_id *res = NULL;
|
|
size_t res_size = 0, res_alloc = 0;
|
|
obj_ver_id *unstable = NULL;
|
|
size_t unstable_size = 0, unstable_alloc = 0;
|
|
uint64_t pool_id = (min_oid.inode >> (64-POOL_ID_BITS));
|
|
if (pool_id == 0 || pool_id != (max_oid.inode >> (64-POOL_ID_BITS)))
|
|
{
|
|
return EINVAL;
|
|
}
|
|
auto sh_it = pool_shard_settings.find(pool_id);
|
|
uint32_t pg_count = (sh_it != pool_shard_settings.end() ? sh_it->second.pg_count : 0);
|
|
if (pg_num == 0 || pg_num > (pg_count == 0 ? 1 : pg_count))
|
|
{
|
|
return EINVAL;
|
|
}
|
|
uint64_t pool_pg_id = (pool_id << (64-POOL_ID_BITS)) | (pg_count == 0 ? 0 : pg_num);
|
|
auto first_it = block_index[pool_pg_id].begin();
|
|
auto last_it = block_index[pool_pg_id].end();
|
|
for (auto inode_it = first_it; inode_it != last_it; inode_it++)
|
|
{
|
|
if (inode_it->first < min_oid.inode || inode_it->first > max_oid.inode)
|
|
{
|
|
continue;
|
|
}
|
|
inode_map_iterate(inode_it->second, [&](heap_list_item_t *li)
|
|
{
|
|
heap_entry_t *obj = &li->entry;
|
|
auto oid = (object_id){ .inode = obj->inode, .stripe = obj->stripe };
|
|
if (oid < min_oid || max_oid < oid)
|
|
{
|
|
return;
|
|
}
|
|
uint64_t stable_version = 0;
|
|
iterate_with_stable(obj, UINT64_MAX, [&](heap_entry_t* wr, bool stable)
|
|
{
|
|
if (stable)
|
|
{
|
|
stable_version = wr->version;
|
|
return false;
|
|
}
|
|
if (unstable_size >= unstable_alloc)
|
|
{
|
|
unstable_alloc = (!unstable_alloc ? 128 : unstable_alloc*2);
|
|
unstable = (obj_ver_id*)realloc_or_die(unstable, sizeof(obj_ver_id) * unstable_alloc);
|
|
}
|
|
unstable[unstable_size++] = (obj_ver_id){ .oid = oid, .version = wr->version };
|
|
return true;
|
|
});
|
|
if (stable_version)
|
|
{
|
|
if (res_size >= res_alloc)
|
|
{
|
|
res_alloc = (!res_alloc ? 128 : res_alloc*2);
|
|
res = (obj_ver_id*)realloc_or_die(res, sizeof(obj_ver_id) * res_alloc);
|
|
}
|
|
res[res_size++] = (obj_ver_id){ .oid = oid, .version = stable_version };
|
|
}
|
|
});
|
|
}
|
|
if (unstable_size)
|
|
{
|
|
if (res_size+unstable_size > res_alloc)
|
|
{
|
|
res_alloc = res_size+unstable_size;
|
|
res = (obj_ver_id*)realloc_or_die(res, sizeof(obj_ver_id) * res_alloc);
|
|
}
|
|
memcpy(res + res_size, unstable, sizeof(obj_ver_id) * unstable_size);
|
|
free(unstable);
|
|
unstable = NULL;
|
|
}
|
|
*result_list = res;
|
|
*stable_count = res_size;
|
|
*unstable_count = unstable_size;
|
|
return 0;
|
|
}
|
|
|
|
uint64_t blockstore_heap_t::find_free_data()
|
|
{
|
|
uint64_t loc = data_alloc->find_free();
|
|
if (loc != UINT64_MAX)
|
|
{
|
|
loc = loc * dsk->data_block_size;
|
|
}
|
|
return loc;
|
|
}
|
|
|
|
bool blockstore_heap_t::is_data_used(uint64_t location)
|
|
{
|
|
return data_alloc->get(location / dsk->data_block_size);
|
|
}
|
|
|
|
void blockstore_heap_t::use_data(inode_t inode, uint64_t location)
|
|
{
|
|
auto sh_it = pool_shard_settings.find(INODE_POOL(inode));
|
|
if (sh_it != pool_shard_settings.end() && sh_it->second.no_inode_stats)
|
|
inode = (INODE_POOL(inode) << POOL_ID_BITS);
|
|
assert(!data_alloc->get(location / dsk->data_block_size));
|
|
data_alloc->set(location / dsk->data_block_size, true);
|
|
inode_space_stats[inode] += dsk->data_block_size;
|
|
data_used_space += dsk->data_block_size;
|
|
}
|
|
|
|
void blockstore_heap_t::free_data(inode_t inode, uint64_t location)
|
|
{
|
|
auto sh_it = pool_shard_settings.find(INODE_POOL(inode));
|
|
if (sh_it != pool_shard_settings.end() && sh_it->second.no_inode_stats)
|
|
inode = (INODE_POOL(inode) << POOL_ID_BITS);
|
|
assert(data_alloc->get(location / dsk->data_block_size));
|
|
data_alloc->set(location / dsk->data_block_size, false);
|
|
auto sp_it = inode_space_stats.find(inode);
|
|
if (sp_it != inode_space_stats.end())
|
|
{
|
|
sp_it->second -= dsk->data_block_size;
|
|
if (sp_it->second == 0)
|
|
inode_space_stats.erase(sp_it);
|
|
}
|
|
data_used_space -= dsk->data_block_size;
|
|
}
|
|
|
|
uint64_t blockstore_heap_t::find_free_buffer_area(uint64_t size)
|
|
{
|
|
assert(!(size % dsk->bitmap_granularity));
|
|
uint32_t pos = buffer_alloc->find(size / dsk->bitmap_granularity);
|
|
if (pos == UINT32_MAX)
|
|
{
|
|
return UINT64_MAX;
|
|
}
|
|
return pos * dsk->bitmap_granularity;
|
|
}
|
|
|
|
bool blockstore_heap_t::is_buffer_area_free(uint64_t location, uint64_t size)
|
|
{
|
|
assert(!(location % dsk->bitmap_granularity));
|
|
return !size || buffer_alloc->is_free(location / dsk->bitmap_granularity);
|
|
}
|
|
|
|
void blockstore_heap_t::use_buffer_area(inode_t inode, uint64_t location, uint64_t size)
|
|
{
|
|
if (!size)
|
|
{
|
|
return;
|
|
}
|
|
assert(!(size % dsk->bitmap_granularity));
|
|
buffer_alloc->use(location / dsk->bitmap_granularity, size / dsk->bitmap_granularity);
|
|
buffer_area_used_space += size;
|
|
}
|
|
|
|
void blockstore_heap_t::free_buffer_area(inode_t inode, uint64_t location, uint64_t size)
|
|
{
|
|
assert(!(location % dsk->bitmap_granularity));
|
|
buffer_alloc->free(location / dsk->bitmap_granularity);
|
|
buffer_area_used_space -= size;
|
|
}
|
|
|
|
uint64_t blockstore_heap_t::get_buffer_area_used_space()
|
|
{
|
|
return buffer_area_used_space;
|
|
}
|
|
|
|
void blockstore_heap_t::get_meta_block(uint32_t block_num, uint8_t *buffer)
|
|
{
|
|
auto & inf = block_info.at(block_num);
|
|
size_t pos = 0;
|
|
for (auto li: inf.entries)
|
|
{
|
|
memcpy(buffer+pos, &li->entry, li->entry.size);
|
|
pos += li->entry.size;
|
|
}
|
|
assert(pos <= dsk->meta_block_size);
|
|
if (pos <= dsk->meta_block_size-2)
|
|
{
|
|
*((uint16_t*)(buffer+pos)) = dsk->meta_block_size-pos;
|
|
pos += 2;
|
|
}
|
|
if (pos <= dsk->meta_block_size-2)
|
|
{
|
|
*((uint16_t*)(buffer+pos)) = BS_HEAP_FREE_SPACE;
|
|
pos += 2;
|
|
}
|
|
if (pos < dsk->meta_block_size)
|
|
{
|
|
memset(buffer+pos, 0, dsk->meta_block_size-pos);
|
|
}
|
|
}
|
|
|
|
void blockstore_heap_t::fill_block_empty_space(uint8_t *buffer, uint32_t pos)
|
|
{
|
|
if (pos > dsk->meta_block_size)
|
|
{
|
|
buffer += (pos / dsk->meta_block_size) * dsk->meta_block_size;
|
|
pos = pos % dsk->meta_block_size;
|
|
}
|
|
if (pos <= dsk->meta_block_size-2)
|
|
{
|
|
*((uint16_t*)(buffer+pos)) = dsk->meta_block_size-pos;
|
|
pos += 2;
|
|
}
|
|
if (pos <= dsk->meta_block_size-2)
|
|
{
|
|
*((uint16_t*)(buffer+pos)) = BS_HEAP_FREE_SPACE;
|
|
pos += 2;
|
|
}
|
|
}
|
|
|
|
uint32_t blockstore_heap_t::get_meta_block_used_space(uint32_t block_num)
|
|
{
|
|
auto & inf = block_info.at(block_num);
|
|
return inf.used_space - inf.garbage_space;
|
|
}
|
|
|
|
uint64_t blockstore_heap_t::get_data_used_space()
|
|
{
|
|
return data_used_space;
|
|
}
|
|
|
|
const std::map<uint64_t, uint64_t> & blockstore_heap_t::get_inode_space_stats()
|
|
{
|
|
return inode_space_stats;
|
|
}
|
|
|
|
uint64_t blockstore_heap_t::get_meta_total_space()
|
|
{
|
|
return (uint64_t)meta_block_count*dsk->meta_block_size;
|
|
}
|
|
|
|
uint64_t blockstore_heap_t::get_meta_used_space()
|
|
{
|
|
return meta_used_space;
|
|
}
|
|
|
|
uint32_t blockstore_heap_t::get_meta_nearfull_blocks()
|
|
{
|
|
return meta_nearfull_blocks;
|
|
}
|
|
|
|
uint32_t blockstore_heap_t::get_compact_queue_size()
|
|
{
|
|
return compact_queue.size();
|
|
}
|
|
|
|
uint32_t blockstore_heap_t::get_to_compact_count()
|
|
{
|
|
return to_compact_count;
|
|
}
|
|
|
|
uint64_t blockstore_heap_t::get_compacted_count()
|
|
{
|
|
return compacted_count;
|
|
}
|
|
|
|
uint64_t blockstore_heap_t::get_live_entries()
|
|
{
|
|
return live_entries-garbage_entries;
|
|
}
|
|
|
|
uint64_t blockstore_heap_t::get_live_memory()
|
|
{
|
|
return live_memory-garbage_memory;
|
|
}
|
|
|
|
uint64_t blockstore_heap_t::get_garbage_entries()
|
|
{
|
|
return garbage_entries;
|
|
}
|
|
|
|
uint64_t blockstore_heap_t::get_garbage_memory()
|
|
{
|
|
return garbage_memory;
|
|
}
|
|
|
|
void blockstore_heap_t::push_inflight_lsn(uint64_t lsn, heap_entry_t *wr, uint64_t flags)
|
|
{
|
|
uint64_t next_inf = first_inflight_lsn + inflight_lsn.size();
|
|
if (flags & (HEAP_INFLIGHT_COMPACTABLE|HEAP_INFLIGHT_COMPACTED))
|
|
{
|
|
to_compact_count++;
|
|
}
|
|
if (lsn == next_inf)
|
|
{
|
|
inflight_lsn.push_back((heap_inflight_lsn_t){ .flags = flags, .wr = wr });
|
|
}
|
|
else
|
|
{
|
|
if (lsn > next_inf)
|
|
{
|
|
inflight_lsn.resize(lsn-first_inflight_lsn+1, (heap_inflight_lsn_t){ .flags = HEAP_INFLIGHT_DONE });
|
|
}
|
|
inflight_lsn[lsn-first_inflight_lsn] = (heap_inflight_lsn_t){ .flags = flags, .wr = wr };
|
|
}
|
|
}
|
|
|
|
void blockstore_heap_t::mark_completed_lsns(uint64_t mod_lsn)
|
|
{
|
|
if (dsk->disable_meta_fsync && dsk->disable_journal_fsync)
|
|
{
|
|
// Apply effects immediately if metadata doesn't need fsyncing
|
|
while (inflight_lsn.size())
|
|
{
|
|
auto & first = inflight_lsn.front();
|
|
if (!(first.flags & HEAP_INFLIGHT_DONE))
|
|
{
|
|
break;
|
|
}
|
|
completed_lsn++;
|
|
apply_inflight(first);
|
|
inflight_lsn.pop_front();
|
|
first_inflight_lsn++;
|
|
}
|
|
}
|
|
else if (mod_lsn == completed_lsn+1)
|
|
{
|
|
// Only advance completed_lsn
|
|
assert(inflight_lsn.size() > mod_lsn-first_inflight_lsn);
|
|
for (auto it = inflight_lsn.begin()+(mod_lsn-first_inflight_lsn); it != inflight_lsn.end() && (it->flags & HEAP_INFLIGHT_DONE); it++)
|
|
{
|
|
completed_lsn++;
|
|
}
|
|
}
|
|
}
|
|
|
|
void blockstore_heap_t::mark_lsn_fsynced(uint64_t lsn)
|
|
{
|
|
assert(!dsk->disable_meta_fsync || !dsk->disable_journal_fsync);
|
|
if (lsn > fsynced_lsn)
|
|
{
|
|
assert(lsn <= completed_lsn);
|
|
while (lsn >= first_inflight_lsn)
|
|
{
|
|
assert(inflight_lsn.size() > 0);
|
|
apply_inflight(inflight_lsn.front());
|
|
inflight_lsn.pop_front();
|
|
first_inflight_lsn++;
|
|
}
|
|
fsynced_lsn = lsn;
|
|
}
|
|
}
|
|
|
|
void blockstore_heap_t::apply_inflight(heap_inflight_lsn_t & inflight)
|
|
{
|
|
auto wr = inflight.wr;
|
|
if (inflight.flags & HEAP_INFLIGHT_COMPACTED)
|
|
{
|
|
// Mark previous entries as garbage, sequentially
|
|
mark_garbage_up_to(wr);
|
|
to_compact_count--;
|
|
compacted_count++;
|
|
}
|
|
else if (inflight.flags & HEAP_INFLIGHT_COMPACTABLE)
|
|
{
|
|
// Add to the compaction queue
|
|
compact_queue.push_back((object_id){ .inode = wr->inode, .stripe = wr->stripe });
|
|
}
|
|
else if (inflight.flags & HEAP_INFLIGHT_GC)
|
|
{
|
|
// Remove entry
|
|
auto li = list_item(wr);
|
|
remove_list_item(li);
|
|
}
|
|
}
|
|
|
|
void blockstore_heap_t::remove_list_item(heap_list_item_t *li)
|
|
{
|
|
if (!li->next)
|
|
{
|
|
// The last freed entry must be a deletion
|
|
assert(!li->prev);
|
|
assert((li->entry.entry_type & ~BS_HEAP_GARBAGE) == (BS_HEAP_DELETE|BS_HEAP_STABLE));
|
|
}
|
|
else if (!li->prev && li->next->entry.entry_type == (BS_HEAP_DELETE|BS_HEAP_STABLE))
|
|
{
|
|
// free BS_HEAP_DELETEs when all previous entries are also freed
|
|
mark_garbage(li->next->block_num, &li->next->entry, UINT32_MAX);
|
|
}
|
|
unlink_list_item(li);
|
|
}
|
|
|
|
void blockstore_heap_t::unlink_list_item(heap_list_item_t *li)
|
|
{
|
|
auto prev = li->prev;
|
|
auto next = li->next;
|
|
if (prev)
|
|
{
|
|
prev->next = next;
|
|
}
|
|
if (!next)
|
|
{
|
|
auto wr = &li->entry;
|
|
auto & pg_idx = block_index[get_pg_id(wr->inode, wr->stripe)];
|
|
auto & inode_idx = pg_idx[wr->inode];
|
|
heap_inode_map_t::iterator li_it;
|
|
heap_list_item_t *old_li = NULL;
|
|
inode_map_get(inode_idx, li_it, old_li, wr->stripe);
|
|
if (!prev)
|
|
inode_map_erase(pg_idx, inode_idx, li_it, old_li);
|
|
else
|
|
inode_map_replace(inode_idx, li_it, prev);
|
|
}
|
|
else
|
|
{
|
|
next->prev = prev;
|
|
}
|
|
if (li->entry.is_garbage())
|
|
{
|
|
garbage_entries--;
|
|
garbage_memory -= list_item_overhead(li->entry.size);
|
|
}
|
|
live_entries--;
|
|
live_memory -= list_item_overhead(li->entry.size);
|
|
free(li);
|
|
}
|
|
|
|
bool blockstore_heap_t::is_lsn_completed(uint64_t lsn)
|
|
{
|
|
if (lsn <= completed_lsn)
|
|
return true;
|
|
assert(lsn-first_inflight_lsn < inflight_lsn.size());
|
|
auto it = inflight_lsn.begin() + (lsn-first_inflight_lsn);
|
|
return (it->flags & HEAP_INFLIGHT_DONE);
|
|
}
|
|
|
|
uint64_t blockstore_heap_t::get_completed_lsn()
|
|
{
|
|
return completed_lsn;
|
|
}
|
|
|
|
uint64_t blockstore_heap_t::get_fsynced_lsn()
|
|
{
|
|
return dsk->disable_meta_fsync && dsk->disable_journal_fsync ? completed_lsn : fsynced_lsn;
|
|
}
|
|
|
|
void blockstore_heap_t::set_no_inode_stats(const std::vector<uint64_t> & pool_ids)
|
|
{
|
|
for (auto & ps: pool_shard_settings)
|
|
{
|
|
ps.second.no_inode_stats *= 2;
|
|
}
|
|
for (auto pool_id: pool_ids)
|
|
{
|
|
pool_shard_settings[pool_id].no_inode_stats |= 1;
|
|
}
|
|
for (auto & ps: pool_shard_settings)
|
|
{
|
|
// Recalculate if changed
|
|
if (ps.second.no_inode_stats == 2 || ps.second.no_inode_stats == 1)
|
|
recalc_inode_space_stats(ps.first, ps.second.no_inode_stats == 2);
|
|
ps.second.no_inode_stats &= 1;
|
|
}
|
|
}
|
|
|
|
void blockstore_heap_t::recalc_inode_space_stats(uint64_t pool_id, bool per_inode)
|
|
{
|
|
auto & ps = pool_shard_settings.at(pool_id);
|
|
auto sp_begin = inode_space_stats.lower_bound((pool_id << (64-POOL_ID_BITS)));
|
|
auto sp_end = inode_space_stats.lower_bound(((pool_id+1) << (64-POOL_ID_BITS)));
|
|
inode_space_stats.erase(sp_begin, sp_end);
|
|
uint32_t pg_count = ps.pg_count;
|
|
for (uint32_t pg_num = pg_count ? 1 : 0; pg_num <= pg_count; pg_num++)
|
|
{
|
|
auto & pg_idx = block_index[(pool_id << (64-POOL_ID_BITS)) | pg_num];
|
|
for (auto & ip: pg_idx)
|
|
{
|
|
uint64_t space_id = per_inode ? ip.first : (pool_id << (64-POOL_ID_BITS));
|
|
inode_map_iterate(ip.second, [&](heap_list_item_t *li)
|
|
{
|
|
uint32_t used_big = UINT32_MAX;
|
|
for (auto wr = &li->entry; wr && !wr->is_garbage(); wr = prev(wr))
|
|
{
|
|
if ((wr->type() == BS_HEAP_BIG_WRITE || wr->type() == BS_HEAP_BIG_INTENT) &&
|
|
wr->big().block_num != used_big)
|
|
{
|
|
inode_space_stats[space_id] += dsk->data_block_size;
|
|
used_big = wr->big().block_num;
|
|
}
|
|
}
|
|
});
|
|
}
|
|
}
|
|
}
|
|
|
|
// sizeof(robin_hood_map) is 56 bytes which is quite a bit of overhead for us if an inode has, say, only 1 object.
|
|
// small-size-optimized inode_maps utilize the fact that malloc returns 16-byte aligned pointers on 64-bit systems
|
|
// and allow to reduce memory usage when some inodes on the OSD have a very low number of objects. 4 lower bits
|
|
// of map pointers are used to store the type of the "map":
|
|
// - 4 lower bits equal to 0 mean that the stored void* is a robin_hood_map*.
|
|
// - 4 lower bits equal to 1 mean that the stored void* is a single heap_list_item_t*.
|
|
// - 4 lower bits equal to 2-15 mean that the stored void* is an array of heap_list_item_t** of that size (some of them possibly zero).
|
|
// This is some really crazy shit but it seems to work well :)
|
|
// At the same time it has almost zero overhead and works just as fast for fat inodes.
|
|
|
|
void inode_map_get(void *inode_idx, heap_inode_map_t::iterator & li_it, heap_list_item_t* & li, uint64_t stripe)
|
|
{
|
|
size_t map_n = ((size_t)inode_idx & IMAP_MALLOC_LOW_BITS);
|
|
if (!map_n)
|
|
{
|
|
#pragma GCC diagnostic push
|
|
#pragma GCC diagnostic ignored "-Warray-bounds"
|
|
li_it = ((heap_inode_map_t*)inode_idx)->find(list_item_key(&stripe));
|
|
#pragma GCC diagnostic pop
|
|
li = li_it != ((heap_inode_map_t*)inode_idx)->end() ? *li_it : NULL;
|
|
}
|
|
else if (map_n == 1)
|
|
{
|
|
heap_list_item_t *single = (heap_list_item_t*)((size_t)inode_idx & ~IMAP_MALLOC_LOW_BITS);
|
|
li = single->entry.stripe == stripe ? single : NULL;
|
|
}
|
|
else
|
|
{
|
|
heap_list_item_t **lis = (heap_list_item_t**)((size_t)inode_idx & ~IMAP_MALLOC_LOW_BITS);
|
|
for (size_t i = 0; i < map_n; i++)
|
|
{
|
|
if (lis[i] && lis[i]->entry.stripe == stripe)
|
|
{
|
|
li = lis[i];
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
void inode_map_free(void* inode_idx)
|
|
{
|
|
size_t n = ((size_t)inode_idx & IMAP_MALLOC_LOW_BITS);
|
|
if (!n)
|
|
{
|
|
delete (heap_inode_map_t*)inode_idx;
|
|
}
|
|
else if (n > 1)
|
|
{
|
|
free((heap_list_item_t**)((size_t)inode_idx & ~IMAP_MALLOC_LOW_BITS));
|
|
}
|
|
}
|
|
|
|
bool inode_map_is_big(void* & inode_idx)
|
|
{
|
|
return !((size_t)inode_idx & IMAP_MALLOC_LOW_BITS);
|
|
}
|
|
|
|
void inode_map_iterate(void* & inode_idx, std::function<void(heap_list_item_t*)> cb)
|
|
{
|
|
size_t n = ((size_t)inode_idx & IMAP_MALLOC_LOW_BITS);
|
|
if (!n)
|
|
{
|
|
for (auto li: *((heap_inode_map_t*)inode_idx))
|
|
{
|
|
cb(li);
|
|
}
|
|
}
|
|
else if (n == 1)
|
|
{
|
|
cb((heap_list_item_t*)((size_t)inode_idx & ~IMAP_MALLOC_LOW_BITS));
|
|
}
|
|
else
|
|
{
|
|
heap_list_item_t **lis = (heap_list_item_t**)((size_t)inode_idx & ~IMAP_MALLOC_LOW_BITS);
|
|
for (size_t i = 0; i < n; i++)
|
|
{
|
|
if (lis[i])
|
|
{
|
|
cb(lis[i]);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
void inode_map_put(void* & inode_idx, heap_list_item_t* li)
|
|
{
|
|
if (!inode_idx)
|
|
{
|
|
// Insert a single item
|
|
assert(!((size_t)li & IMAP_MALLOC_LOW_BITS));
|
|
inode_idx = (void*)(1 | (size_t)li);
|
|
return;
|
|
}
|
|
size_t map_n = ((size_t)inode_idx & IMAP_MALLOC_LOW_BITS);
|
|
if (!map_n)
|
|
{
|
|
((heap_inode_map_t*)inode_idx)->insert(li);
|
|
}
|
|
else if (map_n == 1)
|
|
{
|
|
// Convert to list
|
|
heap_list_item_t *single = (heap_list_item_t*)((size_t)inode_idx & ~IMAP_MALLOC_LOW_BITS);
|
|
heap_list_item_t **lis = (heap_list_item_t**)malloc_or_die(sizeof(heap_list_item_t *) * 2);
|
|
assert(!((size_t)lis & IMAP_MALLOC_LOW_BITS));
|
|
lis[0] = single;
|
|
lis[1] = li;
|
|
inode_idx = (void*)(2 | (size_t)lis);
|
|
}
|
|
else
|
|
{
|
|
heap_list_item_t **lis = (heap_list_item_t**)((size_t)inode_idx & ~IMAP_MALLOC_LOW_BITS);
|
|
for (size_t i = 0; i < map_n; i++)
|
|
{
|
|
if (!lis[i])
|
|
{
|
|
// Add into a free slot
|
|
lis[i] = li;
|
|
return;
|
|
}
|
|
}
|
|
if (map_n == IMAP_MAX_LOW-1)
|
|
{
|
|
// Convert to map
|
|
auto imap = new heap_inode_map_t;
|
|
assert(!((size_t)imap & IMAP_MALLOC_LOW_BITS));
|
|
for (size_t i = 0; i < map_n; i++)
|
|
{
|
|
imap->insert(lis[i]);
|
|
}
|
|
imap->insert(li);
|
|
inode_idx = (void*)imap;
|
|
free(lis);
|
|
}
|
|
else
|
|
{
|
|
// Enlarge list
|
|
size_t next_n = map_n*2;
|
|
if (next_n >= IMAP_MAX_LOW)
|
|
next_n = IMAP_MAX_LOW-1;
|
|
heap_list_item_t **new_lis = (heap_list_item_t**)malloc_or_die(sizeof(heap_list_item_t *) * next_n);
|
|
assert(!((size_t)new_lis & IMAP_MALLOC_LOW_BITS));
|
|
size_t i = 0;
|
|
for (; i < map_n; i++)
|
|
new_lis[i] = lis[i];
|
|
new_lis[i++] = li;
|
|
for (; i < next_n; i++)
|
|
new_lis[i] = 0;
|
|
free(lis);
|
|
inode_idx = (void*)(next_n | (size_t)new_lis);
|
|
}
|
|
}
|
|
}
|
|
|
|
void inode_map_replace(void* & inode_idx, const heap_inode_map_t::iterator & li_it, heap_list_item_t* new_li)
|
|
{
|
|
size_t map_n = ((size_t)inode_idx & IMAP_MALLOC_LOW_BITS);
|
|
if (!map_n)
|
|
{
|
|
*li_it = new_li;
|
|
}
|
|
else if (map_n == 1)
|
|
{
|
|
assert(!((size_t)new_li & IMAP_MALLOC_LOW_BITS));
|
|
inode_idx = (void*)((size_t)new_li | 1);
|
|
}
|
|
else
|
|
{
|
|
heap_list_item_t **lis = (heap_list_item_t**)((size_t)inode_idx & ~IMAP_MALLOC_LOW_BITS);
|
|
for (size_t i = 0; i < map_n; i++)
|
|
{
|
|
if (lis[i] && lis[i]->entry.stripe == new_li->entry.stripe)
|
|
{
|
|
lis[i] = new_li;
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
void inode_map_erase(robin_hood::unordered_flat_map<inode_t, void*, i64hash_t> & pg_idx, void* & inode_idx,
|
|
const heap_inode_map_t::iterator & li_it, heap_list_item_t* li)
|
|
{
|
|
size_t map_n = ((size_t)inode_idx & IMAP_MALLOC_LOW_BITS);
|
|
if (!map_n)
|
|
{
|
|
auto imap = ((heap_inode_map_t*)inode_idx);
|
|
imap->erase(li_it);
|
|
assert(imap->size() > 1);
|
|
if (imap->size() < IMAP_MAX_LOW)
|
|
{
|
|
// Convert to list
|
|
heap_list_item_t **lis = (heap_list_item_t**)malloc_or_die(sizeof(heap_list_item_t *) * imap->size());
|
|
assert(!((size_t)lis & IMAP_MALLOC_LOW_BITS));
|
|
size_t i = 0;
|
|
for (heap_list_item_t *li: *imap)
|
|
{
|
|
lis[i++] = li;
|
|
}
|
|
inode_idx = (void*)(imap->size() | (size_t)lis);
|
|
delete imap;
|
|
}
|
|
}
|
|
else if (map_n == 1)
|
|
{
|
|
// Erase
|
|
pg_idx.erase(li->entry.inode);
|
|
}
|
|
else
|
|
{
|
|
heap_list_item_t **lis = (heap_list_item_t**)((size_t)inode_idx & ~IMAP_MALLOC_LOW_BITS);
|
|
size_t filled = 0;
|
|
for (size_t i = 0; i < map_n; i++)
|
|
{
|
|
if (lis[i])
|
|
{
|
|
if (lis[i]->entry.stripe == li->entry.stripe)
|
|
lis[i] = NULL;
|
|
else
|
|
filled++;
|
|
}
|
|
}
|
|
if (filled <= map_n/2)
|
|
{
|
|
assert(filled > 0);
|
|
if (filled == 1)
|
|
{
|
|
// Convert to a single entry
|
|
heap_list_item_t *single = NULL;
|
|
for (size_t i = 0; i < map_n; i++)
|
|
{
|
|
if (lis[i])
|
|
{
|
|
single = lis[i];
|
|
break;
|
|
}
|
|
}
|
|
free(lis);
|
|
assert(!((size_t)single & IMAP_MALLOC_LOW_BITS));
|
|
inode_idx = (void*)(1 | (size_t)single);
|
|
}
|
|
else
|
|
{
|
|
// Convert to a smaller list
|
|
heap_list_item_t **new_lis = (heap_list_item_t**)malloc_or_die(sizeof(heap_list_item_t**) * filled);
|
|
assert(!((size_t)new_lis & IMAP_MALLOC_LOW_BITS));
|
|
size_t j = 0;
|
|
for (size_t i = 0; i < map_n; i++)
|
|
{
|
|
if (lis[i])
|
|
new_lis[j++] = lis[i];
|
|
}
|
|
assert(j == filled);
|
|
free(lis);
|
|
inode_idx = (void*)(filled | (size_t)new_lis);
|
|
}
|
|
}
|
|
}
|
|
}
|