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_init(disk));
131 for (int i = 0; i < disk->page_count; i++)
133 if (disk->page_array[i] != reference[i])
135 kprintf("Error at addr %d: page_array read", i);
136 for (pgcnt_t i = 0; i < disk->page_count; i++)
140 kprintf("%04d ", disk->page_array[i]);
143 kprintf("Expected:");
144 for (pgcnt_t i = 0; i < disk->page_count; i++)
148 kprintf("%04d ", reference[i]);
155 ASSERT(battfs_fsck(disk));
159 static void diskNew(BattFsSuper *disk)
161 pgcnt_t ref[PAGE_COUNT];
162 TRACEMSG("1: disk new\n");
164 FILE *fpt = fopen(test_filename, "w+");
166 for (int i = 0; i < FILE_SIZE; i++)
169 for (int i = 0; i < PAGE_COUNT; i++)
172 testCheck(disk, ref);
173 TRACEMSG("1: passed\n");
176 static void disk1File(BattFsSuper *disk)
178 pgcnt_t ref[PAGE_COUNT];
179 TRACEMSG("2: disk full with 1 contiguos file\n");
182 fp = fopen(test_filename, "w+");
184 for (int i = 0; i < PAGE_COUNT; i++)
186 battfs_writeTestBlock(disk, i, 0, 0, disk->data_size, i);
191 testCheck(disk, ref);
192 TRACEMSG("2: passed\n");
196 static void diskHalfFile(BattFsSuper *disk)
198 pgcnt_t ref[PAGE_COUNT];
199 TRACEMSG("3: disk half full with 1 contiguos file, rest unformatted\n");
202 fp = fopen(test_filename, "w+");
204 for (int i = 0; i < PAGE_COUNT / 2; i++)
206 battfs_writeTestBlock(disk, i, 0, 0, disk->data_size, i);
209 fseek(fp, FILE_SIZE / 2, SEEK_SET);
210 for (int i = FILE_SIZE / 2; i < FILE_SIZE; i++)
214 for (int i = PAGE_COUNT / 2; i < PAGE_COUNT; i++)
220 testCheck(disk, ref);
221 TRACEMSG("3: passed\n");
225 static void oldSeq1(BattFsSuper *disk)
228 TRACEMSG("6: 1 file with 1 old seq num, 1 free block\n");
231 fp = fopen(test_filename, "w+");
232 // page, inode, seq, fill, pgoff
233 battfs_writeTestBlock(disk, 0, 0, 0, disk->data_size, 0);
234 battfs_writeTestBlock(disk, 1, 0, 0, disk->data_size, 1);
235 battfs_writeTestBlock(disk, 2, 0, 1, disk->data_size, 1);
236 disk->erase(disk, 3);
245 testCheck(disk, ref);
246 TRACEMSG("6: passed\n");
249 static void oldSeq2(BattFsSuper *disk)
252 TRACEMSG("7: 1 file with 1 old seq num, 1 free block\n");
255 fp = fopen(test_filename, "w+");
256 // page, inode, seq, fill, pgoff
257 battfs_writeTestBlock(disk, 0, 0, 0, disk->data_size, 0);
258 battfs_writeTestBlock(disk, 1, 0, 1, disk->data_size, 1);
259 battfs_writeTestBlock(disk, 2, 0, 0, disk->data_size, 1);
260 disk->erase(disk, 3);
268 testCheck(disk, ref);
269 TRACEMSG("7: passed\n");
272 static void oldSeq3(BattFsSuper *disk)
275 TRACEMSG("8: 1 file with 1 old seq num, 1 free block\n");
278 fp = fopen(test_filename, "w+");
280 // page, inode, seq, fill, pgoff
281 disk->erase(disk, 0);
282 battfs_writeTestBlock(disk, 1, 0, 0, disk->data_size, 0);
283 battfs_writeTestBlock(disk, 2, 0, 1, disk->data_size, 1);
284 battfs_writeTestBlock(disk, 3, 0, 0, disk->data_size, 1);
293 testCheck(disk, ref);
294 TRACEMSG("8: passed\n");
297 static void oldSeq2File(BattFsSuper *disk)
300 TRACEMSG("9: 2 file with old seq num, 2 free block\n");
303 fp = fopen(test_filename, "w+");
305 // page, inode, seq, fill, pgoff
306 disk->erase(disk, 0);
307 battfs_writeTestBlock(disk, 1, 0, 0, disk->data_size, 0);
308 battfs_writeTestBlock(disk, 2, 0, 3, disk->data_size, 1);
309 battfs_writeTestBlock(disk, 3, 0, 0, disk->data_size, 1);
310 disk->erase(disk, 4);
311 battfs_writeTestBlock(disk, 5, 4, 0, disk->data_size, 0);
312 battfs_writeTestBlock(disk, 6, 4, 1, disk->data_size, 1);
313 battfs_writeTestBlock(disk, 7, 4, 0, disk->data_size, 1);
326 testCheck(disk, ref);
327 TRACEMSG("9: passed\n");
330 static void openFile(BattFsSuper *disk)
334 TRACEMSG("10: open file test, inode 0 and inode 4\n");
336 fp = fopen(test_filename, "w+");
338 int PAGE_FILL = PAGE_SIZE - BATTFS_HEADER_LEN;
341 inode_t INEXISTENT_INODE = 123;
342 unsigned int MODE = 0;
344 // page, inode, seq, fill, pgoff
345 disk->erase(disk, 0);
346 battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0);
347 battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1);
348 battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1);
349 disk->erase(disk, 4);
350 battfs_writeTestBlock(disk, 5, INODE2, 0, PAGE_FILL, 0);
351 battfs_writeTestBlock(disk, 6, INODE2, 1, PAGE_FILL, 1);
352 battfs_writeTestBlock(disk, 7, INODE2, 0, PAGE_FILL, 1);
356 ASSERT(battfs_init(disk));
357 ASSERT(!battfs_fileExists(disk, INEXISTENT_INODE));
359 ASSERT(battfs_fileExists(disk, INODE));
360 ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
361 ASSERT(fd1.fd.size == PAGE_FILL * 2);
362 ASSERT(fd1.fd.seek_pos == 0);
363 ASSERT(fd1.mode == MODE);
364 ASSERT(fd1.inode == INODE);
365 ASSERT(fd1.start == &disk->page_array[0]);
366 ASSERT(fd1.disk == disk);
367 ASSERT(LIST_HEAD(&disk->file_opened_list) == &fd1.link);
369 ASSERT(kfile_reopen(&fd1.fd) == &fd1.fd);
370 ASSERT(fd1.fd.size == PAGE_FILL * 2);
371 ASSERT(fd1.fd.seek_pos == 0);
372 ASSERT(fd1.mode == MODE);
373 ASSERT(fd1.inode == INODE);
374 ASSERT(fd1.start == &disk->page_array[0]);
375 ASSERT(fd1.disk == disk);
376 ASSERT(LIST_HEAD(&disk->file_opened_list) == &fd1.link);
378 ASSERT(battfs_fileExists(disk, INODE2));
379 ASSERT(battfs_fileopen(disk, &fd2, INODE2, MODE));
380 ASSERT(fd2.fd.size == PAGE_FILL * 2);
381 ASSERT(fd2.fd.seek_pos == 0);
382 ASSERT(fd2.mode == MODE);
383 ASSERT(fd2.inode == INODE2);
384 ASSERT(fd2.start == &disk->page_array[2]);
385 ASSERT(fd2.disk == disk);
386 ASSERT(LIST_HEAD(&disk->file_opened_list)->succ == &fd2.link);
388 ASSERT(kfile_close(&fd1.fd) == 0);
389 ASSERT(kfile_close(&fd2.fd) == 0);
390 ASSERT(LIST_EMPTY(&disk->file_opened_list));
391 ASSERT(battfs_fsck(disk));
392 ASSERT(battfs_close(disk));
394 TRACEMSG("10: passed\n");
397 static void readFile(BattFsSuper *disk)
402 TRACEMSG("11: read file test\n");
404 fp = fopen(test_filename, "w+");
406 unsigned int PAGE_FILL = PAGE_SIZE - BATTFS_HEADER_LEN;
409 unsigned int MODE = 0;
411 disk->erase(disk, 0);
412 battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0);
413 battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1);
414 battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1);
415 disk->erase(disk, 4);
416 battfs_writeTestBlock(disk, 5, INODE2, 0, PAGE_FILL, 0);
417 battfs_writeTestBlock(disk, 6, INODE2, 1, PAGE_FILL, 1);
418 battfs_writeTestBlock(disk, 7, INODE2, 0, PAGE_FILL, 1);
422 ASSERT(battfs_init(disk));
423 ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
424 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
425 ASSERT(fd1.fd.seek_pos == sizeof(buf));
426 for (size_t i = 0; i < sizeof(buf); i++)
427 ASSERT(buf[i] == 0xff);
429 ASSERT(kfile_close(&fd1.fd) == 0);
430 ASSERT(battfs_fsck(disk));
431 ASSERT(battfs_close(disk));
433 TRACEMSG("11: passed\n");
436 static void readAcross(BattFsSuper *disk)
440 TRACEMSG("12: read file test across page boundary and seek test\n");
442 fp = fopen(test_filename, "w+");
444 const unsigned int PAGE_FILL = PAGE_SIZE - BATTFS_HEADER_LEN;
446 unsigned int MODE = 0;
447 uint8_t buf[PAGE_FILL + BATTFS_HEADER_LEN / 2];
449 disk->erase(disk, 0);
450 battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0);
451 battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1);
452 battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1);
453 disk->erase(disk, 4);
454 battfs_writeTestBlock(disk, 5, INODE, 0, PAGE_FILL, 2);
455 battfs_writeTestBlock(disk, 6, INODE, 1, PAGE_FILL, 3);
456 battfs_writeTestBlock(disk, 7, INODE, 0, PAGE_FILL, 3);
460 ASSERT(battfs_init(disk));
461 ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
463 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
464 ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf));
465 for (size_t i = 0; i < sizeof(buf); i++)
466 ASSERT(buf[i] == 0xff);
468 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
469 ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf) * 2);
470 for (size_t i = 0; i < sizeof(buf); i++)
471 ASSERT(buf[i] == 0xff);
473 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
474 ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf) * 3);
475 for (size_t i = 0; i < sizeof(buf); i++)
476 ASSERT(buf[i] == 0xff);
478 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == PAGE_FILL * 4 - sizeof(buf) * 3);
479 ASSERT(fd1.fd.seek_pos == (kfile_off_t)fd1.fd.size);
480 for (size_t i = 0; i < PAGE_FILL * 4 - sizeof(buf) * 3; i++)
481 ASSERT(buf[i] == 0xff);
483 ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
484 ASSERT(fd1.fd.seek_pos == 0);
486 ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_END) == (kfile_off_t)fd1.fd.size);
487 ASSERT(fd1.fd.seek_pos = (kfile_off_t)fd1.fd.size);
489 ASSERT(kfile_close(&fd1.fd) == 0);
490 ASSERT(battfs_fsck(disk));
491 ASSERT(battfs_close(disk));
493 TRACEMSG("12: passed\n");
497 static void writeFile(BattFsSuper *disk)
500 uint8_t buf[PAGE_SIZE - BATTFS_HEADER_LEN];
502 TRACEMSG("13: write file test\n");
504 fp = fopen(test_filename, "w+");
506 unsigned int PAGE_FILL = PAGE_SIZE - BATTFS_HEADER_LEN;
509 unsigned int MODE = 0;
511 disk->erase(disk, 0);
512 battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0);
513 battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1);
514 battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1);
515 disk->erase(disk, 4);
516 battfs_writeTestBlock(disk, 5, INODE2, 0, PAGE_FILL, 0);
517 battfs_writeTestBlock(disk, 6, INODE2, 1, PAGE_FILL, 1);
518 battfs_writeTestBlock(disk, 7, INODE2, 0, PAGE_FILL, 1);
522 for (size_t i = 0; i < sizeof(buf); i++)
525 ASSERT(battfs_init(disk));
526 ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
527 ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
528 ASSERT(fd1.fd.seek_pos == sizeof(buf));
529 ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
530 ASSERT(fd1.fd.seek_pos == 0);
532 memset(buf, 0, sizeof(buf));
533 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
534 for (size_t i = 0; i < sizeof(buf); i++)
537 ASSERT(kfile_close(&fd1.fd) == 0);
538 ASSERT(battfs_fsck(disk));
539 ASSERT(battfs_close(disk));
541 TRACEMSG("13: passed\n");
544 static void writeAcross(BattFsSuper *disk)
548 TRACEMSG("14: write file test across page boundary and seek test\n");
550 fp = fopen(test_filename, "w+");
552 const unsigned int PAGE_FILL = PAGE_SIZE - BATTFS_HEADER_LEN;
554 unsigned int MODE = 0;
555 uint8_t buf[PAGE_FILL + BATTFS_HEADER_LEN / 2];
557 disk->erase(disk, 0);
558 battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0);
559 battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1);
560 battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1);
561 disk->erase(disk, 4);
562 battfs_writeTestBlock(disk, 5, INODE, 0, PAGE_FILL, 2);
563 battfs_writeTestBlock(disk, 6, INODE, 1, PAGE_FILL, 3);
564 battfs_writeTestBlock(disk, 7, INODE, 0, PAGE_FILL, 3);
568 ASSERT(battfs_init(disk));
569 ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
572 for (size_t i = 0; i < sizeof(buf); i++)
574 ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
575 ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf));
577 for (size_t i = 0; i < sizeof(buf); i++)
579 ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
580 ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf) * 2);
582 for (size_t i = 0; i < sizeof(buf); i++)
584 ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
585 ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf) * 3);
587 ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
588 ASSERT(fd1.fd.seek_pos == 0);
591 memset(buf, 0, sizeof(buf));
592 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
593 for (size_t i = 0; i < sizeof(buf); i++)
594 ASSERT(buf[i] == val++);
596 memset(buf, 0, sizeof(buf));
597 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
598 for (size_t i = 0; i < sizeof(buf); i++)
599 ASSERT(buf[i] == val++);
601 memset(buf, 0, sizeof(buf));
602 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
603 for (size_t i = 0; i < sizeof(buf); i++)
604 ASSERT(buf[i] == val++);
606 ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf) * 3);
608 ASSERT(kfile_close(&fd1.fd) == 0);
609 ASSERT(battfs_fsck(disk));
610 ASSERT(battfs_close(disk));
612 TRACEMSG("14: passed\n");
615 static void createFile(BattFsSuper *disk)
617 TRACEMSG("15: file creation on new disk\n");
619 FILE *fpt = fopen(test_filename, "w+");
621 for (int i = 0; i < FILE_SIZE; i++)
627 unsigned int MODE = BATTFS_CREATE;
629 ASSERT(battfs_init(disk));
630 ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
631 for (int i = 0; i < FILE_SIZE / 2; i++)
632 ASSERT(kfile_putc(i, &fd1.fd) != EOF);
634 ASSERT(fd1.fd.seek_pos == FILE_SIZE / 2);
635 ASSERT(fd1.fd.size == FILE_SIZE / 2);
636 ASSERT(kfile_close(&fd1.fd) == 0);
637 ASSERT(battfs_fsck(disk));
638 ASSERT(battfs_close(disk));
640 ASSERT(battfs_init(disk));
641 ASSERT(battfs_fileopen(disk, &fd1, INODE, 0));
642 ASSERT(fd1.fd.size == FILE_SIZE / 2);
643 ASSERT(fd1.fd.seek_pos == 0);
645 uint8_t buf[FILE_SIZE / 2];
646 memset(buf, 0, sizeof(buf));
647 ASSERT(kfile_read(&fd1.fd, buf, FILE_SIZE / 2) == FILE_SIZE / 2);
649 for (int i = 0; i < FILE_SIZE / 2; i++)
650 ASSERT(buf[i] == (i & 0xff));
652 ASSERT(fd1.fd.seek_pos == FILE_SIZE / 2);
653 ASSERT(kfile_close(&fd1.fd) == 0);
654 ASSERT(battfs_fsck(disk));
655 ASSERT(battfs_close(disk));
658 TRACEMSG("15: passed\n");
661 static void multipleWrite(BattFsSuper *disk)
663 TRACEMSG("16: multiple write on file\n");
665 FILE *fpt = fopen(test_filename, "w+");
667 for (int i = 0; i < FILE_SIZE; i++)
673 unsigned int MODE = BATTFS_CREATE;
676 ASSERT(battfs_init(disk));
677 ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
680 for (j = 1; j < 1013; j++)
682 for (unsigned i = 0; i < sizeof(buf); i++)
685 ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
686 ASSERT(fd1.fd.seek_pos == sizeof(buf));
687 ASSERT(fd1.fd.size == sizeof(buf));
688 ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
689 memset(buf, 0, sizeof(buf));
690 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
691 ASSERT(fd1.fd.seek_pos == sizeof(buf));
692 for (unsigned i = 0; i < sizeof(buf); i++)
693 ASSERT(buf[i] == ((j+i) & 0xff));
694 ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
695 ASSERT(disk->free_bytes == disk->disk_size - sizeof(buf));
697 ASSERT(kfile_close(&fd1.fd) == 0);
698 ASSERT(battfs_fsck(disk));
699 ASSERT(battfs_close(disk));
701 ASSERT(battfs_init(disk));
702 ASSERT(disk->free_bytes == disk->disk_size - sizeof(buf));
703 ASSERT(battfs_fileopen(disk, &fd1, INODE, 0));
704 ASSERT(fd1.fd.size == sizeof(buf));
705 memset(buf, 0, sizeof(buf));
706 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
707 for (unsigned i = 0; i < sizeof(buf); i++)
708 ASSERT(buf[i] == ((j-1+i) & 0xff));
709 ASSERT(kfile_close(&fd1.fd) == 0);
710 ASSERT(battfs_fsck(disk));
711 ASSERT(battfs_close(disk));
714 TRACEMSG("16: passed\n");
717 static void increaseFile(BattFsSuper *disk)
719 TRACEMSG("17: increasing dimension of a file with multiple open files.\n");
721 FILE *fpt = fopen(test_filename, "w+");
723 for (int i = 0; i < FILE_SIZE / 10; i++)
728 inode_t INODE1 = 1, INODE2 = 2;
729 unsigned int MODE = BATTFS_CREATE;
732 ASSERT(battfs_init(disk));
733 ASSERT(battfs_fileopen(disk, &fd1, INODE1, MODE));
734 ASSERT(battfs_fileopen(disk, &fd2, INODE2, MODE));
735 for (unsigned i = 0; i < sizeof(buf); i++)
736 ASSERT(kfile_putc(i, &fd2.fd) != EOF);
737 ASSERT(kfile_seek(&fd2.fd, 0, KSM_SEEK_SET) == 0);
738 memset(buf, 0, sizeof(buf));
739 ASSERT(kfile_read(&fd2.fd, buf, sizeof(buf)) == sizeof(buf));
741 for (unsigned i = 0; i < sizeof(buf); i++)
742 ASSERT(buf[i] == (i & 0xff));
743 ASSERT(kfile_seek(&fd2.fd, 0, KSM_SEEK_SET) == 0);
745 for (unsigned i = 0; i < sizeof(buf); i++)
746 ASSERT(kfile_putc(i, &fd1.fd) != EOF);
748 memset(buf, 0, sizeof(buf));
749 ASSERT(kfile_read(&fd2.fd, buf, sizeof(buf)) == sizeof(buf));
751 for (unsigned i = 0; i < sizeof(buf); i++)
752 ASSERT(buf[i] == (i & 0xff));
754 ASSERT(kfile_close(&fd1.fd) == 0);
755 ASSERT(kfile_close(&fd2.fd) == 0);
756 ASSERT(battfs_fsck(disk));
757 ASSERT(battfs_close(disk));
759 TRACEMSG("17: passed\n");
762 static void readEOF(BattFsSuper *disk)
767 TRACEMSG("18: reading over EOF test\n");
769 fp = fopen(test_filename, "w+");
771 unsigned int PAGE_FILL = PAGE_SIZE - BATTFS_HEADER_LEN;
774 unsigned int MODE = 0;
776 disk->erase(disk, 0);
777 battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0);
778 battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1);
779 battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1);
780 disk->erase(disk, 4);
781 battfs_writeTestBlock(disk, 5, INODE2, 0, PAGE_FILL, 0);
782 battfs_writeTestBlock(disk, 6, INODE2, 1, PAGE_FILL, 1);
783 battfs_writeTestBlock(disk, 7, INODE2, 0, PAGE_FILL, 1);
787 ASSERT(battfs_init(disk));
788 ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
789 ASSERT(kfile_seek(&fd1.fd, fd1.fd.size + 10, SEEK_SET) == fd1.fd.size + 10);
790 ASSERT(fd1.fd.seek_pos == fd1.fd.size + 10);
791 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == 0);
793 ASSERT(kfile_close(&fd1.fd) == 0);
794 ASSERT(battfs_fsck(disk));
795 ASSERT(battfs_close(disk));
797 TRACEMSG("18: passed\n");
800 static void writeEOF(BattFsSuper *disk)
802 TRACEMSG("19: writing over EOF test\n");
804 FILE *fpt = fopen(test_filename, "w+");
806 for (int i = 0; i < FILE_SIZE / 5; i++)
812 unsigned int MODE = BATTFS_CREATE;
813 uint8_t buf[FILE_SIZE / 13];
815 for (int i = 0; i < 2; i++)
818 ASSERT(battfs_init(disk));
819 disk_size_t prev_free = disk->free_bytes;
820 ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
821 ASSERT(fd1.fd.size == 0);
823 ASSERT(kfile_seek(&fd1.fd, 2, KSM_SEEK_END) == 2);
824 ASSERT(kfile_write(&fd1.fd, buf, 2));
825 ASSERT(fd1.fd.seek_pos == 4);
826 ASSERT(fd1.fd.size == 4);
827 ASSERT(disk->free_bytes == prev_free - 4);
828 ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
830 ASSERT(kfile_read(&fd1.fd, buf, 2) == 2);
831 for (int i = 0; i < 2; i++)
835 ASSERT(kfile_read(&fd1.fd, buf, 2) == 2);
836 for (int i = 0; i < 2; i++)
837 ASSERT(buf[i] == (i & 0xff));
839 ASSERT(kfile_seek(&fd1.fd, sizeof(buf), KSM_SEEK_END) == sizeof(buf) + 4);
840 for (unsigned i = 0; i < sizeof(buf); i++)
842 ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)));
843 ASSERT(fd1.fd.seek_pos == sizeof(buf) * 2 + 4);
844 ASSERT(fd1.fd.size == sizeof(buf) * 2 + 4);
845 ASSERT(disk->free_bytes == prev_free - sizeof(buf) * 2 - 4);
847 ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
850 ASSERT(kfile_read(&fd1.fd, buf, 2) == 2);
851 ASSERT(fd1.fd.seek_pos == 2);
852 for (int i = 0; i < 2; i++)
856 ASSERT(kfile_read(&fd1.fd, buf, 2) == 2);
857 ASSERT(fd1.fd.seek_pos == 4);
858 for (int i = 0; i < 2; i++)
859 ASSERT(buf[i] == (i & 0xff));
862 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
863 ASSERT(fd1.fd.seek_pos == sizeof(buf) + 4);
864 for (unsigned i = 0; i < sizeof(buf); i++)
867 memset(buf, 0, sizeof(buf));
868 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
869 for (unsigned i = 0; i < sizeof(buf); i++)
870 ASSERT(buf[i] == (i & 0xff));
872 ASSERT(kfile_close(&fd1.fd) == 0);
873 ASSERT(battfs_fsck(disk));
874 ASSERT(battfs_close(disk));
876 TRACEMSG("19: passed\n");
881 int battfs_testRun(void)
885 disk.open = disk_open;
886 disk.read = disk_page_read;
887 disk.load = disk_page_load;
888 disk.bufferWrite = disk_buffer_write;
889 disk.bufferRead = disk_buffer_read;
890 disk.save = disk_page_save;
891 disk.erase = disk_page_erase;
892 disk.close = disk_close;
907 multipleWrite(&disk);
912 kprintf("All tests passed!\n");
917 int battfs_testSetup(void)
922 int battfs_testTearDown(void)
929 #include <fs/battfs.c>
930 #include <kern/kfile.c>
931 #include <drv/kdebug.c>
932 #include <mware/formatwr.c>
933 #include <mware/hex.c>