X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Ffs%2Fbattfs.c;h=77cc57f0eaf8409e9d9ca42a40f7d1a6ac90fe1d;hb=7a8edee1b6e8e9af48be26cc6947f3925c604722;hp=2f4eee432bb7adce1614aeb07b471935d3af9d65;hpb=35a576d2832982a6860ff15f7e6f04ad7427e140;p=bertos.git

diff --git a/bertos/fs/battfs.c b/bertos/fs/battfs.c
index 2f4eee43..77cc57f0 100644
--- a/bertos/fs/battfs.c
+++ b/bertos/fs/battfs.c
@@ -508,6 +508,61 @@ bool battfs_init(struct BattFsSuper *disk)
 	return true;
 }
 
+/**
+ * Check the filesystem.
+ * \return true if ok, false on errors.
+ */
+bool battfs_fsck(struct BattFsSuper *disk)
+{
+	#define FSCHECK(cond) do { if(!(cond)) { LOG_ERR("\"" #cond "\"\n"); return false; } } while (0)
+
+	FSCHECK(disk->free_page_start <= disk->page_count);
+	FSCHECK(disk->data_size < disk->page_size);
+	FSCHECK(disk->free_bytes <= disk->disk_size);
+
+	disk_size_t free_bytes = 0;
+	BattFsPageHeader hdr, prev_hdr;
+	inode_t files = 0;
+	pgcnt_t page_used = 0;
+
+	bool start = true;
+
+	for (pgcnt_t page = 0; page < disk->page_count; page++)
+	{
+		FSCHECK(readHdr(disk, disk->page_array[page], &hdr));
+		free_bytes += disk->data_size;
+
+		if (page < disk->free_page_start)
+		{
+			FSCHECK(computeFcs(&hdr) == hdr.fcs);
+			page_used++;
+			free_bytes -= hdr.fill;
+			if (hdr.inode != prev_hdr.inode || start)
+			{
+				if (LIKELY(!start))
+					FSCHECK(hdr.inode > prev_hdr.inode);
+				else
+					start = false;
+
+				FSCHECK(hdr.pgoff == 0);
+				files++;
+			}
+			else
+			{
+				FSCHECK(hdr.fill != 0);
+				FSCHECK(prev_hdr.fill == disk->data_size);
+				FSCHECK(hdr.pgoff == prev_hdr.pgoff + 1);
+			}
+			prev_hdr = hdr;
+		}
+	}
+
+	FSCHECK(page_used == disk->free_page_start);
+	FSCHECK(free_bytes == disk->free_bytes);
+
+	return true;
+}
+
 /**
  * Flush file \a fd.
  * \return 0 if ok, EOF on errors.
@@ -538,10 +593,10 @@ static int battfs_fileclose(struct KFile *fd)
 
 static bool getNewPage(struct BattFsSuper *disk, pgcnt_t new_pos, inode_t inode, pgoff_t pgoff, BattFsPageHeader *new_hdr)
 {
-	if (disk->free_page_start >= disk->page_count)
+	if (SPACE_OVER(disk))
 	{
 		#warning TODO space over!
-		LOG_INFO("No disk space available\n");
+		LOG_ERR("No disk space available!\n");
 		return false;
 	}
 	flushBuffer(disk);
@@ -578,6 +633,7 @@ static bool getNewPage(struct BattFsSuper *disk, pgcnt_t new_pos, inode_t inode,
 static size_t battfs_write(struct KFile *fd, const void *_buf, size_t size)
 {
 	BattFs *fdb = BATTFS_CAST(fd);
+	BattFsSuper *disk = fdb->disk;
 	const uint8_t *buf = (const uint8_t *)_buf;
 
 	size_t total_write = 0;
@@ -592,119 +648,127 @@ static size_t battfs_write(struct KFile *fd, const void *_buf, size_t size)
 	if (fd->seek_pos > fd->size)
 	{
 		/* Handle writing when seek pos if far over EOF */
-		if (!loadPage(fdb->disk, fdb->start[fdb->max_off], &curr_hdr))
+		if (!loadPage(disk, fdb->start[fdb->max_off], &curr_hdr))
 		{
-				#warning TODO set error?
-				return total_write;
+			#warning TODO set error?
+			return total_write;
 		}
 
 		/* Fill unused space of first page with 0s */
 		uint8_t dummy = 0;
-		pgaddr_t zero_bytes = MIN(fd->seek_pos - fd->size, fdb->disk->data_size - curr_hdr.fill);
+		pgaddr_t zero_bytes = MIN(fd->seek_pos - fd->size, disk->data_size - curr_hdr.fill);
 		while (zero_bytes--)
 		{
-			if (fdb->disk->bufferWrite(fdb->disk, curr_hdr.fill, &dummy, 1) != 1)
+			if (disk->bufferWrite(disk, curr_hdr.fill, &dummy, 1) != 1)
 			{
 				#warning TODO set error?
 			}
 			curr_hdr.fill++;
 			fd->size++;
-			fdb->disk->free_bytes--;
-			fdb->disk->cache_dirty = true;
+			disk->free_bytes--;
+			disk->cache_dirty = true;
 		}
