blob: d9825b47c71333da1bfe28bce767224fef9e629a [file] [log] [blame]
Georg Brandl116aa622007-08-15 14:28:22 +00001:mod:`mmap` --- Memory-mapped file support
2==========================================
3
4.. module:: mmap
5 :synopsis: Interface to memory-mapped files for Unix and Windows.
6
Terry Jan Reedyfa089b92016-06-11 15:02:54 -04007--------------
Georg Brandl116aa622007-08-15 14:28:22 +00008
Antoine Pitrou11cb9612010-09-15 11:11:28 +00009Memory-mapped file objects behave like both :class:`bytearray` and like
10:term:`file objects <file object>`. You can use mmap objects in most places
11where :class:`bytearray` are expected; for example, you can use the :mod:`re`
12module to search through a memory-mapped file. You can also change a single
13byte by doing ``obj[index] = 97``, or change a subsequence by assigning to a
14slice: ``obj[i1:i2] = b'...'``. You can also read and write data starting at
15the current file position, and :meth:`seek` through the file to different positions.
Georg Brandl116aa622007-08-15 14:28:22 +000016
Serhiy Storchakaee1b01a2016-12-02 23:13:53 +020017A memory-mapped file is created by the :class:`~mmap.mmap` constructor, which is
Christian Heimesdae2a892008-04-19 00:55:37 +000018different on Unix and on Windows. In either case you must provide a file
19descriptor for a file opened for update. If you wish to map an existing Python
20file object, use its :meth:`fileno` method to obtain the correct value for the
21*fileno* parameter. Otherwise, you can open the file using the
22:func:`os.open` function, which returns a file descriptor directly (the file
23still needs to be closed when done).
Georg Brandl116aa622007-08-15 14:28:22 +000024
Ross Lagerwall59c01ed2011-07-25 07:12:43 +020025.. note::
26 If you want to create a memory-mapping for a writable, buffered file, you
27 should :func:`~io.IOBase.flush` the file first. This is necessary to ensure
28 that local modifications to the buffers are actually available to the
29 mapping.
30
Georg Brandl86def6c2008-01-21 20:36:10 +000031For both the Unix and Windows versions of the constructor, *access* may be
Justus Schwabedal5a8a84b2017-11-07 15:51:43 -050032specified as an optional keyword parameter. *access* accepts one of four
33values: :const:`ACCESS_READ`, :const:`ACCESS_WRITE`, or :const:`ACCESS_COPY` to
34specify read-only, write-through or copy-on-write memory respectively, or
35:const:`ACCESS_DEFAULT` to defer to *prot*. *access* can be used on both Unix
36and Windows. If *access* is not specified, Windows mmap returns a
37write-through mapping. The initial memory values for all three access types
38are taken from the specified file. Assignment to an :const:`ACCESS_READ`
39memory map raises a :exc:`TypeError` exception. Assignment to an
40:const:`ACCESS_WRITE` memory map affects both memory and the underlying file.
41Assignment to an :const:`ACCESS_COPY` memory map affects memory but does not
42update the underlying file.
43
44.. versionchanged:: 3.7
45 Added :const:`ACCESS_DEFAULT` constant.
Georg Brandl116aa622007-08-15 14:28:22 +000046
Georg Brandl55ac8f02007-09-01 13:51:09 +000047To map anonymous memory, -1 should be passed as the fileno along with the length.
Georg Brandl116aa622007-08-15 14:28:22 +000048
Georg Brandlcd7f32b2009-06-08 09:13:45 +000049.. class:: mmap(fileno, length, tagname=None, access=ACCESS_DEFAULT[, offset])
Georg Brandl116aa622007-08-15 14:28:22 +000050
Christian Heimesdae2a892008-04-19 00:55:37 +000051 **(Windows version)** Maps *length* bytes from the file specified by the
52 file handle *fileno*, and creates a mmap object. If *length* is larger
53 than the current size of the file, the file is extended to contain *length*
54 bytes. If *length* is ``0``, the maximum length of the map is the current
55 size of the file, except that if the file is empty Windows raises an
56 exception (you cannot create an empty mapping on Windows).
Georg Brandl116aa622007-08-15 14:28:22 +000057
Christian Heimesdae2a892008-04-19 00:55:37 +000058 *tagname*, if specified and not ``None``, is a string giving a tag name for
59 the mapping. Windows allows you to have many different mappings against
60 the same file. If you specify the name of an existing tag, that tag is
61 opened, otherwise a new tag of this name is created. If this parameter is
62 omitted or ``None``, the mapping is created without a name. Avoiding the
63 use of the tag parameter will assist in keeping your code portable between
64 Unix and Windows.
Georg Brandl116aa622007-08-15 14:28:22 +000065
Christian Heimesdae2a892008-04-19 00:55:37 +000066 *offset* may be specified as a non-negative integer offset. mmap references
67 will be relative to the offset from the beginning of the file. *offset*
Pablo Galindo027664a2018-10-20 01:37:55 +010068 defaults to 0. *offset* must be a multiple of the :const:`ALLOCATIONGRANULARITY`.
Georg Brandl116aa622007-08-15 14:28:22 +000069
Steve Dower44f91c32019-06-27 10:47:59 -070070 .. audit-event:: mmap.__new__ fileno,length,access,offset mmap.mmap
Georg Brandl9afde1c2007-11-01 20:32:30 +000071
Georg Brandlcd7f32b2009-06-08 09:13:45 +000072.. class:: mmap(fileno, length, flags=MAP_SHARED, prot=PROT_WRITE|PROT_READ, access=ACCESS_DEFAULT[, offset])
Georg Brandl116aa622007-08-15 14:28:22 +000073 :noindex:
74
75 **(Unix version)** Maps *length* bytes from the file specified by the file
76 descriptor *fileno*, and returns a mmap object. If *length* is ``0``, the
Christian Heimesdae2a892008-04-19 00:55:37 +000077 maximum length of the map will be the current size of the file when
Serhiy Storchakaee1b01a2016-12-02 23:13:53 +020078 :class:`~mmap.mmap` is called.
Georg Brandl116aa622007-08-15 14:28:22 +000079
80 *flags* specifies the nature of the mapping. :const:`MAP_PRIVATE` creates a
Christian Heimesdae2a892008-04-19 00:55:37 +000081 private copy-on-write mapping, so changes to the contents of the mmap
82 object will be private to this process, and :const:`MAP_SHARED` creates a
83 mapping that's shared with all other processes mapping the same areas of
Ethan Steinberg21fda912020-05-26 14:42:18 -070084 the file. The default value is :const:`MAP_SHARED`. Some systems have
85 additional possible flags with the full list specified in
86 :ref:`MAP_* constants <map-constants>`.
Georg Brandl116aa622007-08-15 14:28:22 +000087
Christian Heimesdae2a892008-04-19 00:55:37 +000088 *prot*, if specified, gives the desired memory protection; the two most
89 useful values are :const:`PROT_READ` and :const:`PROT_WRITE`, to specify
90 that the pages may be read or written. *prot* defaults to
91 :const:`PROT_READ \| PROT_WRITE`.
Georg Brandl116aa622007-08-15 14:28:22 +000092
Christian Heimesdae2a892008-04-19 00:55:37 +000093 *access* may be specified in lieu of *flags* and *prot* as an optional
94 keyword parameter. It is an error to specify both *flags*, *prot* and
95 *access*. See the description of *access* above for information on how to
96 use this parameter.
Georg Brandl116aa622007-08-15 14:28:22 +000097
Christian Heimesdae2a892008-04-19 00:55:37 +000098 *offset* may be specified as a non-negative integer offset. mmap references
99 will be relative to the offset from the beginning of the file. *offset*
Pablo Galindo027664a2018-10-20 01:37:55 +0100100 defaults to 0. *offset* must be a multiple of :const:`ALLOCATIONGRANULARITY`
101 which is equal to :const:`PAGESIZE` on Unix systems.
Georg Brandl48310cd2009-01-03 21:18:54 +0000102
Victor Stinnera6cd0cf2011-05-02 01:05:37 +0200103 To ensure validity of the created memory mapping the file specified
104 by the descriptor *fileno* is internally automatically synchronized
105 with physical backing store on Mac OS X and OpenVMS.
106
Serhiy Storchakaee1b01a2016-12-02 23:13:53 +0200107 This example shows a simple way of using :class:`~mmap.mmap`::
Christian Heimesd8654cf2007-12-02 15:22:16 +0000108
109 import mmap
110
111 # write a simple example file
Benjamin Petersone0124bd2009-03-09 21:04:33 +0000112 with open("hello.txt", "wb") as f:
Benjamin Petersone099b372009-04-04 17:09:35 +0000113 f.write(b"Hello Python!\n")
Christian Heimesd8654cf2007-12-02 15:22:16 +0000114
Benjamin Petersone0124bd2009-03-09 21:04:33 +0000115 with open("hello.txt", "r+b") as f:
Christian Heimesd8654cf2007-12-02 15:22:16 +0000116 # memory-map the file, size 0 means whole file
Ezio Melotti67714622013-03-13 02:27:00 +0200117 mm = mmap.mmap(f.fileno(), 0)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000118 # read content via standard file methods
Ezio Melotti67714622013-03-13 02:27:00 +0200119 print(mm.readline()) # prints b"Hello Python!\n"
Christian Heimesd8654cf2007-12-02 15:22:16 +0000120 # read content via slice notation
Ezio Melotti67714622013-03-13 02:27:00 +0200121 print(mm[:5]) # prints b"Hello"
Christian Heimesd8654cf2007-12-02 15:22:16 +0000122 # update content using slice notation;
123 # note that new content must have same size
Ezio Melotti67714622013-03-13 02:27:00 +0200124 mm[6:] = b" world!\n"
Christian Heimesd8654cf2007-12-02 15:22:16 +0000125 # ... and read again using standard file methods
Ezio Melotti67714622013-03-13 02:27:00 +0200126 mm.seek(0)
127 print(mm.readline()) # prints b"Hello world!\n"
Christian Heimesd8654cf2007-12-02 15:22:16 +0000128 # close the map
Ezio Melotti67714622013-03-13 02:27:00 +0200129 mm.close()
Christian Heimesd8654cf2007-12-02 15:22:16 +0000130
131
Serhiy Storchakaee1b01a2016-12-02 23:13:53 +0200132 :class:`~mmap.mmap` can also be used as a context manager in a :keyword:`with`
Julien Palard78553132018-03-28 23:14:15 +0200133 statement::
Georg Brandl0bccc182010-08-01 14:50:00 +0000134
135 import mmap
136
Ezio Melotti67714622013-03-13 02:27:00 +0200137 with mmap.mmap(-1, 13) as mm:
Zachary Ware42f740d2016-04-28 14:47:12 -0500138 mm.write(b"Hello world!")
Georg Brandl0bccc182010-08-01 14:50:00 +0000139
140 .. versionadded:: 3.2
141 Context manager support.
142
143
Christian Heimesd8654cf2007-12-02 15:22:16 +0000144 The next example demonstrates how to create an anonymous map and exchange
145 data between the parent and child processes::
146
147 import mmap
148 import os
149
Ezio Melotti67714622013-03-13 02:27:00 +0200150 mm = mmap.mmap(-1, 13)
151 mm.write(b"Hello world!")
Christian Heimesd8654cf2007-12-02 15:22:16 +0000152
153 pid = os.fork()
154
Serhiy Storchakadba90392016-05-10 12:01:23 +0300155 if pid == 0: # In a child process
Ezio Melotti67714622013-03-13 02:27:00 +0200156 mm.seek(0)
157 print(mm.readline())
Christian Heimesd8654cf2007-12-02 15:22:16 +0000158
Ezio Melotti67714622013-03-13 02:27:00 +0200159 mm.close()
Christian Heimesd8654cf2007-12-02 15:22:16 +0000160
Steve Dower44f91c32019-06-27 10:47:59 -0700161 .. audit-event:: mmap.__new__ fileno,length,access,offset mmap.mmap
Georg Brandl9afde1c2007-11-01 20:32:30 +0000162
Benjamin Petersone41251e2008-04-25 01:59:09 +0000163 Memory-mapped file objects support the following methods:
Georg Brandl116aa622007-08-15 14:28:22 +0000164
Benjamin Petersone41251e2008-04-25 01:59:09 +0000165 .. method:: close()
Georg Brandl116aa622007-08-15 14:28:22 +0000166
Senthil Kumaranb9183952013-09-09 22:39:28 -0700167 Closes the mmap. Subsequent calls to other methods of the object will
168 result in a ValueError exception being raised. This will not close
169 the open file.
Georg Brandl116aa622007-08-15 14:28:22 +0000170
171
Georg Brandl0bccc182010-08-01 14:50:00 +0000172 .. attribute:: closed
173
Serhiy Storchakafbc1c262013-11-29 12:17:13 +0200174 ``True`` if the file is closed.
Georg Brandl0bccc182010-08-01 14:50:00 +0000175
176 .. versionadded:: 3.2
177
178
Benjamin Petersone099b372009-04-04 17:09:35 +0000179 .. method:: find(sub[, start[, end]])
Georg Brandl116aa622007-08-15 14:28:22 +0000180
Benjamin Petersone099b372009-04-04 17:09:35 +0000181 Returns the lowest index in the object where the subsequence *sub* is
182 found, such that *sub* is contained in the range [*start*, *end*].
Benjamin Petersone41251e2008-04-25 01:59:09 +0000183 Optional arguments *start* and *end* are interpreted as in slice notation.
184 Returns ``-1`` on failure.
Georg Brandl116aa622007-08-15 14:28:22 +0000185
Georg Brandl8c16cb92016-02-25 20:17:45 +0100186 .. versionchanged:: 3.5
Serhiy Storchaka8490f5a2015-03-20 09:00:36 +0200187 Writable :term:`bytes-like object` is now accepted.
188
Georg Brandl116aa622007-08-15 14:28:22 +0000189
Georg Brandlcd7f32b2009-06-08 09:13:45 +0000190 .. method:: flush([offset[, size]])
Georg Brandl116aa622007-08-15 14:28:22 +0000191
Benjamin Petersone41251e2008-04-25 01:59:09 +0000192 Flushes changes made to the in-memory copy of a file back to disk. Without
193 use of this call there is no guarantee that changes are written back before
194 the object is destroyed. If *offset* and *size* are specified, only
195 changes to the given range of bytes will be flushed to disk; otherwise, the
Pablo Galindo027664a2018-10-20 01:37:55 +0100196 whole extent of the mapping is flushed. *offset* must be a multiple of the
197 :const:`PAGESIZE` or :const:`ALLOCATIONGRANULARITY`.
Christian Heimesdae2a892008-04-19 00:55:37 +0000198
Berker Peksage7d4b2f2018-08-22 21:21:05 +0300199 ``None`` is returned to indicate success. An exception is raised when the
200 call failed.
Christian Heimesdae2a892008-04-19 00:55:37 +0000201
Berker Peksage7d4b2f2018-08-22 21:21:05 +0300202 .. versionchanged:: 3.8
203 Previously, a nonzero value was returned on success; zero was returned
204 on error under Windows. A zero value was returned on success; an
205 exception was raised on error under Unix.
Georg Brandl116aa622007-08-15 14:28:22 +0000206
207
Zackery Spytz02db6962019-05-27 10:48:17 -0600208 .. method:: madvise(option[, start[, length]])
209
210 Send advice *option* to the kernel about the memory region beginning at
211 *start* and extending *length* bytes. *option* must be one of the
212 :ref:`MADV_* constants <madvise-constants>` available on the system. If
213 *start* and *length* are omitted, the entire mapping is spanned. On
214 some systems (including Linux), *start* must be a multiple of the
215 :const:`PAGESIZE`.
216
217 Availability: Systems with the ``madvise()`` system call.
218
219 .. versionadded:: 3.8
220
221
Benjamin Petersone41251e2008-04-25 01:59:09 +0000222 .. method:: move(dest, src, count)
Georg Brandl116aa622007-08-15 14:28:22 +0000223
Benjamin Petersone41251e2008-04-25 01:59:09 +0000224 Copy the *count* bytes starting at offset *src* to the destination index
225 *dest*. If the mmap was created with :const:`ACCESS_READ`, then calls to
Georg Brandl7cb13192010-08-03 12:06:29 +0000226 move will raise a :exc:`TypeError` exception.
Georg Brandl116aa622007-08-15 14:28:22 +0000227
228
Charles-François Natali4dd453c2011-06-08 19:18:14 +0200229 .. method:: read([n])
Georg Brandl116aa622007-08-15 14:28:22 +0000230
Charles-François Natali4dd453c2011-06-08 19:18:14 +0200231 Return a :class:`bytes` containing up to *n* bytes starting from the
Serhiy Storchakaecf41da2016-10-19 16:29:26 +0300232 current file position. If the argument is omitted, ``None`` or negative,
Charles-François Natali4dd453c2011-06-08 19:18:14 +0200233 return all bytes from the current file position to the end of the
234 mapping. The file position is updated to point after the bytes that were
235 returned.
Georg Brandl116aa622007-08-15 14:28:22 +0000236
Charles-François Natali4dd453c2011-06-08 19:18:14 +0200237 .. versionchanged:: 3.3
Serhiy Storchakaecf41da2016-10-19 16:29:26 +0300238 Argument can be omitted or ``None``.
Georg Brandl116aa622007-08-15 14:28:22 +0000239
Benjamin Petersone41251e2008-04-25 01:59:09 +0000240 .. method:: read_byte()
Georg Brandl116aa622007-08-15 14:28:22 +0000241
Benjamin Petersone099b372009-04-04 17:09:35 +0000242 Returns a byte at the current file position as an integer, and advances
243 the file position by 1.
Georg Brandl116aa622007-08-15 14:28:22 +0000244
245
Benjamin Petersone41251e2008-04-25 01:59:09 +0000246 .. method:: readline()
Georg Brandl116aa622007-08-15 14:28:22 +0000247
Benjamin Petersone41251e2008-04-25 01:59:09 +0000248 Returns a single line, starting at the current file position and up to the
Wellington Pardim6c9974e2020-02-10 17:13:41 -0300249 next newline. The file position is updated to point after the bytes that were
250 returned.
Georg Brandl116aa622007-08-15 14:28:22 +0000251
252
Benjamin Petersone41251e2008-04-25 01:59:09 +0000253 .. method:: resize(newsize)
Georg Brandl116aa622007-08-15 14:28:22 +0000254
Benjamin Petersone41251e2008-04-25 01:59:09 +0000255 Resizes the map and the underlying file, if any. If the mmap was created
256 with :const:`ACCESS_READ` or :const:`ACCESS_COPY`, resizing the map will
Georg Brandl7cb13192010-08-03 12:06:29 +0000257 raise a :exc:`TypeError` exception.
Georg Brandl116aa622007-08-15 14:28:22 +0000258
259
Benjamin Petersone099b372009-04-04 17:09:35 +0000260 .. method:: rfind(sub[, start[, end]])
Georg Brandlfceab5a2008-01-19 20:08:23 +0000261
Benjamin Petersone099b372009-04-04 17:09:35 +0000262 Returns the highest index in the object where the subsequence *sub* is
263 found, such that *sub* is contained in the range [*start*, *end*].
Benjamin Petersone41251e2008-04-25 01:59:09 +0000264 Optional arguments *start* and *end* are interpreted as in slice notation.
265 Returns ``-1`` on failure.
Georg Brandlfceab5a2008-01-19 20:08:23 +0000266
Georg Brandl8c16cb92016-02-25 20:17:45 +0100267 .. versionchanged:: 3.5
Serhiy Storchaka8490f5a2015-03-20 09:00:36 +0200268 Writable :term:`bytes-like object` is now accepted.
269
Georg Brandlfceab5a2008-01-19 20:08:23 +0000270
Benjamin Petersone41251e2008-04-25 01:59:09 +0000271 .. method:: seek(pos[, whence])
Georg Brandl116aa622007-08-15 14:28:22 +0000272
Benjamin Petersone41251e2008-04-25 01:59:09 +0000273 Set the file's current position. *whence* argument is optional and
274 defaults to ``os.SEEK_SET`` or ``0`` (absolute file positioning); other
275 values are ``os.SEEK_CUR`` or ``1`` (seek relative to the current
276 position) and ``os.SEEK_END`` or ``2`` (seek relative to the file's end).
Georg Brandl116aa622007-08-15 14:28:22 +0000277
278
Benjamin Petersone41251e2008-04-25 01:59:09 +0000279 .. method:: size()
Georg Brandl116aa622007-08-15 14:28:22 +0000280
Benjamin Petersone41251e2008-04-25 01:59:09 +0000281 Return the length of the file, which can be larger than the size of the
282 memory-mapped area.
Georg Brandl116aa622007-08-15 14:28:22 +0000283
284
Benjamin Petersone41251e2008-04-25 01:59:09 +0000285 .. method:: tell()
Georg Brandl116aa622007-08-15 14:28:22 +0000286
Benjamin Petersone41251e2008-04-25 01:59:09 +0000287 Returns the current position of the file pointer.
Georg Brandl116aa622007-08-15 14:28:22 +0000288
289
Benjamin Petersone099b372009-04-04 17:09:35 +0000290 .. method:: write(bytes)
Georg Brandl116aa622007-08-15 14:28:22 +0000291
Benjamin Petersone099b372009-04-04 17:09:35 +0000292 Write the bytes in *bytes* into memory at the current position of the
Berker Peksag6282e652016-03-02 19:30:18 +0200293 file pointer and return the number of bytes written (never less than
294 ``len(bytes)``, since if the write fails, a :exc:`ValueError` will be
295 raised). The file position is updated to point after the bytes that
296 were written. If the mmap was created with :const:`ACCESS_READ`, then
Georg Brandl7cb13192010-08-03 12:06:29 +0000297 writing to it will raise a :exc:`TypeError` exception.
Georg Brandl116aa622007-08-15 14:28:22 +0000298
Georg Brandl8c16cb92016-02-25 20:17:45 +0100299 .. versionchanged:: 3.5
Serhiy Storchaka8490f5a2015-03-20 09:00:36 +0200300 Writable :term:`bytes-like object` is now accepted.
301
Berker Peksag6282e652016-03-02 19:30:18 +0200302 .. versionchanged:: 3.6
303 The number of bytes written is now returned.
304
Georg Brandl116aa622007-08-15 14:28:22 +0000305
Benjamin Petersone41251e2008-04-25 01:59:09 +0000306 .. method:: write_byte(byte)
Georg Brandl116aa622007-08-15 14:28:22 +0000307
Ezio Melottie130a522011-10-19 10:58:56 +0300308 Write the integer *byte* into memory at the current
Benjamin Petersone41251e2008-04-25 01:59:09 +0000309 position of the file pointer; the file position is advanced by ``1``. If
310 the mmap was created with :const:`ACCESS_READ`, then writing to it will
Georg Brandl7cb13192010-08-03 12:06:29 +0000311 raise a :exc:`TypeError` exception.
Zackery Spytz02db6962019-05-27 10:48:17 -0600312
313.. _madvise-constants:
314
315MADV_* Constants
316++++++++++++++++
317
318.. data:: MADV_NORMAL
319 MADV_RANDOM
320 MADV_SEQUENTIAL
321 MADV_WILLNEED
322 MADV_DONTNEED
323 MADV_REMOVE
324 MADV_DONTFORK
325 MADV_DOFORK
326 MADV_HWPOISON
327 MADV_MERGEABLE
328 MADV_UNMERGEABLE
329 MADV_SOFT_OFFLINE
330 MADV_HUGEPAGE
331 MADV_NOHUGEPAGE
332 MADV_DONTDUMP
333 MADV_DODUMP
334 MADV_FREE
335 MADV_NOSYNC
336 MADV_AUTOSYNC
337 MADV_NOCORE
338 MADV_CORE
339 MADV_PROTECT
David CARLIER0e62efc2020-11-21 11:39:56 +0000340 MADV_FREE_REUSABLE
341 MADV_FREE_REUSE
Zackery Spytz02db6962019-05-27 10:48:17 -0600342
343 These options can be passed to :meth:`mmap.madvise`. Not every option will
344 be present on every system.
345
346 Availability: Systems with the madvise() system call.
347
348 .. versionadded:: 3.8
Ethan Steinberg21fda912020-05-26 14:42:18 -0700349
350.. _map-constants:
351
352MAP_* Constants
353+++++++++++++++
354
355.. data:: MAP_SHARED
356 MAP_PRIVATE
357 MAP_DENYWRITE
358 MAP_EXECUTABLE
359 MAP_ANON
360 MAP_ANONYMOUS
361 MAP_POPULATE
362
363 These are the various flags that can be passed to :meth:`mmap.mmap`. Note that some options might not be present on some systems.
364
365 .. versionchanged:: 3.10
366 Added MAP_POPULATE constant.