From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 8 Dec 2006 14:58:02 +0000 (+0000)
Subject: Explain that multiple file descriptors for a single file are
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6d94ae464a74679564f72a5556de3c6e4b4c2c29;p=pintos-anon

Explain that multiple file descriptors for a single file are
independent.
From Godmar Back.
---

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 11d9875..f005d55 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -674,6 +674,12 @@ as explicitly described below.
 
 Each process has an independent set of file descriptors.  File
 descriptors are not inherited by child processes.
+
+When a single file is opened more than once, whether by a single
+process or different processes, each @code{open} returns a new file
+descriptor.  Different file descriptors for a single file are closed
+independently in separate calls to @code{close} and they do not share
+a file position.
 @end deftypefn
 
 @deftypefn {System Call} int filesize (int @var{fd})