| Tim Peters | 8b078f9 | 2002-04-28 04:11:46 +0000 | [diff] [blame] | 1 | /* The PyObject_ memory family:  high-level object memory interfaces. | 
 | 2 |    See pymem.h for the low-level PyMem_ family. | 
 | 3 | */ | 
| Guido van Rossum | f70e43a | 1991-02-19 12:39:46 +0000 | [diff] [blame] | 4 |  | 
| Fred Drake | 3cf4d2b | 2000-07-09 00:55:06 +0000 | [diff] [blame] | 5 | #ifndef Py_OBJIMPL_H | 
 | 6 | #define Py_OBJIMPL_H | 
| Peter Schneider-Kamp | 25f6894 | 2000-07-31 22:19:30 +0000 | [diff] [blame] | 7 |  | 
 | 8 | #include "pymem.h" | 
 | 9 |  | 
| Fred Drake | 3cf4d2b | 2000-07-09 00:55:06 +0000 | [diff] [blame] | 10 | #ifdef __cplusplus | 
 | 11 | extern "C" { | 
 | 12 | #endif | 
 | 13 |  | 
| Tim Peters | 8b078f9 | 2002-04-28 04:11:46 +0000 | [diff] [blame] | 14 | /* BEWARE: | 
 | 15 |  | 
 | 16 |    Each interface exports both functions and macros.  Extension modules should | 
 | 17 |    use the functions, to ensure binary compatibility across Python versions. | 
 | 18 |    Because the Python implementation is free to change internal details, and | 
 | 19 |    the macros may (or may not) expose details for speed, if you do use the | 
 | 20 |    macros you must recompile your extensions with each Python release. | 
 | 21 |  | 
 | 22 |    Never mix calls to PyObject_ memory functions with calls to the platform | 
 | 23 |    malloc/realloc/ calloc/free, or with calls to PyMem_. | 
 | 24 | */ | 
 | 25 |  | 
| Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 26 | /* | 
| Guido van Rossum | b18618d | 2000-05-03 23:44:39 +0000 | [diff] [blame] | 27 | Functions and macros for modules that implement new object types. | 
| Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 28 |  | 
| Tim Peters | 8b078f9 | 2002-04-28 04:11:46 +0000 | [diff] [blame] | 29 |  - PyObject_New(type, typeobj) allocates memory for a new object of the given | 
 | 30 |    type, and initializes part of it.  'type' must be the C structure type used | 
 | 31 |    to represent the object, and 'typeobj' the address of the corresponding | 
 | 32 |    type object.  Reference count and type pointer are filled in; the rest of | 
 | 33 |    the bytes of the object are *undefined*!  The resulting expression type is | 
 | 34 |    'type *'.  The size of the object is determined by the tp_basicsize field | 
 | 35 |    of the type object. | 
| Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 36 |  | 
| Tim Peters | 8b078f9 | 2002-04-28 04:11:46 +0000 | [diff] [blame] | 37 |  - PyObject_NewVar(type, typeobj, n) is similar but allocates a variable-size | 
 | 38 |    object with room for n items.  In addition to the refcount and type pointer | 
 | 39 |    fields, this also fills in the ob_size field. | 
| Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 40 |  | 
| Tim Peters | 8b078f9 | 2002-04-28 04:11:46 +0000 | [diff] [blame] | 41 |  - PyObject_Del(op) releases the memory allocated for an object.  It does not | 
 | 42 |    run a destructor -- it only frees the memory.  PyObject_Free is identical. | 
| Guido van Rossum | b18618d | 2000-05-03 23:44:39 +0000 | [diff] [blame] | 43 |  | 
| Tim Peters | 8b078f9 | 2002-04-28 04:11:46 +0000 | [diff] [blame] | 44 |  - PyObject_Init(op, typeobj) and PyObject_InitVar(op, typeobj, n) don't | 
 | 45 |    allocate memory.  Instead of a 'type' parameter, they take a pointer to a | 
 | 46 |    new object (allocated by an arbitrary allocator), and initialize its object | 
 | 47 |    header fields. | 
| Guido van Rossum | b18618d | 2000-05-03 23:44:39 +0000 | [diff] [blame] | 48 |  | 
| Tim Peters | 8b078f9 | 2002-04-28 04:11:46 +0000 | [diff] [blame] | 49 | Note that objects created with PyObject_{New, NewVar} are allocated using the | 
 | 50 | specialized Python allocator (implemented in obmalloc.c), if WITH_PYMALLOC is | 
 | 51 | enabled.  In addition, a special debugging allocator is used if PYMALLOC_DEBUG | 
 | 52 | is also #defined. | 
| Guido van Rossum | b18618d | 2000-05-03 23:44:39 +0000 | [diff] [blame] | 53 |  | 
| Tim Peters | 8b078f9 | 2002-04-28 04:11:46 +0000 | [diff] [blame] | 54 | In case a specific form of memory management is needed (for example, if you | 
 | 55 | must use the platform malloc heap(s), or shared memory, or C++ local storage or | 
 | 56 | operator new), you must first allocate the object with your custom allocator, | 
 | 57 | then pass its pointer to PyObject_{Init, InitVar} for filling in its Python- | 
 | 58 | specific fields:  reference count, type pointer, possibly others.  You should | 
 | 59 | be aware that Python no control over these objects because they don't | 
 | 60 | cooperate with the Python memory manager.  Such objects may not be eligible | 
 | 61 | for automatic garbage collection and you have to make sure that they are | 
 | 62 | released accordingly whenever their destructor gets called (cf. the specific | 
| Guido van Rossum | b18618d | 2000-05-03 23:44:39 +0000 | [diff] [blame] | 63 | form of memory management you're using). | 
 | 64 |  | 
| Tim Peters | 8b078f9 | 2002-04-28 04:11:46 +0000 | [diff] [blame] | 65 | Unless you have specific memory management requirements, use | 
 | 66 | PyObject_{New, NewVar, Del}. | 
 | 67 | */ | 
| Guido van Rossum | b18618d | 2000-05-03 23:44:39 +0000 | [diff] [blame] | 68 |  | 
| Tim Peters | 6d483d3 | 2001-10-06 21:27:34 +0000 | [diff] [blame] | 69 | /* | 
| Guido van Rossum | b18618d | 2000-05-03 23:44:39 +0000 | [diff] [blame] | 70 |  * Raw object memory interface | 
 | 71 |  * =========================== | 
 | 72 |  */ | 
 | 73 |  | 
| Tim Peters | e9e7452 | 2002-04-12 05:21:34 +0000 | [diff] [blame] | 74 | /* Functions to call the same malloc/realloc/free as used by Python's | 
 | 75 |    object allocator.  If WITH_PYMALLOC is enabled, these may differ from | 
 | 76 |    the platform malloc/realloc/free.  The Python object allocator is | 
 | 77 |    designed for fast, cache-conscious allocation of many "small" objects, | 
| Tim Peters | 8b078f9 | 2002-04-28 04:11:46 +0000 | [diff] [blame] | 78 |    and with low hidden memory overhead. | 
 | 79 |  | 
 | 80 |    PyObject_Malloc(0) returns a unique non-NULL pointer if possible. | 
 | 81 |  | 
 | 82 |    PyObject_Realloc(NULL, n) acts like PyObject_Malloc(n). | 
 | 83 |    PyObject_Realloc(p != NULL, 0) does not return  NULL, or free the memory | 
 | 84 |    at p. | 
 | 85 |  | 
 | 86 |    Returned pointers must be checked for NULL explicitly; no action is | 
 | 87 |    performed on failure other than to return NULL (no warning it printed, no | 
 | 88 |    exception is set, etc). | 
 | 89 |  | 
 | 90 |    For allocating objects, use PyObject_{New, NewVar} instead whenever | 
 | 91 |    possible.  The PyObject_{Malloc, Realloc, Free} family is exposed | 
 | 92 |    so that you can exploit Python's small-block allocator for non-object | 
 | 93 |    uses.  If you must use these routines to allocate object memory, make sure | 
 | 94 |    the object gets initialized via PyObject_{Init, InitVar} after obtaining | 
 | 95 |    the raw memory. | 
 | 96 | */ | 
| Victor Stinner | 0507bf5 | 2013-07-07 02:05:46 +0200 | [diff] [blame] | 97 | PyAPI_FUNC(void *) PyObject_Malloc(size_t size); | 
| Victor Stinner | db067af | 2014-05-02 22:31:14 +0200 | [diff] [blame] | 98 | PyAPI_FUNC(void *) PyObject_Calloc(size_t nelem, size_t elsize); | 
| Victor Stinner | 0507bf5 | 2013-07-07 02:05:46 +0200 | [diff] [blame] | 99 | PyAPI_FUNC(void *) PyObject_Realloc(void *ptr, size_t new_size); | 
 | 100 | PyAPI_FUNC(void) PyObject_Free(void *ptr); | 
| Guido van Rossum | b18618d | 2000-05-03 23:44:39 +0000 | [diff] [blame] | 101 |  | 
| Antoine Pitrou | f9d0b12 | 2012-12-09 14:28:26 +0100 | [diff] [blame] | 102 | /* This function returns the number of allocated memory blocks, regardless of size */ | 
 | 103 | PyAPI_FUNC(Py_ssize_t) _Py_GetAllocatedBlocks(void); | 
| Neil Schemenauer | 3e7b893 | 2002-04-12 02:38:45 +0000 | [diff] [blame] | 104 |  | 
| Guido van Rossum | b18618d | 2000-05-03 23:44:39 +0000 | [diff] [blame] | 105 | /* Macros */ | 
| Neil Schemenauer | 3e7b893 | 2002-04-12 02:38:45 +0000 | [diff] [blame] | 106 | #ifdef WITH_PYMALLOC | 
| David Malcolm | 49526f4 | 2012-06-22 14:55:41 -0400 | [diff] [blame] | 107 | #ifndef Py_LIMITED_API | 
 | 108 | PyAPI_FUNC(void) _PyObject_DebugMallocStats(FILE *out); | 
 | 109 | #endif /* #ifndef Py_LIMITED_API */ | 
| Victor Stinner | 0507bf5 | 2013-07-07 02:05:46 +0200 | [diff] [blame] | 110 | #endif | 
| Neil Schemenauer | 3e7b893 | 2002-04-12 02:38:45 +0000 | [diff] [blame] | 111 |  | 
| Victor Stinner | 0507bf5 | 2013-07-07 02:05:46 +0200 | [diff] [blame] | 112 | /* Macros */ | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 113 | #define PyObject_MALLOC         PyObject_Malloc | 
 | 114 | #define PyObject_REALLOC        PyObject_Realloc | 
 | 115 | #define PyObject_FREE           PyObject_Free | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 116 | #define PyObject_Del            PyObject_Free | 
| Victor Stinner | 0507bf5 | 2013-07-07 02:05:46 +0200 | [diff] [blame] | 117 | #define PyObject_DEL            PyObject_Free | 
 | 118 |  | 
| Neil Schemenauer | 3e7b893 | 2002-04-12 02:38:45 +0000 | [diff] [blame] | 119 |  | 
| Guido van Rossum | b18618d | 2000-05-03 23:44:39 +0000 | [diff] [blame] | 120 | /* | 
 | 121 |  * Generic object allocator interface | 
 | 122 |  * ================================== | 
 | 123 |  */ | 
 | 124 |  | 
 | 125 | /* Functions */ | 
| Mark Hammond | 91a681d | 2002-08-12 07:21:58 +0000 | [diff] [blame] | 126 | PyAPI_FUNC(PyObject *) PyObject_Init(PyObject *, PyTypeObject *); | 
 | 127 | PyAPI_FUNC(PyVarObject *) PyObject_InitVar(PyVarObject *, | 
| Martin v. Löwis | 18e1655 | 2006-02-15 17:27:45 +0000 | [diff] [blame] | 128 |                                                  PyTypeObject *, Py_ssize_t); | 
| Mark Hammond | 91a681d | 2002-08-12 07:21:58 +0000 | [diff] [blame] | 129 | PyAPI_FUNC(PyObject *) _PyObject_New(PyTypeObject *); | 
| Martin v. Löwis | 18e1655 | 2006-02-15 17:27:45 +0000 | [diff] [blame] | 130 | PyAPI_FUNC(PyVarObject *) _PyObject_NewVar(PyTypeObject *, Py_ssize_t); | 
| Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 131 |  | 
| Guido van Rossum | b18618d | 2000-05-03 23:44:39 +0000 | [diff] [blame] | 132 | #define PyObject_New(type, typeobj) \ | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 133 |                 ( (type *) _PyObject_New(typeobj) ) | 
| Guido van Rossum | b18618d | 2000-05-03 23:44:39 +0000 | [diff] [blame] | 134 | #define PyObject_NewVar(type, typeobj, n) \ | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 135 |                 ( (type *) _PyObject_NewVar((typeobj), (n)) ) | 
| Guido van Rossum | a330996 | 1993-07-28 09:05:47 +0000 | [diff] [blame] | 136 |  | 
| Andrew M. Kuchling | 1582a3a | 2000-08-16 12:27:23 +0000 | [diff] [blame] | 137 | /* Macros trading binary compatibility for speed. See also pymem.h. | 
| Guido van Rossum | b18618d | 2000-05-03 23:44:39 +0000 | [diff] [blame] | 138 |    Note that these macros expect non-NULL object pointers.*/ | 
 | 139 | #define PyObject_INIT(op, typeobj) \ | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 140 |     ( Py_TYPE(op) = (typeobj), _Py_NewReference((PyObject *)(op)), (op) ) | 
| Guido van Rossum | b18618d | 2000-05-03 23:44:39 +0000 | [diff] [blame] | 141 | #define PyObject_INIT_VAR(op, typeobj, size) \ | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 142 |     ( Py_SIZE(op) = (size), PyObject_INIT((op), (typeobj)) ) | 
| Guido van Rossum | 5a84914 | 1996-07-21 02:23:54 +0000 | [diff] [blame] | 143 |  | 
| Guido van Rossum | b18618d | 2000-05-03 23:44:39 +0000 | [diff] [blame] | 144 | #define _PyObject_SIZE(typeobj) ( (typeobj)->tp_basicsize ) | 
| Tim Peters | 6d483d3 | 2001-10-06 21:27:34 +0000 | [diff] [blame] | 145 |  | 
| Tim Peters | f2a67da | 2001-10-07 03:54:51 +0000 | [diff] [blame] | 146 | /* _PyObject_VAR_SIZE returns the number of bytes (as size_t) allocated for a | 
 | 147 |    vrbl-size object with nitems items, exclusive of gc overhead (if any).  The | 
 | 148 |    value is rounded up to the closest multiple of sizeof(void *), in order to | 
 | 149 |    ensure that pointer fields at the end of the object are correctly aligned | 
 | 150 |    for the platform (this is of special importance for subclasses of, e.g., | 
| Serhiy Storchaka | 9594942 | 2013-08-27 19:40:23 +0300 | [diff] [blame] | 151 |    str or int, so that pointers can be stored after the embedded data). | 
| Tim Peters | 6d483d3 | 2001-10-06 21:27:34 +0000 | [diff] [blame] | 152 |  | 
| Tim Peters | f2a67da | 2001-10-07 03:54:51 +0000 | [diff] [blame] | 153 |    Note that there's no memory wastage in doing this, as malloc has to | 
 | 154 |    return (at worst) pointer-aligned memory anyway. | 
| Tim Peters | 6d483d3 | 2001-10-06 21:27:34 +0000 | [diff] [blame] | 155 | */ | 
| Tim Peters | f2a67da | 2001-10-07 03:54:51 +0000 | [diff] [blame] | 156 | #if ((SIZEOF_VOID_P - 1) & SIZEOF_VOID_P) != 0 | 
 | 157 | #   error "_PyObject_VAR_SIZE requires SIZEOF_VOID_P be a power of 2" | 
 | 158 | #endif | 
 | 159 |  | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 160 | #define _PyObject_VAR_SIZE(typeobj, nitems)     \ | 
| Antoine Pitrou | ca8aa4a | 2012-09-20 20:56:47 +0200 | [diff] [blame] | 161 |     _Py_SIZE_ROUND_UP((typeobj)->tp_basicsize + \ | 
 | 162 |         (nitems)*(typeobj)->tp_itemsize,        \ | 
 | 163 |         SIZEOF_VOID_P) | 
| Guido van Rossum | 5a84914 | 1996-07-21 02:23:54 +0000 | [diff] [blame] | 164 |  | 
| Guido van Rossum | b18618d | 2000-05-03 23:44:39 +0000 | [diff] [blame] | 165 | #define PyObject_NEW(type, typeobj) \ | 
 | 166 | ( (type *) PyObject_Init( \ | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 167 |     (PyObject *) PyObject_MALLOC( _PyObject_SIZE(typeobj) ), (typeobj)) ) | 
| Tim Peters | 6d483d3 | 2001-10-06 21:27:34 +0000 | [diff] [blame] | 168 |  | 
| Tim Peters | f2a67da | 2001-10-07 03:54:51 +0000 | [diff] [blame] | 169 | #define PyObject_NEW_VAR(type, typeobj, n) \ | 
 | 170 | ( (type *) PyObject_InitVar( \ | 
 | 171 |       (PyVarObject *) PyObject_MALLOC(_PyObject_VAR_SIZE((typeobj),(n)) ),\ | 
 | 172 |       (typeobj), (n)) ) | 
| Guido van Rossum | b18618d | 2000-05-03 23:44:39 +0000 | [diff] [blame] | 173 |  | 
 | 174 | /* This example code implements an object constructor with a custom | 
 | 175 |    allocator, where PyObject_New is inlined, and shows the important | 
 | 176 |    distinction between two steps (at least): | 
 | 177 |        1) the actual allocation of the object storage; | 
 | 178 |        2) the initialization of the Python specific fields | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 179 |       in this storage with PyObject_{Init, InitVar}. | 
| Guido van Rossum | b18618d | 2000-05-03 23:44:39 +0000 | [diff] [blame] | 180 |  | 
 | 181 |    PyObject * | 
 | 182 |    YourObject_New(...) | 
 | 183 |    { | 
 | 184 |        PyObject *op; | 
 | 185 |  | 
 | 186 |        op = (PyObject *) Your_Allocator(_PyObject_SIZE(YourTypeStruct)); | 
 | 187 |        if (op == NULL) | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 188 |        return PyErr_NoMemory(); | 
| Guido van Rossum | b18618d | 2000-05-03 23:44:39 +0000 | [diff] [blame] | 189 |  | 
| Tim Peters | 8b078f9 | 2002-04-28 04:11:46 +0000 | [diff] [blame] | 190 |        PyObject_Init(op, &YourTypeStruct); | 
| Guido van Rossum | b18618d | 2000-05-03 23:44:39 +0000 | [diff] [blame] | 191 |  | 
 | 192 |        op->ob_field = value; | 
 | 193 |        ... | 
 | 194 |        return op; | 
 | 195 |    } | 
 | 196 |  | 
 | 197 |    Note that in C++, the use of the new operator usually implies that | 
 | 198 |    the 1st step is performed automatically for you, so in a C++ class | 
| Tim Peters | 8b078f9 | 2002-04-28 04:11:46 +0000 | [diff] [blame] | 199 |    constructor you would start directly with PyObject_Init/InitVar | 
 | 200 | */ | 
| Guido van Rossum | 5a84914 | 1996-07-21 02:23:54 +0000 | [diff] [blame] | 201 |  | 
| Victor Stinner | 0507bf5 | 2013-07-07 02:05:46 +0200 | [diff] [blame] | 202 | #ifndef Py_LIMITED_API | 
 | 203 | typedef struct { | 
 | 204 |     /* user context passed as the first argument to the 2 functions */ | 
 | 205 |     void *ctx; | 
 | 206 |  | 
 | 207 |     /* allocate an arena of size bytes */ | 
 | 208 |     void* (*alloc) (void *ctx, size_t size); | 
 | 209 |  | 
 | 210 |     /* free an arena */ | 
 | 211 |     void (*free) (void *ctx, void *ptr, size_t size); | 
 | 212 | } PyObjectArenaAllocator; | 
 | 213 |  | 
 | 214 | /* Get the arena allocator. */ | 
 | 215 | PyAPI_FUNC(void) PyObject_GetArenaAllocator(PyObjectArenaAllocator *allocator); | 
 | 216 |  | 
 | 217 | /* Set the arena allocator. */ | 
 | 218 | PyAPI_FUNC(void) PyObject_SetArenaAllocator(PyObjectArenaAllocator *allocator); | 
 | 219 | #endif | 
 | 220 |  | 
 | 221 |  | 
| Jeremy Hylton | c5007aa | 2000-06-30 05:02:53 +0000 | [diff] [blame] | 222 | /* | 
 | 223 |  * Garbage Collection Support | 
 | 224 |  * ========================== | 
 | 225 |  */ | 
| Jeremy Hylton | d08b4c4 | 2000-06-23 19:37:02 +0000 | [diff] [blame] | 226 |  | 
| Guido van Rossum | e13ddc9 | 2003-04-17 17:29:22 +0000 | [diff] [blame] | 227 | /* C equivalent of gc.collect(). */ | 
| Neal Norwitz | 7b216c5 | 2006-03-04 20:01:53 +0000 | [diff] [blame] | 228 | PyAPI_FUNC(Py_ssize_t) PyGC_Collect(void); | 
| Guido van Rossum | e13ddc9 | 2003-04-17 17:29:22 +0000 | [diff] [blame] | 229 |  | 
| Antoine Pitrou | fef34e3 | 2013-05-19 01:11:58 +0200 | [diff] [blame] | 230 | #ifndef Py_LIMITED_API | 
 | 231 | PyAPI_FUNC(Py_ssize_t) _PyGC_CollectNoFail(void); | 
 | 232 | #endif | 
 | 233 |  | 
| Neil Schemenauer | 74b5ade | 2001-08-29 23:49:28 +0000 | [diff] [blame] | 234 | /* Test if a type has a GC head */ | 
 | 235 | #define PyType_IS_GC(t) PyType_HasFeature((t), Py_TPFLAGS_HAVE_GC) | 
| Jeremy Hylton | d08b4c4 | 2000-06-23 19:37:02 +0000 | [diff] [blame] | 236 |  | 
| Neil Schemenauer | 74b5ade | 2001-08-29 23:49:28 +0000 | [diff] [blame] | 237 | /* Test if an object has a GC head */ | 
| Christian Heimes | 90aa764 | 2007-12-19 02:45:37 +0000 | [diff] [blame] | 238 | #define PyObject_IS_GC(o) (PyType_IS_GC(Py_TYPE(o)) && \ | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 239 |     (Py_TYPE(o)->tp_is_gc == NULL || Py_TYPE(o)->tp_is_gc(o))) | 
| Jeremy Hylton | c5007aa | 2000-06-30 05:02:53 +0000 | [diff] [blame] | 240 |  | 
| Martin v. Löwis | 4129068 | 2006-02-16 14:56:14 +0000 | [diff] [blame] | 241 | PyAPI_FUNC(PyVarObject *) _PyObject_GC_Resize(PyVarObject *, Py_ssize_t); | 
| Neil Schemenauer | 74b5ade | 2001-08-29 23:49:28 +0000 | [diff] [blame] | 242 | #define PyObject_GC_Resize(type, op, n) \ | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 243 |                 ( (type *) _PyObject_GC_Resize((PyVarObject *)(op), (n)) ) | 
| Neil Schemenauer | 74b5ade | 2001-08-29 23:49:28 +0000 | [diff] [blame] | 244 |  | 
| Tim Peters | 8b078f9 | 2002-04-28 04:11:46 +0000 | [diff] [blame] | 245 | /* GC information is stored BEFORE the object structure. */ | 
| Martin v. Löwis | 4d0d471 | 2010-12-03 20:14:31 +0000 | [diff] [blame] | 246 | #ifndef Py_LIMITED_API | 
| Tim Peters | 9e4ca10 | 2001-10-11 18:31:31 +0000 | [diff] [blame] | 247 | typedef union _gc_head { | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 248 |     struct { | 
 | 249 |         union _gc_head *gc_next; | 
 | 250 |         union _gc_head *gc_prev; | 
 | 251 |         Py_ssize_t gc_refs; | 
 | 252 |     } gc; | 
| Gregory P. Smith | e348c8d | 2012-12-10 18:05:05 -0800 | [diff] [blame] | 253 |     double dummy;  /* force worst-case alignment */ | 
| Neil Schemenauer | 74b5ade | 2001-08-29 23:49:28 +0000 | [diff] [blame] | 254 | } PyGC_Head; | 
 | 255 |  | 
| Neil Schemenauer | b1094f0 | 2002-05-04 05:36:06 +0000 | [diff] [blame] | 256 | extern PyGC_Head *_PyGC_generation0; | 
| Neil Schemenauer | 74b5ade | 2001-08-29 23:49:28 +0000 | [diff] [blame] | 257 |  | 
| Neil Schemenauer | ef99723 | 2002-03-28 21:06:16 +0000 | [diff] [blame] | 258 | #define _Py_AS_GC(o) ((PyGC_Head *)(o)-1) | 
 | 259 |  | 
| Antoine Pitrou | 796564c | 2013-07-30 19:59:21 +0200 | [diff] [blame] | 260 | /* Bit 0 is set when tp_finalize is called */ | 
 | 261 | #define _PyGC_REFS_MASK_FINALIZED  (1 << 0) | 
 | 262 | /* The (N-1) most significant bits contain the gc state / refcount */ | 
 | 263 | #define _PyGC_REFS_SHIFT           (1) | 
 | 264 | #define _PyGC_REFS_MASK            (((size_t) -1) << _PyGC_REFS_SHIFT) | 
 | 265 |  | 
 | 266 | #define _PyGCHead_REFS(g) ((g)->gc.gc_refs >> _PyGC_REFS_SHIFT) | 
 | 267 | #define _PyGCHead_SET_REFS(g, v) do { \ | 
 | 268 |     (g)->gc.gc_refs = ((g)->gc.gc_refs & ~_PyGC_REFS_MASK) \ | 
| Benjamin Peterson | bdc4b02 | 2014-03-14 20:15:29 -0500 | [diff] [blame] | 269 |         | (((size_t)(v)) << _PyGC_REFS_SHIFT);             \ | 
| Antoine Pitrou | 796564c | 2013-07-30 19:59:21 +0200 | [diff] [blame] | 270 |     } while (0) | 
 | 271 | #define _PyGCHead_DECREF(g) ((g)->gc.gc_refs -= 1 << _PyGC_REFS_SHIFT) | 
 | 272 |  | 
 | 273 | #define _PyGCHead_FINALIZED(g) (((g)->gc.gc_refs & _PyGC_REFS_MASK_FINALIZED) != 0) | 
 | 274 | #define _PyGCHead_SET_FINALIZED(g, v) do {  \ | 
 | 275 |     (g)->gc.gc_refs = ((g)->gc.gc_refs & ~_PyGC_REFS_MASK_FINALIZED) \ | 
 | 276 |         | (v != 0); \ | 
 | 277 |     } while (0) | 
 | 278 |  | 
 | 279 | #define _PyGC_FINALIZED(o) _PyGCHead_FINALIZED(_Py_AS_GC(o)) | 
 | 280 | #define _PyGC_SET_FINALIZED(o, v) _PyGCHead_SET_FINALIZED(_Py_AS_GC(o), v) | 
 | 281 |  | 
 | 282 | #define _PyGC_REFS(o) _PyGCHead_REFS(_Py_AS_GC(o)) | 
 | 283 |  | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 284 | #define _PyGC_REFS_UNTRACKED                    (-2) | 
 | 285 | #define _PyGC_REFS_REACHABLE                    (-3) | 
 | 286 | #define _PyGC_REFS_TENTATIVELY_UNREACHABLE      (-4) | 
