b493a30b65
Makes it more consitent in the face of exceptions
706 lines
14 KiB
C++
706 lines
14 KiB
C++
#include "block-cache/block_cache.h"
|
|
|
|
#include <assert.h>
|
|
#include <libaio.h>
|
|
#include <errno.h>
|
|
#include <pthread.h>
|
|
#include <stdarg.h>
|
|
#include <stdio.h>
|
|
#include <string.h>
|
|
#include <unistd.h>
|
|
|
|
#include <iostream>
|
|
#include <stdexcept>
|
|
#include <sstream>
|
|
|
|
using namespace bcache;
|
|
|
|
//----------------------------------------------------------------
|
|
|
|
// FIXME: get from linux headers
|
|
#define SECTOR_SHIFT 9
|
|
#define PAGE_SIZE 4096
|
|
|
|
#define MIN_BLOCKS 16
|
|
#define WRITEBACK_LOW_THRESHOLD_PERCENT 33
|
|
#define WRITEBACK_HIGH_THRESHOLD_PERCENT 66
|
|
|
|
//----------------------------------------------------------------
|
|
|
|
namespace {
|
|
void *alloc_aligned(size_t len, size_t alignment)
|
|
{
|
|
void *result = NULL;
|
|
int r = posix_memalign(&result, alignment, len);
|
|
if (r)
|
|
return NULL;
|
|
|
|
return result;
|
|
}
|
|
}
|
|
|
|
//----------------------------------------------------------------
|
|
|
|
int
|
|
block_cache::init_free_list(unsigned count)
|
|
{
|
|
size_t len;
|
|
block *blocks;
|
|
size_t block_size = block_size_ << SECTOR_SHIFT;
|
|
void *data;
|
|
unsigned i;
|
|
|
|
/* Allocate the block structures */
|
|
len = sizeof(block) * count;
|
|
blocks = static_cast<block *>(malloc(len));
|
|
if (!blocks)
|
|
return -ENOMEM;
|
|
|
|
blocks_memory_ = blocks;
|
|
|
|
/* Allocate the data for each block. We page align the data. */
|
|
data = alloc_aligned(count * block_size, PAGE_SIZE);
|
|
if (!data) {
|
|
free(blocks);
|
|
return -ENOMEM;
|
|
}
|
|
|
|
blocks_data_ = data;
|
|
|
|
for (i = 0; i < count; i++) {
|
|
block *b = new (blocks + i) block();
|
|
b->data_ = static_cast<unsigned char *>(data) + block_size * i;
|
|
|
|
list_add(&b->list_, &free_);
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
void
|
|
block_cache::exit_free_list()
|
|
{
|
|
if (blocks_data_)
|
|
free(blocks_data_);
|
|
|
|
if (blocks_memory_) {
|
|
struct block *blocks = static_cast<block *>(blocks_memory_);
|
|
for (unsigned i = 0; i < nr_cache_blocks_; i++)
|
|
(blocks + i)->~block();
|
|
|
|
free(blocks_memory_);
|
|
}
|
|
}
|
|
|
|
block_cache::block *
|
|
block_cache::__alloc_block()
|
|
{
|
|
block *b;
|
|
|
|
if (list_empty(&free_))
|
|
return NULL;
|
|
|
|
b = list_first_entry(&free_, block, list_);
|
|
list_del(&b->list_);
|
|
|
|
return b;
|
|
}
|
|
|
|
/*----------------------------------------------------------------
|
|
* Low level IO handling
|
|
*
|
|
* We cannot have two concurrent writes on the same block.
|
|
* eg, background writeback, put with dirty, flush?
|
|
*
|
|
* To avoid this we introduce some restrictions:
|
|
*
|
|
* i) A held block can never be written back.
|
|
* ii) You cannot get a block until writeback has completed.
|
|
*
|
|
*--------------------------------------------------------------*/
|
|
|
|
/*
|
|
* This can be called from the context of the aio thread. So we have a
|
|
* separate 'top half' complete function that we know is only called by the
|
|
* main cache thread.
|
|
*/
|
|
void
|
|
block_cache::complete_io(block &b, int result)
|
|
{
|
|
b.error_ = result;
|
|
b.clear_flags(BF_IO_PENDING);
|
|
nr_io_pending_--;
|
|
|
|
if (b.error_)
|
|
list_move_tail(&b.list_, &errored_);
|
|
else {
|
|
if (b.test_flags(BF_DIRTY)) {
|
|
b.clear_flags(BF_DIRTY | BF_PREVIOUSLY_DIRTY);
|
|
nr_dirty_--;
|
|
}
|
|
|
|
list_move_tail(&b.list_, &clean_);
|
|
}
|
|
}
|
|
|
|
/*
|
|
* |b->list| should be valid (either pointing to itself, on one of the other
|
|
* lists.
|
|
*/
|
|
// FIXME: add batch issue
|
|
void
|
|
block_cache::issue_low_level(block &b, enum io_iocb_cmd opcode, const char *desc)
|
|
{
|
|
int r;
|
|
iocb *control_blocks[1];
|
|
|
|
assert(!b.test_flags(BF_IO_PENDING));
|
|
b.set_flags(BF_IO_PENDING);
|
|
nr_io_pending_++;
|
|
list_move_tail(&b.list_, &io_pending_);
|
|
|
|
b.control_block_.aio_lio_opcode = opcode;
|
|
control_blocks[0] = &b.control_block_;
|
|
r = io_submit(aio_context_, 1, control_blocks);
|
|
if (r != 1) {
|
|
complete_io(b, EIO);
|
|
|
|
std::ostringstream out;
|
|
out << "couldn't issue " << desc << " io for block " << b.index_;
|
|
|
|
if (r < 0)
|
|
out << ": io_submit failed with " << r;
|
|
else
|
|
out << ": io_submit succeeded, but queued no io";
|
|
|
|
throw std::runtime_error(out.str());
|
|
}
|
|
}
|
|
|
|
void
|
|
block_cache::issue_read(block &b)
|
|
{
|
|
assert(!b.test_flags(BF_IO_PENDING));
|
|
issue_low_level(b, IO_CMD_PREAD, "read");
|
|
}
|
|
|
|
void
|
|
block_cache::issue_write(block &b)
|
|
{
|
|
assert(!b.test_flags(BF_IO_PENDING));
|
|
b.v_->prepare(b.data_, b.index_);
|
|
issue_low_level(b, IO_CMD_PWRITE, "write");
|
|
}
|
|
|
|
void
|
|
block_cache::wait_io()
|
|
{
|
|
int r;
|
|
unsigned i;
|
|
|
|
// FIXME: use a timeout to prevent hanging
|
|
r = io_getevents(aio_context_, 1, nr_cache_blocks_, &events_[0], NULL);
|
|
if (r < 0) {
|
|
std::ostringstream out;
|
|
out << "io_getevents failed: " << r;
|
|
throw std::runtime_error(out.str());
|
|
}
|
|
|
|
for (i = 0; i < static_cast<unsigned>(r); i++) {
|
|
io_event const &e = events_[i];
|
|
block *b = container_of(e.obj, block, control_block_);
|
|
|
|
if (e.res == block_size_ << SECTOR_SHIFT)
|
|
complete_io(*b, 0);
|
|
|
|
else if (e.res < 0)
|
|
complete_io(*b, e.res);
|
|
|
|
else {
|
|
std::ostringstream out;
|
|
out << "incomplete io for block " << b->index_
|
|
<< ", e.res = " << e.res
|
|
<< ", e.res2 = " << e.res2
|
|
<< ", offset = " << b->control_block_.u.c.offset
|
|
<< ", nbytes = " << b->control_block_.u.c.nbytes;
|
|
throw std::runtime_error(out.str());
|
|
}
|
|
}
|
|
}
|
|
|
|
/*----------------------------------------------------------------
|
|
* Clean/dirty list management
|
|
*--------------------------------------------------------------*/
|
|
|
|
/*
|
|
* We're using lru lists atm, but I think it would be worth
|
|
* experimenting with a multiqueue approach.
|
|
*/
|
|
list_head *
|
|
block_cache::__categorise(block &b)
|
|
{
|
|
if (b.error_)
|
|
return &errored_;
|
|
|
|
return b.test_flags(BF_DIRTY) ? &dirty_ : &clean_;
|
|
}
|
|
|
|
void
|
|
block_cache::hit(block &b)
|
|
{
|
|
list_move_tail(&b.list_, __categorise(b));
|
|
}
|
|
|
|
/*----------------------------------------------------------------
|
|
* High level IO handling
|
|
*--------------------------------------------------------------*/
|
|
void
|
|
block_cache::wait_all()
|
|
{
|
|
while (!list_empty(&io_pending_))
|
|
wait_io();
|
|
}
|
|
|
|
void
|
|
block_cache::wait_specific(block &b)
|
|
{
|
|
while (b.test_flags(BF_IO_PENDING))
|
|
wait_io();
|
|
}
|
|
|
|
unsigned
|
|
block_cache::writeback(unsigned count)
|
|
{
|
|
block *b, *tmp;
|
|
unsigned actual = 0, dirty_length = 0;
|
|
|
|
list_for_each_entry_safe (b, tmp, &dirty_, list_) {
|
|
dirty_length++;
|
|
|
|
if (actual == count)
|
|
break;
|
|
|
|
// The block may be on the dirty list from a prior
|
|
// acquisition.
|
|
if (b->ref_count_)
|
|
continue;
|
|
|
|
issue_write(*b);
|
|
actual++;
|
|
}
|
|
|
|
return actual;
|
|
}
|
|
|
|
/*----------------------------------------------------------------
|
|
* Hash table
|
|
*---------------------------------------------------------------*/
|
|
|
|
/*
|
|
* |nr_buckets| must be a power of two.
|
|
*/
|
|
void
|
|
block_cache::hash_init(unsigned nr_buckets)
|
|
{
|
|
unsigned i;
|
|
|
|
nr_buckets_ = nr_buckets;
|
|
mask_ = nr_buckets - 1;
|
|
|
|
for (i = 0; i < nr_buckets; i++)
|
|
INIT_LIST_HEAD(&buckets_[i]);
|
|
}
|
|
|
|
unsigned
|
|
block_cache::hash(uint64_t index)
|
|
{
|
|
const unsigned BIG_PRIME = 4294967291UL;
|
|
return (((unsigned) index) * BIG_PRIME) & mask_;
|
|
}
|
|
|
|
block_cache::block *
|
|
block_cache::hash_lookup(block_address index)
|
|
{
|
|
block *b;
|
|
unsigned bucket = hash(index);
|
|
|
|
list_for_each_entry (b, &buckets_[bucket], hash_list_) {
|
|
if (b->index_ == index)
|
|
return b;
|
|
}
|
|
|
|
return NULL;
|
|
}
|
|
|
|
void
|
|
block_cache::hash_insert(block &b)
|
|
{
|
|
unsigned bucket = hash(b.index_);
|
|
list_move_tail(&b.hash_list_, &buckets_[bucket]);
|
|
}
|
|
|
|
void
|
|
block_cache::hash_remove(block &b)
|
|
{
|
|
list_del_init(&b.hash_list_);
|
|
}
|
|
|
|
/*----------------------------------------------------------------
|
|
* High level allocation
|
|
*--------------------------------------------------------------*/
|
|
void
|
|
block_cache::setup_control_block(block &b)
|
|
{
|
|
iocb *cb = &b.control_block_;
|
|
size_t block_size_bytes = block_size_ << SECTOR_SHIFT;
|
|
|
|
memset(cb, 0, sizeof(*cb));
|
|
cb->aio_fildes = fd_;
|
|
|
|
cb->u.c.buf = b.data_;
|
|
cb->u.c.offset = block_size_bytes * b.index_;
|
|
cb->u.c.nbytes = block_size_bytes;
|
|
}
|
|
|
|
block_cache::block *
|
|
block_cache::find_unused_clean_block()
|
|
{
|
|
struct block *b, *tmp;
|
|
|
|
list_for_each_entry_safe (b, tmp, &clean_, list_) {
|
|
if (b->ref_count_)
|
|
continue;
|
|
|
|
hash_remove(*b);
|
|
list_del(&b->list_);
|
|
return b;
|
|
}
|
|
|
|
return NULL;
|
|
}
|
|
|
|
block_cache::block *
|
|
block_cache::new_block(block_address index)
|
|
{
|
|
block *b;
|
|
|
|
b = __alloc_block();
|
|
if (!b) {
|
|
if (list_empty(&clean_)) {
|
|
if (list_empty(&io_pending_))
|
|
writeback(16);
|
|
wait_io();
|
|
}
|
|
|
|
b = find_unused_clean_block();
|
|
}
|
|
|
|
if (b) {
|
|
INIT_LIST_HEAD(&b->list_);
|
|
INIT_LIST_HEAD(&b->hash_list_);
|
|
b->bc_ = this;
|
|
b->ref_count_ = 0;
|
|
|
|
b->error_ = 0;
|
|
b->flags_ = 0;
|
|
b->v_ = noop_validator_;
|
|
|
|
b->index_ = index;
|
|
setup_control_block(*b);
|
|
|
|
hash_insert(*b);
|
|
}
|
|
|
|
return b;
|
|
}
|
|
|
|
/*----------------------------------------------------------------
|
|
* Block reference counting
|
|
*--------------------------------------------------------------*/
|
|
unsigned
|
|
block_cache::calc_nr_cache_blocks(size_t mem, sector_t block_size)
|
|
{
|
|
size_t space_per_block = (block_size << SECTOR_SHIFT) + sizeof(block);
|
|
unsigned r = mem / space_per_block;
|
|
|
|
return (r < MIN_BLOCKS) ? MIN_BLOCKS : r;
|
|
}
|
|
|
|
unsigned
|
|
block_cache::calc_nr_buckets(unsigned nr_blocks)
|
|
{
|
|
unsigned r = 8;
|
|
unsigned n = nr_blocks / 4;
|
|
|
|
if (n < 8)
|
|
n = 8;
|
|
|
|
while (r < n)
|
|
r <<= 1;
|
|
|
|
return r;
|
|
}
|
|
|
|
block_cache::block_cache(int fd, sector_t block_size, uint64_t on_disk_blocks, size_t mem)
|
|
: nr_locked_(0),
|
|
nr_dirty_(0),
|
|
nr_io_pending_(0),
|
|
read_hits_(0),
|
|
read_misses_(0),
|
|
write_zeroes_(0),
|
|
write_hits_(0),
|
|
write_misses_(0),
|
|
prefetches_(0),
|
|
noop_validator_(new noop_validator())
|
|
{
|
|
int r;
|
|
unsigned nr_cache_blocks = calc_nr_cache_blocks(mem, block_size);
|
|
unsigned nr_buckets = calc_nr_buckets(nr_cache_blocks);
|
|
|
|
buckets_.resize(nr_buckets);
|
|
|
|
fd_ = fd;
|
|
block_size_ = block_size;
|
|
nr_data_blocks_ = on_disk_blocks;
|
|
nr_cache_blocks_ = nr_cache_blocks;
|
|
|
|
events_.resize(nr_cache_blocks);
|
|
|
|
aio_context_ = 0; /* needed or io_setup will fail */
|
|
r = io_setup(nr_cache_blocks, &aio_context_);
|
|
if (r < 0) {
|
|
perror("io_setup failed");
|
|
throw std::runtime_error("io_setup failed");
|
|
}
|
|
|
|
hash_init(nr_buckets);
|
|
INIT_LIST_HEAD(&free_);
|
|
INIT_LIST_HEAD(&errored_);
|
|
INIT_LIST_HEAD(&dirty_);
|
|
INIT_LIST_HEAD(&clean_);
|
|
INIT_LIST_HEAD(&io_pending_);
|
|
|
|
r = init_free_list(nr_cache_blocks);
|
|
if (r)
|
|
throw std::runtime_error("couldn't allocate blocks");
|
|
}
|
|
|
|
block_cache::~block_cache()
|
|
{
|
|
assert(!nr_locked_);
|
|
flush();
|
|
wait_all();
|
|
|
|
exit_free_list();
|
|
|
|
if (aio_context_)
|
|
io_destroy(aio_context_);
|
|
|
|
::close(fd_);
|
|
|
|
#if 0
|
|
std::cerr << "\nblock cache stats\n"
|
|
<< "=================\n"
|
|
<< "prefetches:\t" << prefetches_ << "\n"
|
|
<< "read hits:\t" << read_hits_ << "\n"
|
|
<< "read misses:\t" << read_misses_ << "\n"
|
|
<< "write hits:\t" << write_hits_ << "\n"
|
|
<< "write misses:\t" << write_misses_ << "\n"
|
|
<< "write zeroes:\t" << write_zeroes_ << std::endl;
|
|
#endif
|
|
}
|
|
|
|
uint64_t
|
|
block_cache::get_nr_blocks() const
|
|
{
|
|
return nr_data_blocks_;
|
|
}
|
|
|
|
uint64_t
|
|
block_cache::get_nr_locked() const
|
|
{
|
|
return nr_locked_;
|
|
}
|
|
|
|
void
|
|
block_cache::zero_block(block &b)
|
|
{
|
|
write_zeroes_++;
|
|
memset(b.data_, 0, block_size_ << SECTOR_SHIFT);
|
|
b.mark_dirty();
|
|
}
|
|
|
|
void
|
|
block_cache::inc_hit_counter(unsigned flags)
|
|
{
|
|
if (flags & (GF_ZERO | GF_DIRTY))
|
|
write_hits_++;
|
|
else
|
|
read_hits_++;
|
|
}
|
|
|
|
void
|
|
block_cache::inc_miss_counter(unsigned flags)
|
|
{
|
|
if (flags & (GF_ZERO | GF_DIRTY))
|
|
write_misses_++;
|
|
else
|
|
read_misses_++;
|
|
}
|
|
|
|
block_cache::block *
|
|
block_cache::lookup_or_read_block(block_address index, unsigned flags,
|
|
validator::ptr v)
|
|
{
|
|
block *b = hash_lookup(index);
|
|
|
|
if (b) {
|
|
if (b->test_flags(BF_IO_PENDING)) {
|
|
inc_miss_counter(flags);
|
|
wait_specific(*b);
|
|
} else
|
|
inc_hit_counter(flags);
|
|
|
|
if (flags & GF_ZERO)
|
|
zero_block(*b);
|
|
else {
|
|
if (b->v_.get() != v.get()) {
|
|
if (b->test_flags(BF_DIRTY))
|
|
b->v_->prepare(b->data_, b->index_);
|
|
v->check(b->data_, b->index_);
|
|
}
|
|
}
|
|
b->v_ = v;
|
|
|
|
} else {
|
|
inc_miss_counter(flags);
|
|
|
|
b = new_block(index);
|
|
if (b) {
|
|
if (flags & GF_ZERO)
|
|
zero_block(*b);
|
|
else {
|
|
issue_read(*b);
|
|
wait_specific(*b);
|
|
v->check(b->data_, b->index_);
|
|
}
|
|
|
|
b->v_ = v;
|
|
}
|
|
}
|
|
|
|
return (!b || b->error_) ? NULL : b;
|
|
}
|
|
|
|
block_cache::block &
|
|
block_cache::get(block_address index, unsigned flags, validator::ptr v)
|
|
{
|
|
check_index(index);
|
|
|
|
block *b = lookup_or_read_block(index, flags, v);
|
|
|
|
if (b) {
|
|
if (b->ref_count_ && flags & (GF_DIRTY | GF_ZERO))
|
|
throw std::runtime_error("attempt to write lock block concurrently");
|
|
|
|
// FIXME: this gets called even for new blocks
|
|
hit(*b);
|
|
|
|
if (!b->ref_count_)
|
|
nr_locked_++;
|
|
|
|
b->ref_count_++;
|
|
|
|
if (flags & GF_BARRIER)
|
|
b->set_flags(BF_FLUSH);
|
|
|
|
if (flags & GF_DIRTY)
|
|
b->set_flags(BF_DIRTY);
|
|
|
|
return *b;
|
|
}
|
|
|
|
throw std::runtime_error("couldn't get block");
|
|
}
|
|
|
|
void
|
|
block_cache::preemptive_writeback()
|
|
{
|
|
unsigned nr_available = nr_cache_blocks_ - (nr_dirty_ - nr_io_pending_);
|
|
if (nr_available < (WRITEBACK_LOW_THRESHOLD_PERCENT * nr_cache_blocks_ / 100))
|
|
writeback((WRITEBACK_HIGH_THRESHOLD_PERCENT * nr_cache_blocks_ / 100) - nr_available);
|
|
|
|
}
|
|
|
|
void
|
|
block_cache::release(block_cache::block &b)
|
|
{
|
|
assert(!b.ref_count_);
|
|
|
|
nr_locked_--;
|
|
|
|
if (b.test_flags(BF_FLUSH))
|
|
flush();
|
|
|
|
if (b.test_flags(BF_DIRTY)) {
|
|
if (!b.test_flags(BF_PREVIOUSLY_DIRTY)) {
|
|
list_move_tail(&b.list_, &dirty_);
|
|
nr_dirty_++;
|
|
b.set_flags(BF_PREVIOUSLY_DIRTY);
|
|
}
|
|
|
|
if (b.test_flags(BF_FLUSH))
|
|
flush();
|
|
else
|
|
preemptive_writeback();
|
|
|
|
b.clear_flags(BF_FLUSH);
|
|
}
|
|
}
|
|
|
|
int
|
|
block_cache::flush()
|
|
{
|
|
block *b, *tmp;
|
|
|
|
list_for_each_entry_safe (b, tmp, &dirty_, list_) {
|
|
if (b->ref_count_ || b->test_flags(BF_IO_PENDING))
|
|
// The superblock may well be still locked.
|
|
continue;
|
|
|
|
issue_write(*b);
|
|
}
|
|
|
|
wait_all();
|
|
|
|
return list_empty(&errored_) ? 0 : -EIO;
|
|
}
|
|
|
|
void
|
|
block_cache::prefetch(block_address index)
|
|
{
|
|
check_index(index);
|
|
|
|
block *b = hash_lookup(index);
|
|
if (!b) {
|
|
prefetches_++;
|
|
|
|
b = new_block(index);
|
|
if (b)
|
|
issue_read(*b);
|
|
}
|
|
}
|
|
|
|
void
|
|
block_cache::check_index(block_address index) const
|
|
{
|
|
if (index >= nr_data_blocks_) {
|
|
std::ostringstream out;
|
|
out << "block out of bounds ("
|
|
<< index << " >= " << nr_data_blocks_ << ")\n";
|
|
throw std::runtime_error(out.str());
|
|
}
|
|
}
|
|
|
|
//----------------------------------------------------------------
|