-		setBufferHdr(fdb->disk, &curr_hdr);
-		flushBuffer(fdb->disk);
+		setBufferHdr(disk, &curr_hdr);
 
-		/* Fill page buffer with 0 to avoid filling unused pages with garbage */
-		for (pgaddr_t off = 0; off < fdb->disk->data_size; off++)
+		/* Allocate the missing pages first. */
+		pgoff_t missing_pages = fd->seek_pos / disk->data_size - fdb->max_off;
+
+		if (missing_pages)
 		{
-			if (fdb->disk->bufferWrite(fdb->disk, off, &dummy, 1) != 1)
+			LOG_INFO("missing pages: %d\n", missing_pages);
+			flushBuffer(disk);
+
+			/* Fill page buffer with 0 to avoid filling unused pages with garbage */
+			for (pgaddr_t off = 0; off < disk->data_size; off++)
 			{
-				#warning TODO set error?
+				if (disk->bufferWrite(disk, off, &dummy, 1) != 1)
+				{
+					#warning TODO set error?
+				}
 			}
-		}
-
-		/* Allocate the missing pages first. */
-		pgoff_t missing_pages = fd->seek_pos / fdb->disk->data_size - fdb->max_off;
-		LOG_INFO("missing pages: %d\n", missing_pages);
 
-		while (missing_pages--)
-		{
-			zero_bytes = MIN((kfile_off_t)fdb->disk->data_size, fd->seek_pos - fd->size);
-			/* Get the new page needed */
-			if (!getNewPage(fdb->disk, (fdb->start - fdb->disk->page_array) + fdb->max_off + 1, fdb->inode, fdb->max_off + 1, &curr_hdr))
-				return total_write;
+			while (missing_pages--)
+			{
+				zero_bytes = MIN((kfile_off_t)disk->data_size, fd->seek_pos - fd->size);
+				/* Get the new page needed */
+				if (!getNewPage(disk, (fdb->start - disk->page_array) + fdb->max_off + 1, fdb->inode, fdb->max_off + 1, &curr_hdr))
+					return total_write;
 
-			/* Update size and free space left */
-			fd->size += zero_bytes;
-			fdb->disk->free_bytes -= zero_bytes;
+				/* Update size and free space left */
+				fd->size += zero_bytes;
+				disk->free_bytes -= zero_bytes;
 
-			curr_hdr.fill = zero_bytes;
-			setBufferHdr(fdb->disk, &curr_hdr);
+				curr_hdr.fill = zero_bytes;
+				setBufferHdr(disk, &curr_hdr);
 
-			fdb->max_off++;
+				fdb->max_off++;
+			}
 		}
 	}