| Tim Peters | ea40563 | 2002-07-02 00:52:30 +0000 | [diff] [blame] | 287 |  | 
| Neil Schemenauer | 74b5ade | 2001-08-29 23:49:28 +0000 | [diff] [blame] | 288 | /* Tell the GC to track this object.  NB: While the object is tracked the | 
 | 289 |  * collector it must be safe to call the ob_traverse method. */ | 
 | 290 | #define _PyObject_GC_TRACK(o) do { \ | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 291 |     PyGC_Head *g = _Py_AS_GC(o); \ | 
| Antoine Pitrou | 796564c | 2013-07-30 19:59:21 +0200 | [diff] [blame] | 292 |     if (_PyGCHead_REFS(g) != _PyGC_REFS_UNTRACKED) \ | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 293 |         Py_FatalError("GC object already tracked"); \ | 
| Antoine Pitrou | 796564c | 2013-07-30 19:59:21 +0200 | [diff] [blame] | 294 |     _PyGCHead_SET_REFS(g, _PyGC_REFS_REACHABLE); \ | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 295 |     g->gc.gc_next = _PyGC_generation0; \ | 
 | 296 |     g->gc.gc_prev = _PyGC_generation0->gc.gc_prev; \ | 
 | 297 |     g->gc.gc_prev->gc.gc_next = g; \ | 
 | 298 |     _PyGC_generation0->gc.gc_prev = g; \ | 
