| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /* Generic part */ | 
 | 2 |  | 
 | 3 | typedef struct { | 
 | 4 | 	block_t	*p; | 
 | 5 | 	block_t	key; | 
 | 6 | 	struct buffer_head *bh; | 
 | 7 | } Indirect; | 
 | 8 |  | 
 | 9 | static DEFINE_RWLOCK(pointers_lock); | 
 | 10 |  | 
 | 11 | static inline void add_chain(Indirect *p, struct buffer_head *bh, block_t *v) | 
 | 12 | { | 
 | 13 | 	p->key = *(p->p = v); | 
 | 14 | 	p->bh = bh; | 
 | 15 | } | 
 | 16 |  | 
 | 17 | static inline int verify_chain(Indirect *from, Indirect *to) | 
 | 18 | { | 
 | 19 | 	while (from <= to && from->key == *from->p) | 
 | 20 | 		from++; | 
 | 21 | 	return (from > to); | 
 | 22 | } | 
 | 23 |  | 
 | 24 | static inline block_t *block_end(struct buffer_head *bh) | 
 | 25 | { | 
| Andries Brouwer | 939b00d | 2007-02-12 00:52:49 -0800 | [diff] [blame] | 26 | 	return (block_t *)((char*)bh->b_data + bh->b_size); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 27 | } | 
 | 28 |  | 
 | 29 | static inline Indirect *get_branch(struct inode *inode, | 
 | 30 | 					int depth, | 
 | 31 | 					int *offsets, | 
 | 32 | 					Indirect chain[DEPTH], | 
 | 33 | 					int *err) | 
 | 34 | { | 
 | 35 | 	struct super_block *sb = inode->i_sb; | 
 | 36 | 	Indirect *p = chain; | 
 | 37 | 	struct buffer_head *bh; | 
 | 38 |  | 
 | 39 | 	*err = 0; | 
 | 40 | 	/* i_data is not going away, no lock needed */ | 
 | 41 | 	add_chain (chain, NULL, i_data(inode) + *offsets); | 
 | 42 | 	if (!p->key) | 
 | 43 | 		goto no_block; | 
 | 44 | 	while (--depth) { | 
 | 45 | 		bh = sb_bread(sb, block_to_cpu(p->key)); | 
 | 46 | 		if (!bh) | 
 | 47 | 			goto failure; | 
 | 48 | 		read_lock(&pointers_lock); | 
 | 49 | 		if (!verify_chain(chain, p)) | 
 | 50 | 			goto changed; | 
 | 51 | 		add_chain(++p, bh, (block_t *)bh->b_data + *++offsets); | 
 | 52 | 		read_unlock(&pointers_lock); | 
 | 53 | 		if (!p->key) | 
 | 54 | 			goto no_block; | 
 | 55 | 	} | 
 | 56 | 	return NULL; | 
 | 57 |  | 
 | 58 | changed: | 
 | 59 | 	read_unlock(&pointers_lock); | 
 | 60 | 	brelse(bh); | 
 | 61 | 	*err = -EAGAIN; | 
 | 62 | 	goto no_block; | 
 | 63 | failure: | 
 | 64 | 	*err = -EIO; | 
 | 65 | no_block: | 
 | 66 | 	return p; | 
 | 67 | } | 
 | 68 |  | 
 | 69 | static int alloc_branch(struct inode *inode, | 
 | 70 | 			     int num, | 
 | 71 | 			     int *offsets, | 
 | 72 | 			     Indirect *branch) | 
 | 73 | { | 
 | 74 | 	int n = 0; | 
 | 75 | 	int i; | 
 | 76 | 	int parent = minix_new_block(inode); | 
 | 77 |  | 
 | 78 | 	branch[0].key = cpu_to_block(parent); | 
 | 79 | 	if (parent) for (n = 1; n < num; n++) { | 
 | 80 | 		struct buffer_head *bh; | 
 | 81 | 		/* Allocate the next block */ | 
 | 82 | 		int nr = minix_new_block(inode); | 
 | 83 | 		if (!nr) | 
 | 84 | 			break; | 
 | 85 | 		branch[n].key = cpu_to_block(nr); | 
 | 86 | 		bh = sb_getblk(inode->i_sb, parent); | 
 | 87 | 		lock_buffer(bh); | 
| Andries Brouwer | 939b00d | 2007-02-12 00:52:49 -0800 | [diff] [blame] | 88 | 		memset(bh->b_data, 0, bh->b_size); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 89 | 		branch[n].bh = bh; | 
 | 90 | 		branch[n].p = (block_t*) bh->b_data + offsets[n]; | 
 | 91 | 		*branch[n].p = branch[n].key; | 
 | 92 | 		set_buffer_uptodate(bh); | 
 | 93 | 		unlock_buffer(bh); | 
 | 94 | 		mark_buffer_dirty_inode(bh, inode); | 
 | 95 | 		parent = nr; | 
 | 96 | 	} | 
 | 97 | 	if (n == num) | 
 | 98 | 		return 0; | 
 | 99 |  | 
 | 100 | 	/* Allocation failed, free what we already allocated */ | 
 | 101 | 	for (i = 1; i < n; i++) | 
 | 102 | 		bforget(branch[i].bh); | 
 | 103 | 	for (i = 0; i < n; i++) | 
 | 104 | 		minix_free_block(inode, block_to_cpu(branch[i].key)); | 
 | 105 | 	return -ENOSPC; | 
 | 106 | } | 
 | 107 |  | 
 | 108 | static inline int splice_branch(struct inode *inode, | 
 | 109 | 				     Indirect chain[DEPTH], | 
 | 110 | 				     Indirect *where, | 
 | 111 | 				     int num) | 
 | 112 | { | 
 | 113 | 	int i; | 
 | 114 |  | 
 | 115 | 	write_lock(&pointers_lock); | 
 | 116 |  | 
 | 117 | 	/* Verify that place we are splicing to is still there and vacant */ | 
 | 118 | 	if (!verify_chain(chain, where-1) || *where->p) | 
 | 119 | 		goto changed; | 
 | 120 |  | 
 | 121 | 	*where->p = where->key; | 
 | 122 |  | 
 | 123 | 	write_unlock(&pointers_lock); | 
 | 124 |  | 
 | 125 | 	/* We are done with atomic stuff, now do the rest of housekeeping */ | 
 | 126 |  | 
 | 127 | 	inode->i_ctime = CURRENT_TIME_SEC; | 
 | 128 |  | 
 | 129 | 	/* had we spliced it onto indirect block? */ | 
 | 130 | 	if (where->bh) | 
 | 131 | 		mark_buffer_dirty_inode(where->bh, inode); | 
 | 132 |  | 
 | 133 | 	mark_inode_dirty(inode); | 
 | 134 | 	return 0; | 
 | 135 |  | 
 | 136 | changed: | 
 | 137 | 	write_unlock(&pointers_lock); | 
 | 138 | 	for (i = 1; i < num; i++) | 
 | 139 | 		bforget(where[i].bh); | 
 | 140 | 	for (i = 0; i < num; i++) | 
 | 141 | 		minix_free_block(inode, block_to_cpu(where[i].key)); | 
 | 142 | 	return -EAGAIN; | 
 | 143 | } | 
 | 144 |  | 
 | 145 | static inline int get_block(struct inode * inode, sector_t block, | 
 | 146 | 			struct buffer_head *bh, int create) | 
 | 147 | { | 
 | 148 | 	int err = -EIO; | 
 | 149 | 	int offsets[DEPTH]; | 
 | 150 | 	Indirect chain[DEPTH]; | 
 | 151 | 	Indirect *partial; | 
 | 152 | 	int left; | 
 | 153 | 	int depth = block_to_path(inode, block, offsets); | 
 | 154 |  | 
 | 155 | 	if (depth == 0) | 
 | 156 | 		goto out; | 
 | 157 |  | 
 | 158 | reread: | 
 | 159 | 	partial = get_branch(inode, depth, offsets, chain, &err); | 
 | 160 |  | 
 | 161 | 	/* Simplest case - block found, no allocation needed */ | 
 | 162 | 	if (!partial) { | 
 | 163 | got_it: | 
 | 164 | 		map_bh(bh, inode->i_sb, block_to_cpu(chain[depth-1].key)); | 
 | 165 | 		/* Clean up and exit */ | 
 | 166 | 		partial = chain+depth-1; /* the whole chain */ | 
 | 167 | 		goto cleanup; | 
 | 168 | 	} | 
 | 169 |  | 
 | 170 | 	/* Next simple case - plain lookup or failed read of indirect block */ | 
 | 171 | 	if (!create || err == -EIO) { | 
 | 172 | cleanup: | 
 | 173 | 		while (partial > chain) { | 
 | 174 | 			brelse(partial->bh); | 
 | 175 | 			partial--; | 
 | 176 | 		} | 
 | 177 | out: | 
 | 178 | 		return err; | 
 | 179 | 	} | 
 | 180 |  | 
 | 181 | 	/* | 
 | 182 | 	 * Indirect block might be removed by truncate while we were | 
 | 183 | 	 * reading it. Handling of that case (forget what we've got and | 
 | 184 | 	 * reread) is taken out of the main path. | 
 | 185 | 	 */ | 
 | 186 | 	if (err == -EAGAIN) | 
 | 187 | 		goto changed; | 
 | 188 |  | 
 | 189 | 	left = (chain + depth) - partial; | 
 | 190 | 	err = alloc_branch(inode, left, offsets+(partial-chain), partial); | 
 | 191 | 	if (err) | 
 | 192 | 		goto cleanup; | 
 | 193 |  | 
 | 194 | 	if (splice_branch(inode, chain, partial, left) < 0) | 
 | 195 | 		goto changed; | 
 | 196 |  | 
 | 197 | 	set_buffer_new(bh); | 
 | 198 | 	goto got_it; | 
 | 199 |  | 
 | 200 | changed: | 
 | 201 | 	while (partial > chain) { | 
 | 202 | 		brelse(partial->bh); | 
 | 203 | 		partial--; | 
 | 204 | 	} | 
 | 205 | 	goto reread; | 
 | 206 | } | 
 | 207 |  | 
 | 208 | static inline int all_zeroes(block_t *p, block_t *q) | 
 | 209 | { | 
 | 210 | 	while (p < q) | 
 | 211 | 		if (*p++) | 
 | 212 | 			return 0; | 
 | 213 | 	return 1; | 
 | 214 | } | 
 | 215 |  | 
 | 216 | static Indirect *find_shared(struct inode *inode, | 
 | 217 | 				int depth, | 
 | 218 | 				int offsets[DEPTH], | 
 | 219 | 				Indirect chain[DEPTH], | 
 | 220 | 				block_t *top) | 
 | 221 | { | 
 | 222 | 	Indirect *partial, *p; | 
 | 223 | 	int k, err; | 
 | 224 |  | 
 | 225 | 	*top = 0; | 
 | 226 | 	for (k = depth; k > 1 && !offsets[k-1]; k--) | 
 | 227 | 		; | 
 | 228 | 	partial = get_branch(inode, k, offsets, chain, &err); | 
 | 229 |  | 
 | 230 | 	write_lock(&pointers_lock); | 
 | 231 | 	if (!partial) | 
 | 232 | 		partial = chain + k-1; | 
 | 233 | 	if (!partial->key && *partial->p) { | 
 | 234 | 		write_unlock(&pointers_lock); | 
 | 235 | 		goto no_top; | 
 | 236 | 	} | 
 | 237 | 	for (p=partial;p>chain && all_zeroes((block_t*)p->bh->b_data,p->p);p--) | 
 | 238 | 		; | 
 | 239 | 	if (p == chain + k - 1 && p > chain) { | 
 | 240 | 		p->p--; | 
 | 241 | 	} else { | 
 | 242 | 		*top = *p->p; | 
 | 243 | 		*p->p = 0; | 
 | 244 | 	} | 
 | 245 | 	write_unlock(&pointers_lock); | 
 | 246 |  | 
 | 247 | 	while(partial > p) | 
 | 248 | 	{ | 
 | 249 | 		brelse(partial->bh); | 
 | 250 | 		partial--; | 
 | 251 | 	} | 
 | 252 | no_top: | 
 | 253 | 	return partial; | 
 | 254 | } | 
 | 255 |  | 
 | 256 | static inline void free_data(struct inode *inode, block_t *p, block_t *q) | 
 | 257 | { | 
 | 258 | 	unsigned long nr; | 
 | 259 |  | 
 | 260 | 	for ( ; p < q ; p++) { | 
 | 261 | 		nr = block_to_cpu(*p); | 
 | 262 | 		if (nr) { | 
 | 263 | 			*p = 0; | 
 | 264 | 			minix_free_block(inode, nr); | 
 | 265 | 		} | 
 | 266 | 	} | 
 | 267 | } | 
 | 268 |  | 
 | 269 | static void free_branches(struct inode *inode, block_t *p, block_t *q, int depth) | 
 | 270 | { | 
 | 271 | 	struct buffer_head * bh; | 
 | 272 | 	unsigned long nr; | 
 | 273 |  | 
 | 274 | 	if (depth--) { | 
 | 275 | 		for ( ; p < q ; p++) { | 
 | 276 | 			nr = block_to_cpu(*p); | 
 | 277 | 			if (!nr) | 
 | 278 | 				continue; | 
 | 279 | 			*p = 0; | 
 | 280 | 			bh = sb_bread(inode->i_sb, nr); | 
 | 281 | 			if (!bh) | 
 | 282 | 				continue; | 
 | 283 | 			free_branches(inode, (block_t*)bh->b_data, | 
 | 284 | 				      block_end(bh), depth); | 
 | 285 | 			bforget(bh); | 
 | 286 | 			minix_free_block(inode, nr); | 
 | 287 | 			mark_inode_dirty(inode); | 
 | 288 | 		} | 
 | 289 | 	} else | 
 | 290 | 		free_data(inode, p, q); | 
 | 291 | } | 
 | 292 |  | 
 | 293 | static inline void truncate (struct inode * inode) | 
 | 294 | { | 
| Andries Brouwer | 939b00d | 2007-02-12 00:52:49 -0800 | [diff] [blame] | 295 | 	struct super_block *sb = inode->i_sb; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 296 | 	block_t *idata = i_data(inode); | 
 | 297 | 	int offsets[DEPTH]; | 
 | 298 | 	Indirect chain[DEPTH]; | 
 | 299 | 	Indirect *partial; | 
 | 300 | 	block_t nr = 0; | 
 | 301 | 	int n; | 
 | 302 | 	int first_whole; | 
 | 303 | 	long iblock; | 
 | 304 |  | 
| Andries Brouwer | 939b00d | 2007-02-12 00:52:49 -0800 | [diff] [blame] | 305 | 	iblock = (inode->i_size + sb->s_blocksize -1) >> sb->s_blocksize_bits; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 306 | 	block_truncate_page(inode->i_mapping, inode->i_size, get_block); | 
 | 307 |  | 
 | 308 | 	n = block_to_path(inode, iblock, offsets); | 
 | 309 | 	if (!n) | 
 | 310 | 		return; | 
 | 311 |  | 
 | 312 | 	if (n == 1) { | 
 | 313 | 		free_data(inode, idata+offsets[0], idata + DIRECT); | 
 | 314 | 		first_whole = 0; | 
 | 315 | 		goto do_indirects; | 
 | 316 | 	} | 
 | 317 |  | 
 | 318 | 	first_whole = offsets[0] + 1 - DIRECT; | 
 | 319 | 	partial = find_shared(inode, n, offsets, chain, &nr); | 
 | 320 | 	if (nr) { | 
 | 321 | 		if (partial == chain) | 
 | 322 | 			mark_inode_dirty(inode); | 
 | 323 | 		else | 
 | 324 | 			mark_buffer_dirty_inode(partial->bh, inode); | 
 | 325 | 		free_branches(inode, &nr, &nr+1, (chain+n-1) - partial); | 
 | 326 | 	} | 
 | 327 | 	/* Clear the ends of indirect blocks on the shared branch */ | 
 | 328 | 	while (partial > chain) { | 
 | 329 | 		free_branches(inode, partial->p + 1, block_end(partial->bh), | 
 | 330 | 				(chain+n-1) - partial); | 
 | 331 | 		mark_buffer_dirty_inode(partial->bh, inode); | 
 | 332 | 		brelse (partial->bh); | 
 | 333 | 		partial--; | 
 | 334 | 	} | 
 | 335 | do_indirects: | 
 | 336 | 	/* Kill the remaining (whole) subtrees */ | 
 | 337 | 	while (first_whole < DEPTH-1) { | 
 | 338 | 		nr = idata[DIRECT+first_whole]; | 
 | 339 | 		if (nr) { | 
 | 340 | 			idata[DIRECT+first_whole] = 0; | 
 | 341 | 			mark_inode_dirty(inode); | 
 | 342 | 			free_branches(inode, &nr, &nr+1, first_whole+1); | 
 | 343 | 		} | 
 | 344 | 		first_whole++; | 
 | 345 | 	} | 
 | 346 | 	inode->i_mtime = inode->i_ctime = CURRENT_TIME_SEC; | 
 | 347 | 	mark_inode_dirty(inode); | 
 | 348 | } | 
 | 349 |  | 
