Memory Allocation

Dynamic memory allocation is mostly a non-issue in Python. Everything is an object, and the reference counting system and garbage collector automatically return memory to the system when it is no longer being used.

When it comes to more low-level data buffers, Cython has special support for (multi-dimensional) arrays of simple types via NumPy, memory views or Python’s stdlib array type. They are full featured, garbage collected and much easier to work with than bare pointers in C, while still retaining the speed and static typing benefits. See Working with Python arrays and Typed Memoryviews.

In some situations, however, these objects can still incur an unacceptable amount of overhead, which can then makes a case for doing manual memory management in C.

Simple C values and structs (such as a local variable cdef double x) are usually allocated on the stack and passed by value, but for larger and more complicated objects (e.g. a dynamically-sized list of doubles), the memory must be manually requested and released. C provides the functions malloc(), realloc(), and free() for this purpose, which can be imported in cython from clibc.stdlib. Their signatures are:

  1. void* malloc(size_t size)
  2. void* realloc(void* ptr, size_t size)
  3. void free(void* ptr)

A very simple example of malloc usage is the following:

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15
  16. 16
  17. 17
  18. 18
  19. 19
  20. 20
  21. 21
  22. 22
  23. 23
  1. import random
  2. from libc.stdlib cimport malloc, free
  3. def random_noise(int number=1):
  4. cdef int i
  5. # allocate number sizeof(double) bytes of memory
  6. cdef double my_array = <double > malloc(number sizeof(double))
  7. if not my_array:
  8. raise MemoryError()
  9. try:
  10. ran = random.normalvariate
  11. for i in range(number):
  12. my_array[i] = ran(0, 1)
  13. # … let’s just assume we do some more heavy C calculations here to make up
  14. # for the work that it takes to pack the C double values into Python float
  15. # objects below, right after throwing away the existing objects above.
  16. return [x for x in my_array[:number]]
  17. finally:
  18. # return the previously allocated memory to the system
  19. free(my_array)

Note that the C-API functions for allocating memory on the Python heap are generally preferred over the low-level C functions above as the memory they provide is actually accounted for in Python’s internal memory management system. They also have special optimisations for smaller memory blocks, which speeds up their allocation by avoiding costly operating system calls.

The C-API functions can be found in the cpython.mem standard declarations file:

  1. from cpython.mem cimport PyMem_Malloc, PyMem_Realloc, PyMem_Free

Their interface and usage is identical to that of the corresponding low-level C functions.

One important thing to remember is that blocks of memory obtained with malloc() or PyMem_Malloc() must be manually released with a corresponding call to free() or PyMem_Free() when they are no longer used (and must always use the matching type of free function). Otherwise, they won’t be reclaimed until the python process exits. This is called a memory leak.

If a chunk of memory needs a larger lifetime than can be managed by a try..finally block, another helpful idiom is to tie its lifetime to a Python object to leverage the Python runtime’s memory management, e.g.:

  1. from cpython.mem cimport PyMem_Malloc, PyMem_Realloc, PyMem_Free
  2. cdef class SomeMemory:
  3. cdef double* data
  4. def __cinit__(self, size_t number):
  5. # allocate some memory (uninitialised, may contain arbitrary data)
  6. self.data = <double*> PyMem_Malloc(number * sizeof(double))
  7. if not self.data:
  8. raise MemoryError()
  9. def resize(self, size_t new_number):
  10. # Allocates new_number * sizeof(double) bytes,
  11. # preserving the current content and making a best-effort to
  12. # re-use the original data location.
  13. mem = <double*> PyMem_Realloc(self.data, new_number * sizeof(double))
  14. if not mem:
  15. raise MemoryError()
  16. # Only overwrite the pointer if the memory was really reallocated.
  17. # On error (mem is NULL), the originally memory has not been freed.
  18. self.data = mem
  19. def __dealloc__(self):
  20. PyMem_Free(self.data) # no-op if self.data is NULL