October 2015 - cmucl-cvs - mailman3.common-lisp.net

[Git][cmucl/cmucl][rtoy-mmap-anon-control-and-binding-stacks] 3 commits: Fix typo: index -> k.
by Raymond Toy 03 Oct '15

03 Oct '15

Raymond Toy pushed to branch rtoy-mmap-anon-control-and-binding-stacks at cmucl / cmucl Commits: 67befdb5 by Raymond Toy at 2015-10-03T13:55:50Z Fix typo: index -> k. - - - - - 1aa6477b by Raymond Toy at 2015-10-03T13:56:20Z The start of the control stack is control_stack, not control_stack_start. - - - - - 65b5ed77 by Raymond Toy at 2015-10-03T13:56:47Z The start of the control stack is control_stack, not control_stack_start. - - - - - 4 changed files: - src/lisp/globals.c - src/lisp/globals.h - src/lisp/os-common.c - src/lisp/solaris-os.c Changes: ===================================== src/lisp/globals.c ===================================== --- a/src/lisp/globals.c +++ b/src/lisp/globals.c @@ -28,8 +28,6 @@ lispobj *dynamic_1_space; unsigned dynamic_space_size; lispobj *control_stack; - -lispobj *control_stack_start; #if (defined(i386) || defined(__x86_64)) lispobj *control_stack_end; #endif ===================================== src/lisp/globals.h ===================================== --- a/src/lisp/globals.h +++ b/src/lisp/globals.h @@ -37,8 +37,6 @@ extern unsigned long binding_stack_size; extern unsigned long static_space_size; extern unsigned long control_stack_size; -extern lispobj *control_stack_start; - #if (defined(i386) || defined(__x86_64)) extern lispobj *control_stack_end; #endif ===================================== src/lisp/os-common.c ===================================== --- a/src/lisp/os-common.c +++ b/src/lisp/os-common.c @@ -424,7 +424,7 @@ guard_zones(char **yellow_start, char **red_start) * control stack area. */ - char *end = (char *) control_stack_start + control_stack_size; + char *end = (char *) control_stack + control_stack_size; *red_start = end - RED_ZONE_SIZE; *yellow_start = *red_start - YELLOW_ZONE_SIZE; ===================================== src/lisp/solaris-os.c ===================================== --- a/src/lisp/solaris-os.c +++ b/src/lisp/solaris-os.c @@ -436,7 +436,7 @@ static unsigned long *space_size[] = { #define HOLE_SIZE 0x2000 void -make_hole(int index) +make_hole(int k) { os_vm_address_t hole; View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/4b838e3f56bbfb80f9d7eee8…

1 0

[Git][cmucl/cmucl][rtoy-mmap-anon-control-and-binding-stacks] 2 commits: Updates to handle random stack locations better.
by Raymond Toy 03 Oct '15

03 Oct '15

