Mercurial > hg > xemacs-beta
annotate src/README.kkcc @ 5124:623d57b7fbe8 ben-lisp-object
separate regular and disksave finalization, print method fixes.
Create separate disksave method and make the finalize method only be for
actual object finalization, not disksave finalization.
Fix places where 0 was given in place of a printer -- print methods are
mandatory, and internal objects formerly without a print method now must
explicitly specify internal_object_printer().
Change the defn of CONSOLE_LIVE_P to avoid problems in some weird situations.
-------------------- ChangeLog entries follow: --------------------
src/ChangeLog addition:
2010-01-20 Ben Wing <ben@xemacs.org>
* alloc.c:
* alloc.c (very_old_free_lcrecord):
* alloc.c (disksave_object_finalization_1):
* alloc.c (make_lcrecord_list):
* alloc.c (alloc_managed_lcrecord):
* alloc.c (free_managed_lcrecord):
* alloc.c (sweep_lcrecords_1):
* buffer.c:
* bytecode.c:
* bytecode.c (Fcompiled_function_p):
* chartab.c:
* console-impl.h:
* console-impl.h (CONSOLE_TYPE_P):
* console.c:
* console.c (set_quit_events):
* data.c:
* data.c (Fmake_ephemeron):
* database.c:
* database.c (finalize_database):
* database.c (Fclose_database):
* device-msw.c:
* device-msw.c (finalize_devmode):
* device-msw.c (allocate_devmode):
* device.c:
* elhash.c:
* elhash.c (finalize_hash_table):
* eval.c:
* eval.c (bind_multiple_value_limits):
* event-stream.c:
* event-stream.c (finalize_command_builder):
* events.c:
* events.c (mark_event):
* extents.c:
* extents.c (finalize_extent_info):
* extents.c (uninit_buffer_extents):
* faces.c:
* file-coding.c:
* file-coding.c (finalize_coding_system):
* file-coding.h:
* file-coding.h (struct coding_system_methods):
* file-coding.h (struct detector):
* floatfns.c:
* floatfns.c (extract_float):
* fns.c:
* fns.c (Fidentity):
* font-mgr.c (finalize_fc_pattern):
* font-mgr.c (finalize_fc_config):
* frame.c:
* glyphs.c:
* glyphs.c (finalize_image_instance):
* glyphs.c (unmap_subwindow_instance_cache_mapper):
* gui.c:
* gui.c (gui_error):
* keymap.c:
* lisp.h (struct Lisp_Symbol):
* lrecord.h:
* lrecord.h (struct lrecord_implementation):
* lrecord.h (MC_ALLOC_CALL_FINALIZER):
* lrecord.h (MC_ALLOC_CALL_FINALIZER_FOR_DISKSAVE):
* lrecord.h (DEFINE_DUMPABLE_LISP_OBJECT):
* lrecord.h (DEFINE_DUMPABLE_GENERAL_LISP_OBJECT):
* lrecord.h (DEFINE_DUMPABLE_SIZABLE_LISP_OBJECT):
* lrecord.h (DEFINE_DUMPABLE_SIZABLE_GENERAL_LISP_OBJECT):
* lrecord.h (DEFINE_DUMPABLE_FROB_BLOCK_LISP_OBJECT):
* lrecord.h (DEFINE_DUMPABLE_FROB_BLOCK_GENERAL_LISP_OBJECT):
* lrecord.h (DEFINE_DUMPABLE_FROB_BLOCK_SIZABLE_LISP_OBJECT):
* lrecord.h (DEFINE_DUMPABLE_INTERNAL_LISP_OBJECT):
* lrecord.h (DEFINE_DUMPABLE_SIZABLE_INTERNAL_LISP_OBJECT):
* lrecord.h (DEFINE_NODUMP_LISP_OBJECT):
* lrecord.h (DEFINE_NODUMP_GENERAL_LISP_OBJECT):
* lrecord.h (DEFINE_NODUMP_SIZABLE_LISP_OBJECT):
* lrecord.h (DEFINE_NODUMP_SIZABLE_GENERAL_LISP_OBJECT):
* lrecord.h (DEFINE_NODUMP_FROB_BLOCK_LISP_OBJECT):
* lrecord.h (DEFINE_NODUMP_FROB_BLOCK_GENERAL_LISP_OBJECT):
* lrecord.h (DEFINE_NODUMP_FROB_BLOCK_SIZABLE_LISP_OBJECT):
* lrecord.h (DEFINE_NODUMP_INTERNAL_LISP_OBJECT):
* lrecord.h (DEFINE_NODUMP_SIZABLE_INTERNAL_LISP_OBJECT):
* lrecord.h (MAKE_LISP_OBJECT):
* lrecord.h (DEFINE_DUMPABLE_MODULE_LISP_OBJECT):
* lrecord.h (DEFINE_DUMPABLE_MODULE_GENERAL_LISP_OBJECT):
* lrecord.h (DEFINE_DUMPABLE_MODULE_SIZABLE_LISP_OBJECT):
* lrecord.h (DEFINE_DUMPABLE_MODULE_SIZABLE_GENERAL_LISP_OBJECT):
* lrecord.h (DEFINE_NODUMP_MODULE_LISP_OBJECT):
* lrecord.h (DEFINE_NODUMP_MODULE_GENERAL_LISP_OBJECT):
* lrecord.h (DEFINE_NODUMP_MODULE_SIZABLE_LISP_OBJECT):
* lrecord.h (DEFINE_NODUMP_MODULE_SIZABLE_GENERAL_LISP_OBJECT):
* lrecord.h (MAKE_MODULE_LISP_OBJECT):
* lstream.c:
* lstream.c (finalize_lstream):
* lstream.c (disksave_lstream):
* marker.c:
* marker.c (finalize_marker):
* mule-charset.c (make_charset):
* number.c:
* objects.c:
* objects.c (finalize_color_instance):
* objects.c (finalize_font_instance):
* opaque.c:
* opaque.c (make_opaque_ptr):
* process-nt.c:
* process-nt.c (nt_finalize_process_data):
* process-nt.c (nt_deactivate_process):
* process.c:
* process.c (finalize_process):
* procimpl.h (struct process_methods):
* scrollbar.c:
* scrollbar.c (free_scrollbar_instance):
* specifier.c (finalize_specifier):
* symbols.c:
* toolbar.c:
* toolbar.c (Ftoolbar_button_p):
* tooltalk.c:
* ui-gtk.c:
* ui-gtk.c (emacs_gtk_object_finalizer):
* ui-gtk.c (allocate_emacs_gtk_boxed_data):
* window.c:
* window.c (finalize_window):
* window.c (mark_window_as_deleted):
Separate out regular and disksave finalization. Instead of a
FOR_DISKSAVE argument to the finalizer, create a separate object
method `disksaver'. Make `finalizer' have only one argument.
Go through and separate out all finalize methods into finalize
and disksave. Delete lots of thereby redundant disksave checking.
Delete places that signal an error if we attempt to disksave --
all of these objects are non-dumpable and we will get an error
from pdump anyway if we attempt to dump them. After this is done,
only one object remains that has a disksave method -- lstream.
Change DEFINE_*_LISP_OBJECT_WITH_PROPS to DEFINE_*_GENERAL_LISP_OBJECT,
which is used for specifying either property methods or disksave
methods (or in the future, any other less-used methods).
Remove the for_disksave argument to finalize_process_data. Don't
provide a disksaver for processes because no one currently needs
it.
Clean up various places where objects didn't provide a print method.
It was made mandatory in previous changes, and all methods now
either provide their own print method or use internal_object_printer
or external_object_printer.
Change the definition of CONSOLE_LIVE_P to use the contype enum
rather than looking into the conmeths structure -- in some weird
situations with dead objects, the conmeths structure is NULL,
and printing such objects from debug_print() will crash if we try
to look into the conmeths structure.
| author | Ben Wing <ben@xemacs.org> |
|---|---|
| date | Wed, 20 Jan 2010 07:05:57 -0600 |
| parents | ac1be85b4a5f |
| children | 3889ef128488 |
| rev | line source |
|---|---|
| 992 | 1 2002-07-17 Marcus Crestani <crestani@informatik.uni-tuebingen.de> |
| 2 Markus Kaltenbach <makalten@informatik.uni-tuebingen.de> | |
| 3 Mike Sperber <mike@xemacs.org> | |
| 4 | |
| 1598 | 5 updated 2003-07-29 |
| 6 | |
| 992 | 7 New KKCC-GC mark algorithm: |
| 8 configure flag : --use-kkcc | |
| 9 | |
| 10 For better understanding, first a few words about the mark algorithm | |
| 11 up to now: | |
| 12 Every Lisp_Object has its own mark method, which calls mark_object | |
| 13 with the stuff to be marked. | |
| 1598 | 14 Also, many Lisp_Objects have pdump descriptions memory_descriptions, |
| 15 which are used by the portable dumper. The dumper gets all the | |
| 16 information it needs about the Lisp_Object from the descriptions. | |
| 992 | 17 |
| 18 Also the garbage collector can use the information in the pdump | |
| 19 descriptions, so we can get rid of the mark methods. | |
| 20 That is what we have been doing. | |
| 21 | |
| 22 | |
| 23 DUMPABLE FLAG | |
| 24 ------------- | |
| 25 First we added a dumpable flag to lrecord_implementation. It shows, | |
| 26 if the object is dumpable and should be processed by the dumper. | |
| 27 The dumpable flag is the third argument of a lrecord_implementation | |
| 28 definition (DEFINE_LRECORD_IMPLEMENTATION). | |
| 29 If it is set to 1, the dumper processes the descriptions and dumps | |
| 30 the Object, if it is set to 0, the dumper does not care about it. | |
| 31 | |
| 32 | |
| 1598 | 33 KKCC MARKING |
| 34 ------------ | |
| 35 All Lisp_Objects have memory_descriptions now, so we could get | |
| 36 rid of the mark_object calls. | |
| 37 The KKCC algorithm manages its own stack. Instead of calling | |
| 38 mark_object, all the alive Lisp_Objects are pushed on the | |
| 39 kkcc_gc_stack. Then these elements on the stack are processed | |
| 40 according to their descriptions. | |
| 41 | |
| 42 | |
| 992 | 43 TODO |
| 44 ---- | |
| 1598 | 45 - For weakness use weak datatypes instead of XD_FLAG_NO_KKCC. |
| 46 XD_FLAG_NO_KKCC occurs in: | |
| 47 * elhash.c: htentry | |
| 48 * extents.c: lispobject_gap_array, extent_list, extent_info | |
| 49 * marker.c: marker | |
| 50 Not everything has to be rewritten. See Ben's comment in lrecord.h. | |
| 51 - Clean up special case marking (weak_hash_tables, weak_lists, | |
| 52 ephemerons). | |
| 53 - Stack optimization (have one stack during runtime instead of | |
| 54 malloc/free it for every garbage collect) | |
| 992 | 55 |
| 1204 | 56 There are a few Lisp_Objects, where there occured differences and |
| 57 inexactness between the mark-method and the pdump description. All | |
| 58 these Lisp_Objects get dumped (except image instances), so their | |
| 59 descriptions have been written, before we started our work: | |
| 992 | 60 * alloc.c: string |
| 1598 | 61 description: size_, data_, and plist is described |
| 62 mark: only plist is marked, but flush_cached_extent_info is called. | |
| 63 flush_cached_extent_info -> | |
| 64 free_soe -> | |
| 65 free_extent_list -> | |
| 66 free_gap_array -> | |
| 67 gap_array_delete_all_markers -> | |
| 68 Add gap_array to the gap_array_marker_freelist | |
| 992 | 69 |
| 1204 | 70 * glyphs.c: image_instance |
| 1598 | 71 description: device is not set to nil |
| 1204 | 72 mark: mark method sets device to nil if dead |
| 1598 | 73 See comment above the description. |