X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fthreads.texi;fp=doc%2Fthreads.texi;h=ac28ba86830da78c8431fd400edd164c5d959b94;hb=f35d56069db7eb1bc09f48f7f40a594718611f95;hp=cbcda160631b2c918c23d9d81e9ce4277a10be23;hpb=6f7be4d89547dd7f9801f518e52572046a113daf;p=pintos-anon

diff --git a/doc/threads.texi b/doc/threads.texi
index cbcda16..ac28ba8 100644
--- a/doc/threads.texi
+++ b/doc/threads.texi
@@ -40,7 +40,7 @@ The first step is to read and understand the code for the initial thread
 system.
 Pintos already implements thread creation and thread completion,
 a simple scheduler to switch between threads, and synchronization
-primitives (semaphores, locks, condition variables, and memory
+primitives (semaphores, locks, condition variables, and optimization
 barriers).
 
 Some of this code might seem slightly mysterious.  If
@@ -170,7 +170,7 @@ Infrastructure}, for more information.
 @item synch.c
 @itemx synch.h
 Basic synchronization primitives: semaphores, locks, condition
-variables, and memory barriers.  You will need to use these for
+variables, and optimization barriers.  You will need to use these for
 synchronization in all
 four projects.  @xref{Synchronization}, for more information.