From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 3 Dec 2004 23:41:27 +0000 (+0000)
Subject: Comment.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=697ba28479f627d8af826fdfeab38989da18a1fe

Comment.
---

diff --git a/src/filesys/inode.c b/src/filesys/inode.c
index 1535c7a..5ca91f1 100644
--- a/src/filesys/inode.c
+++ b/src/filesys/inode.c
@@ -110,7 +110,10 @@ inode_open (disk_sector_t sector)
   list_elem *e;
   struct inode *idx;
 
-  /* Check whether this inode is already open. */
+  /* Check whether this inode is already open.
+     (A hash table would be better, but the Pintos base code
+     avoids using the hash table so that users are free to modify
+     it at will.) */
   for (e = list_begin (&open_inodes); e != list_end (&open_inodes);
        e = list_next (e)) 
     {