| Neil Schemenauer | 74b5ade | 2001-08-29 23:49:28 +0000 | [diff] [blame] | 299 |     } while (0); | 
 | 300 |  | 
| Tim Peters | 6fc13d9 | 2002-07-02 18:12:35 +0000 | [diff] [blame] | 301 | /* Tell the GC to stop tracking this object. | 
 | 302 |  * gc_next doesn't need to be set to NULL, but doing so is a good | 
 | 303 |  * way to provoke memory errors if calling code is confused. | 
 | 304 |  */ | 
| Neil Schemenauer | 74b5ade | 2001-08-29 23:49:28 +0000 | [diff] [blame] | 305 | #define _PyObject_GC_UNTRACK(o) do { \ | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 306 |     PyGC_Head *g = _Py_AS_GC(o); \ | 
| Antoine Pitrou | 796564c | 2013-07-30 19:59:21 +0200 | [diff] [blame] | 307 |     assert(_PyGCHead_REFS(g) != _PyGC_REFS_UNTRACKED); \ | 
 | 308 |     _PyGCHead_SET_REFS(g, _PyGC_REFS_UNTRACKED); \ | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 309 |     g->gc.gc_prev->gc.gc_next = g->gc.gc_next; \ | 
 | 310 |     g->gc.gc_next->gc.gc_prev = g->gc.gc_prev; \ | 
 | 311 |     g->gc.gc_next = NULL; \ | 
