Fix reversal of "acquire" and "release" in Locks section.
[pintos-anon] / doc / reference.texi
index c44988cf810b6e59a5f0d715b20fdd23f3779697..3b28d3b6dc122cbef38a03eb23978464d69ce934 100644 (file)
@@ -683,7 +683,7 @@ implementation in @file{lib/kernel/list.c}.
 
 A @dfn{lock} is like a semaphore with an initial value of 1
 (@pxref{Semaphores}).  A lock's equivalent of ``up'' is called
-``acquire'', and the ``down'' operation is called ``release''.
+``release'', and the ``down'' operation is called ``acquire''.
 
 Compared to a semaphore, a lock has one added restriction: only the
 thread that acquires a lock, called the lock's ``owner'', is allowed to