blob: e5278d100ac2b481419d890b03c943424d7a430b [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
20 expression type is 'type *'. The size of the object is actually
21 determined 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
Guido van Rossumb18618d2000-05-03 23:44:39 +000028 - PyObject_Del(op) releases the memory allocated for an object.
29
30 - PyObject_Init(op, typeobj) and PyObject_InitVar(op, typeobj, n) are
31 similar to PyObject_{New, NewVar} except that they don't allocate
32 the memory needed for an object. Instead of the 'type' parameter,
33 they accept the pointer of a new object (allocated by an arbitrary
34 allocator) and initialize its object header fields.
35
36Note that objects created with PyObject_{New, NewVar} are allocated
Neil Schemenauer3e7b8932002-04-12 02:38:45 +000037using the specialized Python allocator (implemented in obmalloc.c).
Guido van Rossumb18618d2000-05-03 23:44:39 +000038
39In case a specific form of memory management is needed, implying that
40the objects would not reside in the Python heap (for example standard
41malloc heap(s) are mandatory, use of shared memory, C++ local storage
42or operator new), you must first allocate the object with your custom
43allocator, then pass its pointer to PyObject_{Init, InitVar} for
44filling in its Python-specific fields: reference count, type pointer,
45possibly others. You should be aware that Python has very limited
46control over these objects because they don't cooperate with the
47Python memory manager. Such objects may not be eligible for automatic
48garbage collection and you have to make sure that they are released
49accordingly whenever their destructor gets called (cf. the specific
50form of memory management you're using).
51
52Unless you have specific memory management requirements, it is
53recommended to use PyObject_{New, NewVar, Del}. */
54
Tim Peters6d483d32001-10-06 21:27:34 +000055/*
Guido van Rossumb18618d2000-05-03 23:44:39 +000056 * Raw object memory interface
57 * ===========================
58 */
59
60/* The use of this API should be avoided, unless a builtin object
61 constructor inlines PyObject_{New, NewVar}, either because the
62 latter functions cannot allocate the exact amount of needed memory,
63 either for speed. This situation is exceptional, but occurs for
64 some object constructors (PyBuffer_New, PyList_New...). Inlining
65 PyObject_{New, NewVar} for objects that are supposed to belong to
66 the Python heap is discouraged. If you really have to, make sure
67 the object is initialized with PyObject_{Init, InitVar}. Do *not*
68 inline PyObject_{Init, InitVar} for user-extension types or you
69 might seriously interfere with Python's memory management. */
70
71/* Functions */
72
Neil Schemenauer25f3dc22002-03-18 21:06:21 +000073/* Wrappers that useful if you need to be sure that you are using the
74 same object memory allocator as Python. These wrappers *do not* make
75 sure that allocating 0 bytes returns a non-NULL pointer. Returned
76 pointers must be checked for NULL explicitly; no action is performed
77 on failure. */
Thomas Wouters334fb892000-07-25 12:56:38 +000078extern DL_IMPORT(void *) PyObject_Malloc(size_t);
79extern DL_IMPORT(void *) PyObject_Realloc(void *, size_t);
80extern DL_IMPORT(void) PyObject_Free(void *);
Guido van Rossumb18618d2000-05-03 23:44:39 +000081
Neil Schemenauer3e7b8932002-04-12 02:38:45 +000082
Guido van Rossumb18618d2000-05-03 23:44:39 +000083/* Macros */
Neil Schemenauer3e7b8932002-04-12 02:38:45 +000084#ifdef WITH_PYMALLOC
85#ifdef PYMALLOC_DEBUG
86DL_IMPORT(void *) _PyObject_DebugMalloc(size_t nbytes);
87DL_IMPORT(void *) _PyObject_DebugRealloc(void *p, size_t nbytes);
88DL_IMPORT(void) _PyObject_DebugFree(void *p);
89DL_IMPORT(void) _PyObject_DebugDumpAddress(const void *p);
90DL_IMPORT(void) _PyObject_DebugCheckAddress(const void *p);
91DL_IMPORT(void) _PyObject_DebugDumpStats(void);
92#define PyObject_MALLOC _PyObject_DebugMalloc
93#define PyObject_Malloc _PyObject_DebugMalloc
94#define PyObject_REALLOC _PyObject_DebugRealloc
95#define PyObject_Realloc _PyObject_DebugRealloc
96#define PyObject_FREE _PyObject_DebugFree
97#define PyObject_Free _PyObject_DebugFree
98
99#else /* WITH_PYMALLOC && ! PYMALLOC_DEBUG */
100#define PyObject_MALLOC PyObject_Malloc
101#define PyObject_REALLOC PyObject_Realloc
102#define PyObject_FREE PyObject_Free
103#endif
104
105#else /* ! WITH_PYMALLOC */
106#define PyObject_MALLOC PyMem_MALLOC
107#define PyObject_REALLOC PyMem_REALLOC
108#define PyObject_FREE PyMem_FREE
109#endif /* WITH_PYMALLOC */
110
111#define PyObject_Del PyObject_Free
112#define PyObject_DEL PyObject_FREE
113
114/* for source compatibility with 2.2 */
115#define _PyObject_Del PyObject_Free
Guido van Rossumb18618d2000-05-03 23:44:39 +0000116
117/*
118 * Generic object allocator interface
119 * ==================================
120 */
121
122/* Functions */
Fred Drake3cf4d2b2000-07-09 00:55:06 +0000123extern DL_IMPORT(PyObject *) PyObject_Init(PyObject *, PyTypeObject *);
124extern DL_IMPORT(PyVarObject *) PyObject_InitVar(PyVarObject *,
125 PyTypeObject *, int);
126extern DL_IMPORT(PyObject *) _PyObject_New(PyTypeObject *);
127extern DL_IMPORT(PyVarObject *) _PyObject_NewVar(PyTypeObject *, int);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000128
Guido van Rossumb18618d2000-05-03 23:44:39 +0000129#define PyObject_New(type, typeobj) \
130 ( (type *) _PyObject_New(typeobj) )
131#define PyObject_NewVar(type, typeobj, n) \
132 ( (type *) _PyObject_NewVar((typeobj), (n)) )
Guido van Rossuma3309961993-07-28 09:05:47 +0000133
Andrew M. Kuchling1582a3a2000-08-16 12:27:23 +0000134/* Macros trading binary compatibility for speed. See also pymem.h.
Guido van Rossumb18618d2000-05-03 23:44:39 +0000135 Note that these macros expect non-NULL object pointers.*/
136#define PyObject_INIT(op, typeobj) \
Fred Drake4e262a92001-03-22 18:26:47 +0000137 ( (op)->ob_type = (typeobj), _Py_NewReference((PyObject *)(op)), (op) )
Guido van Rossumb18618d2000-05-03 23:44:39 +0000138#define PyObject_INIT_VAR(op, typeobj, size) \
139 ( (op)->ob_size = (size), PyObject_INIT((op), (typeobj)) )
Guido van Rossum5a849141996-07-21 02:23:54 +0000140
Guido van Rossumb18618d2000-05-03 23:44:39 +0000141#define _PyObject_SIZE(typeobj) ( (typeobj)->tp_basicsize )
Tim Peters6d483d32001-10-06 21:27:34 +0000142
Tim Petersf2a67da2001-10-07 03:54:51 +0000143/* _PyObject_VAR_SIZE returns the number of bytes (as size_t) allocated for a
144 vrbl-size object with nitems items, exclusive of gc overhead (if any). The
145 value is rounded up to the closest multiple of sizeof(void *), in order to
146 ensure that pointer fields at the end of the object are correctly aligned
147 for the platform (this is of special importance for subclasses of, e.g.,
148 str or long, so that pointers can be stored after the embedded data).
Tim Peters6d483d32001-10-06 21:27:34 +0000149
Tim Petersf2a67da2001-10-07 03:54:51 +0000150 Note that there's no memory wastage in doing this, as malloc has to
151 return (at worst) pointer-aligned memory anyway.
Tim Peters6d483d32001-10-06 21:27:34 +0000152*/
Tim Petersf2a67da2001-10-07 03:54:51 +0000153#if ((SIZEOF_VOID_P - 1) & SIZEOF_VOID_P) != 0
154# error "_PyObject_VAR_SIZE requires SIZEOF_VOID_P be a power of 2"
155#endif
156
157#define _PyObject_VAR_SIZE(typeobj, nitems) \
158 (size_t) \
159 ( ( (typeobj)->tp_basicsize + \
160 (nitems)*(typeobj)->tp_itemsize + \
161 (SIZEOF_VOID_P - 1) \
162 ) & ~(SIZEOF_VOID_P - 1) \
163 )
Guido van Rossum5a849141996-07-21 02:23:54 +0000164
Guido van Rossumb18618d2000-05-03 23:44:39 +0000165#define PyObject_NEW(type, typeobj) \
166( (type *) PyObject_Init( \
167 (PyObject *) PyObject_MALLOC( _PyObject_SIZE(typeobj) ), (typeobj)) )
Tim Peters6d483d32001-10-06 21:27:34 +0000168
Tim Petersf2a67da2001-10-07 03:54:51 +0000169#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 Rossumb18618d2000-05-03 23:44:39 +0000173
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
179 in this storage with PyObject_{Init, InitVar}.
180
181 PyObject *
182 YourObject_New(...)
183 {
184 PyObject *op;
185
186 op = (PyObject *) Your_Allocator(_PyObject_SIZE(YourTypeStruct));
187 if (op == NULL)
188 return PyErr_NoMemory();
189
190 op = PyObject_Init(op, &YourTypeStruct);
191 if (op == NULL)
192 return NULL;
193
194 op->ob_field = value;
195 ...
196 return op;
197 }
198
199 Note that in C++, the use of the new operator usually implies that
200 the 1st step is performed automatically for you, so in a C++ class
201 constructor you would start directly with PyObject_Init/InitVar. */
Guido van Rossum5a849141996-07-21 02:23:54 +0000202
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000203/*
204 * Garbage Collection Support
205 * ==========================
Guido van Rossum048eb752001-10-02 21:24:57 +0000206 *
207 * Some of the functions and macros below are always defined; when
208 * WITH_CYCLE_GC is undefined, they simply don't do anything different
209 * than their non-GC counterparts.
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000210 */
Jeremy Hyltond08b4c42000-06-23 19:37:02 +0000211
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000212/* Test if a type has a GC head */
213#define PyType_IS_GC(t) PyType_HasFeature((t), Py_TPFLAGS_HAVE_GC)
Jeremy Hyltond08b4c42000-06-23 19:37:02 +0000214
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000215/* Test if an object has a GC head */
Guido van Rossum048eb752001-10-02 21:24:57 +0000216#define PyObject_IS_GC(o) (PyType_IS_GC((o)->ob_type) && \
217 ((o)->ob_type->tp_is_gc == NULL || (o)->ob_type->tp_is_gc(o)))
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000218
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000219extern DL_IMPORT(PyVarObject *) _PyObject_GC_Resize(PyVarObject *, int);
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000220#define PyObject_GC_Resize(type, op, n) \
221 ( (type *) _PyObject_GC_Resize((PyVarObject *)(op), (n)) )
222
Neil Schemenauer3e7b8932002-04-12 02:38:45 +0000223/* for source compatibility with 2.2 */
224#define _PyObject_GC_Del PyObject_GC_Del
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000225
Guido van Rossum048eb752001-10-02 21:24:57 +0000226#ifdef WITH_CYCLE_GC
227
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000228/* GC information is stored BEFORE the object structure */
Tim Peters9e4ca102001-10-11 18:31:31 +0000229typedef union _gc_head {
230 struct {
231 union _gc_head *gc_next; /* not NULL if object is tracked */
232 union _gc_head *gc_prev;
233 int gc_refs;
234 } gc;
Tim Peters5e67cde2002-02-28 19:38:51 +0000235 long double dummy; /* force worst-case alignment */
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000236} PyGC_Head;
237
238extern PyGC_Head _PyGC_generation0;
239
Neil Schemenaueref997232002-03-28 21:06:16 +0000240#define _Py_AS_GC(o) ((PyGC_Head *)(o)-1)
241
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000242/* Tell the GC to track this object. NB: While the object is tracked the
243 * collector it must be safe to call the ob_traverse method. */
244#define _PyObject_GC_TRACK(o) do { \
Neil Schemenaueref997232002-03-28 21:06:16 +0000245 PyGC_Head *g = _Py_AS_GC(o); \
Tim Peters9e4ca102001-10-11 18:31:31 +0000246 if (g->gc.gc_next != NULL) \
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000247 Py_FatalError("GC object already in linked list"); \
Tim Peters9e4ca102001-10-11 18:31:31 +0000248 g->gc.gc_next = &_PyGC_generation0; \
249 g->gc.gc_prev = _PyGC_generation0.gc.gc_prev; \
250 g->gc.gc_prev->gc.gc_next = g; \
251 _PyGC_generation0.gc.gc_prev = g; \
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000252 } while (0);
253
254/* Tell the GC to stop tracking this object. */
255#define _PyObject_GC_UNTRACK(o) do { \
Neil Schemenaueref997232002-03-28 21:06:16 +0000256 PyGC_Head *g = _Py_AS_GC(o); \
Tim Peters9e4ca102001-10-11 18:31:31 +0000257 g->gc.gc_prev->gc.gc_next = g->gc.gc_next; \
258 g->gc.gc_next->gc.gc_prev = g->gc.gc_prev; \
259 g->gc.gc_next = NULL; \
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000260 } while (0);
261
Neil Schemenauer3e7b8932002-04-12 02:38:45 +0000262extern DL_IMPORT(PyObject *) _PyObject_GC_Malloc(size_t);
263extern DL_IMPORT(PyObject *) _PyObject_GC_New(PyTypeObject *);
264extern DL_IMPORT(PyVarObject *) _PyObject_GC_NewVar(PyTypeObject *, int);
265extern DL_IMPORT(void) PyObject_GC_Track(void *);
266extern DL_IMPORT(void) PyObject_GC_UnTrack(void *);
267extern DL_IMPORT(void) PyObject_GC_Del(void *);
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000268
269#define PyObject_GC_New(type, typeobj) \
270 ( (type *) _PyObject_GC_New(typeobj) )
271#define PyObject_GC_NewVar(type, typeobj, n) \
272 ( (type *) _PyObject_GC_NewVar((typeobj), (n)) )
Neil Schemenauer3e7b8932002-04-12 02:38:45 +0000273
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000274
275#else /* !WITH_CYCLE_GC */
276
Neil Schemenauer3e7b8932002-04-12 02:38:45 +0000277#define _PyObject_GC_Malloc PyObject_Malloc
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000278#define PyObject_GC_New PyObject_New
279#define PyObject_GC_NewVar PyObject_NewVar
280#define PyObject_GC_Del PyObject_Del
Neil Schemenauer49417e72001-09-03 15:44:48 +0000281#define _PyObject_GC_TRACK(op)
282#define _PyObject_GC_UNTRACK(op)
Neil Schemenauer74b5ade2001-08-29 23:49:28 +0000283#define PyObject_GC_Track(op)
284#define PyObject_GC_UnTrack(op)
285
286#endif
287
288/* This is here for the sake of backwards compatibility. Extensions that
289 * use the old GC API will still compile but the objects will not be
290 * tracked by the GC. */
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000291#define PyGC_HEAD_SIZE 0
292#define PyObject_GC_Init(op)
293#define PyObject_GC_Fini(op)
294#define PyObject_AS_GC(op) (op)
295#define PyObject_FROM_GC(op) (op)
Tim Peters6d6c1a32001-08-02 04:15:00 +0000296
Jeremy Hyltond08b4c42000-06-23 19:37:02 +0000297
Fred Drake41deb1e2001-02-01 05:27:45 +0000298/* Test if a type supports weak references */
Fred Drake033f3122001-02-02 18:17:30 +0000299#define PyType_SUPPORTS_WEAKREFS(t) \
300 (PyType_HasFeature((t), Py_TPFLAGS_HAVE_WEAKREFS) \
301 && ((t)->tp_weaklistoffset > 0))
Fred Drake41deb1e2001-02-01 05:27:45 +0000302
303#define PyObject_GET_WEAKREFS_LISTPTR(o) \
304 ((PyObject **) (((char *) (o)) + (o)->ob_type->tp_weaklistoffset))
305
Guido van Rossuma3309961993-07-28 09:05:47 +0000306#ifdef __cplusplus
307}
308#endif
309#endif /* !Py_OBJIMPL_H */