4 * This file is part of BeRTOS.
6 * Bertos is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation; either version 2 of the License, or
9 * (at your option) any later version.
11 * This program is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License
17 * along with this program; if not, write to the Free Software
18 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
20 * As a special exception, you may use this file as part of a free software
21 * library without restriction. Specifically, if other files instantiate
22 * templates or use macros or inline functions from this file, or you compile
23 * this file and link it with other files to produce an executable, this
24 * file does not by itself cause the resulting executable to be covered by
25 * the GNU General Public License. This exception does not however
26 * invalidate any other reasons why the executable file might be covered by
27 * the GNU General Public License.
29 * Copyright 2007, 2008 Develer S.r.l. (http://www.develer.com/)
35 * \author Francesco Sacchi <batt@develer.com>
38 #include <fs/battfs.h>
40 #include <cfg/debug.h>
47 #define FILE_SIZE 32768
49 #define PAGE_COUNT FILE_SIZE / PAGE_SIZE
54 const char test_filename[]="battfs_disk.bin";
56 static uint8_t page_buffer[PAGE_SIZE];
58 static bool disk_open(struct BattFsSuper *d)
60 fp = fopen(test_filename, "r+b");
62 fseek(fp, 0, SEEK_END);
63 d->page_size = PAGE_SIZE;
64 d->page_count = ftell(fp) / d->page_size;
65 d->page_array = malloc(d->page_count * sizeof(pgcnt_t));
66 //TRACEMSG("page_size:%d, page_count:%d\n", d->page_size, d->page_count);
67 return (fp && d->page_array);
70 static size_t disk_page_read(struct BattFsSuper *d, pgcnt_t page, pgaddr_t addr, void *buf, size_t size)
72 //TRACEMSG("page:%d, addr:%d, size:%d", page, addr, size);
73 fseek(fp, page * d->page_size + addr, SEEK_SET);
74 return fread(buf, 1, size, fp);
77 static size_t disk_buffer_write(struct BattFsSuper *d, pgaddr_t addr, const void *buf, size_t size)
79 //TRACEMSG("addr:%d, size:%d", addr, size);
80 ASSERT(addr + size <= d->page_size);
81 memcpy(&page_buffer[addr], buf, size);
86 static size_t disk_buffer_read(struct BattFsSuper *d, pgaddr_t addr, void *buf, size_t size)
88 //TRACEMSG("addr:%d, size:%d", addr, size);
89 ASSERT(addr + size <= d->page_size);
90 memcpy(buf, &page_buffer[addr], size);
95 static bool disk_page_load(struct BattFsSuper *d, pgcnt_t page)
97 //TRACEMSG("page:%d", page);
98 fseek(fp, page * d->page_size, SEEK_SET);
99 return fread(page_buffer, 1, d->page_size, fp) == d->page_size;
102 static bool disk_page_save(struct BattFsSuper *d, pgcnt_t page)
104 //TRACEMSG("page:%d", page);
105 fseek(fp, page * d->page_size, SEEK_SET);
106 return fwrite(page_buffer, 1, d->page_size, fp) == d->page_size;
109 static bool disk_page_erase(struct BattFsSuper *d, pgcnt_t page)
111 //TRACEMSG("page:%d", page);
112 fseek(fp, page * d->page_size, SEEK_SET);
114 for (int i = 0; i < d->page_size; i++)
115 if (fputc(0xff, fp) == EOF)
120 static bool disk_close(struct BattFsSuper *d)
124 return (fclose(fp) != EOF);
127 static void testCheck(BattFsSuper *disk, pgcnt_t *reference)
129 ASSERT(battfs_mount(disk));
130 ASSERT(battfs_fsck(disk));
132 for (int i = 0; i < disk->page_count; i++)
134 if (disk->page_array[i] != reference[i])
136 kprintf("Error at addr %d: page_array read", i);
137 for (pgcnt_t i = 0; i < disk->page_count; i++)
141 kprintf("%04d ", disk->page_array[i]);
144 kprintf("Expected:");
145 for (pgcnt_t i = 0; i < disk->page_count; i++)
149 kprintf("%04d ", reference[i]);
156 ASSERT(battfs_fsck(disk));
160 static void diskNew(BattFsSuper *disk)
162 pgcnt_t ref[PAGE_COUNT];
163 TRACEMSG("1: disk new\n");
165 FILE *fpt = fopen(test_filename, "w+");
167 for (int i = 0; i < FILE_SIZE; i++)
170 for (int i = 0; i < PAGE_COUNT; i++)
173 testCheck(disk, ref);
174 TRACEMSG("1: passed\n");
177 static void disk1File(BattFsSuper *disk)
179 pgcnt_t ref[PAGE_COUNT];
180 TRACEMSG("2: disk full with 1 contiguos file\n");
183 fp = fopen(test_filename, "w+");
185 for (int i = 0; i < PAGE_COUNT; i++)
187 battfs_writeTestBlock(disk, i, 0, 0, disk->data_size, i);
192 testCheck(disk, ref);
193 TRACEMSG("2: passed\n");
197 static void diskHalfFile(BattFsSuper *disk)
199 pgcnt_t ref[PAGE_COUNT];
200 TRACEMSG("3: disk half full with 1 contiguos file, rest unformatted\n");
203 fp = fopen(test_filename, "w+");
205 for (int i = 0; i < PAGE_COUNT / 2; i++)
207 battfs_writeTestBlock(disk, i, 0, 0, disk->data_size, i);
210 fseek(fp, FILE_SIZE / 2, SEEK_SET);
211 for (int i = FILE_SIZE / 2; i < FILE_SIZE; i++)
215 for (int i = PAGE_COUNT / 2; i < PAGE_COUNT; i++)
221 testCheck(disk, ref);
222 TRACEMSG("3: passed\n");
226 static void oldSeq1(BattFsSuper *disk)
229 TRACEMSG("6: 1 file with 1 old seq num, 1 free block\n");
232 fp = fopen(test_filename, "w+");
233 // page, inode, seq, fill, pgoff
234 battfs_writeTestBlock(disk, 0, 0, 0, disk->data_size, 0);
235 battfs_writeTestBlock(disk, 1, 0, 0, disk->data_size, 1);
236 battfs_writeTestBlock(disk, 2, 0, 1, disk->data_size, 1);
237 disk->erase(disk, 3);
246 testCheck(disk, ref);
247 TRACEMSG("6: passed\n");
250 static void oldSeq2(BattFsSuper *disk)
253 TRACEMSG("7: 1 file with 1 old seq num, 1 free block\n");
256 fp = fopen(test_filename, "w+");
257 // page, inode, seq, fill, pgoff
258 battfs_writeTestBlock(disk, 0, 0, 0, disk->data_size, 0);
259 battfs_writeTestBlock(disk, 1, 0, 1, disk->data_size, 1);
260 battfs_writeTestBlock(disk, 2, 0, 0, disk->data_size, 1);
261 disk->erase(disk, 3);
269 testCheck(disk, ref);
270 TRACEMSG("7: passed\n");
273 static void oldSeq3(BattFsSuper *disk)
276 TRACEMSG("8: 1 file with 1 old seq num, 1 free block\n");
279 fp = fopen(test_filename, "w+");
281 // page, inode, seq, fill, pgoff
282 disk->erase(disk, 0);
283 battfs_writeTestBlock(disk, 1, 0, 0, disk->data_size, 0);
284 battfs_writeTestBlock(disk, 2, 0, 1, disk->data_size, 1);
285 battfs_writeTestBlock(disk, 3, 0, 0, disk->data_size, 1);
294 testCheck(disk, ref);
295 TRACEMSG("8: passed\n");
298 static void oldSeq2File(BattFsSuper *disk)
301 TRACEMSG("9: 2 file with old seq num, 2 free block\n");
304 fp = fopen(test_filename, "w+");
306 // page, inode, seq, fill, pgoff
307 disk->erase(disk, 0);
308 battfs_writeTestBlock(disk, 1, 0, 0, disk->data_size, 0);
309 battfs_writeTestBlock(disk, 2, 0, 3, disk->data_size, 1);
310 battfs_writeTestBlock(disk, 3, 0, 0, disk->data_size, 1);
311 disk->erase(disk, 4);
312 battfs_writeTestBlock(disk, 5, 4, 0, disk->data_size, 0);
313 battfs_writeTestBlock(disk, 6, 4, 1, disk->data_size, 1);
314 battfs_writeTestBlock(disk, 7, 4, 0, disk->data_size, 1);
327 testCheck(disk, ref);
328 TRACEMSG("9: passed\n");
331 static void openFile(BattFsSuper *disk)
335 TRACEMSG("10: open file test, inode 0 and inode 4\n");
337 fp = fopen(test_filename, "w+");
339 int PAGE_FILL = PAGE_SIZE - BATTFS_HEADER_LEN;
342 inode_t INEXISTENT_INODE = 123;
343 unsigned int MODE = 0;
345 // page, inode, seq, fill, pgoff
346 disk->erase(disk, 0);
347 battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0);
348 battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1);
349 battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1);
350 disk->erase(disk, 4);
351 battfs_writeTestBlock(disk, 5, INODE2, 0, PAGE_FILL, 0);
352 battfs_writeTestBlock(disk, 6, INODE2, 1, PAGE_FILL, 1);
353 battfs_writeTestBlock(disk, 7, INODE2, 0, PAGE_FILL, 1);
357 ASSERT(battfs_mount(disk));
358 ASSERT(battfs_fsck(disk));
359 ASSERT(!battfs_fileExists(disk, INEXISTENT_INODE));
361 ASSERT(battfs_fileExists(disk, INODE));
362 ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
363 ASSERT(fd1.fd.size == PAGE_FILL * 2);
364 ASSERT(fd1.fd.seek_pos == 0);
365 ASSERT(fd1.mode == MODE);
366 ASSERT(fd1.inode == INODE);
367 ASSERT(fd1.start == &disk->page_array[0]);
368 ASSERT(fd1.disk == disk);
369 ASSERT(LIST_HEAD(&disk->file_opened_list) == &fd1.link);
371 ASSERT(kfile_reopen(&fd1.fd) == &fd1.fd);
372 ASSERT(fd1.fd.size == PAGE_FILL * 2);
373 ASSERT(fd1.fd.seek_pos == 0);
374 ASSERT(fd1.mode == MODE);
375 ASSERT(fd1.inode == INODE);
376 ASSERT(fd1.start == &disk->page_array[0]);
377 ASSERT(fd1.disk == disk);
378 ASSERT(LIST_HEAD(&disk->file_opened_list) == &fd1.link);
380 ASSERT(battfs_fileExists(disk, INODE2));
381 ASSERT(battfs_fileopen(disk, &fd2, INODE2, MODE));
382 ASSERT(fd2.fd.size == PAGE_FILL * 2);
383 ASSERT(fd2.fd.seek_pos == 0);
384 ASSERT(fd2.mode == MODE);
385 ASSERT(fd2.inode == INODE2);
386 ASSERT(fd2.start == &disk->page_array[2]);
387 ASSERT(fd2.disk == disk);
388 ASSERT(LIST_HEAD(&disk->file_opened_list)->succ == &fd2.link);
390 ASSERT(kfile_close(&fd1.fd) == 0);
391 ASSERT(kfile_error(&fd1.fd) == 0);
392 ASSERT(kfile_close(&fd2.fd) == 0);
393 ASSERT(kfile_error(&fd2.fd) == 0);
394 ASSERT(LIST_EMPTY(&disk->file_opened_list));
395 ASSERT(battfs_fsck(disk));
396 ASSERT(battfs_umount(disk));
398 TRACEMSG("10: passed\n");
401 static void readFile(BattFsSuper *disk)
406 TRACEMSG("11: read file test\n");
408 fp = fopen(test_filename, "w+");
410 unsigned int PAGE_FILL = PAGE_SIZE - BATTFS_HEADER_LEN;
413 unsigned int MODE = 0;
415 disk->erase(disk, 0);
416 battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0);
417 battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1);
418 battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1);
419 disk->erase(disk, 4);
420 battfs_writeTestBlock(disk, 5, INODE2, 0, PAGE_FILL, 0);
421 battfs_writeTestBlock(disk, 6, INODE2, 1, PAGE_FILL, 1);
422 battfs_writeTestBlock(disk, 7, INODE2, 0, PAGE_FILL, 1);
426 ASSERT(battfs_mount(disk));
427 ASSERT(battfs_fsck(disk));
428 ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
429 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
430 ASSERT(fd1.fd.seek_pos == sizeof(buf));
431 for (size_t i = 0; i < sizeof(buf); i++)
432 ASSERT(buf[i] == 0xff);
434 ASSERT(kfile_close(&fd1.fd) == 0);
435 ASSERT(kfile_error(&fd1.fd) == 0);
436 ASSERT(battfs_fsck(disk));
437 ASSERT(battfs_umount(disk));
439 TRACEMSG("11: passed\n");
442 static void readAcross(BattFsSuper *disk)
446 TRACEMSG("12: read file test across page boundary and seek test\n");
448 fp = fopen(test_filename, "w+");
450 const unsigned int PAGE_FILL = PAGE_SIZE - BATTFS_HEADER_LEN;
452 unsigned int MODE = 0;
453 uint8_t buf[PAGE_FILL + BATTFS_HEADER_LEN / 2];
455 disk->erase(disk, 0);
456 battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0);
457 battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1);
458 battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1);
459 disk->erase(disk, 4);
460 battfs_writeTestBlock(disk, 5, INODE, 0, PAGE_FILL, 2);
461 battfs_writeTestBlock(disk, 6, INODE, 1, PAGE_FILL, 3);
462 battfs_writeTestBlock(disk, 7, INODE, 0, PAGE_FILL, 3);
466 ASSERT(battfs_mount(disk));
467 ASSERT(battfs_fsck(disk));
468 ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
470 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
471 ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf));
472 for (size_t i = 0; i < sizeof(buf); i++)
473 ASSERT(buf[i] == 0xff);
475 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
476 ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf) * 2);
477 for (size_t i = 0; i < sizeof(buf); i++)
478 ASSERT(buf[i] == 0xff);
480 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
481 ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf) * 3);
482 for (size_t i = 0; i < sizeof(buf); i++)
483 ASSERT(buf[i] == 0xff);
485 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == PAGE_FILL * 4 - sizeof(buf) * 3);
486 ASSERT(fd1.fd.seek_pos == (kfile_off_t)fd1.fd.size);
487 for (size_t i = 0; i < PAGE_FILL * 4 - sizeof(buf) * 3; i++)
488 ASSERT(buf[i] == 0xff);
490 ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
491 ASSERT(fd1.fd.seek_pos == 0);
493 ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_END) == (kfile_off_t)fd1.fd.size);
494 ASSERT(fd1.fd.seek_pos = (kfile_off_t)fd1.fd.size);
496 ASSERT(kfile_close(&fd1.fd) == 0);
497 ASSERT(kfile_error(&fd1.fd) == 0);
498 ASSERT(battfs_fsck(disk));
499 ASSERT(battfs_umount(disk));
501 TRACEMSG("12: passed\n");
505 static void writeFile(BattFsSuper *disk)
508 uint8_t buf[PAGE_SIZE - BATTFS_HEADER_LEN];
510 TRACEMSG("13: write file test\n");
512 fp = fopen(test_filename, "w+");
514 unsigned int PAGE_FILL = PAGE_SIZE - BATTFS_HEADER_LEN;
517 unsigned int MODE = 0;
519 disk->erase(disk, 0);
520 battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0);
521 battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1);
522 battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1);
523 disk->erase(disk, 4);
524 battfs_writeTestBlock(disk, 5, INODE2, 0, PAGE_FILL, 0);
525 battfs_writeTestBlock(disk, 6, INODE2, 1, PAGE_FILL, 1);
526 battfs_writeTestBlock(disk, 7, INODE2, 0, PAGE_FILL, 1);
530 for (size_t i = 0; i < sizeof(buf); i++)
533 ASSERT(battfs_mount(disk));
534 ASSERT(battfs_fsck(disk));
535 ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
536 ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
537 ASSERT(fd1.fd.seek_pos == sizeof(buf));
538 ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
539 ASSERT(fd1.fd.seek_pos == 0);
541 memset(buf, 0, sizeof(buf));
542 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
543 for (size_t i = 0; i < sizeof(buf); i++)
546 ASSERT(kfile_close(&fd1.fd) == 0);
547 ASSERT(kfile_error(&fd1.fd) == 0);
548 ASSERT(battfs_fsck(disk));
549 ASSERT(battfs_umount(disk));
551 TRACEMSG("13: passed\n");
554 static void writeAcross(BattFsSuper *disk)
558 TRACEMSG("14: write file test across page boundary and seek test\n");
560 fp = fopen(test_filename, "w+");
562 const unsigned int PAGE_FILL = PAGE_SIZE - BATTFS_HEADER_LEN;
564 unsigned int MODE = 0;
565 uint8_t buf[PAGE_FILL + BATTFS_HEADER_LEN / 2];
567 disk->erase(disk, 0);
568 battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0);
569 battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1);
570 battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1);
571 disk->erase(disk, 4);
572 battfs_writeTestBlock(disk, 5, INODE, 0, PAGE_FILL, 2);
573 battfs_writeTestBlock(disk, 6, INODE, 1, PAGE_FILL, 3);
574 battfs_writeTestBlock(disk, 7, INODE, 0, PAGE_FILL, 3);
578 ASSERT(battfs_mount(disk));
579 ASSERT(battfs_fsck(disk));
580 ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
583 for (size_t i = 0; i < sizeof(buf); i++)
585 ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
586 ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf));
588 for (size_t i = 0; i < sizeof(buf); i++)
590 ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
591 ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf) * 2);
593 for (size_t i = 0; i < sizeof(buf); i++)
595 ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
596 ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf) * 3);
598 ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
599 ASSERT(fd1.fd.seek_pos == 0);
602 memset(buf, 0, sizeof(buf));
603 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
604 for (size_t i = 0; i < sizeof(buf); i++)
605 ASSERT(buf[i] == val++);
607 memset(buf, 0, sizeof(buf));
608 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
609 for (size_t i = 0; i < sizeof(buf); i++)
610 ASSERT(buf[i] == val++);
612 memset(buf, 0, sizeof(buf));
613 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
614 for (size_t i = 0; i < sizeof(buf); i++)
615 ASSERT(buf[i] == val++);
617 ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf) * 3);
619 ASSERT(kfile_close(&fd1.fd) == 0);
620 ASSERT(kfile_error(&fd1.fd) == 0);
621 ASSERT(battfs_fsck(disk));
622 ASSERT(battfs_umount(disk));
624 TRACEMSG("14: passed\n");
627 static void createFile(BattFsSuper *disk)
629 TRACEMSG("15: file creation on new disk\n");
631 FILE *fpt = fopen(test_filename, "w+");
633 for (int i = 0; i < FILE_SIZE; i++)
639 unsigned int MODE = BATTFS_CREATE;
641 ASSERT(battfs_mount(disk));
642 ASSERT(battfs_fsck(disk));
643 ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
644 for (int i = 0; i < FILE_SIZE / 2; i++)
645 ASSERT(kfile_putc(i, &fd1.fd) != EOF);
647 ASSERT(fd1.fd.seek_pos == FILE_SIZE / 2);
648 ASSERT(fd1.fd.size == FILE_SIZE / 2);
649 ASSERT(kfile_close(&fd1.fd) == 0);
650 ASSERT(kfile_error(&fd1.fd) == 0);
651 ASSERT(battfs_fsck(disk));
652 ASSERT(battfs_umount(disk));
654 ASSERT(battfs_mount(disk));
655 ASSERT(battfs_fsck(disk));
656 ASSERT(battfs_fileopen(disk, &fd1, INODE, 0));
657 ASSERT(fd1.fd.size == FILE_SIZE / 2);
658 ASSERT(fd1.fd.seek_pos == 0);
660 uint8_t buf[FILE_SIZE / 2];
661 memset(buf, 0, sizeof(buf));
662 ASSERT(kfile_read(&fd1.fd, buf, FILE_SIZE / 2) == FILE_SIZE / 2);
664 for (int i = 0; i < FILE_SIZE / 2; i++)
665 ASSERT(buf[i] == (i & 0xff));
667 ASSERT(fd1.fd.seek_pos == FILE_SIZE / 2);
668 ASSERT(kfile_close(&fd1.fd) == 0);
669 ASSERT(kfile_error(&fd1.fd) == 0);
670 ASSERT(battfs_fsck(disk));
671 ASSERT(battfs_umount(disk));
674 TRACEMSG("15: passed\n");
677 static void multipleWrite(BattFsSuper *disk)
679 TRACEMSG("16: multiple write on file\n");
681 FILE *fpt = fopen(test_filename, "w+");
683 for (int i = 0; i < FILE_SIZE; i++)
689 unsigned int MODE = BATTFS_CREATE;
692 ASSERT(battfs_mount(disk));
693 ASSERT(battfs_fsck(disk));
694 ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
697 for (j = 1; j < 1013; j++)
699 for (unsigned i = 0; i < sizeof(buf); i++)
702 ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
703 ASSERT(fd1.fd.seek_pos == sizeof(buf));
704 ASSERT(fd1.fd.size == sizeof(buf));
705 ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
706 memset(buf, 0, sizeof(buf));
707 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
708 ASSERT(fd1.fd.seek_pos == sizeof(buf));
709 for (unsigned i = 0; i < sizeof(buf); i++)
710 ASSERT(buf[i] == ((j+i) & 0xff));
711 ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
712 ASSERT(disk->free_bytes == disk->disk_size - sizeof(buf));
714 ASSERT(kfile_close(&fd1.fd) == 0);
715 ASSERT(kfile_error(&fd1.fd) == 0);
716 ASSERT(battfs_fsck(disk));
717 ASSERT(battfs_umount(disk));
719 ASSERT(battfs_mount(disk));
720 ASSERT(battfs_fsck(disk));
721 ASSERT(disk->free_bytes == disk->disk_size - sizeof(buf));
722 ASSERT(battfs_fileopen(disk, &fd1, INODE, 0));
723 ASSERT(fd1.fd.size == sizeof(buf));
724 memset(buf, 0, sizeof(buf));
725 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
726 for (unsigned i = 0; i < sizeof(buf); i++)
727 ASSERT(buf[i] == ((j-1+i) & 0xff));
728 ASSERT(kfile_close(&fd1.fd) == 0);
729 ASSERT(kfile_error(&fd1.fd) == 0);
730 ASSERT(battfs_fsck(disk));
731 ASSERT(battfs_umount(disk));
734 TRACEMSG("16: passed\n");
737 static void increaseFile(BattFsSuper *disk)
739 TRACEMSG("17: increasing dimension of a file with multiple open files.\n");
741 FILE *fpt = fopen(test_filename, "w+");
743 for (int i = 0; i < FILE_SIZE / 10; i++)
748 inode_t INODE1 = 1, INODE2 = 2;
749 unsigned int MODE = BATTFS_CREATE;
752 ASSERT(battfs_mount(disk));
753 ASSERT(battfs_fsck(disk));
754 ASSERT(battfs_fileopen(disk, &fd1, INODE1, MODE));
755 ASSERT(battfs_fileopen(disk, &fd2, INODE2, MODE));
756 for (unsigned i = 0; i < sizeof(buf); i++)
757 ASSERT(kfile_putc(i, &fd2.fd) != EOF);
758 ASSERT(kfile_seek(&fd2.fd, 0, KSM_SEEK_SET) == 0);
759 memset(buf, 0, sizeof(buf));
760 ASSERT(kfile_read(&fd2.fd, buf, sizeof(buf)) == sizeof(buf));
762 for (unsigned i = 0; i < sizeof(buf); i++)
763 ASSERT(buf[i] == (i & 0xff));
764 ASSERT(kfile_seek(&fd2.fd, 0, KSM_SEEK_SET) == 0);
766 for (unsigned i = 0; i < sizeof(buf); i++)
767 ASSERT(kfile_putc(i, &fd1.fd) != EOF);
769 memset(buf, 0, sizeof(buf));
770 ASSERT(kfile_read(&fd2.fd, buf, sizeof(buf)) == sizeof(buf));
772 for (unsigned i = 0; i < sizeof(buf); i++)
773 ASSERT(buf[i] == (i & 0xff));
775 ASSERT(kfile_close(&fd1.fd) == 0);
776 ASSERT(kfile_error(&fd1.fd) == 0);
777 ASSERT(kfile_close(&fd2.fd) == 0);
778 ASSERT(kfile_error(&fd2.fd) == 0);
779 ASSERT(battfs_fsck(disk));
780 ASSERT(battfs_umount(disk));
782 TRACEMSG("17: passed\n");
785 static void readEOF(BattFsSuper *disk)
790 TRACEMSG("18: reading over EOF test\n");
792 fp = fopen(test_filename, "w+");
794 unsigned int PAGE_FILL = PAGE_SIZE - BATTFS_HEADER_LEN;
797 unsigned int MODE = 0;
799 disk->erase(disk, 0);
800 battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0);
801 battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1);
802 battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1);
803 disk->erase(disk, 4);
804 battfs_writeTestBlock(disk, 5, INODE2, 0, PAGE_FILL, 0);
805 battfs_writeTestBlock(disk, 6, INODE2, 1, PAGE_FILL, 1);
806 battfs_writeTestBlock(disk, 7, INODE2, 0, PAGE_FILL, 1);
810 ASSERT(battfs_mount(disk));
811 ASSERT(battfs_fsck(disk));
812 ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
813 ASSERT(kfile_seek(&fd1.fd, fd1.fd.size + 10, SEEK_SET) == fd1.fd.size + 10);
814 ASSERT(fd1.fd.seek_pos == fd1.fd.size + 10);
815 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == 0);
817 ASSERT(kfile_close(&fd1.fd) == 0);
818 ASSERT(kfile_error(&fd1.fd) == 0);
819 ASSERT(battfs_fsck(disk));
820 ASSERT(battfs_umount(disk));
822 TRACEMSG("18: passed\n");
825 static void writeEOF(BattFsSuper *disk)
827 TRACEMSG("19: writing over EOF test\n");
829 FILE *fpt = fopen(test_filename, "w+");
831 for (int i = 0; i < FILE_SIZE / 5; i++)
837 unsigned int MODE = BATTFS_CREATE;
838 uint8_t buf[FILE_SIZE / 13];
840 for (int i = 0; i < 2; i++)
843 ASSERT(battfs_mount(disk));
844 ASSERT(battfs_fsck(disk));
845 disk_size_t prev_free = disk->free_bytes;
846 ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
847 ASSERT(fd1.fd.size == 0);
849 ASSERT(kfile_seek(&fd1.fd, 2, KSM_SEEK_END) == 2);
850 ASSERT(kfile_write(&fd1.fd, buf, 2));
851 ASSERT(fd1.fd.seek_pos == 4);
852 ASSERT(fd1.fd.size == 4);
853 ASSERT(disk->free_bytes == prev_free - 4);
854 ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
856 ASSERT(kfile_read(&fd1.fd, buf, 2) == 2);
857 for (int i = 0; i < 2; i++)
861 ASSERT(kfile_read(&fd1.fd, buf, 2) == 2);
862 for (int i = 0; i < 2; i++)
863 ASSERT(buf[i] == (i & 0xff));
865 ASSERT(kfile_seek(&fd1.fd, sizeof(buf), KSM_SEEK_END) == sizeof(buf) + 4);
866 for (unsigned i = 0; i < sizeof(buf); i++)
868 ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)));
869 ASSERT(fd1.fd.seek_pos == sizeof(buf) * 2 + 4);
870 ASSERT(fd1.fd.size == sizeof(buf) * 2 + 4);
871 ASSERT(disk->free_bytes == prev_free - sizeof(buf) * 2 - 4);
873 ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
876 ASSERT(kfile_read(&fd1.fd, buf, 2) == 2);
877 ASSERT(fd1.fd.seek_pos == 2);
878 for (int i = 0; i < 2; i++)
882 ASSERT(kfile_read(&fd1.fd, buf, 2) == 2);
883 ASSERT(fd1.fd.seek_pos == 4);
884 for (int i = 0; i < 2; i++)
885 ASSERT(buf[i] == (i & 0xff));
888 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
889 ASSERT(fd1.fd.seek_pos == sizeof(buf) + 4);
890 for (unsigned i = 0; i < sizeof(buf); i++)
893 memset(buf, 0, sizeof(buf));
894 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
895 for (unsigned i = 0; i < sizeof(buf); i++)
896 ASSERT(buf[i] == (i & 0xff));
898 ASSERT(kfile_close(&fd1.fd) == 0);
899 ASSERT(kfile_error(&fd1.fd) == 0);
900 ASSERT(battfs_fsck(disk));
901 ASSERT(battfs_umount(disk));
903 TRACEMSG("19: passed\n");
907 static void endOfSpace(BattFsSuper *disk)
909 TRACEMSG("20: what happens when disk space is over?\n");
911 uint8_t buf[(PAGE_SIZE - BATTFS_HEADER_LEN) * 5];
913 fp = fopen(test_filename, "w+");
915 unsigned int PAGE_FILL = PAGE_SIZE - BATTFS_HEADER_LEN;
917 unsigned int MODE = BATTFS_CREATE;
919 disk->erase(disk, 0);
920 disk->erase(disk, 1);
921 disk->erase(disk, 2);
922 disk->erase(disk, 3);
925 ASSERT(battfs_mount(disk));
926 ASSERT(battfs_fsck(disk));
927 ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
928 ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)) == PAGE_FILL * 4);
929 ASSERT(fd1.fd.size == (kfile_off_t)(PAGE_FILL * 4));
930 ASSERT(fd1.fd.seek_pos == (kfile_off_t)(PAGE_FILL * 4));
931 ASSERT(disk->free_bytes == 0);
933 ASSERT(kfile_close(&fd1.fd) == 0);
934 ASSERT(kfile_error(&fd1.fd) == BATTFS_DISK_GETNEWPAGE_ERR);
935 ASSERT(battfs_fsck(disk));
936 ASSERT(battfs_umount(disk));
938 TRACEMSG("20: passed\n");
942 static void multipleFilesRW(BattFsSuper *disk)
944 TRACEMSG("21: multiple files read/write test\n");
946 FILE *fpt = fopen(test_filename, "w+");
948 for (int i = 0; i < FILE_SIZE; i++)
954 unsigned int MODE = BATTFS_CREATE;
955 uint32_t buf[FILE_SIZE / (4 * N_FILES * sizeof(uint32_t))];
957 ASSERT(battfs_mount(disk));
958 ASSERT(battfs_fsck(disk));
959 for (inode_t i = 0; i < N_FILES; i++)
960 ASSERT(battfs_fileopen(disk, &fd[i], i, MODE));
962 for (int i = N_FILES - 1; i >= 0; i--)
964 for (uint32_t j = 0; j < countof(buf); j++)
967 ASSERT(kfile_write(&fd[i].fd, buf, sizeof(buf)) == sizeof(buf));
968 ASSERT(fd[i].fd.size == sizeof(buf));
969 ASSERT(fd[i].fd.seek_pos == sizeof(buf));
970 ASSERT(kfile_seek(&fd[i].fd, 0, SEEK_SET) == 0);
973 for (inode_t i = 0; i < N_FILES; i++)
975 memset(buf, 0, sizeof(buf));
976 ASSERT(kfile_read(&fd[i].fd, buf, sizeof(buf)) == sizeof(buf));
978 for (uint32_t j = 0; j < countof(buf); j++)
979 ASSERT(buf[j] == j+i);
981 ASSERT(fd[i].fd.size == sizeof(buf));
982 ASSERT(fd[i].fd.seek_pos == sizeof(buf));
983 ASSERT(kfile_seek(&fd[i].fd, 0, SEEK_SET) == 0);
986 for (inode_t i = 0; i < N_FILES; i++)
988 ASSERT(kfile_close(&fd[i].fd) == 0);
989 ASSERT(kfile_error(&fd[i].fd) == 0);
992 ASSERT(battfs_fsck(disk));
993 ASSERT(battfs_umount(disk));
995 ASSERT(battfs_mount(disk));
996 ASSERT(battfs_fsck(disk));
998 for (inode_t i = 0; i < N_FILES; i++)
999 ASSERT(battfs_fileopen(disk, &fd[i], i, 0));
1001 for (inode_t i = 0; i < N_FILES; i++)
1003 memset(buf, 0, sizeof(buf));
1004 ASSERT(kfile_read(&fd[i].fd, buf, sizeof(buf)) == sizeof(buf));
1006 for (uint32_t j = 0; j < countof(buf); j++)
1007 ASSERT(buf[j] == j+i);
1009 ASSERT(fd[i].fd.size == sizeof(buf));
1010 ASSERT(fd[i].fd.seek_pos == sizeof(buf));
1011 ASSERT(kfile_seek(&fd[i].fd, 0, SEEK_SET) == 0);
1014 for (inode_t i = 0; i < N_FILES; i++)
1016 ASSERT(kfile_close(&fd[i].fd) == 0);
1017 ASSERT(kfile_error(&fd[i].fd) == 0);
1020 ASSERT(battfs_umount(disk));
1021 TRACEMSG("21: passed\n");
1025 int battfs_testRun(void)
1029 disk.page_size = PAGE_SIZE;
1030 disk.open = disk_open;
1031 disk.read = disk_page_read;
1032 disk.load = disk_page_load;
1033 disk.bufferWrite = disk_buffer_write;
1034 disk.bufferRead = disk_buffer_read;
1035 disk.save = disk_page_save;
1036 disk.erase = disk_page_erase;
1037 disk.close = disk_close;
1041 diskHalfFile(&disk);
1052 multipleWrite(&disk);
1053 increaseFile(&disk);
1057 multipleFilesRW(&disk);
1059 kprintf("All tests passed!\n");
1064 int battfs_testSetup(void)
1069 int battfs_testTearDown(void)
1076 #include <fs/battfs.c>
1077 #include <kern/kfile.c>
1078 #include <drv/kdebug.c>
1079 #include <mware/formatwr.c>
1080 #include <mware/hex.c>