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