X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Fgencgc-internal.h;h=c9fe3b5b27f2256eb0c9e799b59cad32efdff4bd;hb=bd455348d39bee562296741689882dcb97c46ba3;hp=cca1602ce9cb876588a30bfcb101591695d17a42;hpb=e0697854ef9f4999c8585b64be1b282ce4725176;p=sbcl.git diff --git a/src/runtime/gencgc-internal.h b/src/runtime/gencgc-internal.h index cca1602..c9fe3b5 100644 --- a/src/runtime/gencgc-internal.h +++ b/src/runtime/gencgc-internal.h @@ -19,96 +19,101 @@ #ifndef _GENCGC_INTERNAL_H_ #define _GENCGC_INTERNAL_H_ +#include +#include "gc.h" #include "gencgc-alloc-region.h" #include "genesis/code.h" -/* Size of a page, in bytes. FIXME: needs to be conditionalized per - * architecture, preferably by someone with a clue as to what page - * 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 *); struct page { + /* 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; + + /* the number of bytes of this page that are used. This may be less + * than the actual bytes used for pages within the current + * allocation regions. It should be 0 for all unallocated pages (not + * hard to achieve). + * + * Currently declared as an unsigned short to make the struct size + * smaller. This means that GENCGC-PAGE-SIZE is constrained to fit + * inside a short. + */ + unsigned short bytes_used; + +#if USHRT_MAX < PAGE_BYTES +#error "PAGE_BYTES too large" +#endif unsigned /* 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, + /* True if the page is known to contain only zeroes. */ + need_to_zero :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; - - /* the number of bytes of this page that are used. This may be less - * than the actual bytes used for pages within the current - * allocation regions. It should be 0 for all unallocated pages (not - * hard to achieve). */ - int bytes_used; - - /* 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 - */ - int first_object_offset; + generation_index_t gen; }; + /* 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) - -extern struct page page_table[NUM_PAGES]; +extern unsigned page_table_pages; +extern struct page *page_table; /* 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) < page_table_pages) + && (page_table[page_index].gen == space)); } static inline boolean @@ -123,6 +128,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