GeezerVison is showing github.com — Crash: `mmap` access can `SIGBUS` after backing file is truncated · Issue #148650 · python/cpython
Crash: mmap access can SIGBUS after backing file is truncated #148650DescriptionBug report
Bug description:
Summary
An mmap.mmap object can become internally inconsistent after its
backing file is truncated to zero.
After truncation:
m.size() reports the new file size correctlylen(m) still reports the original mapping length- ordinary access such as
m[0] can crash the process with SIGBUS
I think it's a genuine question whether the correct "fix" is a
paternalistic change in C behavior or just adding a more prominent
warning in the docs about the pattern and OS differences, but it
does seem particularly pathological in its current form.
Minimal Reproducer
import mmap
import tempfile
f = tempfile.NamedTemporaryFile()
f.write(b"\0" * 4096)
f.flush()
m = mmap.mmap(f.fileno(), 4096)
f.truncate(0)
f.flush()
print(m.size()) # 0
print(len(m)) # 4096
print(m[0]) # SIGBUS On my system this exits with SIGBUS / exit code 135. I tested all the way
to 3.8 and got the same SIGBUS every time, so at least this isn't new.
Expected Behavior
If the mapping becomes invalid because the backing file shrank, I would
expect CPython not to keep exposing the old length and then hard-crash
on a normal operation.
Actual Behavior
The object still looks readable according to len(m), but using that
range can crash the interpreter.
Additional Affected Operations
I was able to hit the same SIGBUS with more than just m[0],
including:
findrfindreadlineread_bytewrite_bytemovememoryview(m)bytes(m)- slicing
- iteration
Behavior Sketch
flowchart TD
A["create mmap of 4096-byte file"] --> B["length is 4096"]
B --> C["truncate backing file to zero"]
C --> D["reported file size becomes zero"]
D --> E["reported mapping length stays 4096"]
E --> F["access first byte"]
F --> G["SIGBUS"]
Loading
Related Issues
I realize there have been older mmap / SIGBUS reports around
resized underlying files, but this truncate-to-zero case still
reproduces for me on a currently supported CPython release.
-
#60416
mmap() dumps core upon resizing the underlying file
Closest historical peer. Same broad pattern: the backing file changes
after mapping, and later access crashes. Old migrated issue, but still
the strongest prior-art reference I found.
-
#84897
accessing mmap of file that is overwritten causes bus error
Related. Same end result (SIGBUS) after the underlying file
contents/extent change, but a different trigger than truncate-to-zero.
-
#119817
SIGBUS: writing to mmaped device beyond file size
Related, but not a duplicate. Same bug class: the Python-visible
mapping range still looks usable, but the OS faults on real access.
Different scenario: mapped device / write beyond real extent.
-
#114390
SharedMemory crashes on linux with SIGBUS on insufficient shm
Related, but not a duplicate. Same OS-level failure mode: mapping
succeeds, later access faults with SIGBUS. Different subsystem:
multiprocessing.shared_memory.
CPython versions tested on:
3.14
Operating systems tested on:
Linux Activitypicnixz commented on Apr 19, 2026 Is it a hard crash (interpreter exits) or is there an exception raised? in the first case we need to fix it and decide what to do, in the second, I think it is legitimate that reading from an invalid mmap does not behave as expected. mjbommar commented on Apr 19, 2026 ContributorAuthor More actions No exception, hard crash
mjbommar@workstation1:~$ uv run --python 3.14 python -c '''import mmap
import tempfile
f = tempfile.NamedTemporaryFile()
f.write(b"\0" * 4096)
f.flush()
m = mmap.mmap(f.fileno(), 4096)
f.truncate(0)
f.flush()
print(m.size()) # 0
print(len(m)) # 4096
print(m[0]) # SIGBUS
print("i live!")
'''
0
4096
mjbommar@workstation1:~$ echo $?
135
IvyXu420 commented on May 15, 2026 These kinds of core dumps are only producible on Unix, not on Windows.
This is because on Windows, we can use SEH to catch exceptions and raise errors safely on the python level, preventing a core dump.
On Unix, however, we lack a similar method to catch page errors and access violations when reading/writing the mmap pointer, so the process crashes directly. See #118213 (comment) zainnadeem786 commented on Jul 10, 2026 Hi,
I’d be interested in investigating this further.
My initial concern is that checking the current backing-file size before each mmap operation may reduce some crashes but cannot fully prevent them, because the file can be truncated between the check and the actual memory access. Exported buffers such as memoryview(m) also appear harder to protect from within mmapmodule.c.
I’ll first reproduce the affected operations on current main, inspect the Unix mmap and buffer-protocol paths, and review the historical SIGBUS discussions before proposing any implementation.
I’ll report back with findings and possible mitigation options before opening a PR. zainnadeem786 commented on Jul 10, 2026 Hi @picnixz,
spent some time investigating this on current main.
From what I found, the SIGBUS is fundamentally caused by Unix mmap semantics after the backing file is truncated. CPython still exposes the original mapping length (len(m)), while m.size() reflects the new file size, but once the kernel faults the page there isn't a reliable mechanism for CPython to recover and raise a Python exception instead.
I evaluated several approaches (pre-access size checks, remapping, SIGBUS handlers, wrapping individual operations), but each appears to have significant limitations or races, especially once the mapping has been exported through the buffer protocol (memoryview) or used by extension modules.
My current impression is that this is unlikely to have a complete runtime fix inside CPython, and a documentation warning may be the most realistic improvement unless there's a different design direction the maintainers have in mind.
Happy to share more detailed investigation notes if they're useful.
MetadataMetadataDevelopmentNo branches or pull requestsIssue actions
|