| Neil Schemenauer | 74b5ade | 2001-08-29 23:49:28 +0000 | [diff] [blame] | 312 |     } while (0); | 
 | 313 |  | 
| Antoine Pitrou | 3a652b1 | 2009-03-23 18:52:06 +0000 | [diff] [blame] | 314 | /* True if the object is currently tracked by the GC. */ | 
 | 315 | #define _PyObject_GC_IS_TRACKED(o) \ | 
| Antoine Pitrou | 796564c | 2013-07-30 19:59:21 +0200 | [diff] [blame] | 316 |     (_PyGC_REFS(o) != _PyGC_REFS_UNTRACKED) | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 317 |  | 
| Antoine Pitrou | 3a652b1 | 2009-03-23 18:52:06 +0000 | [diff] [blame] | 318 | /* True if the object may be tracked by the GC in the future, or already is. | 
 | 319 |    This can be useful to implement some optimizations. */ | 
 | 320 | #define _PyObject_GC_MAY_BE_TRACKED(obj) \ | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 321 |     (PyObject_IS_GC(obj) && \ | 
 | 322 |         (!PyTuple_CheckExact(obj) || _PyObject_GC_IS_TRACKED(obj))) | 
| Martin v. Löwis | 4d0d471 | 2010-12-03 20:14:31 +0000 | [diff] [blame] | 323 | #endif /* Py_LIMITED_API */ | 
| Antoine Pitrou | 3a652b1 | 2009-03-23 18:52:06 +0000 | [diff] [blame] | 324 |  | 
| Victor Stinner | db067af | 2014-05-02 22:31:14 +0200 | [diff] [blame] | 325 | PyAPI_FUNC(PyObject *) _PyObject_GC_Malloc(size_t size); | 
 | 326 | PyAPI_FUNC(PyObject *) _PyObject_GC_Calloc(size_t size); | 
