Mercurial > hg > xemacs-beta
comparison src/number.c @ 5169:6c6d78781d59
cleanup of code related to xfree(), better KKCC backtrace capabilities, document XD_INLINE_LISP_OBJECT_BLOCK_PTR, fix some memory leaks, other code cleanup
-------------------- ChangeLog entries follow: --------------------
src/ChangeLog addition:
2010-03-24 Ben Wing <ben@xemacs.org>
* array.h:
* array.h (XD_LISP_DYNARR_DESC):
* dumper.c (pdump_register_sub):
* dumper.c (pdump_store_new_pointer_offsets):
* dumper.c (pdump_reloc_one_mc):
* elhash.c:
* gc.c (lispdesc_one_description_line_size):
* gc.c (kkcc_marking):
* lrecord.h:
* lrecord.h (IF_NEW_GC):
* lrecord.h (enum memory_description_type):
* lrecord.h (enum data_description_entry_flags):
* lrecord.h (struct opaque_convert_functions):
Rename XD_LISP_OBJECT_BLOCK_PTR to XD_INLINE_LISP_OBJECT_BLOCK_PTR
and document it in lrecord.h.
* data.c:
* data.c (finish_marking_weak_lists):
* data.c (continue_marking_ephemerons):
* data.c (finish_marking_ephemerons):
* elhash.c (MARK_OBJ):
* gc.c:
* gc.c (lispdesc_indirect_count_1):
* gc.c (struct):
* gc.c (kkcc_bt_push):
* gc.c (kkcc_gc_stack_push):
* gc.c (kkcc_gc_stack_push_lisp_object):
* gc.c (kkcc_gc_stack_repush_dirty_object):
* gc.c (KKCC_DO_CHECK_FREE):
* gc.c (mark_object_maybe_checking_free):
* gc.c (mark_struct_contents):
* gc.c (mark_lisp_object_block_contents):
* gc.c (register_for_finalization):
* gc.c (mark_object):
* gc.h:
* lisp.h:
* profile.c:
* profile.c (mark_profiling_info_maphash):
Clean up KKCC code related to DEBUG_XEMACS. Rename
kkcc_backtrace() to kkcc_backtrace_1() and add two params: a
`size' arg to control how many stack elements to print and a
`detailed' arg to control whether Lisp objects are printed using
`debug_print()'. Create front-ends to kkcc_backtrace_1() --
kkcc_detailed_backtrace(), kkcc_short_backtrace(),
kkcc_detailed_backtrace_full(), kkcc_short_backtrace_full(), as
well as shortened versions kbt(), kbts(), kbtf(), kbtsf() -- to
call it with various parameter values. Add an `is_lisp' field to
the stack and backtrace structures and use it to keep track of
whether an object pushed onto the stack is a Lisp object or a
non-Lisp structure; in kkcc_backtrace_1(), don't try to print a
non-Lisp structure as a Lisp object.
* elhash.c:
* extents.c:
* file-coding.c:
* lrecord.h:
* lrecord.h (IF_NEW_GC):
* marker.c:
* marker.c (Fmarker_buffer):
* mule-coding.c:
* number.c:
* rangetab.c:
* specifier.c:
New macros IF_OLD_GC(), IF_NEW_GC() to simplify declaration of
Lisp objects when a finalizer may exist in one but not the other.
Use them appropriately.
* extents.c (finalize_extent_info):
Don't zero out data->soe and data->extents before trying to free,
else we get memory leaks.
* lrecord.h (enum lrecord_type):
Make the first lrecord type have value 1 not 0 so that 0 remains
without implementation and attempts to interpret zeroed memory
as a Lisp object will be more obvious.
* array.c (Dynarr_free):
* device-msw.c (msprinter_delete_device):
* device-tty.c (free_tty_device_struct):
* device-tty.c (tty_delete_device):
* dialog-msw.c (handle_directory_dialog_box):
* dialog-x.c:
* emacs.c (free_argc_argv):
* emodules.c (attempt_module_delete):
* file-coding.c (chain_finalize_coding_stream_1):
* file-coding.c (chain_finalize_coding_stream):
* glyphs-eimage.c:
* glyphs-eimage.c (jpeg_instantiate_unwind):
* glyphs-eimage.c (gif_instantiate_unwind):
* glyphs-eimage.c (png_instantiate_unwind):
* glyphs-eimage.c (tiff_instantiate_unwind):
* imgproc.c:
* imgproc.c (build_EImage_quantable):
* insdel.c (uninit_buffer_text):
* mule-coding.c (iso2022_finalize_detection_state):
* objects-tty.c (tty_finalize_color_instance):
* objects-tty.c (tty_finalize_font_instance):
* objects-tty.c (tty_font_list):
* process.c:
* process.c (finalize_process):
* redisplay.c (add_propagation_runes):
* scrollbar-gtk.c:
* scrollbar-gtk.c (gtk_free_scrollbar_instance):
* scrollbar-gtk.c (gtk_release_scrollbar_instance):
* scrollbar-msw.c:
* scrollbar-msw.c (mswindows_free_scrollbar_instance):
* scrollbar-msw.c (unshow_that_mofo):
* scrollbar-x.c (x_free_scrollbar_instance):
* scrollbar-x.c (x_release_scrollbar_instance):
* select-x.c:
* select-x.c (x_handle_selection_request):
* syntax.c:
* syntax.c (uninit_buffer_syntax_cache):
* text.h (eifree):
If possible, whenever we call xfree() on a field in a structure,
set the field to 0 afterwards. A lot of code is written so that
it checks the value being freed to see if it is non-zero before
freeing it -- doing this and setting the value to 0 afterwards
ensures (a) we won't try to free twice if the cleanup code is
called twice; (b) if the object itself stays around, KKCC won't
crash when attempting to mark the freed field.
* rangetab.c:
Add a finalization method when not NEW_GC to avoid memory leaks.
(#### We still get memory leaks when NEW_GC; need to convert gap
array to Lisp object).
author | Ben Wing <ben@xemacs.org> |
---|---|
date | Wed, 24 Mar 2010 01:22:51 -0500 |
parents | 0dcd22290039 |
children | 71ee43b8a74d |
comparison
equal
deleted
inserted
replaced
5168:cf900a2f1fa3 | 5169:6c6d78781d59 |
---|---|
68 sure this doesn't happen more than once, just in case --- | 68 sure this doesn't happen more than once, just in case --- |
69 e.g. checking if it's zero before finalizing and then setting it to | 69 e.g. checking if it's zero before finalizing and then setting it to |
70 zero after finalizing. */ | 70 zero after finalizing. */ |
71 bignum_fini (num->data); | 71 bignum_fini (num->data); |
72 } | 72 } |
73 #define BIGNUM_FINALIZE bignum_finalize | |
74 #else | |
75 #define BIGNUM_FINALIZE 0 | |
76 #endif | 73 #endif |
77 | 74 |
78 static int | 75 static int |
79 bignum_equal (Lisp_Object obj1, Lisp_Object obj2, int UNUSED (depth), | 76 bignum_equal (Lisp_Object obj1, Lisp_Object obj2, int UNUSED (depth), |
80 int UNUSED (foldcase)) | 77 int UNUSED (foldcase)) |
123 0, { &bignum_opc }, XD_FLAG_NO_KKCC }, | 120 0, { &bignum_opc }, XD_FLAG_NO_KKCC }, |
124 { XD_END } | 121 { XD_END } |
125 }; | 122 }; |
126 | 123 |
127 DEFINE_DUMPABLE_FROB_BLOCK_LISP_OBJECT ("bignum", bignum, 0, bignum_print, | 124 DEFINE_DUMPABLE_FROB_BLOCK_LISP_OBJECT ("bignum", bignum, 0, bignum_print, |
128 BIGNUM_FINALIZE, bignum_equal, | 125 IF_NEW_GC (bignum_finalize), |
129 bignum_hash, bignum_description, | 126 bignum_equal, bignum_hash, |
130 Lisp_Bignum); | 127 bignum_description, Lisp_Bignum); |
131 | |
132 #endif /* HAVE_BIGNUM */ | 128 #endif /* HAVE_BIGNUM */ |
133 | 129 |
134 Lisp_Object Qbignump; | 130 Lisp_Object Qbignump; |
135 | 131 |
136 DEFUN ("bignump", Fbignump, 1, 1, 0, /* | 132 DEFUN ("bignump", Fbignump, 1, 1, 0, /* |
162 sure this doesn't happen more than once, just in case --- | 158 sure this doesn't happen more than once, just in case --- |
163 e.g. checking if it's zero before finalizing and then setting it to | 159 e.g. checking if it's zero before finalizing and then setting it to |
164 zero after finalizing. */ | 160 zero after finalizing. */ |
165 ratio_fini (num->data); | 161 ratio_fini (num->data); |
166 } | 162 } |
167 #define RATIO_FINALIZE ratio_finalize | 163 #endif /* not NEW_GC */ |
168 #else | |
169 #define RATIO_FINALIZE 0 | |
170 #endif | |
171 | 164 |
172 static int | 165 static int |
173 ratio_equal (Lisp_Object obj1, Lisp_Object obj2, int UNUSED (depth), | 166 ratio_equal (Lisp_Object obj1, Lisp_Object obj2, int UNUSED (depth), |
174 int UNUSED (foldcase)) | 167 int UNUSED (foldcase)) |
175 { | 168 { |
186 { XD_OPAQUE_PTR, offsetof (Lisp_Ratio, data) }, | 179 { XD_OPAQUE_PTR, offsetof (Lisp_Ratio, data) }, |
187 { XD_END } | 180 { XD_END } |
188 }; | 181 }; |
189 | 182 |
190 DEFINE_NODUMP_FROB_BLOCK_LISP_OBJECT ("ratio", ratio, 0, ratio_print, | 183 DEFINE_NODUMP_FROB_BLOCK_LISP_OBJECT ("ratio", ratio, 0, ratio_print, |
191 RATIO_FINALIZE, ratio_equal, ratio_hash, | 184 IF_NEW_GC (ratio_finalize), |
185 ratio_equal, ratio_hash, | |
192 ratio_description, Lisp_Ratio); | 186 ratio_description, Lisp_Ratio); |
193 | 187 |
194 #endif /* HAVE_RATIO */ | 188 #endif /* HAVE_RATIO */ |
195 | 189 |
196 Lisp_Object Qratiop; | 190 Lisp_Object Qratiop; |
268 sure this doesn't happen more than once, just in case --- | 262 sure this doesn't happen more than once, just in case --- |
269 e.g. checking if it's zero before finalizing and then setting it to | 263 e.g. checking if it's zero before finalizing and then setting it to |
270 zero after finalizing. */ | 264 zero after finalizing. */ |
271 bigfloat_fini (num->bf); | 265 bigfloat_fini (num->bf); |
272 } | 266 } |
273 #define BIGFLOAT_FINALIZE bigfloat_finalize | 267 #endif /* not NEW_GC */ |
274 #else | |
275 #define BIGFLOAT_FINALIZE 0 | |
276 #endif | |
277 | 268 |
278 static int | 269 static int |
279 bigfloat_equal (Lisp_Object obj1, Lisp_Object obj2, int UNUSED (depth), | 270 bigfloat_equal (Lisp_Object obj1, Lisp_Object obj2, int UNUSED (depth), |
280 int UNUSED (foldcase)) | 271 int UNUSED (foldcase)) |
281 { | 272 { |
292 { XD_OPAQUE_PTR, offsetof (Lisp_Bigfloat, bf) }, | 283 { XD_OPAQUE_PTR, offsetof (Lisp_Bigfloat, bf) }, |
293 { XD_END } | 284 { XD_END } |
294 }; | 285 }; |
295 | 286 |
296 DEFINE_DUMPABLE_FROB_BLOCK_LISP_OBJECT ("bigfloat", bigfloat, 0, | 287 DEFINE_DUMPABLE_FROB_BLOCK_LISP_OBJECT ("bigfloat", bigfloat, 0, |
297 bigfloat_print, BIGFLOAT_FINALIZE, | 288 bigfloat_print, |
289 IF_NEW_GC (bigfloat_finalize), | |
298 bigfloat_equal, bigfloat_hash, | 290 bigfloat_equal, bigfloat_hash, |
299 bigfloat_description, Lisp_Bigfloat); | 291 bigfloat_description, Lisp_Bigfloat); |
300 | 292 |
301 #endif /* HAVE_BIGFLOAT */ | 293 #endif /* HAVE_BIGFLOAT */ |
302 | 294 |