projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix lost thought.
[pintos-anon]
/
solutions
/
p3.patch
diff --git
a/solutions/p3.patch
b/solutions/p3.patch
index f8d8591f6d3609cd037f8f6432cc372294a18277..c7c9df84710d74f727dcf2d5807344fc2f0ed218 100644
(file)
--- a/
solutions/p3.patch
+++ b/
solutions/p3.patch
@@
-289,9
+289,9
@@
diff -u src/threads/thread.h~ src/threads/thread.h
+ struct semaphore dead; /* 1=child alive, 0=child dead. */
+ };
+
+ struct semaphore dead; /* 1=child alive, 0=child dead. */
+ };
+
- void thread_init (void);
- void thread_start (void);
-
+ /* If false (default), use round-robin scheduler.
+ If true, use multi-level feedback queue scheduler.
+ Controlled by kernel command-line options "-o mlfqs".
Index: src/userprog/exception.c
diff -u src/userprog/exception.c~ src/userprog/exception.c
--- src/userprog/exception.c~
Index: src/userprog/exception.c
diff -u src/userprog/exception.c~ src/userprog/exception.c
--- src/userprog/exception.c~