Критические ошибки Python: от диагностики до исправления

Пример 1: Искусственное переполнение стека и его обход

import sys
sys.setrecursionlimit(1500)

def deep_recursion(n):
    if n == 0:
        return 0
    return 1 + deep_recursion(n-1)

# Вызов, который укладывается в лимит
try:
    result = deep_recursion(1400)
    print("Результат:", result)
except RecursionError as e:
    print("Перехвачена ошибка:", e)

# Теперь превышаем лимит
try:
    result = deep_recursion(1501)
    print("Результат:", result)
except RecursionError as e:
    print("Перехвачена ошибка:", e)

Результат: 1400
Перехвачена ошибка: recursion depth exceeded in comparison

Пояснение: увеличение лимита позволяет выполнять более глубокую рекурсию, но при превышении интерпретатор выбрасывает исключение, которое можно поймать. Если лимит установлен слишком большим, может произойти переполнение собственного стека C.

Пример 2: Диагностика segfault с помощью faulthandler и core dump

import faulthandler
import signal
import os

# Включаем faulthandler
faulthandler.enable(all_threads=True)
faulthandler.register(signal.SIGSEGV)

# Симулируем segfault через ctypes (только на Linux)
import ctypes
try:
    # Попытка записи по недопустимому адресу
    ctypes.string_at(0xdeadbeef)
except Exception as e:
    print("Исключение:", e)

Fatal Python error: Segmentation fault
Current thread 0x00007f... (most recent call first):
  File "<stdin>", line X in <module>
...
(в файле fatal.log будет полный бэктрейс)

Пояснение: модуль faulthandler перехватывает сигнал и выводит стек до падения. Если файл не указан, вывод идёт в stderr. Для получения core dump следует выполнить ulimit -c unlimited перед запуском Python, а затем проанализировать дамп с помощью gdb.

Пример 3: Анализ core dump с помощью gdb

# Предположим, после падения появился файл core
# gdb /usr/bin/python3 core.12345
gdb> bt
#0  0x00007f... in PyObject_Malloc
#1  0x00007f... in _PyObject_New
#2  0x00007f... in my_c_function
#3  0x00007f... in PyCFunction_Call
#...

Пояснение: команда bt показывает полный стек вызовов на момент сбоя. Зная имя функции или номера строк, можно определить причину падения. Для расширений часто требуется установить отладочные символы (python-dbg).

Пример 4: Безопасная работа с C-расширениями через ctypes

import ctypes
import sys

# Загрузка библиотеки libc
libc = ctypes.CDLL("libc.so.6")
# Определение типа возвращаемого значения
libc.printf.restype = ctypes.c_int
# Безопасный вызов с правильным форматом
libc.printf(b"Hello, %s\n", ctypes.c_char_p(b"world"))

# Опасный вариант (комментируем, чтобы не вызвать падение):
# libc.printf(b"%s%s%s%s")  # вызовет segfault

Hello, world

Пояснение: при работе с ctypes необходимо явно задавать типы аргументов и возврата. Неправильное количество или тип аргументов приводят к фатальной ошибке. Для отладки можно использовать ctypes.pythonapi.PyOS_snprintf вместо прямой работы с libc.

Пример 5: Обработка MemoryError с выделением больших массивов через numpy и mmap

import numpy as np
import mmap
import os

# Создаём mmap файл на 1 ГБ
with open("bigdata.bin", "w+b") as f:
    f.write(b"\0" * 1024**3)
    mm = mmap.mmap(f.fileno(), 0)
    arr = np.frombuffer(mm, dtype=np.int8)
    # Работа с arr без копирования в память
    arr[:100] = 1
    print("Записано 100 байт")
    mm.close()
os.remove("bigdata.bin")

Записано 100 байт

Пояснение: mmap позволяет работать с данными, превышающими доступную оперативную память, за счёт подкачки с диска. Это предотвращает MemoryError. Однако необходимо следить за скоростью доступа и объёмом swap.