2 * This software is part of the SBCL system. See the README file for
5 * This software is derived from the CMU CL system, which was
6 * written at Carnegie Mellon University and released into the
7 * public domain. The software is in the public domain and is
8 * provided with absolutely no warranty. See the COPYING and CREDITS
9 * files for more information.
31 write_bytes(FILE *file, char *addr, long bytes)
33 long count, here, data;
35 bytes = (bytes+os_vm_page_size-1)&~(os_vm_page_size-1);
40 data = (ftell(file)+os_vm_page_size-1)&~(os_vm_page_size-1);
44 count = fwrite(addr, 1, bytes, file);
50 perror("error writing to save file");
56 return data/os_vm_page_size - 1;
60 output_space(FILE *file, int id, lispobj *addr, lispobj *end)
62 int words, bytes, data;
63 static char *names[] = {NULL, "dynamic", "static", "read-only"};
69 bytes = words * sizeof(lispobj);
71 printf("writing %d bytes from the %s space at 0x%08lx\n",
72 bytes, names[id], (unsigned long)addr);
74 data = write_bytes(file, (char *)addr, bytes);
77 putw((long)addr / os_vm_page_size, file);
78 putw((bytes + os_vm_page_size - 1) / os_vm_page_size, file);
82 save(char *filename, lispobj init_function)
86 /* Open the output file. We don't actually need the file yet, but
87 * the fopen() might fail for some reason, and we want to detect
88 * that and back out before we do anything irreversible. */
90 file = fopen(filename, "w");
96 /* Smash the enclosing state. (Once we do this, there's no good
97 * way to go back, which is a sufficient reason that this ends up
98 * being SAVE-LISP-AND-DIE instead of SAVE-LISP-AND-GO-ON). */
99 printf("[undoing binding stack and other enclosing state... ");
101 unbind_to_here((lispobj *)BINDING_STACK_START);
102 SetSymbolValue(CURRENT_CATCH_BLOCK, 0);
103 SetSymbolValue(CURRENT_UNWIND_PROTECT_BLOCK, 0);
107 /* (Now we can actually start copying ourselves into the
110 printf("[saving current Lisp image into %s:\n", filename);
113 putw(CORE_MAGIC, file);
115 putw(CORE_VERSION, file);
117 putw(SBCL_CORE_VERSION_INTEGER, file);
119 putw(CORE_NDIRECTORY, file);
124 (lispobj *)READ_ONLY_SPACE_START,
125 (lispobj *)SymbolValue(READ_ONLY_SPACE_FREE_POINTER));
128 (lispobj *)STATIC_SPACE_START,
129 (lispobj *)SymbolValue(STATIC_SPACE_FREE_POINTER));
133 (lispobj *)current_dynamic_space,
134 dynamic_space_free_pointer);
137 /* Flush the current_region, updating the tables. */
138 gc_alloc_update_page_tables(0,&boxed_region);
139 gc_alloc_update_page_tables(1,&unboxed_region);
140 update_x86_dynamic_space_free_pointer();
144 (lispobj *)DYNAMIC_SPACE_START,
145 (lispobj *)SymbolValue(ALLOCATION_POINTER));
148 putw(CORE_INITIAL_FUNCTION, file);
150 putw(init_function, file);
152 putw(CORE_END, file);