Буферний протокол

Певні об’єкти, доступні в Python, обертають доступ до базового масиву пам’яті або буфера. До таких об’єктів належать вбудовані bytes і bytearray, а також деякі типи розширень, наприклад array.array. Бібліотеки сторонніх розробників можуть визначати власні типи для спеціальних цілей, таких як обробка зображень або числовий аналіз.

У той час як кожен із цих типів має власну семантику, вони поділяють спільну характеристику, що вони підтримуються можливо великим буфером пам’яті. Тоді в деяких ситуаціях бажано отримати доступ до цього буфера безпосередньо й без проміжного копіювання.

Python надає таку можливість на рівні C у формі протоколу буфера. Цей протокол має дві сторони:

• на стороні виробника тип може експортувати «інтерфейс буфера», який дозволяє об’єктам цього типу надавати інформацію про їхній базовий буфер. Цей інтерфейс описано в розділі Буферні об’єктні структури;

• на стороні споживача доступно кілька засобів для отримання вказівника на необроблені базові дані об’єкта (наприклад, параметр методу).

Прості об’єкти, такі як bytes і bytearray, надають свій базовий буфер у байт-орієнтованій формі. Можливі інші форми; наприклад, елементи, представлені array.array, можуть мати багатобайтові значення.

An example consumer of the buffer interface is the write() method of file objects: any object that can export a series of bytes through the buffer interface can be written to a file. While write() only needs read-only access to the internal contents of the object passed to it, other methods such as readinto() need write access to the contents of their argument. The buffer interface allows objects to selectively allow or reject exporting of read-write and read-only buffers.

Споживач інтерфейсу буфера може отримати буфер над цільовим об’єктом двома способами:

• викликати PyObject_GetBuffer() з правильними параметрами;

• викликати PyArg_ParseTuple() (або один із його братів і сестер) з одним із y*, w* або s* кодів формату.

В обох випадках PyBuffer_Release() потрібно викликати, коли буфер більше не потрібен. Якщо цього не зробити, це може призвести до різноманітних проблем, наприклад до витоку ресурсів.

Буферна структура

Буферні структури (або просто «буфери») корисні як спосіб надати двійкові дані з іншого об’єкта програмісту Python. Їх також можна використовувати як механізм нарізки без копіювання. Використовуючи їх здатність посилатися на блок пам’яті, можна досить легко надати будь-які дані програмісту Python. Пам’ять може бути великим постійним масивом у розширенні C, це може бути необроблений блок пам’яті для маніпуляцій перед передачею в бібліотеку операційної системи, або її можна використовувати для передачі структурованих даних у їх рідному форматі в пам’яті. .

На відміну від більшості типів даних, наданих інтерпретатором Python, буфери не є покажчиками PyObject, а досить простими структурами C. Це дозволяє дуже просто створювати та копіювати їх. Якщо потрібна загальна обгортка навколо буфера, можна створити об’єкт memoryview.

Щоб отримати короткі інструкції щодо написання об’єкта експорту, перегляньте Структури об’єктів буфера. Щоб отримати буфер, перегляньте PyObject_GetBuffer().

type Py_buffer

Part of the Stable ABI (including all members) since version 3.11.

void *buf

Покажчик на початок логічної структури, описаної полями буфера. Це може бути будь-яке розташування в базовому блоці фізичної пам’яті експортера. Наприклад, з негативним strides значення може вказувати на кінець блоку пам’яті.

Для масивів contiguous значення вказує на початок блоку пам’яті.

PyObject *obj

A new reference to the exporting object. The reference is owned by the consumer and automatically released (i.e. reference count decremented) and set to NULL by PyBuffer_Release(). The field is the equivalent of the return value of any standard C-API function.

Як окремий випадок, для тимчасових буферів, які обернуті PyMemoryView_FromBuffer() або PyBuffer_FillInfo(), це поле має значення NULL. Загалом, експорт об’єктів НЕ ПОВИНЕН використовувати цю схему.

Py_ssize_t len

product(shape) * itemsize. Для безперервних масивів це довжина основного блоку пам’яті. Для несуміжних масивів це довжина, яку мала б логічна структура, якби її було скопійовано до безперервного представлення.

Доступ до ((char *)buf)[0] до ((char *)buf)[len-1] дійсний, лише якщо буфер було отримано за запитом, який гарантує безперервність. У більшості випадків такий запит буде PyBUF_SIMPLE або PyBUF_WRITABLE.

int readonly

Індикатор того, чи буфер доступний лише для читання. Це поле контролюється прапорцем PyBUF_WRITABLE.

Py_ssize_t itemsize

Розмір елемента в байтах одного елемента. Те саме, що значення struct.calcsize(), викликане для не-NULL значень format.

Важливий виняток: якщо споживач запитує буфер без прапора PyBUF_FORMAT, format буде встановлено на NULL, але itemsize все ще має значення для вихідного формату.

