xref: /openbmc/linux/fs/bfs/file.c (revision 2cb1e089)
1b2441318SGreg Kroah-Hartman // SPDX-License-Identifier: GPL-2.0
21da177e4SLinus Torvalds /*
31da177e4SLinus Torvalds  *	fs/bfs/file.c
41da177e4SLinus Torvalds  *	BFS file operations.
5d1877155STigran Aivazian  *	Copyright (C) 1999-2018 Tigran Aivazian <aivazian.tigran@gmail.com>
6f433dc56SDmitri Vorobiev  *
7f433dc56SDmitri Vorobiev  *	Make the file block allocation algorithm understand the size
8f433dc56SDmitri Vorobiev  *	of the underlying block device.
9f433dc56SDmitri Vorobiev  *	Copyright (C) 2007 Dmitri Vorobiev <dmitri.vorobiev@gmail.com>
10f433dc56SDmitri Vorobiev  *
111da177e4SLinus Torvalds  */
121da177e4SLinus Torvalds 
131da177e4SLinus Torvalds #include <linux/fs.h>
141da177e4SLinus Torvalds #include <linux/buffer_head.h>
151da177e4SLinus Torvalds #include "bfs.h"
161da177e4SLinus Torvalds 
171da177e4SLinus Torvalds #undef DEBUG
181da177e4SLinus Torvalds 
191da177e4SLinus Torvalds #ifdef DEBUG
201da177e4SLinus Torvalds #define dprintf(x...)	printf(x)
211da177e4SLinus Torvalds #else
221da177e4SLinus Torvalds #define dprintf(x...)
231da177e4SLinus Torvalds #endif
241da177e4SLinus Torvalds 
254b6f5d20SArjan van de Ven const struct file_operations bfs_file_operations = {
261da177e4SLinus Torvalds 	.llseek 	= generic_file_llseek,
27aad4f8bbSAl Viro 	.read_iter	= generic_file_read_iter,
288174202bSAl Viro 	.write_iter	= generic_file_write_iter,
291da177e4SLinus Torvalds 	.mmap		= generic_file_mmap,
30*2cb1e089SDavid Howells 	.splice_read	= filemap_splice_read,
311da177e4SLinus Torvalds };
321da177e4SLinus Torvalds 
bfs_move_block(unsigned long from,unsigned long to,struct super_block * sb)33f433dc56SDmitri Vorobiev static int bfs_move_block(unsigned long from, unsigned long to,
34f433dc56SDmitri Vorobiev 					struct super_block *sb)
351da177e4SLinus Torvalds {
361da177e4SLinus Torvalds 	struct buffer_head *bh, *new;
371da177e4SLinus Torvalds 
381da177e4SLinus Torvalds 	bh = sb_bread(sb, from);
391da177e4SLinus Torvalds 	if (!bh)
401da177e4SLinus Torvalds 		return -EIO;
411da177e4SLinus Torvalds 	new = sb_getblk(sb, to);
421da177e4SLinus Torvalds 	memcpy(new->b_data, bh->b_data, bh->b_size);
431da177e4SLinus Torvalds 	mark_buffer_dirty(new);
441da177e4SLinus Torvalds 	bforget(bh);
451da177e4SLinus Torvalds 	brelse(new);
461da177e4SLinus Torvalds 	return 0;
471da177e4SLinus Torvalds }
481da177e4SLinus Torvalds 
bfs_move_blocks(struct super_block * sb,unsigned long start,unsigned long end,unsigned long where)49fac92becSAndrew Stribblehill static int bfs_move_blocks(struct super_block *sb, unsigned long start,
50fac92becSAndrew Stribblehill 				unsigned long end, unsigned long where)
511da177e4SLinus Torvalds {
521da177e4SLinus Torvalds 	unsigned long i;
531da177e4SLinus Torvalds 
541da177e4SLinus Torvalds 	dprintf("%08lx-%08lx->%08lx\n", start, end, where);
551da177e4SLinus Torvalds 	for (i = start; i <= end; i++)
561da177e4SLinus Torvalds 		if(bfs_move_block(i, where + i, sb)) {
57f433dc56SDmitri Vorobiev 			dprintf("failed to move block %08lx -> %08lx\n", i,
58f433dc56SDmitri Vorobiev 								where + i);
591da177e4SLinus Torvalds 			return -EIO;
601da177e4SLinus Torvalds 		}
611da177e4SLinus Torvalds 	return 0;
621da177e4SLinus Torvalds }
631da177e4SLinus Torvalds 
bfs_get_block(struct inode * inode,sector_t block,struct buffer_head * bh_result,int create)641da177e4SLinus Torvalds static int bfs_get_block(struct inode *inode, sector_t block,
651da177e4SLinus Torvalds 			struct buffer_head *bh_result, int create)
661da177e4SLinus Torvalds {
67fac92becSAndrew Stribblehill 	unsigned long phys;
681da177e4SLinus Torvalds 	int err;
691da177e4SLinus Torvalds 	struct super_block *sb = inode->i_sb;
701da177e4SLinus Torvalds 	struct bfs_sb_info *info = BFS_SB(sb);
711da177e4SLinus Torvalds 	struct bfs_inode_info *bi = BFS_I(inode);
721da177e4SLinus Torvalds 
731da177e4SLinus Torvalds 	phys = bi->i_sblock + block;
741da177e4SLinus Torvalds 	if (!create) {
751da177e4SLinus Torvalds 		if (phys <= bi->i_eblock) {
76fac92becSAndrew Stribblehill 			dprintf("c=%d, b=%08lx, phys=%09lx (granted)\n",
77fac92becSAndrew Stribblehill                                 create, (unsigned long)block, phys);
781da177e4SLinus Torvalds 			map_bh(bh_result, sb, phys);
791da177e4SLinus Torvalds 		}
801da177e4SLinus Torvalds 		return 0;
811da177e4SLinus Torvalds 	}
821da177e4SLinus Torvalds 
83f433dc56SDmitri Vorobiev 	/*
84f433dc56SDmitri Vorobiev 	 * If the file is not empty and the requested block is within the
85f433dc56SDmitri Vorobiev 	 * range of blocks allocated for this file, we can grant it.
86f433dc56SDmitri Vorobiev 	 */
87f433dc56SDmitri Vorobiev 	if (bi->i_sblock && (phys <= bi->i_eblock)) {
881da177e4SLinus Torvalds 		dprintf("c=%d, b=%08lx, phys=%08lx (interim block granted)\n",
89fac92becSAndrew Stribblehill 				create, (unsigned long)block, phys);
901da177e4SLinus Torvalds 		map_bh(bh_result, sb, phys);
911da177e4SLinus Torvalds 		return 0;
921da177e4SLinus Torvalds 	}
931da177e4SLinus Torvalds 
94f433dc56SDmitri Vorobiev 	/* The file will be extended, so let's see if there is enough space. */
95f433dc56SDmitri Vorobiev 	if (phys >= info->si_blocks)
96f433dc56SDmitri Vorobiev 		return -ENOSPC;
97f433dc56SDmitri Vorobiev 
98f433dc56SDmitri Vorobiev 	/* The rest has to be protected against itself. */
993f165e4cSDmitri Vorobiev 	mutex_lock(&info->bfs_lock);
1001da177e4SLinus Torvalds 
101f433dc56SDmitri Vorobiev 	/*
102f433dc56SDmitri Vorobiev 	 * If the last data block for this file is the last allocated
103f433dc56SDmitri Vorobiev 	 * block, we can extend the file trivially, without moving it
104f433dc56SDmitri Vorobiev 	 * anywhere.
105f433dc56SDmitri Vorobiev 	 */
1061da177e4SLinus Torvalds 	if (bi->i_eblock == info->si_lf_eblk) {
1071da177e4SLinus Torvalds 		dprintf("c=%d, b=%08lx, phys=%08lx (simple extension)\n",
108fac92becSAndrew Stribblehill 				create, (unsigned long)block, phys);
1091da177e4SLinus Torvalds 		map_bh(bh_result, sb, phys);
1101da177e4SLinus Torvalds 		info->si_freeb -= phys - bi->i_eblock;
1111da177e4SLinus Torvalds 		info->si_lf_eblk = bi->i_eblock = phys;
1121da177e4SLinus Torvalds 		mark_inode_dirty(inode);
1131da177e4SLinus Torvalds 		err = 0;
1141da177e4SLinus Torvalds 		goto out;
1151da177e4SLinus Torvalds 	}
1161da177e4SLinus Torvalds 
117f433dc56SDmitri Vorobiev 	/* Ok, we have to move this entire file to the next free block. */
1181da177e4SLinus Torvalds 	phys = info->si_lf_eblk + 1;
119f433dc56SDmitri Vorobiev 	if (phys + block >= info->si_blocks) {
120f433dc56SDmitri Vorobiev 		err = -ENOSPC;
121f433dc56SDmitri Vorobiev 		goto out;
122f433dc56SDmitri Vorobiev 	}
123f433dc56SDmitri Vorobiev 
124f433dc56SDmitri Vorobiev 	if (bi->i_sblock) {
1251da177e4SLinus Torvalds 		err = bfs_move_blocks(inode->i_sb, bi->i_sblock,
1261da177e4SLinus Torvalds 						bi->i_eblock, phys);
1271da177e4SLinus Torvalds 		if (err) {
128f433dc56SDmitri Vorobiev 			dprintf("failed to move ino=%08lx -> fs corruption\n",
129f433dc56SDmitri Vorobiev 								inode->i_ino);
1301da177e4SLinus Torvalds 			goto out;
1311da177e4SLinus Torvalds 		}
1321da177e4SLinus Torvalds 	} else
1331da177e4SLinus Torvalds 		err = 0;
1341da177e4SLinus Torvalds 
135fac92becSAndrew Stribblehill 	dprintf("c=%d, b=%08lx, phys=%08lx (moved)\n",
136fac92becSAndrew Stribblehill                 create, (unsigned long)block, phys);
1371da177e4SLinus Torvalds 	bi->i_sblock = phys;
1381da177e4SLinus Torvalds 	phys += block;
1391da177e4SLinus Torvalds 	info->si_lf_eblk = bi->i_eblock = phys;
1401da177e4SLinus Torvalds 
141f433dc56SDmitri Vorobiev 	/*
142f433dc56SDmitri Vorobiev 	 * This assumes nothing can write the inode back while we are here
143f433dc56SDmitri Vorobiev 	 * and thus update inode->i_blocks! (XXX)
144f433dc56SDmitri Vorobiev 	 */
1451da177e4SLinus Torvalds 	info->si_freeb -= bi->i_eblock - bi->i_sblock + 1 - inode->i_blocks;
1461da177e4SLinus Torvalds 	mark_inode_dirty(inode);
1471da177e4SLinus Torvalds 	map_bh(bh_result, sb, phys);
1481da177e4SLinus Torvalds out:
1493f165e4cSDmitri Vorobiev 	mutex_unlock(&info->bfs_lock);
1501da177e4SLinus Torvalds 	return err;
1511da177e4SLinus Torvalds }
1521da177e4SLinus Torvalds 
bfs_writepage(struct page * page,struct writeback_control * wbc)1531da177e4SLinus Torvalds static int bfs_writepage(struct page *page, struct writeback_control *wbc)
1541da177e4SLinus Torvalds {
1551da177e4SLinus Torvalds 	return block_write_full_page(page, bfs_get_block, wbc);
1561da177e4SLinus Torvalds }
1571da177e4SLinus Torvalds 
bfs_read_folio(struct file * file,struct folio * folio)1582c69e205SMatthew Wilcox (Oracle) static int bfs_read_folio(struct file *file, struct folio *folio)
1591da177e4SLinus Torvalds {
1602c69e205SMatthew Wilcox (Oracle) 	return block_read_full_folio(folio, bfs_get_block);
1611da177e4SLinus Torvalds }
1621da177e4SLinus Torvalds 
bfs_write_failed(struct address_space * mapping,loff_t to)16341ddaeebSMarco Stornelli static void bfs_write_failed(struct address_space *mapping, loff_t to)
16441ddaeebSMarco Stornelli {
16541ddaeebSMarco Stornelli 	struct inode *inode = mapping->host;
16641ddaeebSMarco Stornelli 
16741ddaeebSMarco Stornelli 	if (to > inode->i_size)
1687caef267SKirill A. Shutemov 		truncate_pagecache(inode, inode->i_size);
16941ddaeebSMarco Stornelli }
17041ddaeebSMarco Stornelli 
bfs_write_begin(struct file * file,struct address_space * mapping,loff_t pos,unsigned len,struct page ** pagep,void ** fsdata)171eedcbba5SNick Piggin static int bfs_write_begin(struct file *file, struct address_space *mapping,
1729d6b0cd7SMatthew Wilcox (Oracle) 			loff_t pos, unsigned len,
173eedcbba5SNick Piggin 			struct page **pagep, void **fsdata)
1741da177e4SLinus Torvalds {
175155130a4SChristoph Hellwig 	int ret;
176155130a4SChristoph Hellwig 
177b3992d1eSMatthew Wilcox (Oracle) 	ret = block_write_begin(mapping, pos, len, pagep, bfs_get_block);
17841ddaeebSMarco Stornelli 	if (unlikely(ret))
17941ddaeebSMarco Stornelli 		bfs_write_failed(mapping, pos + len);
180155130a4SChristoph Hellwig 
181155130a4SChristoph Hellwig 	return ret;
1821da177e4SLinus Torvalds }
1831da177e4SLinus Torvalds 
bfs_bmap(struct address_space * mapping,sector_t block)1841da177e4SLinus Torvalds static sector_t bfs_bmap(struct address_space *mapping, sector_t block)
1851da177e4SLinus Torvalds {
1861da177e4SLinus Torvalds 	return generic_block_bmap(mapping, block, bfs_get_block);
1871da177e4SLinus Torvalds }
1881da177e4SLinus Torvalds 
189f5e54d6eSChristoph Hellwig const struct address_space_operations bfs_aops = {
190e621900aSMatthew Wilcox (Oracle) 	.dirty_folio	= block_dirty_folio,
1917ba13abbSMatthew Wilcox (Oracle) 	.invalidate_folio = block_invalidate_folio,
1922c69e205SMatthew Wilcox (Oracle) 	.read_folio	= bfs_read_folio,
1931da177e4SLinus Torvalds 	.writepage	= bfs_writepage,
194eedcbba5SNick Piggin 	.write_begin	= bfs_write_begin,
195eedcbba5SNick Piggin 	.write_end	= generic_write_end,
1961da177e4SLinus Torvalds 	.bmap		= bfs_bmap,
1971da177e4SLinus Torvalds };
1981da177e4SLinus Torvalds 
199754661f1SArjan van de Ven const struct inode_operations bfs_file_inops;
200