X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Fgencgc-internal.h;h=c7d897427987998fdff7da597ae1e6dbf2a2c11c;hb=ed1910efb36f71b5ebe33b5ffffd7195e15644de;hp=b8beae0023c428de945b92cb89bef885795807c1;hpb=97423182206cfe8c078eff105fea00dceb03be99;p=sbcl.git diff --git a/src/runtime/gencgc-internal.h b/src/runtime/gencgc-internal.h index b8beae0..c7d8974 100644 --- a/src/runtime/gencgc-internal.h +++ b/src/runtime/gencgc-internal.h @@ -24,34 +24,44 @@ #include "gencgc-alloc-region.h" #include "genesis/code.h" -#define PAGE_BYTES GENCGC_PAGE_SIZE - void gc_free_heap(void); -inline page_index_t find_page_index(void *); -inline void *page_address(page_index_t); +extern page_index_t find_page_index(void *); +extern void *page_address(page_index_t); int gencgc_handle_wp_violation(void *); + +#if GENCGC_CARD_BYTES > USHRT_MAX +# if GENCGC_CARD_BYTES > UINT_MAX +# error "GENCGC_CARD_BYTES unexpectedly large." +# else +# define PAGE_BYTES_FMT "u" + typedef unsigned int page_bytes_t; +# endif +#else +# define PAGE_BYTES_FMT "hu" + typedef unsigned short page_bytes_t; +#endif + +/* Note that this structure is also used from Lisp-side in + * src/code/room.lisp, and the Lisp-side structure layout is currently + * not groveled from C code but hardcoded. Any changes to the + * structure layout need to be also made there. + * + * FIXME: We should probably just define this structure in Lisp, and + * output the C version in genesis. -- JES, 2006-12-30. + */ 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 + /* This is the offset from the start of the page to the start of + * the alloc_region which contains/contained it. */ - long first_object_offset; + os_vm_size_t region_start_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 + page_bytes_t bytes_used; unsigned /* This is set when the page is write-protected. This should @@ -64,10 +74,14 @@ struct page { * 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). */ + /* 000 free + * 10? boxed data + * 11? boxed code + * 01? unboxed data + * ??1 open region + * + * If the page is free the following slots are invalid, except + * for the bytes_used which must be zero. */ 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. */ @@ -76,7 +90,7 @@ struct page { * set. No other objects should be allocated to these pages. * This is only valid when the page is allocated. */ large_object :1, - /* True if the page is known to contain only zeroes. */ + /* Cleared if the page is known to contain only zeroes. */ need_to_zero :1; /* the generation that this page belongs to. This should be valid @@ -90,34 +104,35 @@ struct page { /* values for the page.allocated field */ -/* the number of pages needed for the dynamic space - rounding up */ -#define NUM_PAGES ((page_index_t) ((DYNAMIC_SPACE_SIZE+PAGE_BYTES-1)/PAGE_BYTES)) - -extern struct page page_table[NUM_PAGES]; +extern page_index_t page_table_pages; +extern struct page *page_table; /* forward declarations */ -void sniff_code_object(struct code *code, unsigned long displacement); +void sniff_code_object(struct code *code, os_vm_size_t displacement); void gencgc_apply_code_fixups(struct code *old_code, struct code *new_code); long update_dynamic_space_free_pointer(void); -void gc_alloc_update_page_tables(int unboxed, - struct alloc_region *alloc_region); +void gc_alloc_update_page_tables(int page_type_flag, 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 boolean space_matches_p(lispobj obj, generation_index_t space) { - page_index_t page_index=(void*)obj - (void *)DYNAMIC_SPACE_START; - return ((page_index >= 0) - && ((page_index = - ((unsigned long)page_index)/PAGE_BYTES) < NUM_PAGES) - && (page_table[page_index].gen == space)); + if (obj >= DYNAMIC_SPACE_START) { + page_index_t page_index=((pointer_sized_uint_t)obj + - DYNAMIC_SPACE_START) / GENCGC_CARD_BYTES; + return ((page_index < page_table_pages) && + (page_table[page_index].gen == space)); + } else { + return 0; + } } static inline boolean