X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Fgencgc-internal.h;h=41642ecfd0972d02d9152505eb28937ea431648c;hb=d4d6c4b16a3655ce99a87d43f411391363531260;hp=eaa789849a3b24ca7e48959b95a070d9751c19fd;hpb=b85552a9ed94019afd70b11b069f3c9b0afdaaa8;p=sbcl.git diff --git a/src/runtime/gencgc-internal.h b/src/runtime/gencgc-internal.h index eaa7898..41642ec 100644 --- a/src/runtime/gencgc-internal.h +++ b/src/runtime/gencgc-internal.h @@ -19,6 +19,7 @@ #ifndef _GENCGC_INTERNAL_H_ #define _GENCGC_INTERNAL_H_ +#include "gc.h" #include "gencgc-alloc-region.h" #include "genesis/code.h" @@ -27,44 +28,42 @@ * sizes are on archs other than x86 and PPC - Patrik */ #define PAGE_BYTES 4096 - void gc_free_heap(void); -inline int find_page_index(void *); -inline void *page_address(int); +inline page_index_t find_page_index(void *); +inline void *page_address(page_index_t); int gencgc_handle_wp_violation(void *); -lispobj *search_dynamic_space(lispobj *); struct page { - unsigned + unsigned int /* This is set when the page is write-protected. This should - * always reflect the actual write_protect status of a page. - * (If the page is written into, we catch the exception, make - * the page writable, and clear this flag.) */ + * always reflect the actual write_protect status of a page. + * (If the page is written into, we catch the exception, make + * the page writable, and clear this flag.) */ write_protected :1, - /* This flag is set when the above write_protected flag is - * cleared by the SIGBUS handler (or SIGSEGV handler, for some - * OSes). This is useful for re-scavenging pages that are - * written during a GC. */ - write_protected_cleared :1, - /* the region the page is allocated to: 0 for a free page; 1 + /* This flag is set when the above write_protected flag is + * cleared by the SIGBUS handler (or SIGSEGV handler, for some + * OSes). This is useful for re-scavenging pages that are + * written during a GC. */ + write_protected_cleared :1, + /* the region the page is allocated to: 0 for a free page; 1 * for boxed objects; 2 for unboxed objects. If the page is * free the following slots are invalid (well the bytes_used * must be 0). */ - allocated :3, - /* If this page should not be moved during a GC then this flag + allocated :3, + /* If this page should not be moved during a GC then this flag * is set. It's only valid during a GC for allocated pages. */ - dont_move :1, - /* If the page is part of a large object then this flag is + dont_move :1, + /* If the page is part of a large object then this flag is * set. No other objects should be allocated to these pages. * This is only valid when the page is allocated. */ - large_object :1; + large_object :1; /* the generation that this page belongs to. This should be valid * for all pages that may have objects allocated, even current * allocation region pages - this allows the space of an object to * be easily determined. */ - int gen; + generation_index_t gen; /* the number of bytes of this page that are used. This may be less * than the actual bytes used for pages within the current @@ -72,38 +71,44 @@ struct page { * hard to achieve). */ int bytes_used; - /* It is important to know the offset to the first object in the - * page. Currently it's only important to know if an object starts - * at the beginning of the page in which case the offset would be 0. */ - int first_object_offset; + /* The name of this field is not well-chosen for its actual use. + * This is the offset from the start of the page to the start + * of the alloc_region which contains/contained it. It's negative or 0 + */ + long first_object_offset; }; /* values for the page.allocated field */ /* the number of pages needed for the dynamic space - rounding up */ -#define NUM_PAGES ((DYNAMIC_SPACE_SIZE+PAGE_BYTES-1)/PAGE_BYTES) +#define NUM_PAGES ((page_index_t) ((DYNAMIC_SPACE_SIZE+PAGE_BYTES-1)/PAGE_BYTES)) + extern struct page page_table[NUM_PAGES]; +/* forward declarations */ -void sniff_code_object(struct code *code, unsigned displacement); +void sniff_code_object(struct code *code, unsigned long displacement); void gencgc_apply_code_fixups(struct code *old_code, struct code *new_code); -int update_x86_dynamic_space_free_pointer(void); -void gc_alloc_update_page_tables(int unboxed, - struct alloc_region *alloc_region); +long update_dynamic_space_free_pointer(void); +void gc_alloc_update_page_tables(int unboxed, + struct alloc_region *alloc_region); +void gc_alloc_update_all_page_tables(void); +void gc_set_region_empty(struct alloc_region *region); + /* * predicates */ -static inline int -space_matches_p(lispobj obj, int space) +static inline boolean +space_matches_p(lispobj obj, generation_index_t space) { - int page_index=(void*)obj - (void *)DYNAMIC_SPACE_START; + page_index_t page_index=(void*)obj - (void *)DYNAMIC_SPACE_START; return ((page_index >= 0) - && ((page_index = - ((unsigned int)page_index)/PAGE_BYTES) < NUM_PAGES) - && (page_table[page_index].gen == space)); + && ((page_index = + ((unsigned long)page_index)/PAGE_BYTES) < NUM_PAGES) + && (page_table[page_index].gen == space)); } static inline boolean @@ -118,6 +123,7 @@ new_space_p(lispobj obj) return space_matches_p(obj,new_space); } +extern page_index_t last_free_page; +extern boolean gencgc_partial_pickup; - -#endif +#endif