Custom Query (1030 matches)

It seems very surprising to get a segmentation fault with safety 3. Below are instructions from the README file of the attached gzipped tarfile, which show how to re-create that behavior. This example is a lightly modified version of a real problem we are having, where we cannot debug the problem because of the segmentation fault. Note: We did this on linux:

dunnottar:~% uname -a Linux dunnottar 3.13.0-110-generic #157-Ubuntu SMP Mon Feb 20 11:54:05 UTC 2017 x86_64 x86_64 x86_64 GNU/Linux dunnottar:~%

But we have seen this problem on Mac as well.

Note: We have reproduced this bug using this CCL

Welcome to Clozure Common Lisp Version 1.12-dev-r16783M-trunk (LinuxX8664)!

but also ones as recent as last weekend.

.....

wget https://github.com/acl2-devel/acl2-devel/releases/download/7.3/acl2-7.3.tar.gz
tar xfz acl2-7.3.tar.gz
# Save disk space
rm -rf acl2-7.3/books
rm acl2-7.3.tar.gz
cd acl2-7.3
(time nice make LISP=ccl ACL2_SAFETY=3) >& make-safety-3.log
cd ..
./acl2-7.3/saved_acl2
(value :q)
(load "clrat-parser.lisp")
(clrat-read-file "R_4_4_18.clrat" state)

Using Clozure Common Lisp Version 1.11-r16635 (LinuxX8664):

(let ((x (make-array 3 :adjustable t :fill-pointer 0)))
  (vector-push-extend 1 x)
  (vector-push-extend 2 x)
  (vector-push-extend 3 x)
  (assert (equalp x #(1 2 3)))

  (let* ((twice (make-array (* 2 (length x))
                            :adjustable t
                            :fill-pointer (* 2 (length x))
                            :initial-element nil)))
    (assert (equalp twice #(nil nil nil nil nil nil)))

    (replace twice x :start1 3)
    ;; TWICE should now be: #(NIL NIL NIL 1 2 3)                                                                                                
    (format t "Twice: ~S" twice)))

leads to:

Twice:
> Error: Bug (probably): can't determine class of #<BOGUS object @ #x30200105879D>
> While executing: CCL::NO-CLASS-ERROR, in process listener(1).

There seems to be currently 4 sources for CCL tarballs:

• The subversion repository: ​http://svn.clozure.com (which may or may not be retired one day now that CCL is also on Github).
• A HTTP source: ​http://ccl.clozure.com/ftp/pub/release.
• A FTP source: ​ftp://ftp.clozure.com/pub/release.
• Github release tarballs: ​https://github.com/Clozure/ccl/releases.

The first three sources do not provide encrypted transport which is a security issue. Github release tarballs are available over TLS, but the last stable version (1.11) is only available as source.

I just created a stable CCL package for Archlinux (​https://aur.archlinux.org/packages/ccl) which uses the FTP source, but it would be more secure to be able to switch to a source that supports TLS transport.

Providing binary tarballs (such as ccl-1.11-linuxx86.tar.gz) on Github would probably be the easiest solution for you, if you do not already have a SSL certificate for ccl.clozure.com. Additionally (or as an alternative), Let's Encrypt (​https://letsencrypt.org) could help you provide clozure.com in general over TLS.