Raymond Toy pushed to branch rtoy-mmap-anon-control-and-binding-stacks at cmucl / cmucl Commits: 1869d093 by Raymond Toy at 2015-10-03T07:55:34Z Updates to handle random stack locations better. * Print out some better messages from os_protect * Add make_hole to actually make a hole * make_holes only does the read-only and static spaces. * make_stack_holes handles the binding and control stacks. - - - - - 4b838e3f by Raymond Toy at 2015-10-03T07:56:07Z Make holes in the stacks, as before. - - - - - 2 changed files: - src/lisp/solaris-os.c - src/lisp/validate.c Changes: ===================================== src/lisp/solaris-os.c ===================================== --- a/src/lisp/solaris-os.c +++ b/src/lisp/solaris-os.c @@ -169,8 +169,14 @@ os_flush_icache(os_vm_address_t address, os_vm_size_t length) void os_protect(os_vm_address_t address, os_vm_size_t length, os_vm_prot_t prot) { - if (mprotect((void *) address, length, prot) == -1) - perror("mprotect"); + if (mprotect((void *) address, length, prot) == -1) { + char msg[1000]; + + snprintf(msg, sizeof(msg), "mprotect: os_protect(0x%p, %u, 0x%x): ", + address, length, prot); + + perror(msg); + } } static boolean @@ -430,27 +436,37 @@ static unsigned long *space_size[] = { #define HOLE_SIZE 0x2000 void -make_holes(void) +make_hole(int index) { - int k; os_vm_address_t hole; /* Make holes of the appropriate size for desired spaces */ - for (k = 0; k < sizeof(spaces) / sizeof(spaces[0]); ++k) { - - hole = spaces[k] + *space_size[k]; + hole = spaces[k] + *space_size[k]; - if (os_validate(hole, HOLE_SIZE) == NULL) { - fprintf(stderr, - "ensure_space: Failed to validate hole of %d bytes at 0x%08lX\n", - HOLE_SIZE, (unsigned long) hole); - exit(1); - } - /* Make it inaccessible */ - os_protect(hole, HOLE_SIZE, 0); + if (os_validate(hole, HOLE_SIZE) == NULL) { + fprintf(stderr, + "ensure_space: Failed to validate hole of %d bytes at 0x%08lX\n", + HOLE_SIZE, (unsigned long) hole); + exit(1); } + /* Make it inaccessible */ + os_protect(hole, HOLE_SIZE, 0); +} + +void +make_holes(void) +{ + os_vm_address_t hole; + + /* + * Make holes of the appropriate size for desired spaces. The + * stacks are handled in make_stack_holes. + */ + make_hole(0); /* Read-only space */ + make_hole(1); /* Static space */ + /* Round up the dynamic_space_size to the nearest SPARSE_BLOCK_SIZE */ dynamic_space_size = round_up_sparse_size(dynamic_space_size); @@ -477,6 +493,13 @@ make_holes(void) #endif } +void +make_stack_holes(void) +{ + make_hole(2); + make_hole(3); +} + void * os_dlsym(const char *sym_name, lispobj lib_list) { ===================================== src/lisp/validate.c ===================================== --- a/src/lisp/validate.c +++ b/src/lisp/validate.c @@ -18,6 +18,7 @@ #ifdef sparc extern void make_holes(void); +extern void make_stack_holes(void); #endif static void @@ -124,6 +125,10 @@ validate_stacks() /* Binding Stack */ binding_stack = os_validate(NULL, binding_stack_size); +#ifdef sparc + make_stack_holes(); +#endif + #ifdef RED_ZONE_HIT os_guard_control_stack(0, 1); #endif View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/586ca74df2c5289c9154e688…

1 0

[Git][cmucl/cmucl][rtoy-mmap-anon-control-and-binding-stacks] 4 commits: Update cmucl version to 21a.
by Raymond Toy 02 Oct '15

02 Oct '15

Raymond Toy pushed to branch rtoy-mmap-anon-control-and-binding-stacks at cmucl / cmucl Commits: 53aac568 by Raymond Toy at 2015-09-30T21:56:04Z Update cmucl version to 21a. Add bootfile for building cmucl with the new version too. - - - - - db9bcbd3 by Raymond Toy at 2015-09-30T21:56:20Z Remove [In progress] note. - - - - - 0743dd00 by Raymond Toy at 2015-09-30T22:17:04Z Note changes for -quiet flag. - - - - - 586ca74d by Raymond Toy at 2015-10-02T18:50:45Z Merge branch 'master' into rtoy-mmap-anon-control-and-binding-stacks - - - - - 3 changed files: - + src/bootfiles/20f/boot-21a.lisp - src/compiler/byte-comp.lisp - src/general-info/release-21a.txt Changes: ===================================== src/bootfiles/20f/boot-21a.lisp ===================================== --- /dev/null +++ b/src/bootfiles/20f/boot-21a.lisp @@ -0,0 +1,68 @@ +;;;; +;;;; Boot file for changing the fasl file version numbers to 21a. +;;;; + +(in-package :c) + +(setf lisp::*enable-package-locked-errors* nil) + +;;; +;;; Note that BYTE-FASL-FILE-VERSION is a constant. +;;; +;;; (Be sure to change BYTE-FASL-FILE-VERSION in +;;; compiler/byte-comp.lisp to the correct value too!) +;;; +#-cmu21a +(setf (symbol-value 'byte-fasl-file-version) #x21a) +#-cmu21a +(setf (backend-fasl-file-version *target-backend*) #x21a) + +;;; +;;; Don't check fasl versions in the compiling Lisp because we'll +;;; load files compiled with the new version numbers. +;;; +#-cmu21a +(setq lisp::*skip-fasl-file-version-check* t) + +;;; +;;; This is here because BYTE-FASL-FILE-VERSION is constant-folded in +;;; OPEN-FASL-FILE. To make the new version number take effect, we +;;; have to redefine the function. +;;; +#-cmu21a +(defun open-fasl-file (name where &optional byte-p) + (declare (type pathname name)) + (let* ((stream (open name :direction :output + :if-exists :new-version + :element-type '(unsigned-byte 8) + :class 'binary-text-stream)) + (res (make-fasl-file :stream stream))) + (multiple-value-bind + (version f-vers f-imp) + (if byte-p + (values "Byte code" + byte-fasl-file-version + (backend-byte-fasl-file-implementation *backend*)) + (values (backend-version *backend*) + (backend-fasl-file-version *backend*) + (backend-fasl-file-implementation *backend*))) + (format stream + "FASL FILE output from ~A.~@ + Compiled ~A on ~A~@ + Compiler ~A, Lisp ~A~@ + Targeted for ~A, FASL version ~X~%" + where + (ext:format-universal-time nil (get-universal-time)) + (machine-instance) compiler-version + (lisp-implementation-version) + version f-vers) + ;; + ;; Terminate header. + (dump-byte 255 res) + ;; + ;; Specify code format. + (dump-fop 'lisp::fop-long-code-format res) + (dump-byte f-imp res) + (dump-unsigned-32 f-vers res)) + res)) + ===================================== src/compiler/byte-comp.lisp ===================================== --- a/src/compiler/byte-comp.lisp +++ b/src/compiler/byte-comp.lisp @@ -38,7 +38,7 @@ ;; 0-9 followed by a single hex digit in the range a-f. Then the ;; version looks like a decimal number followed by a minor release ;; letter of a to f. -(defconstant byte-fasl-file-version #x20f) +(defconstant byte-fasl-file-version #x21a) (let* ((version-string (format nil "~X" byte-fasl-file-version))) ;; Add :cmu<n> to *features* ===================================== src/general-info/release-21a.txt ===================================== --- a/src/general-info/release-21a.txt +++ b/src/general-info/release-21a.txt @@ -1,7 +1,5 @@ ========================== C M U C L 21 a ============================= -[In Progress] - The CMUCL project is pleased to announce the release of CMUCL 21a. This is a major release which contains numerous enhancements and bug fixes from the 20f release. @@ -45,6 +43,10 @@ New in this release: * Added clx-inspector module. * ASDF documentation included in html, info, and pdf formats in contrib/asdf/doc/. + * If -quiet is given, don't print out the herald, even if the user + init files add things to the herald. (Previously, these would + get printed out.) Also, -quiet no longer removes the herald + items; you can sill print out the entire herald using * ANSI compliance fixes: View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/3ee55ba5b826f2dd944c1426…

1 0

[Git][cmucl/cmucl] Pushed new tag 21a
by Raymond Toy 01 Oct '15

01 Oct '15

Raymond Toy pushed new tag 21a at cmucl / cmucl

1 0

[Git][cmucl/cmucl][master] Note changes for -quiet flag.
by Raymond Toy 01 Oct '15

01 Oct '15

Raymond Toy pushed to branch master at cmucl / cmucl Commits: 0743dd00 by Raymond Toy at 2015-09-30T22:17:04Z Note changes for -quiet flag. - - - - - 1 changed file: - src/general-info/release-21a.txt Changes: ===================================== src/general-info/release-21a.txt ===================================== --- a/src/general-info/release-21a.txt +++ b/src/general-info/release-21a.txt @@ -43,6 +43,10 @@ New in this release: * Added clx-inspector module. * ASDF documentation included in html, info, and pdf formats in contrib/asdf/doc/. + * If -quiet is given, don't print out the herald, even if the user + init files add things to the herald. (Previously, these would + get printed out.) Also, -quiet no longer removes the herald + items; you can sill print out the entire herald using * ANSI compliance fixes: View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/0743dd0055fbe8f66fa86e793…

1 0

[Git][cmucl/cmucl][master] 2 commits: Update cmucl version to 21a.
by Raymond Toy 30 Sep '15

30 Sep '15

Raymond Toy pushed to branch master at cmucl / cmucl Commits: 53aac568 by Raymond Toy at 2015-09-30T21:56:04Z Update cmucl version to 21a. Add bootfile for building cmucl with the new version too. - - - - - db9bcbd3 by Raymond Toy at 2015-09-30T21:56:20Z Remove [In progress] note. - - - - - 3 changed files: - + src/bootfiles/20f/boot-21a.lisp - src/compiler/byte-comp.lisp - src/general-info/release-21a.txt Changes: ===================================== src/bootfiles/20f/boot-21a.lisp ===================================== --- /dev/null +++ b/src/bootfiles/20f/boot-21a.lisp @@ -0,0 +1,68 @@ +;;;; +;;;; Boot file for changing the fasl file version numbers to 21a. +;;;; + +(in-package :c) + +(setf lisp::*enable-package-locked-errors* nil) + +;;; +;;; Note that BYTE-FASL-FILE-VERSION is a constant. +;;; +;;; (Be sure to change BYTE-FASL-FILE-VERSION in +;;; compiler/byte-comp.lisp to the correct value too!) +;;; +#-cmu21a +(setf (symbol-value 'byte-fasl-file-version) #x21a) +#-cmu21a +(setf (backend-fasl-file-version *target-backend*) #x21a) + +;;; +;;; Don't check fasl versions in the compiling Lisp because we'll +;;; load files compiled with the new version numbers. +;;; +#-cmu21a +(setq lisp::*skip-fasl-file-version-check* t) + +;;; +;;; This is here because BYTE-FASL-FILE-VERSION is constant-folded in +;;; OPEN-FASL-FILE. To make the new version number take effect, we +;;; have to redefine the function. +;;; +#-cmu21a +(defun open-fasl-file (name where &optional byte-p) + (declare (type pathname name)) + (let* ((stream (open name :direction :output + :if-exists :new-version + :element-type '(unsigned-byte 8) + :class 'binary-text-stream)) + (res (make-fasl-file :stream stream))) + (multiple-value-bind + (version f-vers f-imp) + (if byte-p + (values "Byte code" + byte-fasl-file-version + (backend-byte-fasl-file-implementation *backend*)) + (values (backend-version *backend*) + (backend-fasl-file-version *backend*) + (backend-fasl-file-implementation *backend*))) + (format stream + "FASL FILE output from ~A.~@ + Compiled ~A on ~A~@ + Compiler ~A, Lisp ~A~@ + Targeted for ~A, FASL version ~X~%" + where + (ext:format-universal-time nil (get-universal-time)) + (machine-instance) compiler-version + (lisp-implementation-version) + version f-vers) + ;; + ;; Terminate header. + (dump-byte 255 res) + ;; + ;; Specify code format. + (dump-fop 'lisp::fop-long-code-format res) + (dump-byte f-imp res) + (dump-unsigned-32 f-vers res)) + res)) + ===================================== src/compiler/byte-comp.lisp ===================================== --- a/src/compiler/byte-comp.lisp +++ b/src/compiler/byte-comp.lisp @@ -38,7 +38,7 @@ ;; 0-9 followed by a single hex digit in the range a-f. Then the ;; version looks like a decimal number followed by a minor release ;; letter of a to f. -(defconstant byte-fasl-file-version #x20f) +(defconstant byte-fasl-file-version #x21a) (let* ((version-string (format nil "~X" byte-fasl-file-version))) ;; Add :cmu<n> to *features* ===================================== src/general-info/release-21a.txt ===================================== --- a/src/general-info/release-21a.txt +++ b/src/general-info/release-21a.txt @@ -1,7 +1,5 @@ ========================== C M U C L 21 a ============================= -[In Progress] - The CMUCL project is pleased to announce the release of CMUCL 21a. This is a major release which contains numerous enhancements and bug fixes from the 20f release. View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/b8654321e9bb003da77dbf9e…

1 0