+ ASSERT(kfile_error(&fd1.fd) == 0);
+ ASSERT(battfs_fsck(disk));
+ ASSERT(battfs_umount(disk));
+
+ TRACEMSG("14: passed\n");
+}
+
+static void createFile(BattFsSuper *disk)
+{
+ TRACEMSG("15: file creation on new disk\n");
+
+ FILE *fpt = fopen(test_filename, "w+");
+ for (int i = 0; i < FILE_SIZE; i++)
+ fputc(0xff, fpt);
+ KBlockPosix f;
+ kblockposix_init(&f, fpt, HW_PAGEBUF, page_buffer, PAGE_SIZE, PAGE_COUNT);
+
+ BattFs fd1;
+ inode_t INODE = 0;
+ unsigned int MODE = BATTFS_CREATE;
+
+ ASSERT(battfs_mount(disk, &f.b, page_array, sizeof(page_array)));
+ ASSERT(battfs_fsck(disk));
+ ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
+ for (int i = 0; i < FILE_SIZE / 2; i++)
+ ASSERT(kfile_putc(i, &fd1.fd) != EOF);
+
+ ASSERT(fd1.fd.seek_pos == FILE_SIZE / 2);
+ ASSERT(fd1.fd.size == FILE_SIZE / 2);
+ ASSERT(kfile_close(&fd1.fd) == 0);
+ ASSERT(kfile_error(&fd1.fd) == 0);
+ ASSERT(battfs_fsck(disk));
+ ASSERT(battfs_umount(disk));
+
+ fpt = fopen(test_filename, "r+");
+ kblockposix_init(&f, fpt, HW_PAGEBUF, page_buffer, PAGE_SIZE, PAGE_COUNT);
+
+ ASSERT(battfs_mount(disk, &f.b, page_array, sizeof(page_array)));
+ ASSERT(battfs_fsck(disk));
+ ASSERT(battfs_fileopen(disk, &fd1, INODE, 0));
+ ASSERT(fd1.fd.size == FILE_SIZE / 2);
+ ASSERT(fd1.fd.seek_pos == 0);
+
+ uint8_t buf[FILE_SIZE / 2];
+ memset(buf, 0, sizeof(buf));
+ ASSERT(kfile_read(&fd1.fd, buf, FILE_SIZE / 2) == FILE_SIZE / 2);
+
+ for (int i = 0; i < FILE_SIZE / 2; i++)
+ ASSERT(buf[i] == (i & 0xff));
+
+ ASSERT(fd1.fd.seek_pos == FILE_SIZE / 2);
+ ASSERT(kfile_close(&fd1.fd) == 0);
+ ASSERT(kfile_error(&fd1.fd) == 0);
+ ASSERT(battfs_fsck(disk));
+ ASSERT(battfs_umount(disk));
+
+
+ TRACEMSG("15: passed\n");
+}
+
+static void multipleWrite(BattFsSuper *disk)
+{
+ TRACEMSG("16: multiple write on file\n");
+
+ FILE *fpt = fopen(test_filename, "w+");
+ for (int i = 0; i < FILE_SIZE; i++)
+ fputc(0xff, fpt);
+ KBlockPosix f;
+ kblockposix_init(&f, fpt, HW_PAGEBUF, page_buffer, PAGE_SIZE, PAGE_COUNT);
+
+
+ BattFs fd1;
+ inode_t INODE = 0;
+ unsigned int MODE = BATTFS_CREATE;
+ uint8_t buf[1000];
+
+ ASSERT(battfs_mount(disk, &f.b, page_array, sizeof(page_array)));
+ ASSERT(battfs_fsck(disk));
+ ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
+
+ int j;
+ for (j = 1; j < 1013; j++)
+ {
+ for (unsigned i = 0; i < sizeof(buf); i++)
+ buf[i] = j+i;
+
+ ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
+ ASSERT(fd1.fd.seek_pos == sizeof(buf));
+ ASSERT(fd1.fd.size == sizeof(buf));
+ ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
+ memset(buf, 0, sizeof(buf));
+ ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
+ ASSERT(fd1.fd.seek_pos == sizeof(buf));
+ for (unsigned i = 0; i < sizeof(buf); i++)
+ ASSERT(buf[i] == ((j+i) & 0xff));
+ ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
+ ASSERT(disk->free_bytes == disk->disk_size - sizeof(buf));
+ }
+ ASSERT(kfile_close(&fd1.fd) == 0);
+ ASSERT(kfile_error(&fd1.fd) == 0);
+ ASSERT(battfs_fsck(disk));
+ ASSERT(battfs_umount(disk));
+
+ fpt = fopen(test_filename, "r+");
+ kblockposix_init(&f, fpt, HW_PAGEBUF, page_buffer, PAGE_SIZE, PAGE_COUNT);
+
+ ASSERT(battfs_mount(disk, &f.b, page_array, sizeof(page_array)));
+ ASSERT(battfs_fsck(disk));
+ ASSERT(disk->free_bytes == disk->disk_size - sizeof(buf));
+ ASSERT(battfs_fileopen(disk, &fd1, INODE, 0));
+ ASSERT(fd1.fd.size == sizeof(buf));
+ memset(buf, 0, sizeof(buf));
+ ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
+ for (unsigned i = 0; i < sizeof(buf); i++)
+ ASSERT(buf[i] == ((j-1+i) & 0xff));
+ ASSERT(kfile_close(&fd1.fd) == 0);
+ ASSERT(kfile_error(&fd1.fd) == 0);
+ ASSERT(battfs_fsck(disk));
+ ASSERT(battfs_umount(disk));
+
+
+ TRACEMSG("16: passed\n");
+}
+
+static void increaseFile(BattFsSuper *disk)
+{
+ TRACEMSG("17: increasing dimension of a file with multiple open files.\n");
+
+ FILE *fpt = fopen(test_filename, "w+");
+ for (int i = 0; i < FILE_SIZE / 10; i++)
+ fputc(0xff, fpt);
+
+ KBlockPosix f;
+ kblockposix_init(&f, fpt, HW_PAGEBUF, page_buffer, PAGE_SIZE, PAGE_COUNT / 10);
+
+
+ BattFs fd1,fd2;
+ inode_t INODE1 = 1, INODE2 = 2;
+ unsigned int MODE = BATTFS_CREATE;
+ uint8_t buf[1000];
+
+ ASSERT(battfs_mount(disk, &f.b, page_array, sizeof(page_array)));
+ ASSERT(battfs_fsck(disk));
+ ASSERT(battfs_fileopen(disk, &fd1, INODE1, MODE));
+ ASSERT(battfs_fileopen(disk, &fd2, INODE2, MODE));
+ for (unsigned i = 0; i < sizeof(buf); i++)
+ ASSERT(kfile_putc(i, &fd2.fd) != EOF);
+ ASSERT(kfile_seek(&fd2.fd, 0, KSM_SEEK_SET) == 0);
+ memset(buf, 0, sizeof(buf));
+ ASSERT(kfile_read(&fd2.fd, buf, sizeof(buf)) == sizeof(buf));
+
+ for (unsigned i = 0; i < sizeof(buf); i++)
+ ASSERT(buf[i] == (i & 0xff));
+ ASSERT(kfile_seek(&fd2.fd, 0, KSM_SEEK_SET) == 0);
+
+ for (unsigned i = 0; i < sizeof(buf); i++)
+ ASSERT(kfile_putc(i, &fd1.fd) != EOF);
+
+ memset(buf, 0, sizeof(buf));
+ ASSERT(kfile_read(&fd2.fd, buf, sizeof(buf)) == sizeof(buf));
+
+ for (unsigned i = 0; i < sizeof(buf); i++)
+ ASSERT(buf[i] == (i & 0xff));
+
+ ASSERT(kfile_close(&fd1.fd) == 0);
+ ASSERT(kfile_error(&fd1.fd) == 0);
+ ASSERT(kfile_close(&fd2.fd) == 0);
+ ASSERT(kfile_error(&fd2.fd) == 0);
+ ASSERT(battfs_fsck(disk));
+ ASSERT(battfs_umount(disk));
+
+ TRACEMSG("17: passed\n");
+}
+
+static void readEOF(BattFsSuper *disk)
+{
+ BattFs fd1;
+ uint8_t buf[16];
+
+ TRACEMSG("18: reading over EOF test\n");
+
+ FILE *fp = fopen(test_filename, "w+");
+ for (int i = 0; i < PAGE_SIZE * 8; i++)
+ fputc(0xff, fp);
+ KBlockPosix f;
+ kblockposix_init(&f, fp, HW_PAGEBUF, page_buffer, PAGE_SIZE, 8);
+
+
+ unsigned int PAGE_FILL = PAGE_SIZE - BATTFS_HEADER_LEN;
+ inode_t INODE = 0;
+ inode_t INODE2 = 4;
+ unsigned int MODE = 0;
+
+ battfs_eraseBlock(&f.b, 0);
+ battfs_writeTestBlock(&f.b, 1, INODE, 0, PAGE_FILL, 0);
+ battfs_writeTestBlock(&f.b, 2, INODE, 3, PAGE_FILL, 1);
+ battfs_writeTestBlock(&f.b, 3, INODE, 0, PAGE_FILL, 1);
+ battfs_eraseBlock(&f.b, 4);
+ battfs_writeTestBlock(&f.b, 5, INODE2, 0, PAGE_FILL, 0);
+ battfs_writeTestBlock(&f.b, 6, INODE2, 1, PAGE_FILL, 1);
+ battfs_writeTestBlock(&f.b, 7, INODE2, 0, PAGE_FILL, 1);
+
+ ASSERT(battfs_mount(disk, &f.b, page_array, sizeof(page_array)));
+ ASSERT(battfs_fsck(disk));
+ ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
+ ASSERT(kfile_seek(&fd1.fd, fd1.fd.size + 10, SEEK_SET) == fd1.fd.size + 10);
+ ASSERT(fd1.fd.seek_pos == fd1.fd.size + 10);
+ ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == 0);
+
+ ASSERT(kfile_close(&fd1.fd) == 0);
+ ASSERT(kfile_error(&fd1.fd) == 0);
+ ASSERT(battfs_fsck(disk));
+ ASSERT(battfs_umount(disk));
+
+ TRACEMSG("18: passed\n");
+}
+
+static void writeEOF(BattFsSuper *disk)
+{
+ TRACEMSG("19: writing over EOF test\n");
+
+ FILE *fpt = fopen(test_filename, "w+");
+ for (int i = 0; i < FILE_SIZE / 5; i++)
+ fputc(0xff, fpt);
+ KBlockPosix f;
+ kblockposix_init(&f, fpt, HW_PAGEBUF, page_buffer, PAGE_SIZE, PAGE_COUNT / 5);
+
+ BattFs fd1;
+ inode_t INODE = 0;
+ unsigned int MODE = BATTFS_CREATE;
+ uint8_t buf[FILE_SIZE / 13];
+
+ for (int i = 0; i < 2; i++)
+ buf[i] = i;
+
+ ASSERT(battfs_mount(disk, &f.b, page_array, sizeof(page_array)));
+ ASSERT(battfs_fsck(disk));
+ disk_size_t prev_free = disk->free_bytes;
+ ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
+ ASSERT(fd1.fd.size == 0);
+
+ ASSERT(kfile_seek(&fd1.fd, 2, KSM_SEEK_END) == 2);
+ ASSERT(kfile_write(&fd1.fd, buf, 2));
+ ASSERT(fd1.fd.seek_pos == 4);
+ ASSERT(fd1.fd.size == 4);
+ ASSERT(disk->free_bytes == prev_free - 4);
+ ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
+ memset(buf, 0, 2);
+ ASSERT(kfile_read(&fd1.fd, buf, 2) == 2);
+ for (int i = 0; i < 2; i++)
+ ASSERT(buf[i] == 0);
+
+ memset(buf, 0, 2);
+ ASSERT(kfile_read(&fd1.fd, buf, 2) == 2);
+ for (int i = 0; i < 2; i++)
+ ASSERT(buf[i] == (i & 0xff));
+
+ ASSERT(kfile_seek(&fd1.fd, sizeof(buf), KSM_SEEK_END) == sizeof(buf) + 4);
+ for (unsigned i = 0; i < sizeof(buf); i++)
+ buf[i] = i;
+ ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)));
+ ASSERT(fd1.fd.seek_pos == sizeof(buf) * 2 + 4);
+ ASSERT(fd1.fd.size == sizeof(buf) * 2 + 4);
+ ASSERT(disk->free_bytes == prev_free - sizeof(buf) * 2 - 4);
+
+ ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
+
+ memset(buf, 0, 2);
+ ASSERT(kfile_read(&fd1.fd, buf, 2) == 2);
+ ASSERT(fd1.fd.seek_pos == 2);
+ for (int i = 0; i < 2; i++)
+ ASSERT(buf[i] == 0);
+
+ memset(buf, 0, 2);
+ ASSERT(kfile_read(&fd1.fd, buf, 2) == 2);
+ ASSERT(fd1.fd.seek_pos == 4);
+ for (int i = 0; i < 2; i++)
+ ASSERT(buf[i] == (i & 0xff));
+
+ memset(buf, 0, 4);
+ ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
+ ASSERT(fd1.fd.seek_pos == sizeof(buf) + 4);
+ for (unsigned i = 0; i < sizeof(buf); i++)
+ ASSERT(buf[i] == 0);
+
+ memset(buf, 0, sizeof(buf));
+ ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
+ for (unsigned i = 0; i < sizeof(buf); i++)
+ ASSERT(buf[i] == (i & 0xff));
+
+ ASSERT(kfile_close(&fd1.fd) == 0);
+ ASSERT(kfile_error(&fd1.fd) == 0);
+ ASSERT(battfs_fsck(disk));
+ ASSERT(battfs_umount(disk));
+
+ TRACEMSG("19: passed\n");