Custom Query (1030 matches)

Very occasionally, one sees something like (from memory) :

Error: wrong number of args to FOO:
       2 arguments provided, 2 accepted

(however exactly that's presented/worded.)

A working theory is that that's icache-related and that the comparison of nargs with a constant and the conditional UUO that follows are in different cache lines and some instruction other than the comparison is actually executed instead. (That's a working theory only because this error was a symptom of failure to flush the icache on an iOS system.)

If it happens again, we should try to determine the address of the code vector and see if it's plausible that the first and second instructions are in different cache lines.

(The lisp kernel -may- try to determine the cache line size from information in the ELF aux vector or via sysctl or something like that; I'm not sure if it does, and it's unlikely that the value is used.)

You can see a description of the problem and a solution at: ​http://common-lisp.net/pipermail/asdf-devel/2010-October/001708.html

A trace is shown at: ​http://paste.lisp.org/+2H95 [This paste will automatically go away in 6 days.]

In a nutshell, ASDF2 will unintern portions of itself if ASDF is already loaded and it is loaded again during the build process.

The solution is to start ccl with the --no-init option before invoking (ccl:rebuild-ccl :full t) so that any "(require :asdf)" form in .ccl-init is bypassed.

I don't think any code changes need be done to ccl, but it would be nice if something would be mentioned in the ccl documentation, otherwise this conflict between asdf and ccl is going to show up again.

Perhaps section "3.3 Building Everything" of the Clozure CL Documentation would be a good place to document this issue.

Compiling a file with code such as following causes a full warning and a tertiary value of T from COMPILE-FILE.

(declaim (ftype (function () nil) arg-missing)) (defun arg-missing ()

(error "missing arg!"))

(defstruct foo

(bar (arg-missing)))