Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 1 | % Manual text and implementation by Jaap Vermeulen |
Fred Drake | 295da24 | 1998-08-10 19:42:37 +0000 | [diff] [blame] | 2 | \section{\module{posixfile} --- |
Fred Drake | f6863c1 | 1999-03-02 16:37:17 +0000 | [diff] [blame] | 3 | File-like objects with locking support} |
Fred Drake | b91e934 | 1998-07-23 17:59:49 +0000 | [diff] [blame] | 4 | |
Fred Drake | f6863c1 | 1999-03-02 16:37:17 +0000 | [diff] [blame] | 5 | \declaremodule{builtin}{posixfile} |
Fred Drake | a54a887 | 1999-03-02 17:03:42 +0000 | [diff] [blame] | 6 | \platform{Unix} |
Fred Drake | b91e934 | 1998-07-23 17:59:49 +0000 | [diff] [blame] | 7 | \modulesynopsis{A file-like object with support for locking.} |
Fred Drake | f6863c1 | 1999-03-02 16:37:17 +0000 | [diff] [blame] | 8 | \moduleauthor{Jaap Vermeulen}{} |
| 9 | \sectionauthor{Jaap Vermeulen}{} |
| 10 | |
Fred Drake | b91e934 | 1998-07-23 17:59:49 +0000 | [diff] [blame] | 11 | |
Fred Drake | 1f3ab1c | 1998-02-18 15:22:08 +0000 | [diff] [blame] | 12 | \indexii{\POSIX{}}{file object} |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 13 | |
Fred Drake | d146edf | 1999-04-21 21:15:35 +0000 | [diff] [blame] | 14 | \strong{Note:} This module will become obsolete in a future release. |
Guido van Rossum | 9b05811 | 1996-10-11 17:43:34 +0000 | [diff] [blame] | 15 | The locking operation that it provides is done better and more |
Fred Drake | 295eaa8 | 1998-03-11 06:11:37 +0000 | [diff] [blame] | 16 | portably by the \function{fcntl.lockf()} call.% |
Fred Drake | 4e7e11a | 1998-03-12 06:46:16 +0000 | [diff] [blame] | 17 | \withsubitem{(in module fcntl)}{\ttindex{lockf()}} |
Guido van Rossum | 9b05811 | 1996-10-11 17:43:34 +0000 | [diff] [blame] | 18 | |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 19 | This module implements some additional functionality over the built-in |
| 20 | file objects. In particular, it implements file locking, control over |
| 21 | the file flags, and an easy interface to duplicate the file object. |
| 22 | The module defines a new file object, the posixfile object. It |
Guido van Rossum | 470be14 | 1995-03-17 16:07:09 +0000 | [diff] [blame] | 23 | has all the standard file object methods and adds the methods |
| 24 | described below. This module only works for certain flavors of |
Fred Drake | 4e7e11a | 1998-03-12 06:46:16 +0000 | [diff] [blame] | 25 | \UNIX{}, since it uses \function{fcntl.fcntl()} for file locking.% |
| 26 | \withsubitem{(in module fcntl)}{\ttindex{fcntl()}} |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 27 | |
Fred Drake | 295eaa8 | 1998-03-11 06:11:37 +0000 | [diff] [blame] | 28 | To instantiate a posixfile object, use the \function{open()} function |
| 29 | in the \module{posixfile} module. The resulting object looks and |
| 30 | feels roughly the same as a standard file object. |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 31 | |
Fred Drake | 295eaa8 | 1998-03-11 06:11:37 +0000 | [diff] [blame] | 32 | The \module{posixfile} module defines the following constants: |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 33 | |
Fred Drake | 295eaa8 | 1998-03-11 06:11:37 +0000 | [diff] [blame] | 34 | |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 35 | \begin{datadesc}{SEEK_SET} |
Fred Drake | a19bb9b | 1998-02-13 21:57:33 +0000 | [diff] [blame] | 36 | Offset is calculated from the start of the file. |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 37 | \end{datadesc} |
| 38 | |
| 39 | \begin{datadesc}{SEEK_CUR} |
Fred Drake | a19bb9b | 1998-02-13 21:57:33 +0000 | [diff] [blame] | 40 | Offset is calculated from the current position in the file. |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 41 | \end{datadesc} |
| 42 | |
| 43 | \begin{datadesc}{SEEK_END} |
Fred Drake | a19bb9b | 1998-02-13 21:57:33 +0000 | [diff] [blame] | 44 | Offset is calculated from the end of the file. |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 45 | \end{datadesc} |
| 46 | |
Fred Drake | 295eaa8 | 1998-03-11 06:11:37 +0000 | [diff] [blame] | 47 | The \module{posixfile} module defines the following functions: |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 48 | |
Guido van Rossum | 470be14 | 1995-03-17 16:07:09 +0000 | [diff] [blame] | 49 | |
Fred Drake | 295eaa8 | 1998-03-11 06:11:37 +0000 | [diff] [blame] | 50 | \begin{funcdesc}{open}{filename\optional{, mode\optional{, bufsize}}} |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 51 | Create a new posixfile object with the given filename and mode. The |
Guido van Rossum | 470be14 | 1995-03-17 16:07:09 +0000 | [diff] [blame] | 52 | \var{filename}, \var{mode} and \var{bufsize} arguments are |
Fred Drake | 295eaa8 | 1998-03-11 06:11:37 +0000 | [diff] [blame] | 53 | interpreted the same way as by the built-in \function{open()} |
| 54 | function. |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 55 | \end{funcdesc} |
| 56 | |
Guido van Rossum | 31cce97 | 1995-01-04 19:17:34 +0000 | [diff] [blame] | 57 | \begin{funcdesc}{fileopen}{fileobject} |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 58 | Create a new posixfile object with the given standard file object. |
| 59 | The resulting object has the same filename and mode as the original |
| 60 | file object. |
| 61 | \end{funcdesc} |
| 62 | |
| 63 | The posixfile object defines the following additional methods: |
| 64 | |
Fred Drake | 1947991 | 1998-02-13 06:58:54 +0000 | [diff] [blame] | 65 | \setindexsubitem{(posixfile method)} |
Fred Drake | 295eaa8 | 1998-03-11 06:11:37 +0000 | [diff] [blame] | 66 | \begin{funcdesc}{lock}{fmt, \optional{len\optional{, start\optional{, whence}}}} |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 67 | Lock the specified section of the file that the file object is |
Guido van Rossum | 16d6e71 | 1994-08-08 12:30:22 +0000 | [diff] [blame] | 68 | referring to. The format is explained |
| 69 | below in a table. The \var{len} argument specifies the length of the |
| 70 | section that should be locked. The default is \code{0}. \var{start} |
| 71 | specifies the starting offset of the section, where the default is |
| 72 | \code{0}. The \var{whence} argument specifies where the offset is |
Fred Drake | 295eaa8 | 1998-03-11 06:11:37 +0000 | [diff] [blame] | 73 | relative to. It accepts one of the constants \constant{SEEK_SET}, |
| 74 | \constant{SEEK_CUR} or \constant{SEEK_END}. The default is |
| 75 | \constant{SEEK_SET}. For more information about the arguments refer |
| 76 | to the \manpage{fcntl}{2} manual page on your system. |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 77 | \end{funcdesc} |
| 78 | |
Guido van Rossum | 96628a9 | 1995-04-10 11:34:00 +0000 | [diff] [blame] | 79 | \begin{funcdesc}{flags}{\optional{flags}} |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 80 | Set the specified flags for the file that the file object is referring |
| 81 | to. The new flags are ORed with the old flags, unless specified |
| 82 | otherwise. The format is explained below in a table. Without |
Guido van Rossum | 96628a9 | 1995-04-10 11:34:00 +0000 | [diff] [blame] | 83 | the \var{flags} argument |
| 84 | a string indicating the current flags is returned (this is |
Fred Drake | 295eaa8 | 1998-03-11 06:11:37 +0000 | [diff] [blame] | 85 | the same as the \samp{?} modifier). For more information about the |
| 86 | flags refer to the \manpage{fcntl}{2} manual page on your system. |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 87 | \end{funcdesc} |
| 88 | |
| 89 | \begin{funcdesc}{dup}{} |
| 90 | Duplicate the file object and the underlying file pointer and file |
| 91 | descriptor. The resulting object behaves as if it were newly |
| 92 | opened. |
| 93 | \end{funcdesc} |
| 94 | |
| 95 | \begin{funcdesc}{dup2}{fd} |
| 96 | Duplicate the file object and the underlying file pointer and file |
| 97 | descriptor. The new object will have the given file descriptor. |
| 98 | Otherwise the resulting object behaves as if it were newly opened. |
| 99 | \end{funcdesc} |
| 100 | |
| 101 | \begin{funcdesc}{file}{} |
| 102 | Return the standard file object that the posixfile object is based |
| 103 | on. This is sometimes necessary for functions that insist on a |
| 104 | standard file object. |
| 105 | \end{funcdesc} |
| 106 | |
Fred Drake | 295eaa8 | 1998-03-11 06:11:37 +0000 | [diff] [blame] | 107 | All methods raise \exception{IOError} when the request fails. |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 108 | |
Fred Drake | 295eaa8 | 1998-03-11 06:11:37 +0000 | [diff] [blame] | 109 | Format characters for the \method{lock()} method have the following |
| 110 | meaning: |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 111 | |
Fred Drake | ee60191 | 1998-04-11 20:53:03 +0000 | [diff] [blame] | 112 | \begin{tableii}{c|l}{samp}{Format}{Meaning} |
Fred Drake | 7f96291 | 1997-12-23 04:21:20 +0000 | [diff] [blame] | 113 | \lineii{u}{unlock the specified region} |
| 114 | \lineii{r}{request a read lock for the specified section} |
| 115 | \lineii{w}{request a write lock for the specified section} |
| 116 | \end{tableii} |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 117 | |
| 118 | In addition the following modifiers can be added to the format: |
| 119 | |
Fred Drake | ee60191 | 1998-04-11 20:53:03 +0000 | [diff] [blame] | 120 | \begin{tableiii}{c|l|c}{samp}{Modifier}{Meaning}{Notes} |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 121 | \lineiii{|}{wait until the lock has been granted}{} |
Guido van Rossum | 470be14 | 1995-03-17 16:07:09 +0000 | [diff] [blame] | 122 | \lineiii{?}{return the first lock conflicting with the requested lock, or |
| 123 | \code{None} if there is no conflict.}{(1)} |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 124 | \end{tableiii} |
| 125 | |
Fred Drake | d146edf | 1999-04-21 21:15:35 +0000 | [diff] [blame] | 126 | \noindent |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 127 | Note: |
| 128 | |
Fred Drake | d146edf | 1999-04-21 21:15:35 +0000 | [diff] [blame] | 129 | \begin{description} |
| 130 | \item[(1)] The lock returned is in the format \code{(\var{mode}, \var{len}, |
Fred Drake | 295eaa8 | 1998-03-11 06:11:37 +0000 | [diff] [blame] | 131 | \var{start}, \var{whence}, \var{pid})} where \var{mode} is a character |
| 132 | representing the type of lock ('r' or 'w'). This modifier prevents a |
| 133 | request from being granted; it is for query purposes only. |
Fred Drake | d146edf | 1999-04-21 21:15:35 +0000 | [diff] [blame] | 134 | \end{description} |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 135 | |
Fred Drake | 295eaa8 | 1998-03-11 06:11:37 +0000 | [diff] [blame] | 136 | Format characters for the \method{flags()} method have the following |
| 137 | meanings: |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 138 | |
Fred Drake | ee60191 | 1998-04-11 20:53:03 +0000 | [diff] [blame] | 139 | \begin{tableii}{c|l}{samp}{Format}{Meaning} |
Fred Drake | 7f96291 | 1997-12-23 04:21:20 +0000 | [diff] [blame] | 140 | \lineii{a}{append only flag} |
| 141 | \lineii{c}{close on exec flag} |
| 142 | \lineii{n}{no delay flag (also called non-blocking flag)} |
| 143 | \lineii{s}{synchronization flag} |
| 144 | \end{tableii} |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 145 | |
| 146 | In addition the following modifiers can be added to the format: |
| 147 | |
Fred Drake | ee60191 | 1998-04-11 20:53:03 +0000 | [diff] [blame] | 148 | \begin{tableiii}{c|l|c}{samp}{Modifier}{Meaning}{Notes} |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 149 | \lineiii{!}{turn the specified flags 'off', instead of the default 'on'}{(1)} |
| 150 | \lineiii{=}{replace the flags, instead of the default 'OR' operation}{(1)} |
| 151 | \lineiii{?}{return a string in which the characters represent the flags that |
| 152 | are set.}{(2)} |
| 153 | \end{tableiii} |
| 154 | |
Fred Drake | d146edf | 1999-04-21 21:15:35 +0000 | [diff] [blame] | 155 | \noindent |
| 156 | Notes: |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 157 | |
Fred Drake | d146edf | 1999-04-21 21:15:35 +0000 | [diff] [blame] | 158 | \begin{description} |
| 159 | \item[(1)] The \samp{!} and \samp{=} modifiers are mutually exclusive. |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 160 | |
Fred Drake | d146edf | 1999-04-21 21:15:35 +0000 | [diff] [blame] | 161 | \item[(2)] This string represents the flags after they may have been altered |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 162 | by the same call. |
Fred Drake | d146edf | 1999-04-21 21:15:35 +0000 | [diff] [blame] | 163 | \end{description} |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 164 | |
| 165 | Examples: |
| 166 | |
Fred Drake | 1947991 | 1998-02-13 06:58:54 +0000 | [diff] [blame] | 167 | \begin{verbatim} |
Fred Drake | 295eaa8 | 1998-03-11 06:11:37 +0000 | [diff] [blame] | 168 | import posixfile |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 169 | |
Fred Drake | 295eaa8 | 1998-03-11 06:11:37 +0000 | [diff] [blame] | 170 | file = posixfile.open('/tmp/test', 'w') |
Guido van Rossum | 7f61b35 | 1994-05-19 09:09:50 +0000 | [diff] [blame] | 171 | file.lock('w|') |
| 172 | ... |
| 173 | file.lock('u') |
| 174 | file.close() |
Fred Drake | 1947991 | 1998-02-13 06:58:54 +0000 | [diff] [blame] | 175 | \end{verbatim} |