Якщо shape присутній, рівність product(shape) * itemsize == len все ще виконується, і споживач може використовувати itemsize для навігації буфер.

Якщо shape має значення NULL в результаті запиту PyBUF_SIMPLE або PyBUF_WRITABLE, споживач повинен ігнорувати itemsize і припустимо itemsize == 1.

const char *format

Рядок із закінченням NUL у синтаксисі стилю модуля struct описує вміст окремого елемента. Якщо це NULL, "B" (беззнакові байти).

Це поле контролюється прапорцем PyBUF_FORMAT.

int ndim

The number of dimensions the memory represents as an n-dimensional array. If it is 0, buf points to a single item representing a scalar. In this case, shape, strides and suboffsets MUST be NULL. The maximum number of dimensions is given by PyBUF_MAX_NDIM.

Py_ssize_t *shape

Масив Py_ssize_t довжини ndim, що вказує форму пам’яті як n-вимірного масиву. Зауважте, що shape[0] * ... * shape[ndim-1] * itemsize ПОВИНЕН дорівнювати len.

Значення форми обмежені shape[n] >= 0. Випадок shape[n] == 0 вимагає особливої уваги. Див. complex arrays для отримання додаткової інформації.

Масив форм доступний лише для читання для споживача.

Py_ssize_t *strides

Масив Py_ssize_t довжини ndim, що вказує кількість байтів, які потрібно пропустити, щоб перейти до нового елемента в кожному вимірі.

Величина кроку може бути будь-яким цілим числом. Для звичайних масивів кроки зазвичай позитивні, але споживач ПОВИНЕН вміти впоратися з випадком ступені[n] <= 0. Див. complex arrays для отримання додаткової інформації.

Масив strides доступний лише для читання для споживача.

Py_ssize_t *suboffsets

Масив Py_ssize_t довжини ndim. Якщо suboffsets[n] >= 0, значення, що зберігаються вздовж n-го виміру, є вказівниками, а значення suboffset визначає, скільки байтів потрібно додати до кожного покажчика після видалення посилань. Від’ємне значення субзміщення вказує на те, що не повинно відбуватися видалення посилань (переміщення в безперервному блоці пам’яті).

Якщо всі підзміщення є від’ємними (тобто не потрібно знімати посилання), тоді це поле має бути NULL (значення за замовчуванням).

Цей тип представлення масиву використовується бібліотекою зображень Python (PIL). Див. complex arrays для отримання додаткової інформації про доступ до елементів такого масиву.

Масив suboffsets доступний лише для читання для споживача.

void *internal

Це для внутрішнього використання об’єктом експорту. Наприклад, це може бути перетворено як ціле число експортером і використано для зберігання прапорів про те, чи потрібно звільняти масиви форми, кроків і підзміщень, коли буфер звільняється. Споживач НЕ ПОВИНЕН змінювати це значення.

Constants:

PyBUF_MAX_NDIM

The maximum number of dimensions the memory represents. Exporters MUST respect this limit, consumers of multi-dimensional buffers SHOULD be able to handle up to PyBUF_MAX_NDIM dimensions. Currently set to 64.

Типи запитів на буфер

Буфери зазвичай отримують шляхом надсилання запиту на буфер до об’єкта експорту через PyObject_GetBuffer(). Оскільки складність логічної структури пам’яті може різко змінюватися, споживач використовує аргумент flags, щоб визначити точний тип буфера, який він може обробляти.

All Py_buffer fields are unambiguously defined by the request type.

поля, незалежні від запиту

На наступні поля не впливають прапорці, і їх потрібно завжди заповнювати правильними значеннями: obj, buf, len, itemsize, ndim.

тільки для читання, формат

PyBUF_WRITABLE

Керує полем readonly. Якщо встановлено, експортер ПОВИНЕН надати буфер для запису або повідомити про помилку. В іншому випадку експортер МОЖЕ надати буфер лише для читання або запису, але вибір ПОВИНЕН бути узгодженим для всіх споживачів.

PyBUF_FORMAT

Керує полем format. Якщо встановлено, це поле ПОВИННО бути заповнене правильно. В іншому випадку це поле ПОВИННО мати значення NULL.

PyBUF_WRITABLE можна приєднати до будь-якого з прапорів у наступному розділі. Оскільки PyBUF_SIMPLE визначено як 0, PyBUF_WRITABLE можна використовувати як окремий прапор для запиту простого буфера для запису.

PyBUF_FORMAT можна приєднати до будь-якого з прапорів, крім PyBUF_SIMPLE. Останнє вже передбачає формат B (беззнакові байти).

форма, кроки, підзміщення

Прапори, які керують логічною структурою пам’яті, перераховані в порядку зменшення складності. Зауважте, що кожен прапор містить усі біти прапорів під ним.

