X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Ffilesys.texi;h=f245daa48ea1e6d592a86146ddddf9947ca9cffe;hp=1605b2d9b88638fd36ae37a332de85e214120293;hb=c9667cc796f96017951f8ac90978846918c184d7;hpb=4a752bf7804cd029b426979f0876d15a678f6471

diff --git a/doc/filesys.texi b/doc/filesys.texi
index 1605b2d..f245daa 100644
--- a/doc/filesys.texi
+++ b/doc/filesys.texi
@@ -394,6 +394,10 @@ if B's data is all nonzero bytes, A is not allowed to see any zeros.
 Operations on different directories should take place concurrently.
 Operations on the same directory may wait for one another.
 
+Keep in mind that only data shared by multiple threads needs to be
+synchronized.  In the base file system, @struct{file} and @struct{dir}
+are accessed only by a single thread.
+
 @node Project 4 FAQ
 @section FAQ