| Mark Hammond | 91a681d | 2002-08-12 07:21:58 +0000 | [diff] [blame] | 327 | PyAPI_FUNC(PyObject *) _PyObject_GC_New(PyTypeObject *); | 
| Martin v. Löwis | 18e1655 | 2006-02-15 17:27:45 +0000 | [diff] [blame] | 328 | PyAPI_FUNC(PyVarObject *) _PyObject_GC_NewVar(PyTypeObject *, Py_ssize_t); | 
| Mark Hammond | 91a681d | 2002-08-12 07:21:58 +0000 | [diff] [blame] | 329 | PyAPI_FUNC(void) PyObject_GC_Track(void *); | 
 | 330 | PyAPI_FUNC(void) PyObject_GC_UnTrack(void *); | 
 | 331 | PyAPI_FUNC(void) PyObject_GC_Del(void *); | 
| Neil Schemenauer | 74b5ade | 2001-08-29 23:49:28 +0000 | [diff] [blame] | 332 |  | 
 | 333 | #define PyObject_GC_New(type, typeobj) \ | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 334 |                 ( (type *) _PyObject_GC_New(typeobj) ) | 
| Neil Schemenauer | 74b5ade | 2001-08-29 23:49:28 +0000 | [diff] [blame] | 335 | #define PyObject_GC_NewVar(type, typeobj, n) \ | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 336 |                 ( (type *) _PyObject_GC_NewVar((typeobj), (n)) ) | 
| Neil Schemenauer | 3e7b893 | 2002-04-12 02:38:45 +0000 | [diff] [blame] | 337 |  | 
| Neil Schemenauer | 74b5ade | 2001-08-29 23:49:28 +0000 | [diff] [blame] | 338 |  | 
| Tim Peters | eda2930 | 2004-07-15 04:05:59 +0000 | [diff] [blame] | 339 | /* Utility macro to help write tp_traverse functions. | 
 | 340 |  * To use this macro, the tp_traverse function must name its arguments | 
 | 341 |  * "visit" and "arg".  This is intended to keep tp_traverse functions | 
 | 342 |  * looking as much alike as possible. | 
 | 343 |  */ | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 344 | #define Py_VISIT(op)                                                    \ | 
 | 345 |     do {                                                                \ | 
 | 346 |         if (op) {                                                       \ | 
 | 347 |             int vret = visit((PyObject *)(op), arg);                    \ | 
 | 348 |             if (vret)                                                   \ | 
 | 349 |                 return vret;                                            \ | 
 | 350 |         }                                                               \ | 
 | 351 |     } while (0) | 
