X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Fsave.c;h=da7334949a7179b748c650b58e9e653fd5ca0278;hb=a8161e77843ee18a99ec30dd57f796264dfac05a;hp=80691417d4eb3b385958683662986a8fedfdc2ff;hpb=9f10bc102adce15a820027777a03e49a7b7623da;p=sbcl.git diff --git a/src/runtime/save.c b/src/runtime/save.c index 8069141..da73349 100644 --- a/src/runtime/save.c +++ b/src/runtime/save.c @@ -102,8 +102,7 @@ save(char *filename, lispobj init_function) printf("done]\n"); fflush(stdout); - /* (Now we can actually start copying ourselves into the - * output file.) */ + /* (Now we can actually start copying ourselves into the output file.) */ printf("[saving current Lisp image into %s:\n", filename); fflush(stdout); @@ -114,9 +113,22 @@ save(char *filename, lispobj init_function) putw(3, file); putw(SBCL_CORE_VERSION_INTEGER, file); - putw(NEW_DIRECTORY_CORE_ENTRY_TYPE_CODE, file); - putw((5*3)+2, file); + putw(BUILD_ID_CORE_ENTRY_TYPE_CODE, file); + putw(/* (We're writing the word count of the entry here, and the 2 + * term is one word for the leading BUILD_ID_CORE_ENTRY_TYPE_CODE + * word and one word where we store the count itself.) */ + 2 + strlen(build_id), + file); + { + char *p; + for (p = build_id; *p; ++p) + putw(*p, file); + } + putw(NEW_DIRECTORY_CORE_ENTRY_TYPE_CODE, file); + putw(/* (word count = 3 spaces described by 5 words each, plus the + * entry type code, plus this count itself) */ + (5*3)+2, file); output_space(file, READ_ONLY_CORE_SPACE_ID, (lispobj *)READ_ONLY_SPACE_START, @@ -132,6 +144,14 @@ save(char *filename, lispobj init_function) dynamic_space_free_pointer); #else #ifdef LISP_FEATURE_GENCGC + /* I don't know too much about the circumstances in which we could + * end up here. It may be that current_region_free_pointer is + * guaranteed to be relevant and we could skip these slightly + * paranoid checks. TRT would be to rid the code of + * current_region_foo completely - dan 2002.09.17 */ + if((boxed_region.free_pointer < current_region_free_pointer) && + (boxed_region.end_addr == current_region_end_addr)) + boxed_region.free_pointer = current_region_free_pointer; /* Flush the current_region, updating the tables. */ gc_alloc_update_page_tables(0,&boxed_region); gc_alloc_update_page_tables(1,&unboxed_region);