X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=solutions%2Fp1-2.patch;h=b7e9c798f6674037242d2282e1c9e3cdd09404a5;hb=a8712a8c90c4c47380fc3380a2368b19d8370b3e;hp=a5e743f0e61aaf5cf45c907e56ccb3c86bae8218;hpb=8a8db36c5a9ca4d8a8c7323105328beb57a6ae75;p=pintos-anon diff --git a/solutions/p1-2.patch b/solutions/p1-2.patch index a5e743f..b7e9c79 100644 --- a/solutions/p1-2.patch +++ b/solutions/p1-2.patch @@ -76,7 +76,7 @@ diff -X pat -urpN pintos.orig/src/threads/thread.c pintos/src/threads/thread.c /* Stack frame for kernel_thread(). */ kf = alloc_frame (t, sizeof *kf); -@@ -224,16 +226,34 @@ thread_tid (void) +@@ -224,16 +226,33 @@ thread_tid (void) void thread_exit (void) { @@ -97,7 +97,6 @@ diff -X pat -urpN pintos.orig/src/threads/thread.c pintos/src/threads/thread.c + e = list_next (e)) + { + struct thread *child = list_entry (e, struct thread, children_elem); -+ list_remove (e); + sema_up (&child->can_die); + } +