| Jim Fulton | aa6389e | 2004-07-14 19:08:17 +0000 | [diff] [blame] | 352 |  | 
| Jeremy Hylton | d08b4c4 | 2000-06-23 19:37:02 +0000 | [diff] [blame] | 353 |  | 
| Fred Drake | 41deb1e | 2001-02-01 05:27:45 +0000 | [diff] [blame] | 354 | /* Test if a type supports weak references */ | 
| Guido van Rossum | 3cf5b1e | 2006-07-27 21:53:35 +0000 | [diff] [blame] | 355 | #define PyType_SUPPORTS_WEAKREFS(t) ((t)->tp_weaklistoffset > 0) | 
| Fred Drake | 41deb1e | 2001-02-01 05:27:45 +0000 | [diff] [blame] | 356 |  | 
 | 357 | #define PyObject_GET_WEAKREFS_LISTPTR(o) \ | 
| Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 358 |     ((PyObject **) (((char *) (o)) + Py_TYPE(o)->tp_weaklistoffset)) | 
| Fred Drake | 41deb1e | 2001-02-01 05:27:45 +0000 | [diff] [blame] | 359 |  | 
| Guido van Rossum | a330996 | 1993-07-28 09:05:47 +0000 | [diff] [blame] | 360 | #ifdef __cplusplus | 
 | 361 | } | 
 | 362 | #endif | 
 | 363 | #endif /* !Py_OBJIMPL_H */ |