X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=8651fb419f1c97bbd423c692ca1b7c19674da016;hb=71b4d5a453498d45ae5929b51247a487c0e3719d;hp=258e2fa8764ad80ceab3ef35c9a75998ab474970;hpb=53c72bbcd172e54412bbe796e0032136066061f6;p=pintos-anon

diff --git a/TODO b/TODO
index 258e2fa..8651fb4 100644
--- a/TODO
+++ b/TODO
@@ -221,16 +221,6 @@ via Godmar Back:
 
 * Add FS persistence test(s).
 
-* lock_acquire(), lock_release() don't need additional intr_dis/enable
-  calls, because the semaphore protects lock->holder.
-  [ Think this over: is this really true when priority donation is 
-    implemented?  intr_dis/enable prevents the race with thread_set_priority. 
-    Leaving it there could help the students getting the correct synchronization
-    right.
-  ]
-
-
-
 * process_death test needs improvement
 
 * Internal tests.