blob: ed7042f2ed79123535d7a5808ba99a7bea57ec4a [file] [log] [blame]
Guido van Rossumf70e43a1991-02-19 12:39:46 +00001
Fred Drake3cf4d2b2000-07-09 00:55:06 +00002#ifndef Py_OBJIMPL_H
3#define Py_OBJIMPL_H
Peter Schneider-Kamp25f68942000-07-31 22:19:30 +00004
5#include "pymem.h"
6
Fred Drake3cf4d2b2000-07-09 00:55:06 +00007#ifdef __cplusplus
8extern "C" {
9#endif
10
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000011/*
Guido van Rossumb18618d2000-05-03 23:44:39 +000012Functions and macros for modules that implement new object types.
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000013You must first include "object.h".
14
Guido van Rossumb18618d2000-05-03 23:44:39 +000015 - PyObject_New(type, typeobj) allocates memory for a new object of
16 the given type; here 'type' must be the C structure type used to
17 represent the object and 'typeobj' the address of the corresponding
18 type object. Reference count and type pointer are filled in; the
19 rest of the bytes of the object are *undefined*! The resulting
Tim Peterse9e74522002-04-12 05:21:34 +000020 expression type is 'type *'. The size of the object is determined
21 by the tp_basicsize field of the type object.
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000022
Guido van Rossumb18618d2000-05-03 23:44:39 +000023 - PyObject_NewVar(type, typeobj, n) is similar but allocates a
24 variable-size object with n extra items. The size is computed as
25 tp_basicsize plus n * tp_itemsize. This fills in the ob_size field
26 as well.
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000027
Tim Peterse9e74522002-04-12 05:21:34 +000028 - PyObject_Del(op) releases the memory allocated for an object. It
29 does not run a destructor -- it only frees the memory. PyObject_Free
30 is identical.
Guido van Rossumb18618d2000-05-03 23:44:39 +000031
32 - PyObject_Init(op, typeobj) and PyObject_InitVar(op, typeobj, n) are
33 similar to PyObject_{New, NewVar} except that they don't allocate
34 the memory needed for an object. Instead of the 'type' parameter,
35 they accept the pointer of a new object (allocated by an arbitrary
36 allocator) and initialize its object header fields.
37
38Note that objects created with PyObject_{New, NewVar} are allocated
Tim Peterse9e74522002-04-12 05:21:34 +000039using the specialized Python allocator (implemented in obmalloc.c), if
40WITH_PYMALLOC is enabled. In addition, a special debugging allocator
41is used if PYMALLOC_DEBUG is also #defined.
Guido van Rossumb18618d2000-05-03 23:44:39 +000042
43In case a specific form of memory management is needed, implying that
44the objects would not reside in the Python heap (for example standard
45malloc heap(s) are mandatory, use of shared memory, C++ local storage
46or operator new), you must first allocate the object with your custom
47allocator, then pass its pointer to PyObject_{Init, InitVar} for
48filling in its Python-specific fields: reference count, type pointer,
49possibly others. You should be aware that Python has very limited
50control over these objects because they don't cooperate with the
51Python memory manager. Such objects may not be eligible for automatic
52garbage collection and you have to make sure that they are released
53accordingly whenever their destructor gets called (cf. the specific
54form of memory management you're using).
55
56Unless you have specific memory management requirements, it is
57recommended to use PyObject_{New, NewVar, Del}. */
58
Tim Peters6d483d32001-10-06 21:27:34 +000059/*
Guido van Rossumb18618d2000-05-03 23:44:39 +000060 * Raw object memory interface
61 * ===========================
62 */
63
64/* The use of this API should be avoided, unless a builtin object
65 constructor inlines PyObject_{New, NewVar}, either because the
66 latter functions cannot allocate the exact amount of needed memory,
67 either for speed. This situation is exceptional, but occurs for
68 some object constructors (PyBuffer_New, PyList_New...). Inlining
69 PyObject_{New, NewVar} for objects that are supposed to belong to
70 the Python heap is discouraged. If you really have to, make sure
71 the object is initialized with PyObject_{Init, InitVar}. Do *not*
72 inline PyObject_{Init, InitVar} for user-extension types or you
73 might seriously interfere with Python's memory management. */
74
75/* Functions */
76
Tim Peterse9e74522002-04-12 05:21:34 +000077/* Functions to call the same malloc/realloc/free as used by Python's
78 object allocator. If WITH_PYMALLOC is enabled, these may differ from
79 the platform malloc/realloc/free. The Python object allocator is
80 designed for fast, cache-conscious allocation of many "small" objects,
81 with low hidden memory overhead. PyObject_Malloc(0) returns a unique
82 non-NULL pointer if possible. PyObject_Realloc(NULL, n) acts like
83 PyObject_Malloc(n). PyObject_Realloc(p != NULL, 0) does not return
84 NULL or free the memory at p. Returned pointers must be checked for
85 NULL explicitly; no action is performed on failure other than to return
86 NULL. */
Thomas Wouters334fb892000-07-25 12:56:38 +000087extern DL_IMPORT(void *) PyObject_Malloc(size_t);
88extern DL_IMPORT(void *) PyObject_Realloc(void *, size_t);
89extern DL_IMPORT(void) PyObject_Free(void *);
Guido van Rossumb18618d2000-05-03 23:44:39 +000090
Neil Schemenauer3e7b8932002-04-12 02:38:45 +000091
Guido van Rossumb18618d2000-05-03 23:44:39 +000092/* Macros */
Neil Schemenauer3e7b8932002-04-12 02:38:45 +000093#ifdef WITH_PYMALLOC
94#ifdef PYMALLOC_DEBUG
95DL_IMPORT(void *) _PyObject_DebugMalloc(size_t nbytes);
96DL_IMPORT(void *) _PyObject_DebugRealloc(void *p, size_t nbytes);
97DL_IMPORT(void) _PyObject_DebugFree(void *p);
98DL_IMPORT(void) _PyObject_DebugDumpAddress(const void *p);
99DL_IMPORT(void) _PyObject_DebugCheckAddress(const void *p);
100DL_IMPORT(void) _PyObject_DebugDumpStats(void);
Tim Peterse9e74522002-04-12 05:21:34 +0000101#define PyObject_MALLOC _PyObject_DebugMalloc
102#define PyObject_Malloc _PyObject_DebugMalloc
103#define PyObject_REALLOC _PyObject_DebugRealloc
104#define PyObject_Realloc _PyObject_DebugRealloc
105#define PyObject_FREE _PyObject_DebugFree
106#define PyObject_Free _PyObject_DebugFree
Neil Schemenauer3e7b8932002-04-12 02:38:45 +0000107
108#else /* WITH_PYMALLOC && ! PYMALLOC_DEBUG */
109#define PyObject_MALLOC PyObject_Malloc
110#define PyObject_REALLOC PyObject_Realloc
111#define PyObject_FREE PyObject_Free
112#endif
113
114#else /* ! WITH_PYMALLOC */
115#define PyObject_MALLOC PyMem_MALLOC
116#define PyObject_REALLOC PyMem_REALLOC
117#define PyObject_FREE PyMem_FREE
118#endif /* WITH_PYMALLOC */
119
120#define PyObject_Del PyObject_Free
121#define PyObject_DEL PyObject_FREE
122
123/* for source compatibility with 2.2 */
124#define _PyObject_Del PyObject_Free
Guido van Rossumb18618d2000-05-03 23:44:39 +0000125
126/*
127 * Generic object allocator interface
128 * ==================================
129 */
130
131/* Functions */
Fred Drake3cf4d2b2000-07-09 00:55:06 +0000132extern DL_IMPORT(PyObject *) PyObject_Init(PyObject *, PyTypeObject *);
133extern DL_IMPORT(PyVarObject *) PyObject_InitVar(PyVarObject *,
134 PyTypeObject *, int);
135extern DL_IMPORT(PyObject *) _PyObject_New(PyTypeObject *);
136extern DL_IMPORT(PyVarObject *) _PyObject_NewVar(PyTypeObject *, int);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000137
Guido van Rossumb18618d2000-05-03 23:44:39 +0000138#define PyObject_New(type, typeobj) \
139 ( (type *) _PyObject_New(typeobj) )
140#define PyObject_NewVar(type, typeobj, n) \
141 ( (type *) _PyObject_NewVar((typeobj), (n)) )
Guido van Rossuma3309961993-07-28 09:05:47 +0000142
Andrew M. Kuchling1582a3a2000-08-16 12:27:23 +0000143/* Macros trading binary compatibility for speed. See also pymem.h.
Guido van Rossumb18618d2000-05-03 23:44:39 +0000144 Note that these macros expect non-NULL object pointers.*/
145#define PyObject_INIT(op, typeobj) \
Fred Drake4e262a92001-03-22 18:26:47 +0000146 ( (op)->ob_type = (typeobj), _Py_NewReference((PyObject *)(op)), (op) )
Guido van Rossumb18618d2000-05-03 23:44:39 +0000147#define PyObject_INIT_VAR(op, typeobj, size) \
148 ( (op)->ob_size = (size), PyObject_INIT((op), (typeobj)) )
Guido van Rossum5a849141996-07-21 02:23:54 +0000149
Guido van Rossumb18618d2000-05-03 23:44:39 +0000150#define _PyObject_SIZE(typeobj) ( (typeobj)->tp_basicsize )
Tim Peters6d483d32001-10-06 21:27:34 +0000151
Tim Petersf2a67da2001-10-07 03:54:51 +0000152/* _PyObject_VAR_SIZE returns the number of bytes (as size_t) allocated for a
153 vrbl-size object with nitems items, exclusive of gc overhead (if any). The
154 value is rounded up to the closest multiple of sizeof(void *), in order to
155 ensure that pointer fields at the end of the object are correctly aligned
156 for the platform (this is of special importance for subclasses of, e.g.,
157 str or long, so that pointers can be stored after the embedded data).
Tim Peters6d483d32001-10-06 21:27:34 +0000158
Tim Petersf2a67da2001-10-07 03:54:51 +0000159 Note that there's no memory wastage in doing this, as malloc has to
160 return (at worst) pointer-aligned memory anyway.
Tim Peters6d483d32001-10-06 21:27:34 +0000161*/
Tim Petersf2a67da2001-10-07 03:54:51 +0000162#if ((SIZEOF_VOID_P - 1) & SIZEOF_VOID_P) != 0
163# error "_PyObject_VAR_SIZE requires SIZEOF_VOID_P be a power of 2"
164#endif
165
166#define _PyObject_VAR_SIZE(typeobj, nitems) \
167 (size_t) \
168 ( ( (typeobj)->tp_basicsize + \
169 (nitems)*(typeobj)->tp_itemsize + \
170 (SIZEOF_VOID_P - 1) \
171 ) & ~(SIZEOF_VOID_P - 1) \
172 )
Guido van Rossum5a849141996-07-21 02:23:54 +0000173
Guido van Rossumb18618d2000-05-03 23:44:39 +0000174#define PyObject_NEW(type, typeobj) \
175( (type *) PyObject_Init( \
176 (PyObject *) PyObject_MALLOC( _PyObject_SIZE(typeobj) ), (typeobj)) )
Tim Peters6d483d32001-10-06 21:27:34 +0000177
Tim Petersf2a67da2001-10-07 03:54:51 +0000178#define PyObject_NEW_VAR(type, typeobj, n) \
179( (type *) PyObject_InitVar( \
180 (PyVarObject *) PyObject_MALLOC(_PyObject_VAR_SIZE((typeobj),(n)) ),\
181 (typeobj), (n)) )
Guido van Rossumb18618d2000-05-03 23:44:39 +0000182
183/* This example code implements an object constructor with a custom
184 allocator, where PyObject_New is inlined, and shows the important
185 distinction between two steps (at least):
186 1) the actual allocation of the object storage;
187 2) the initialization of the Python specific fields
188 in this storage with PyObject_{Init, InitVar}.
189
190 PyObject *
191 YourObject_New(...)
192 {
193 PyObject *op;
194
195 op = (PyObject *) Your_Allocator(_PyObject_SIZE(YourTypeStruct));
196 if (op == NULL)
197 return PyErr_NoMemory();
198
199 op = PyObject_Init(op, &YourTypeStruct);
200 if (op == NULL)
201 return NULL;
202
203 op->ob_field = value;
204 ...
205 return op;
206 }
207
208 Note that in C++, the use of the new operator usually implies that
209 the 1st step is performed automatically for you, so in a C++ class
210 constructor you would start directly with PyObject_Init/InitVar. */
Guido van Rossum5a849141996-07-21 02:23:54 +0000211
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000212/*
213 * Garbage Collection Support
214 * ==========================
Guido van Rossum048eb752001-10-02 21:24:57 +0000215 *
216 * Some of the functions and macros below are always defined; when
217 * WITH_CYCLE_GC is undefined, they simply don't do anything different
218 * than their non-GC counterparts.
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000219 */
Jeremy Hyltond08b4c42000-06-23 19:37:02 +0000220
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000221/* Test if a type has a GC head */
222#define PyType_IS_GC(t) PyType_HasFeature((t), Py_TPFLAGS_HAVE_GC)
Jeremy Hyltond08b4c42000-06-23 19:37:02 +0000223
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000224/* Test if an object has a GC head */
Guido van Rossum048eb752001-10-02 21:24:57 +0000225#define PyObject_IS_GC(o) (PyType_IS_GC((o)->ob_type) && \
226 ((o)->ob_type->tp_is_gc == NULL || (o)->ob_type->tp_is_gc(o)))
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000227
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000228extern DL_IMPORT(PyVarObject *) _PyObject_GC_Resize(PyVarObject *, int);
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000229#define PyObject_GC_Resize(type, op, n) \
230 ( (type *) _PyObject_GC_Resize((PyVarObject *)(op), (n)) )
231
Neil Schemenauer3e7b8932002-04-12 02:38:45 +0000232/* for source compatibility with 2.2 */
233#define _PyObject_GC_Del PyObject_GC_Del
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000234
Guido van Rossum048eb752001-10-02 21:24:57 +0000235#ifdef WITH_CYCLE_GC
236
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000237/* GC information is stored BEFORE the object structure */
Tim Peters9e4ca102001-10-11 18:31:31 +0000238typedef union _gc_head {
239 struct {
240 union _gc_head *gc_next; /* not NULL if object is tracked */
241 union _gc_head *gc_prev;
242 int gc_refs;
243 } gc;
Tim Peters5e67cde2002-02-28 19:38:51 +0000244 long double dummy; /* force worst-case alignment */
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000245} PyGC_Head;
246
247extern PyGC_Head _PyGC_generation0;
248
Neil Schemenaueref997232002-03-28 21:06:16 +0000249#define _Py_AS_GC(o) ((PyGC_Head *)(o)-1)
250
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000251/* Tell the GC to track this object. NB: While the object is tracked the
252 * collector it must be safe to call the ob_traverse method. */
253#define _PyObject_GC_TRACK(o) do { \
Neil Schemenaueref997232002-03-28 21:06:16 +0000254 PyGC_Head *g = _Py_AS_GC(o); \
Tim Peters9e4ca102001-10-11 18:31:31 +0000255 if (g->gc.gc_next != NULL) \
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000256 Py_FatalError("GC object already in linked list"); \
Tim Peters9e4ca102001-10-11 18:31:31 +0000257 g->gc.gc_next = &_PyGC_generation0; \
258 g->gc.gc_prev = _PyGC_generation0.gc.gc_prev; \
259 g->gc.gc_prev->gc.gc_next = g; \
260 _PyGC_generation0.gc.gc_prev = g; \
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000261 } while (0);
262
263/* Tell the GC to stop tracking this object. */
264#define _PyObject_GC_UNTRACK(o) do { \
Neil Schemenaueref997232002-03-28 21:06:16 +0000265 PyGC_Head *g = _Py_AS_GC(o); \
Tim Peters9e4ca102001-10-11 18:31:31 +0000266 g->gc.gc_prev->gc.gc_next = g->gc.gc_next; \
267 g->gc.gc_next->gc.gc_prev = g->gc.gc_prev; \
268 g->gc.gc_next = NULL; \
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000269 } while (0);
270
Neil Schemenauer3e7b8932002-04-12 02:38:45 +0000271extern DL_IMPORT(PyObject *) _PyObject_GC_Malloc(size_t);
272extern DL_IMPORT(PyObject *) _PyObject_GC_New(PyTypeObject *);
273extern DL_IMPORT(PyVarObject *) _PyObject_GC_NewVar(PyTypeObject *, int);
274extern DL_IMPORT(void) PyObject_GC_Track(void *);
275extern DL_IMPORT(void) PyObject_GC_UnTrack(void *);
276extern DL_IMPORT(void) PyObject_GC_Del(void *);
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000277
278#define PyObject_GC_New(type, typeobj) \
279 ( (type *) _PyObject_GC_New(typeobj) )
280#define PyObject_GC_NewVar(type, typeobj, n) \
281 ( (type *) _PyObject_GC_NewVar((typeobj), (n)) )
Neil Schemenauer3e7b8932002-04-12 02:38:45 +0000282
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000283
284#else /* !WITH_CYCLE_GC */
285
Neil Schemenauer3e7b8932002-04-12 02:38:45 +0000286#define _PyObject_GC_Malloc PyObject_Malloc
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000287#define PyObject_GC_New PyObject_New
288#define PyObject_GC_NewVar PyObject_NewVar
289#define PyObject_GC_Del PyObject_Del
Neil Schemenauer49417e72001-09-03 15:44:48 +0000290#define _PyObject_GC_TRACK(op)
291#define _PyObject_GC_UNTRACK(op)
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000292#define PyObject_GC_Track(op)
293#define PyObject_GC_UnTrack(op)
294
295#endif
296
297/* This is here for the sake of backwards compatibility. Extensions that
298 * use the old GC API will still compile but the objects will not be
299 * tracked by the GC. */
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000300#define PyGC_HEAD_SIZE 0
301#define PyObject_GC_Init(op)
302#define PyObject_GC_Fini(op)
303#define PyObject_AS_GC(op) (op)
304#define PyObject_FROM_GC(op) (op)
Tim Peters6d6c1a32001-08-02 04:15:00 +0000305
Jeremy Hyltond08b4c42000-06-23 19:37:02 +0000306
Fred Drake41deb1e2001-02-01 05:27:45 +0000307/* Test if a type supports weak references */
Fred Drake033f3122001-02-02 18:17:30 +0000308#define PyType_SUPPORTS_WEAKREFS(t) \
309 (PyType_HasFeature((t), Py_TPFLAGS_HAVE_WEAKREFS) \
310 && ((t)->tp_weaklistoffset > 0))
Fred Drake41deb1e2001-02-01 05:27:45 +0000311
312#define PyObject_GET_WEAKREFS_LISTPTR(o) \
313 ((PyObject **) (((char *) (o)) + (o)->ob_type->tp_weaklistoffset))
314
Guido van Rossuma3309961993-07-28 09:05:47 +0000315#ifdef __cplusplus
316}
317#endif
318#endif /* !Py_OBJIMPL_H */