diff options
author | Robert Morris <[email protected]> | 2014-08-28 05:57:47 -0400 |
---|---|---|
committer | Robert Morris <[email protected]> | 2014-08-28 05:57:47 -0400 |
commit | 48aa917403de1599a02924e429a9f43ea31e9cc1 (patch) | |
tree | 037648a21b395eacdd2d716a33cfc95e14ff0a61 /usertests.c | |
parent | 71453f72f285a17ccf0520b9dbdafdc701ff2f4a (diff) | |
download | xv6-labs-48aa917403de1599a02924e429a9f43ea31e9cc1.tar.gz xv6-labs-48aa917403de1599a02924e429a9f43ea31e9cc1.tar.bz2 xv6-labs-48aa917403de1599a02924e429a9f43ea31e9cc1.zip |
i think this is a working concurrent logging scheme
Diffstat (limited to 'usertests.c')
-rw-r--r-- | usertests.c | 178 |
1 files changed, 88 insertions, 90 deletions
diff --git a/usertests.c b/usertests.c index 5a78c7c..22a7bfb 100644 --- a/usertests.c +++ b/usertests.c @@ -512,51 +512,56 @@ sharedfd(void) } } -// two processes write two different files at the same +// four processes write different files at the same // time, to test block allocation. void -twofiles(void) +fourfiles(void) { - int fd, pid, i, j, n, total; + int fd, pid, i, j, n, total, pi; + char *names[] = { "f0", "f1", "f2", "f3" }; char *fname; - printf(1, "twofiles test\n"); + printf(1, "fourfiles test\n"); - unlink("f1"); - unlink("f2"); + for(pi = 0; pi < 4; pi++){ + fname = names[pi]; + unlink(fname); - pid = fork(); - if(pid < 0){ - printf(1, "fork failed\n"); - exit(); - } - - fname = pid ? "f1" : "f2"; - fd = open(fname, O_CREATE | O_RDWR); - if(fd < 0){ - printf(1, "create failed\n"); - exit(); - } + pid = fork(); + if(pid < 0){ + printf(1, "fork failed\n"); + exit(); + } - memset(buf, pid?'p':'c', 512); - for(i = 0; i < 12; i++){ - if((n = write(fd, buf, 500)) != 500){ - printf(1, "write failed %d\n", n); + if(pid == 0){ + fd = open(fname, O_CREATE | O_RDWR); + if(fd < 0){ + printf(1, "create failed\n"); + exit(); + } + + memset(buf, '0'+pi, 512); + for(i = 0; i < 12; i++){ + if((n = write(fd, buf, 500)) != 500){ + printf(1, "write failed %d\n", n); + exit(); + } + } exit(); } } - close(fd); - if(pid) + + for(pi = 0; pi < 4; pi++){ wait(); - else - exit(); + } for(i = 0; i < 2; i++){ - fd = open(i?"f1":"f2", 0); + fname = names[i]; + fd = open(fname, 0); total = 0; while((n = read(fd, buf, sizeof(buf))) > 0){ for(j = 0; j < n; j++){ - if(buf[j] != (i?'p':'c')){ + if(buf[j] != '0'+i){ printf(1, "wrong char\n"); exit(); } @@ -568,87 +573,80 @@ twofiles(void) printf(1, "wrong length %d\n", total); exit(); } + unlink(fname); } - unlink("f1"); - unlink("f2"); - - printf(1, "twofiles ok\n"); + printf(1, "fourfiles ok\n"); } -// two processes create and delete different files in same directory +// four processes create and delete different files in same directory void createdelete(void) { enum { N = 20 }; - int pid, i, fd; + int pid, i, fd, pi; char name[32]; printf(1, "createdelete test\n"); - pid = fork(); - if(pid < 0){ - printf(1, "fork failed\n"); - exit(); - } - name[0] = pid ? 'p' : 'c'; - name[2] = '\0'; - for(i = 0; i < N; i++){ - name[1] = '0' + i; - fd = open(name, O_CREATE | O_RDWR); - if(fd < 0){ - printf(1, "create failed\n"); + for(pi = 0; pi < 4; pi++){ + pid = fork(); + if(pid < 0){ + printf(1, "fork failed\n"); exit(); } - close(fd); - if(i > 0 && (i % 2 ) == 0){ - name[1] = '0' + (i / 2); - if(unlink(name) < 0){ - printf(1, "unlink failed\n"); - exit(); + + if(pid == 0){ + name[0] = 'p' + pi; + name[2] = '\0'; + for(i = 0; i < N; i++){ + name[1] = '0' + i; + fd = open(name, O_CREATE | O_RDWR); + if(fd < 0){ + printf(1, "create failed\n"); + exit(); + } + close(fd); + if(i > 0 && (i % 2 ) == 0){ + name[1] = '0' + (i / 2); + if(unlink(name) < 0){ + printf(1, "unlink failed\n"); + exit(); + } + } } + exit(); } } - if(pid==0) - exit(); - else + for(pi = 0; pi < 4; pi++){ wait(); + } + name[0] = name[1] = name[2] = 0; for(i = 0; i < N; i++){ - name[0] = 'p'; - name[1] = '0' + i; - fd = open(name, 0); - if((i == 0 || i >= N/2) && fd < 0){ - printf(1, "oops createdelete %s didn't exist\n", name); - exit(); - } else if((i >= 1 && i < N/2) && fd >= 0){ - printf(1, "oops createdelete %s did exist\n", name); - exit(); - } - if(fd >= 0) - close(fd); - - name[0] = 'c'; - name[1] = '0' + i; - fd = open(name, 0); - if((i == 0 || i >= N/2) && fd < 0){ - printf(1, "oops createdelete %s didn't exist\n", name); - exit(); - } else if((i >= 1 && i < N/2) && fd >= 0){ - printf(1, "oops createdelete %s did exist\n", name); - exit(); + for(pi = 0; pi < 4; pi++){ + name[0] = 'p' + pi; + name[1] = '0' + i; + fd = open(name, 0); + if((i == 0 || i >= N/2) && fd < 0){ + printf(1, "oops createdelete %s didn't exist\n", name); + exit(); + } else if((i >= 1 && i < N/2) && fd >= 0){ + printf(1, "oops createdelete %s did exist\n", name); + exit(); + } + if(fd >= 0) + close(fd); } - if(fd >= 0) - close(fd); } for(i = 0; i < N; i++){ - name[0] = 'p'; - name[1] = '0' + i; - unlink(name); - name[0] = 'c'; - unlink(name); + for(pi = 0; pi < 4; pi++){ + name[0] = 'p' + i; + name[1] = '0' + i; + unlink(name); + } } printf(1, "createdelete ok\n"); @@ -1716,6 +1714,12 @@ main(int argc, char *argv[]) } close(open("usertests.ran", O_CREATE)); + createdelete(); + linkunlink(); + concreate(); + fourfiles(); + sharedfd(); + bigargtest(); bigwrite(); bigargtest(); @@ -1741,18 +1745,12 @@ main(int argc, char *argv[]) fourteen(); bigfile(); subdir(); - concreate(); - linkunlink(); linktest(); unlinkread(); - createdelete(); - twofiles(); - sharedfd(); dirfile(); iref(); forktest(); bigdir(); // slow - exectest(); exit(); |