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
/
page-merge-seq.c
diff --git
a/grading/vm/page-merge-seq.c
b/grading/vm/page-merge-seq.c
index f7ac14c09a0812989e77b809a3b2af49ee3d4e2c..34d14f66cb49238cd03aaad21731fce9a66a727c 100644
(file)
--- a/
grading/vm/page-merge-seq.c
+++ b/
grading/vm/page-merge-seq.c
@@
-7,7
+7,10
@@
#endif
#include "../lib/arc4.h"
#endif
#include "../lib/arc4.h"
-#define CHUNK_SIZE (63 * 1024) /* Max file size. */
+/* This is the max file size for an older version of the Pintos
+ file system that had 126 direct blocks each pointing to a
+ single disk sector. We could raise it now. */
+#define CHUNK_SIZE (126 * 512)
#define CHUNK_CNT 16 /* Number of chunks. */
#define DATA_SIZE (CHUNK_CNT * CHUNK_SIZE) /* Buffer size. */
#define CHUNK_CNT 16 /* Number of chunks. */
#define DATA_SIZE (CHUNK_CNT * CHUNK_SIZE) /* Buffer size. */
@@
-32,7
+35,7
@@
init (void)
/* Sort each chunk of buf1 using a subprocess. */
static void
/* Sort each chunk of buf1 using a subprocess. */
static void
-sort (void)
+sort
_chunks
(void)
{
size_t i;
{
size_t i;
@@
-61,9
+64,9
@@
sort (void)
printf ("(page-merge-seq) exec() failed\n");
exit (1);
}
printf ("(page-merge-seq) exec() failed\n");
exit (1);
}
- if (
join
(child) != 123)
+ if (
wait
(child) != 123)
{
{
- printf ("(page-merge-seq)
join
(exec()) returned bad value\n");
+ printf ("(page-merge-seq)
wait
(exec()) returned bad value\n");
exit (1);
}
exit (1);
}
@@
-147,7
+150,7
@@
main (void)
{
printf ("(page-merge-seq) begin\n");
init ();
{
printf ("(page-merge-seq) begin\n");
init ();
- sort ();
+ sort
_chunks
();
merge ();
verify ();
printf ("(page-merge-seq) end\n");
merge ();
verify ();
printf ("(page-merge-seq) end\n");