| Andries Brouwer | 939b00d | 2007-02-12 00:52:49 -0800 | [diff] [blame] | 350 | static inline unsigned nblocks(loff_t size, struct super_block *sb) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 351 | { | 
| Andries Brouwer | 939b00d | 2007-02-12 00:52:49 -0800 | [diff] [blame] | 352 | 	int k = sb->s_blocksize_bits - 10; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 353 | 	unsigned blocks, res, direct = DIRECT, i = DEPTH; | 
| Andries Brouwer | 939b00d | 2007-02-12 00:52:49 -0800 | [diff] [blame] | 354 | 	blocks = (size + sb->s_blocksize - 1) >> (BLOCK_SIZE_BITS + k); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 355 | 	res = blocks; | 
 | 356 | 	while (--i && blocks > direct) { | 
 | 357 | 		blocks -= direct; | 
| Andries Brouwer | 939b00d | 2007-02-12 00:52:49 -0800 | [diff] [blame] | 358 | 		blocks += sb->s_blocksize/sizeof(block_t) - 1; | 
 | 359 | 		blocks /= sb->s_blocksize/sizeof(block_t); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 360 | 		res += blocks; | 
 | 361 | 		direct = 1; | 
 | 362 | 	} | 
 | 363 | 	return res; | 
 | 364 | } |