projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Get rid of unnecessary barrier. Improve comment.
[pintos-anon]
/
grading
/
vm
/
mmap-unmap.c
diff --git
a/grading/vm/mmap-unmap.c
b/grading/vm/mmap-unmap.c
index 2ab3eeab1cf6d7ec757e74596a9db3a9cf65d230..327158b62f56cf502eb45f9d462d37d04825b00c 100644
(file)
--- a/
grading/vm/mmap-unmap.c
+++ b/
grading/vm/mmap-unmap.c
@@
-13,6
+13,7
@@
int
main (void)
{
int fd;
main (void)
{
int fd;
+ mapid_t map;
printf ("(mmap-unmap) begin\n");
printf ("(mmap-unmap) begin\n");
@@
-23,13
+24,14
@@
main (void)
return 1;
}
return 1;
}
- if (!mmap (fd, ACTUAL, strlen (sample)))
+ map = mmap (fd, ACTUAL);
+ if (map == MAP_FAILED)
{
printf ("(mmap-unmap) mmap() failed\n");
return 1;
}
{
printf ("(mmap-unmap) mmap() failed\n");
return 1;
}
- munmap (
ACTUAL, strlen (sample)
);
+ munmap (
map
);
printf ("(mmap-unmap) FAIL: unmapped memory is readable (%d)\n",
*(int *) ACTUAL);
printf ("(mmap-unmap) FAIL: unmapped memory is readable (%d)\n",
*(int *) ACTUAL);