запит	форму	кроками	підзміщення
PyBUF_INDIRECT	так	так	при необхідності
PyBUF_STRIDES	так	так	НУЛЬ
PyBUF_ND	так	НУЛЬ	НУЛЬ
PyBUF_SIMPLE	НУЛЬ	НУЛЬ	НУЛЬ

запити суміжності

C або Fortran contiguity можна запитати явно, з інформацією про крок або без неї. Без інформації про кроки буфер має бути C-суміжним.

запит	форму	кроками	підзміщення	контиг
PyBUF_C_CONTIGUOUS	так	так	НУЛЬ	C
PyBUF_F_CONTIGUOUS	так	так	НУЛЬ	Ф
PyBUF_ANY_CONTIGUOUS	так	так	НУЛЬ	C або F
PyBUF_ND	так	НУЛЬ	НУЛЬ	C

складені запити

Усі можливі запити повністю визначені деякою комбінацією прапорів у попередньому розділі. Для зручності протокол буфера надає часто використовувані комбінації як окремі прапорці.

У наступній таблиці U означає невизначену суміжність. Споживач мав би викликати PyBuffer_IsContiguous(), щоб визначити суміжність.

запит	форму	кроками	підзміщення	контиг	лише для читання	формат
PyBUF_FULL	так	так	при необхідності	U	0	так
PyBUF_FULL_RO	так	так	при необхідності	U	1 або 0	так
PyBUF_RECORDS	так	так	НУЛЬ	U	0	так
PyBUF_RECORDS_RO	так	так	НУЛЬ	U	1 або 0	так
PyBUF_STRIDED	так	так	НУЛЬ	U	0	НУЛЬ
PyBUF_STRIDED_RO	так	так	НУЛЬ	U	1 або 0	НУЛЬ
PyBUF_CONTIG	так	НУЛЬ	НУЛЬ	C	0	НУЛЬ
PyBUF_CONTIG_RO	так	НУЛЬ	НУЛЬ	C	1 або 0	НУЛЬ

Складні масиви

NumPy-стиль: форма та кроки

Логічна структура масивів у стилі NumPy визначається itemsize, ndim, shape і strides.

Якщо ndim == 0, розташування пам’яті, на яке вказує buf, інтерпретується як скаляр розміру itemsize. У цьому випадку і shape, і strides мають значення NULL.

Якщо strides має значення NULL, масив інтерпретується як стандартний n-вимірний C-масив. В іншому випадку споживач повинен отримати доступ до n-вимірного масиву наступним чином:

ptr = (char *)buf + indices[0] * strides[0] + ... + indices[n-1] * strides[n-1];
item = *((typeof(item) *)ptr);

Як зазначалося вище, buf може вказувати на будь-яке місце в межах фактичного блоку пам’яті. Експортер може перевірити дійсність буфера за допомогою цієї функції:

def verify_structure(memlen, itemsize, ndim, shape, strides, offset):
    """Verify that the parameters represent a valid array within
       the bounds of the allocated memory:
           char *mem: start of the physical memory block
           memlen: length of the physical memory block
           offset: (char *)buf - mem
    """
    if offset % itemsize:
        return False
    if offset < 0 or offset+itemsize > memlen:
        return False
    if any(v % itemsize for v in strides):
        return False

    if ndim <= 0:
        return ndim == 0 and not shape and not strides
    if 0 in shape:
        return True

    imin = sum(strides[j]*(shape[j]-1) for j in range(ndim)
               if strides[j] <= 0)
    imax = sum(strides[j]*(shape[j]-1) for j in range(ndim)
               if strides[j] > 0)

    return 0 <= offset+imin and offset+imax+itemsize <= memlen

PIL-стиль: форма, кроки та підзміщення

Окрім звичайних елементів, масиви у стилі PIL можуть містити вказівники, за якими потрібно слідувати, щоб перейти до наступного елемента у вимірі. Наприклад, звичайний тривимірний C-масив char v[2][2][3] також можна розглядати як масив із 2 покажчиків на 2 двовимірні масиви: char (*v[ 2])[2][3]. У представленні субзсувів ці два вказівники можуть бути вбудовані на початку buf, вказуючи на два масиви char x[2][3], які можуть бути розташовані будь-де в пам’яті.

Ось функція, яка повертає вказівник на елемент у N-D масиві, на який вказує N-вимірний індекс, коли є як кроки, так і підзміщення, відмінні від NULL:

void *get_item_pointer(int ndim, void *buf, Py_ssize_t *strides,
                       Py_ssize_t *suboffsets, Py_ssize_t *indices) {
    char *pointer = (char*)buf;
    int i;
    for (i = 0; i < ndim; i++) {
        pointer += strides[i] * indices[i];
        if (suboffsets[i] >=0 ) {
            pointer = *((char**)pointer) + suboffsets[i];
        }
    }
    return (void*)pointer;
}