-	else if (!getBufferHdr(fdb->disk, &curr_hdr))
+	else if (!getBufferHdr(disk, &curr_hdr))
 		return total_write;
 
 	while (size)
 	{
-		pg_offset = fd->seek_pos / fdb->disk->data_size;
-		addr_offset = fd->seek_pos % fdb->disk->data_size;
-		wr_len = MIN(size, (size_t)(fdb->disk->data_size - addr_offset));
+		pg_offset = fd->seek_pos / disk->data_size;
+		addr_offset = fd->seek_pos % disk->data_size;
+		wr_len = MIN(size, (size_t)(disk->data_size - addr_offset));
 
 		/* Handle write outside EOF */
 		if (pg_offset > fdb->max_off)
 		{
-			LOG_INFO("New page needed, pg_offset %d, pos %d\n", pg_offset, (fdb->start - fdb->disk->page_array) + pg_offset);
-			if (!getNewPage(fdb->disk, (fdb->start - fdb->disk->page_array) + pg_offset, fdb->inode, pg_offset, &curr_hdr))
+			LOG_INFO("New page needed, pg_offset %d, pos %d\n", pg_offset, (fdb->start - disk->page_array) + pg_offset);
+			if (!getNewPage(disk, (fdb->start - disk->page_array) + pg_offset, fdb->inode, pg_offset, &curr_hdr))
 				return total_write;
 			fdb->max_off = pg_offset;
 		}
 		/* Handle cache load of a new page*/
-		else if (fdb->start[pg_offset] != fdb->disk->curr_page)
+		else if (fdb->start[pg_offset] != disk->curr_page)
 		{
-			LOG_INFO("Re-writing page %d to %d\n", fdb->start[pg_offset], fdb->disk->page_array[fdb->disk->free_page_start]);
-			if (!loadPage(fdb->disk, fdb->start[pg_offset], &curr_hdr))
+			if (SPACE_OVER(disk))
+			{
+				LOG_ERR("No disk space available!\n");
+				return total_write;
+			}
+			LOG_INFO("Re-writing page %d to %d\n", fdb->start[pg_offset], disk->page_array[disk->free_page_start]);
+			if (!loadPage(disk, fdb->start[pg_offset], &curr_hdr))
 			{
 				#warning TODO set error?
 				return total_write;
 			}
 
 			/* Get a free page */
-			fdb->disk->curr_page = fdb->disk->page_array[fdb->disk->free_page_start];
-			movePages(fdb->disk, fdb->disk->free_page_start + 1, -1);
+			disk->curr_page = disk->page_array[disk->free_page_start];
+			movePages(disk, disk->free_page_start + 1, -1);
 
 			/* Insert previous page in free blocks list */
 			LOG_INFO("Setting page %d as free\n", fdb->start[pg_offset]);
-			fdb->disk->page_array[fdb->disk->page_count - 1] = fdb->start[pg_offset];
+			disk->page_array[disk->page_count - 1] = fdb->start[pg_offset];
 			/* Assign new page */
-			fdb->start[pg_offset] = fdb->disk->curr_page;
+			fdb->start[pg_offset] = disk->curr_page;
 			curr_hdr.seq++;
 		}
 
-
-		//LOG_INFO("writing to buffer for page %d, offset %d, size %d\n", fdb->disk->curr_page, addr_offset, wr_len);
-		if (fdb->disk->bufferWrite(fdb->disk, addr_offset, buf, wr_len) != wr_len)
+		//LOG_INFO("writing to buffer for page %d, offset %d, size %d\n", disk->curr_page, addr_offset, wr_len);
+		if (disk->bufferWrite(disk, addr_offset, buf, wr_len) != wr_len)
 		{
 			#warning TODO set error?
 		}
-		fdb->disk->cache_dirty = true;
+		disk->cache_dirty = true;
 
 		size -= wr_len;
 		fd->seek_pos += wr_len;
 		total_write += wr_len;
 		buf += wr_len;
 		fill_t fill_delta = MAX((int32_t)(addr_offset + wr_len) - curr_hdr.fill, (int32_t)0);
-		fdb->disk->free_bytes -= fill_delta;
+		disk->free_bytes -= fill_delta;
 		fd->size += fill_delta;
 		curr_hdr.fill += fill_delta;
 
-		if (!setBufferHdr(fdb->disk, &curr_hdr))
+		if (!setBufferHdr(disk, &curr_hdr))
 			return total_write;
 
-		//LOG_INFO("free_bytes %d, seek_pos %d, size %d, curr_hdr.fill %d\n", fdb->disk->free_bytes, fd->seek_pos, fd->size, curr_hdr.fill);
+		//LOG_INFO("free_bytes %d, seek_pos %d, size %d, curr_hdr.fill %d\n", disk->free_bytes, fd->seek_pos, fd->size, curr_hdr.fill);
 	}
 	return total_write;
 }
@@ -717,6 +781,7 @@ static size_t battfs_write(struct KFile *fd, const void *_buf, size_t size)
 static size_t battfs_read(struct KFile *fd, void *_buf, size_t size)
 {
 	BattFs *fdb = BATTFS_CAST(fd);
+	BattFsSuper *disk = fdb->disk;
 	uint8_t *buf = (uint8_t *)_buf;
 
 	size_t total_read = 0;
@@ -731,20 +796,20 @@ static size_t battfs_read(struct KFile *fd, void *_buf, size_t size)
 
 	while (size)
 	{
-		pg_offset = fd->seek_pos / fdb->disk->data_size;
-		addr_offset = fd->seek_pos % fdb->disk->data_size;
-		read_len = MIN(size, (size_t)(fdb->disk->data_size - addr_offset));
+		pg_offset = fd->seek_pos / disk->data_size;
+		addr_offset = fd->seek_pos % disk->data_size;
+		read_len = MIN(size, (size_t)(disk->data_size - addr_offset));
 
 		//LOG_INFO("reading from page %d, offset %d, size %d\n", fdb->start[pg_offset], addr_offset, read_len);
 		/* Read from disk */
-		if (diskRead(fdb->disk, fdb->start[pg_offset], addr_offset, buf, read_len) != read_len)
+		if (diskRead(disk, fdb->start[pg_offset], addr_offset, buf, read_len) != read_len)
 		{
 			#warning TODO set error?
 		}
 
 		#if _DEBUG
 			BattFsPageHeader hdr;
-			readHdr(fdb->disk, fdb->start[pg_offset], &hdr);
+			readHdr(disk, fdb->start[pg_offset], &hdr);
 			ASSERT(hdr.inode == fdb->inode);
 		#endif