xref: /linux/fs/reiserfs/objectid.c (revision f466c6fdb3b1f043ff1977a8d2a1d0cd4dc164fa)
11da177e4SLinus Torvalds /*
21da177e4SLinus Torvalds  * Copyright 2000 by Hans Reiser, licensing governed by reiserfs/README
31da177e4SLinus Torvalds  */
41da177e4SLinus Torvalds 
51da177e4SLinus Torvalds #include <linux/string.h>
61da177e4SLinus Torvalds #include <linux/random.h>
71da177e4SLinus Torvalds #include <linux/time.h>
8*f466c6fdSAl Viro #include "reiserfs.h"
91da177e4SLinus Torvalds 
101da177e4SLinus Torvalds // find where objectid map starts
111da177e4SLinus Torvalds #define objectid_map(s,rs) (old_format_only (s) ? \
123e8962beSAl Viro                          (__le32 *)((struct reiserfs_super_block_v1 *)(rs) + 1) :\
133e8962beSAl Viro 			 (__le32 *)((rs) + 1))
141da177e4SLinus Torvalds 
151da177e4SLinus Torvalds #ifdef CONFIG_REISERFS_CHECK
161da177e4SLinus Torvalds 
173e8962beSAl Viro static void check_objectid_map(struct super_block *s, __le32 * map)
181da177e4SLinus Torvalds {
191da177e4SLinus Torvalds 	if (le32_to_cpu(map[0]) != 1)
20c3a9c210SJeff Mahoney 		reiserfs_panic(s, "vs-15010", "map corrupted: %lx",
211da177e4SLinus Torvalds 			       (long unsigned int)le32_to_cpu(map[0]));
221da177e4SLinus Torvalds 
231da177e4SLinus Torvalds 	// FIXME: add something else here
241da177e4SLinus Torvalds }
251da177e4SLinus Torvalds 
261da177e4SLinus Torvalds #else
273e8962beSAl Viro static void check_objectid_map(struct super_block *s, __le32 * map)
28bd4c625cSLinus Torvalds {;
29bd4c625cSLinus Torvalds }
301da177e4SLinus Torvalds #endif
311da177e4SLinus Torvalds 
321da177e4SLinus Torvalds /* When we allocate objectids we allocate the first unused objectid.
331da177e4SLinus Torvalds    Each sequence of objectids in use (the odd sequences) is followed
341da177e4SLinus Torvalds    by a sequence of objectids not in use (the even sequences).  We
351da177e4SLinus Torvalds    only need to record the last objectid in each of these sequences
361da177e4SLinus Torvalds    (both the odd and even sequences) in order to fully define the
371da177e4SLinus Torvalds    boundaries of the sequences.  A consequence of allocating the first
381da177e4SLinus Torvalds    objectid not in use is that under most conditions this scheme is
391da177e4SLinus Torvalds    extremely compact.  The exception is immediately after a sequence
401da177e4SLinus Torvalds    of operations which deletes a large number of objects of
411da177e4SLinus Torvalds    non-sequential objectids, and even then it will become compact
421da177e4SLinus Torvalds    again as soon as more objects are created.  Note that many
431da177e4SLinus Torvalds    interesting optimizations of layout could result from complicating
441da177e4SLinus Torvalds    objectid assignment, but we have deferred making them for now. */
451da177e4SLinus Torvalds 
461da177e4SLinus Torvalds /* get unique object identifier */
471da177e4SLinus Torvalds __u32 reiserfs_get_unused_objectid(struct reiserfs_transaction_handle *th)
481da177e4SLinus Torvalds {
491da177e4SLinus Torvalds 	struct super_block *s = th->t_super;
501da177e4SLinus Torvalds 	struct reiserfs_super_block *rs = SB_DISK_SUPER_BLOCK(s);
513e8962beSAl Viro 	__le32 *map = objectid_map(s, rs);
521da177e4SLinus Torvalds 	__u32 unused_objectid;
531da177e4SLinus Torvalds 
541da177e4SLinus Torvalds 	BUG_ON(!th->t_trans_id);
551da177e4SLinus Torvalds 
561da177e4SLinus Torvalds 	check_objectid_map(s, map);
571da177e4SLinus Torvalds 
581da177e4SLinus Torvalds 	reiserfs_prepare_for_journal(s, SB_BUFFER_WITH_SB(s), 1);
591da177e4SLinus Torvalds 	/* comment needed -Hans */
601da177e4SLinus Torvalds 	unused_objectid = le32_to_cpu(map[1]);
611da177e4SLinus Torvalds 	if (unused_objectid == U32_MAX) {
6245b03d5eSJeff Mahoney 		reiserfs_warning(s, "reiserfs-15100", "no more object ids");
631da177e4SLinus Torvalds 		reiserfs_restore_prepared_buffer(s, SB_BUFFER_WITH_SB(s));
641da177e4SLinus Torvalds 		return 0;
651da177e4SLinus Torvalds 	}
661da177e4SLinus Torvalds 
671da177e4SLinus Torvalds 	/* This incrementation allocates the first unused objectid. That
681da177e4SLinus Torvalds 	   is to say, the first entry on the objectid map is the first
691da177e4SLinus Torvalds 	   unused objectid, and by incrementing it we use it.  See below
701da177e4SLinus Torvalds 	   where we check to see if we eliminated a sequence of unused
711da177e4SLinus Torvalds 	   objectids.... */
721da177e4SLinus Torvalds 	map[1] = cpu_to_le32(unused_objectid + 1);
731da177e4SLinus Torvalds 
741da177e4SLinus Torvalds 	/* Now we check to see if we eliminated the last remaining member of
751da177e4SLinus Torvalds 	   the first even sequence (and can eliminate the sequence by
761da177e4SLinus Torvalds 	   eliminating its last objectid from oids), and can collapse the
771da177e4SLinus Torvalds 	   first two odd sequences into one sequence.  If so, then the net
781da177e4SLinus Torvalds 	   result is to eliminate a pair of objectids from oids.  We do this
791da177e4SLinus Torvalds 	   by shifting the entire map to the left. */
801da177e4SLinus Torvalds 	if (sb_oid_cursize(rs) > 2 && map[1] == map[2]) {
81bd4c625cSLinus Torvalds 		memmove(map + 1, map + 3,
82bd4c625cSLinus Torvalds 			(sb_oid_cursize(rs) - 3) * sizeof(__u32));
831da177e4SLinus Torvalds 		set_sb_oid_cursize(rs, sb_oid_cursize(rs) - 2);
841da177e4SLinus Torvalds 	}
851da177e4SLinus Torvalds 
861da177e4SLinus Torvalds 	journal_mark_dirty(th, s, SB_BUFFER_WITH_SB(s));
871da177e4SLinus Torvalds 	return unused_objectid;
881da177e4SLinus Torvalds }
891da177e4SLinus Torvalds 
901da177e4SLinus Torvalds /* makes object identifier unused */
911da177e4SLinus Torvalds void reiserfs_release_objectid(struct reiserfs_transaction_handle *th,
921da177e4SLinus Torvalds 			       __u32 objectid_to_release)
931da177e4SLinus Torvalds {
941da177e4SLinus Torvalds 	struct super_block *s = th->t_super;
951da177e4SLinus Torvalds 	struct reiserfs_super_block *rs = SB_DISK_SUPER_BLOCK(s);
963e8962beSAl Viro 	__le32 *map = objectid_map(s, rs);
971da177e4SLinus Torvalds 	int i = 0;
981da177e4SLinus Torvalds 
991da177e4SLinus Torvalds 	BUG_ON(!th->t_trans_id);
1001da177e4SLinus Torvalds 	//return;
1011da177e4SLinus Torvalds 	check_objectid_map(s, map);
1021da177e4SLinus Torvalds 
1031da177e4SLinus Torvalds 	reiserfs_prepare_for_journal(s, SB_BUFFER_WITH_SB(s), 1);
1041da177e4SLinus Torvalds 	journal_mark_dirty(th, s, SB_BUFFER_WITH_SB(s));
1051da177e4SLinus Torvalds 
1061da177e4SLinus Torvalds 	/* start at the beginning of the objectid map (i = 0) and go to
1071da177e4SLinus Torvalds 	   the end of it (i = disk_sb->s_oid_cursize).  Linear search is
1081da177e4SLinus Torvalds 	   what we use, though it is possible that binary search would be
1091da177e4SLinus Torvalds 	   more efficient after performing lots of deletions (which is
1101da177e4SLinus Torvalds 	   when oids is large.)  We only check even i's. */
1111da177e4SLinus Torvalds 	while (i < sb_oid_cursize(rs)) {
1121da177e4SLinus Torvalds 		if (objectid_to_release == le32_to_cpu(map[i])) {
1131da177e4SLinus Torvalds 			/* This incrementation unallocates the objectid. */
1141da177e4SLinus Torvalds 			//map[i]++;
1159e902df6SMarcin Slusarz 			le32_add_cpu(&map[i], 1);
1161da177e4SLinus Torvalds 
1171da177e4SLinus Torvalds 			/* Did we unallocate the last member of an odd sequence, and can shrink oids? */
1181da177e4SLinus Torvalds 			if (map[i] == map[i + 1]) {
1191da177e4SLinus Torvalds 				/* shrink objectid map */
1201da177e4SLinus Torvalds 				memmove(map + i, map + i + 2,
121bd4c625cSLinus Torvalds 					(sb_oid_cursize(rs) - i -
122bd4c625cSLinus Torvalds 					 2) * sizeof(__u32));
1231da177e4SLinus Torvalds 				//disk_sb->s_oid_cursize -= 2;
1241da177e4SLinus Torvalds 				set_sb_oid_cursize(rs, sb_oid_cursize(rs) - 2);
1251da177e4SLinus Torvalds 
1261da177e4SLinus Torvalds 				RFALSE(sb_oid_cursize(rs) < 2 ||
1271da177e4SLinus Torvalds 				       sb_oid_cursize(rs) > sb_oid_maxsize(rs),
1281da177e4SLinus Torvalds 				       "vs-15005: objectid map corrupted cur_size == %d (max == %d)",
1291da177e4SLinus Torvalds 				       sb_oid_cursize(rs), sb_oid_maxsize(rs));
1301da177e4SLinus Torvalds 			}
1311da177e4SLinus Torvalds 			return;
1321da177e4SLinus Torvalds 		}
1331da177e4SLinus Torvalds 
1341da177e4SLinus Torvalds 		if (objectid_to_release > le32_to_cpu(map[i]) &&
1351da177e4SLinus Torvalds 		    objectid_to_release < le32_to_cpu(map[i + 1])) {
1361da177e4SLinus Torvalds 			/* size of objectid map is not changed */
1371da177e4SLinus Torvalds 			if (objectid_to_release + 1 == le32_to_cpu(map[i + 1])) {
1381da177e4SLinus Torvalds 				//objectid_map[i+1]--;
1399e902df6SMarcin Slusarz 				le32_add_cpu(&map[i + 1], -1);
1401da177e4SLinus Torvalds 				return;
1411da177e4SLinus Torvalds 			}
1421da177e4SLinus Torvalds 
1431da177e4SLinus Torvalds 			/* JDM comparing two little-endian values for equality -- safe */
1441da177e4SLinus Torvalds 			if (sb_oid_cursize(rs) == sb_oid_maxsize(rs)) {
1451da177e4SLinus Torvalds 				/* objectid map must be expanded, but there is no space */
1461da177e4SLinus Torvalds 				PROC_INFO_INC(s, leaked_oid);
1471da177e4SLinus Torvalds 				return;
1481da177e4SLinus Torvalds 			}
1491da177e4SLinus Torvalds 
1501da177e4SLinus Torvalds 			/* expand the objectid map */
1511da177e4SLinus Torvalds 			memmove(map + i + 3, map + i + 1,
1521da177e4SLinus Torvalds 				(sb_oid_cursize(rs) - i - 1) * sizeof(__u32));
1531da177e4SLinus Torvalds 			map[i + 1] = cpu_to_le32(objectid_to_release);
1541da177e4SLinus Torvalds 			map[i + 2] = cpu_to_le32(objectid_to_release + 1);
1551da177e4SLinus Torvalds 			set_sb_oid_cursize(rs, sb_oid_cursize(rs) + 2);
1561da177e4SLinus Torvalds 			return;
1571da177e4SLinus Torvalds 		}
1581da177e4SLinus Torvalds 		i += 2;
1591da177e4SLinus Torvalds 	}
1601da177e4SLinus Torvalds 
1610030b645SJeff Mahoney 	reiserfs_error(s, "vs-15011", "tried to free free object id (%lu)",
1621da177e4SLinus Torvalds 		       (long unsigned)objectid_to_release);
1631da177e4SLinus Torvalds }
1641da177e4SLinus Torvalds 
165bd4c625cSLinus Torvalds int reiserfs_convert_objectid_map_v1(struct super_block *s)
166bd4c625cSLinus Torvalds {
1671da177e4SLinus Torvalds 	struct reiserfs_super_block *disk_sb = SB_DISK_SUPER_BLOCK(s);
1681da177e4SLinus Torvalds 	int cur_size = sb_oid_cursize(disk_sb);
1691da177e4SLinus Torvalds 	int new_size = (s->s_blocksize - SB_SIZE) / sizeof(__u32) / 2 * 2;
1701da177e4SLinus Torvalds 	int old_max = sb_oid_maxsize(disk_sb);
1711da177e4SLinus Torvalds 	struct reiserfs_super_block_v1 *disk_sb_v1;
1723e8962beSAl Viro 	__le32 *objectid_map, *new_objectid_map;
1731da177e4SLinus Torvalds 	int i;
1741da177e4SLinus Torvalds 
175bd4c625cSLinus Torvalds 	disk_sb_v1 =
176bd4c625cSLinus Torvalds 	    (struct reiserfs_super_block_v1 *)(SB_BUFFER_WITH_SB(s)->b_data);
1773e8962beSAl Viro 	objectid_map = (__le32 *) (disk_sb_v1 + 1);
1783e8962beSAl Viro 	new_objectid_map = (__le32 *) (disk_sb + 1);
1791da177e4SLinus Torvalds 
1801da177e4SLinus Torvalds 	if (cur_size > new_size) {
1811da177e4SLinus Torvalds 		/* mark everyone used that was listed as free at the end of the objectid
1821da177e4SLinus Torvalds 		 ** map
1831da177e4SLinus Torvalds 		 */
1841da177e4SLinus Torvalds 		objectid_map[new_size - 1] = objectid_map[cur_size - 1];
1851da177e4SLinus Torvalds 		set_sb_oid_cursize(disk_sb, new_size);
1861da177e4SLinus Torvalds 	}
1871da177e4SLinus Torvalds 	/* move the smaller objectid map past the end of the new super */
1881da177e4SLinus Torvalds 	for (i = new_size - 1; i >= 0; i--) {
1891da177e4SLinus Torvalds 		objectid_map[i + (old_max - new_size)] = objectid_map[i];
1901da177e4SLinus Torvalds 	}
1911da177e4SLinus Torvalds 
1921da177e4SLinus Torvalds 	/* set the max size so we don't overflow later */
1931da177e4SLinus Torvalds 	set_sb_oid_maxsize(disk_sb, new_size);
1941da177e4SLinus Torvalds 
1951da177e4SLinus Torvalds 	/* Zero out label and generate random UUID */
1961da177e4SLinus Torvalds 	memset(disk_sb->s_label, 0, sizeof(disk_sb->s_label));
1971da177e4SLinus Torvalds 	generate_random_uuid(disk_sb->s_uuid);
1981da177e4SLinus Torvalds 
1991da177e4SLinus Torvalds 	/* finally, zero out the unused chunk of the new super */
2001da177e4SLinus Torvalds 	memset(disk_sb->s_unused, 0, sizeof(disk_sb->s_unused));
2011da177e4SLinus Torvalds 	return 0;
2021da177e4SLinus Torvalds }
203