Функції, пов’язані з буфером

int PyObject_CheckBuffer(PyObject *obj)

Part of the Stable ABI since version 3.11.

Повертає 1, якщо obj підтримує інтерфейс буфера, інакше 0. Коли повертається 1, це не гарантує, що PyObject_GetBuffer() буде успішним. Ця функція завжди успішна.

int PyObject_GetBuffer(PyObject *exporter, Py_buffer *view, int flags)

Part of the Stable ABI since version 3.11.

Send a request to exporter to fill in view as specified by flags. If the exporter cannot provide a buffer of the exact type, it MUST raise BufferError, set view->obj to NULL and return -1.

У разі успіху заповніть view, встановіть view->obj на нове посилання на exporter і поверніть 0. У випадку зв’язаних постачальників буферів, які перенаправляють запити до одного об’єкта, view-> obj МОЖЕ посилатися на цей об’єкт замість exporter (Див. Структури об’єктів буфера).

Успішні виклики PyObject_GetBuffer() повинні бути поєднані з викликами PyBuffer_Release(), подібно до malloc() і free(). Таким чином, після того, як споживач завершить роботу з буфером, PyBuffer_Release() потрібно викликати рівно один раз.

void PyBuffer_Release(Py_buffer *view)

Part of the Stable ABI since version 3.11.

Release the buffer view and release the strong reference (i.e. decrement the reference count) to the view’s supporting object, view->obj. This function MUST be called when the buffer is no longer being used, otherwise reference leaks may occur.

Виклик цієї функції в буфері, який не було отримано через PyObject_GetBuffer(), є помилкою.

Py_ssize_t PyBuffer_SizeFromFormat(const char *format)

Part of the Stable ABI since version 3.11.

Return the implied itemsize from format. On error, raise an exception and return -1.

Added in version 3.9.

int PyBuffer_IsContiguous(const Py_buffer *view, char order)

Part of the Stable ABI since version 3.11.

Повертає 1, якщо пам’ять, визначена view, є стилем C (order це 'C'') або стилем Fortran (order це 'F') contiguous або один (порядок це 'A'). Інакше поверніть 0. Ця функція завжди успішна.

void *PyBuffer_GetPointer(const Py_buffer *view, const Py_ssize_t *indices)

Part of the Stable ABI since version 3.11.

Отримайте область пам’яті, на яку вказують індекси в даному виді. індекси повинні вказувати на масив індексів view->ndim.

int PyBuffer_FromContiguous(const Py_buffer *view, const void *buf, Py_ssize_t len, char fort)

Part of the Stable ABI since version 3.11.

Скопіюйте послідовні len байти з buf у view. fort може бути 'C' або 'F' (для впорядкування у стилі C або Fortran). 0 повертається в разі успіху, -1 у разі помилки.

int PyBuffer_ToContiguous(void *buf, const Py_buffer *src, Py_ssize_t len, char order)

Part of the Stable ABI since version 3.11.

Скопіюйте len байти з src до його безперервного представлення в buf. order може бути 'C' або 'F' або 'A' (для впорядкування в стилі C або Fortran або будь-якого з них). 0 повертається в разі успіху, -1 у разі помилки.

Ця функція не працює, якщо len != src->len.

int PyObject_CopyData(PyObject *dest, PyObject *src)

Part of the Stable ABI since version 3.11.

Copy data from src to dest buffer. Can convert between C-style and or Fortran-style buffers.

0 is returned on success, -1 on error.

void PyBuffer_FillContiguousStrides(int ndims, Py_ssize_t *shape, Py_ssize_t *strides, int itemsize, char order)

Part of the Stable ABI since version 3.11.

Заповніть масив strides байтовими кроками contiguous (у стилі C, якщо order має значення 'C', або у стилі Fortran, якщо order має значення 'F' ) масив заданої форми із заданою кількістю байтів на елемент.

int PyBuffer_FillInfo(Py_buffer *view, PyObject *exporter, void *buf, Py_ssize_t len, int readonly, int flags)

Part of the Stable ABI since version 3.11.

Обробляти запити буфера для експортера, який хоче відкрити buf розміру len із можливістю запису, встановленою відповідно до readonly. buf інтерпретується як послідовність байтів без знаку.

Аргумент flags вказує на тип запиту. Ця функція завжди заповнює view, як зазначено прапорцями, якщо buf не призначено лише для читання і PyBUF_WRITABLE встановлено у flags.

On success, set view->obj to a new reference to exporter and return 0. Otherwise, raise BufferError, set view->obj to NULL and return -1;

Якщо ця функція використовується як частина getbufferproc, exporter ПОВИНЕН бути встановлений на об’єкт експорту, а flags мають бути передані без змін. В іншому випадку exporter ПОВИНЕН бути NULL.