Opened 7 years ago

Closed 7 years ago

Last modified 7 years ago

#957 closed defect (wontfix)

Error while executing CCL::MATCHP2 on Pentium4

Reported by: uchida Owned by:
Priority: normal Milestone:
Component: Compiler Version: 1.6
Keywords: x86 Pentium4 Cc:

Description

I found a Pentium4 specific error while testing changeset 15259 on ccl-1.6.

toor@toor-laptop:~/ccl/compiler/X86/X8632$ patch < changeset_r15259.diff 
(Stripping trailing CRs from patch.)
patching file x8632-vinsns.lisp
Hunk #1 succeeded at 3356 (offset -46 lines).
Hunk #2 succeeded at 3361 (offset -46 lines).
toor@toor-laptop:~/ccl/compiler/X86/X8632$ cd ..
toor@toor-laptop:~/ccl/compiler/X86$ cd ..
toor@toor-laptop:~/ccl/compiler$ cd ..
toor@toor-laptop:~/ccl$ ./lx86cl -n
Welcome to Clozure Common Lisp Version 1.6-r14468M  (LinuxX8632)!
? (rebuild-ccl)
;Compiling "/home/toor/ccl/lib/systems.lisp"...
;Loading #P"/home/toor/ccl/bin/systems.lx32fsl"...
;Compiling "/home/toor/ccl/lib/compile-ccl.lisp"...
;Loading #P"/home/toor/ccl/bin/compile-ccl.lx32fsl"...
;Compiling "/home/toor/ccl/compiler/nxenv.lisp"...
;Loading #P"/home/toor/ccl/bin/nxenv.lx32fsl"...
;Compiling "/home/toor/ccl/compiler/nx.lisp"...
; Including "/home/toor/ccl/compiler/nx-basic.lisp"...
; Including "/home/toor/ccl/compiler/lambda-list.lisp"...
; Including "/home/toor/ccl/compiler/nx0.lisp"...
; Including "/home/toor/ccl/compiler/nx1.lisp"...
;Loading #P"/home/toor/ccl/l1-fasls/nx.lx32fsl"...
;Compiling "/home/toor/ccl/compiler/optimizers.lisp"...
;Loading #P"/home/toor/ccl/bin/optimizers.lx32fsl"...
;Compiling "/home/toor/ccl/compiler/dll-node.lisp"...
;Loading #P"/home/toor/ccl/bin/dll-node.lx32fsl"...
;Compiling "/home/toor/ccl/compiler/arch.lisp"...
;Loading #P"/home/toor/ccl/bin/arch.lx32fsl"...
;Compiling "/home/toor/ccl/compiler/vreg.lisp"...
;Loading #P"/home/toor/ccl/bin/vreg.lx32fsl"...
;Compiling "/home/toor/ccl/compiler/vinsn.lisp"...
;Loading #P"/home/toor/ccl/bin/vinsn.lx32fsl"...
;Compiling "/home/toor/ccl/compiler/reg.lisp"...
;Loading #P"/home/toor/ccl/bin/reg.lx32fsl"...
;Compiling "/home/toor/ccl/compiler/subprims.lisp"...
;Loading #P"/home/toor/ccl/bin/subprims.lx32fsl"...
;Compiling "/home/toor/ccl/compiler/backend.lisp"...
;Loading #P"/home/toor/ccl/bin/backend.lx32fsl"...
;Compiling "/home/toor/ccl/compiler/nx2.lisp"...
;Loading #P"/home/toor/ccl/bin/nx2.lx32fsl"...
;Compiling "/home/toor/ccl/compiler/X86/X8632/x8632-arch.lisp"...
;Loading #P"/home/toor/ccl/bin/x8632-arch.lx32fsl"...
;Compiling "/home/toor/ccl/compiler/X86/X8664/x8664-arch.lisp"...
;Loading #P"/home/toor/ccl/bin/x8664-arch.lx32fsl"...
;Compiling "/home/toor/ccl/compiler/X86/x86-arch.lisp"...
;Loading #P"/home/toor/ccl/bin/x86-arch.lx32fsl"...
;Compiling "/home/toor/ccl/lib/x8632env.lisp"...
;Loading #P"/home/toor/ccl/bin/x8632env.lx32fsl"...
;Compiling "/home/toor/ccl/lib/x8664env.lisp"...
;Loading #P"/home/toor/ccl/bin/x8664env.lx32fsl"...
;Compiling "/home/toor/ccl/compiler/X86/x86-asm.lisp"...
;Loading #P"/home/toor/ccl/bin/x86-asm.lx32fsl"...
;Compiling "/home/toor/ccl/compiler/X86/x86-lap.lisp"...
;Loading #P"/home/toor/ccl/bin/x86-lap.lx32fsl"...
;Compiling "/home/toor/ccl/compiler/X86/x86-backend.lisp"...
;Loading #P"/home/toor/ccl/bin/x86-backend.lx32fsl"...
;Compiling "/home/toor/ccl/compiler/X86/X8632/x8632-backend.lisp"...
;Loading #P"/home/toor/ccl/bin/x8632-backend.lx32fsl"...
;Compiling "/home/toor/ccl/compiler/X86/X8632/x8632-vinsns.lisp"...
;Loading #P"/home/toor/ccl/bin/x8632-vinsns.lx32fsl"...
;Compiling "/home/toor/ccl/compiler/X86/x862.lisp"...
;Loading #P"/home/toor/ccl/bin/x862.lx32fsl"...
;Compiling "/home/toor/ccl/compiler/X86/x86-lapmacros.lisp"...
;Loading #P"/home/toor/ccl/bin/x86-lapmacros.lx32fsl"...
;Compiling "/home/toor/ccl/xdump/xx8632-fasload.lisp"...
;Loading #P"/home/toor/ccl/xdump/xx8632-fasload.lx32fsl"...
;Compiling "/home/toor/ccl/xdump/xfasload.lisp"...
;Loading #P"/home/toor/ccl/xdump/xfasload.lx32fsl"...
;Compiling "/home/toor/ccl/xdump/heap-image.lisp"...
;Loading #P"/home/toor/ccl/xdump/heap-image.lx32fsl"...
Can't find #P"ccl:bin;hash.lx32fsl.newest" so requiring "ccl:lib;hash.lisp" instead
Can't find #P"ccl:bin;backquote.lx32fsl.newest" so requiring "ccl:lib;backquote.lisp" instead
Can't find #P"ccl:library;lispequ.lx32fsl.newest" so requiring "ccl:library;lispequ.lisp" instead
Can't find #P"ccl:bin;level-2.lx32fsl.newest" so requiring "ccl:lib;level-2.lisp" instead
Can't find #P"ccl:bin;macr:lib;encapsulate.lisp" instead
;Compiling "/home/toor/ccl/lib/encapsulate.lisp"...
;Loading #P"/home/toor/ccl/bin/encapsulate.lx32fsl"...
Can't find #P"ccl:bin;read.lx32fsl.newest" so requiring "ccl:lib;read.lisp" instead
;Compiling "/home/toor/ccl/lib/read.lisp"...
;Loading #P"/home/toor/ccl/bin/read.lx32fsl"...
Can't find #P"ccl:bin;misc.lx32fsl.newest" so requir.lisp"...
;Compiling "/home/toor/ccl/level-0/l0-int.lisp"...
;Compiling "/home/ed.lx32fsl"...
;Loading #P"/home/toor/ccl/level-0/l0-symbol.lx32fsl"...
;Loading #P"/home/toor/ccl/level-0/l0-utils.lx32fsl"...
;Loading #P"/home/toor/ccl/level-0/nfasload.lx32fsl"...
;Wrote bootstrapping image: #P"/home/toor/ccl/x86-boot32"
;Wrote heap image: #P"/home/toor/ccl/lx86cl.image"
NIL
? (quit)
toor@toor-laptop:~/ccl$ ./lx86cl -n
Welcome to Clozure Common Lisp Version 1.6  (LinuxX8632)!
? (defun test-func ()
;;  (declare (optimize (speed 0) (safety 2)))           ;-> success
  (declare (optimize (speed 0) (safety 3)))             ;-> error
  (dotimes (i 10000)
    (remove-if-not #'(lambda (e)
    		          (eql i e))
			          '(a))))

(loop for i from 1 to 50000 do
     (format t "i=~A~%" i)
     (let ((t1 (ccl:process-run-function "t1" #'test-func))
        (t2 (ccl:process-run-function "t2" #'test-func)))
       (ccl:join-process t1)
       (ccl:join-process t2)))
TEST-FUNC
? i=1
i=2
i=3
i=4
...
i=13329
i=13330
i=13331
i=13332
i=13333
> Error: #<CATCH-FRAME #x182BC6D6> is not of type (OR SYMBOL FUNCTION), and can't be FUNCALLed or APPLYed
> While executing: CCL::MATCHP2, in process t2(26667).


;;;
;;; #<PROCESS t2(26667) [Active] #x182BB8FE> requires access to Shared Terminal Input
;;; Type (:y 26667) to yield control to this thread.
;;;

toor@toor-laptop:~$ 

Change History (4)

comment:1 Changed 7 years ago by gb

  • Resolution set to wontfix
  • Status changed from new to closed

The test case seems to reliably run to completion in 1.8. I don't know or care why it fails in 1.6, which is over a year old and for which free support is no longer available.

comment:2 Changed 7 years ago by uchida

I realised that this is fixed already in [14826]. It seems that this is a problem with some slower CPUs. I can reproduce with a MacBook?(Core2Duo 2GHz) running ubuntu on VirtualBox? with CPU execution cap of 50%.

comment:3 Changed 7 years ago by gb

You're describing a problem that existed in CCL 1.6, which is over a year old and is no longer supported. I don't know whether this is the same problem as was fixed in 14826 or not.

If you can reproduce this in CCL 1.8, that would be interesting. What you're describing isn't interesting.

If you really want to pay Clozure to investigate the problem and fix it in 1.6 for you, you have that option. It's almost certainly cheaper for you and better for all concerned for you to upgrade to 1.8, for which a certain (large) amount of free support is available.

comment:4 Changed 7 years ago by uchida

OK, thanks. I'll upgrade to 1.8. Sorry for the somewhat false alarm on a already fixed problem.

Note: See TracTickets for help on using tickets.