mirror of
https://github.com/versity/scoutfs.git
synced 2026-04-22 14:30:31 +00:00
9450959ca4
Our block cache consistency mechanism allows readers to try and read stale block references. They check block headers of the block they read to discover if it has been modified and they should retry the read with newer block references. For this to be correct the block contents can't change under the readers. That's obviously true in the simple imagined case of one node writing and another node reading. But we also have the case where the stale reader and dirtying writer can be concurrent tasks in the same mount which share a block cache. There were a two failure cases that derive from the order of readers and writers working with blocks. If the reader goes first, the writer could find the existing block in the cache and modify it while the reader assumes that it is read only. The fix is to have the writer always remove any existing cached block and insert a newly allocated block into the cache with the header fields already changed. Any existing readers will still have their cached block references and any new readers will see the modified headers and return -ESTALE. The next failure comes from readers trying to invalidate dirty blocks when they see modified headers. They assumed that the existing cached block was old and could be dropped so that a new current version could be read. But in this case a local writer has clobbered the reader's stale block and the reader should immediately return -ESTALE. Signed-off-by: Zach Brown <zab@versity.com>
50 lines
1.7 KiB
C
50 lines
1.7 KiB
C
#ifndef _SCOUTFS_BLOCK_H_
|
|
#define _SCOUTFS_BLOCK_H_
|
|
|
|
struct scoutfs_block_writer {
|
|
spinlock_t lock;
|
|
struct list_head dirty_list;
|
|
u64 nr_dirty_blocks;
|
|
};
|
|
|
|
struct scoutfs_block {
|
|
u64 blkno;
|
|
void *data;
|
|
void *priv;
|
|
};
|
|
|
|
int scoutfs_block_read_ref(struct super_block *sb, struct scoutfs_block_ref *ref, u32 magic,
|
|
struct scoutfs_block **bl_ret);
|
|
void scoutfs_block_put(struct super_block *sb, struct scoutfs_block *bl);
|
|
|
|
void scoutfs_block_writer_init(struct super_block *sb,
|
|
struct scoutfs_block_writer *wri);
|
|
int scoutfs_block_dirty_ref(struct super_block *sb, struct scoutfs_alloc *alloc,
|
|
struct scoutfs_block_writer *wri, struct scoutfs_block_ref *ref,
|
|
u32 magic, struct scoutfs_block **bl_ret,
|
|
u64 dirty_blkno, u64 *ref_blkno);
|
|
int scoutfs_block_writer_write(struct super_block *sb,
|
|
struct scoutfs_block_writer *wri);
|
|
void scoutfs_block_writer_forget_all(struct super_block *sb,
|
|
struct scoutfs_block_writer *wri);
|
|
void scoutfs_block_writer_forget(struct super_block *sb,
|
|
struct scoutfs_block_writer *wri,
|
|
struct scoutfs_block *bl);
|
|
bool scoutfs_block_writer_has_dirty(struct super_block *sb,
|
|
struct scoutfs_block_writer *wri);
|
|
u64 scoutfs_block_writer_dirty_bytes(struct super_block *sb,
|
|
struct scoutfs_block_writer *wri);
|
|
|
|
int scoutfs_block_read_sm(struct super_block *sb,
|
|
struct block_device *bdev, u64 blkno,
|
|
struct scoutfs_block_header *hdr, size_t len,
|
|
__le32 *blk_crc);
|
|
int scoutfs_block_write_sm(struct super_block *sb,
|
|
struct block_device *bdev, u64 blkno,
|
|
struct scoutfs_block_header *hdr, size_t len);
|
|
|
|
int scoutfs_block_setup(struct super_block *sb);
|
|
void scoutfs_block_destroy(struct super_block *sb);
|
|
|
|
#endif
|