]> matita.cs.unibo.it Git - helm.git/blob - helm/interface/javacore15005.txt
9920964625b6cbe8c789bcaa2ccfefd49941aeaa
[helm.git] / helm / interface / javacore15005.txt
1 SIGSEGV received at bfffeacc in /home/cadet/sacerdot/jdk118/lib/linux/native_threads/libjitc.so. Processing terminated
2 java full version "JDK 1.1.8 IBM build l118-19991013 (JIT enabled: jitc)"
3 args: /home/cadet/sacerdot/jdk118/bin/linux/native_threads/java xaland 12345 12346 examples/style/annotatedcont.xsl examples/style/annotatedpres.xsl examples/style/theory_content.xsl examples/style/theory_pres.xsl
4
5 Operating Environment
6 ---------------------
7 Host            : cadet.
8 OS Level        : 2.2.14-5.0smp.#1 SMP Tue Mar 7 21:01:40 EST 2000
9 glibc Version   : 2.1.3
10 No. of Procs    : 1
11 Memory Info:
12         total:    used:    free:  shared: buffers:  cached:
13 Mem:  64503808 55078912  9424896 36126720  1527808 18075648
14 Swap: 133885952  7442432 126443520
15 MemTotal:     62992 kB
16 MemFree:       9204 kB
17 MemShared:    35280 kB
18 Buffers:       1492 kB
19 Cached:       17652 kB
20 BigTotal:         0 kB
21 BigFree:          0 kB
22 SwapTotal:   130748 kB
23 SwapFree:    123480 kB
24
25 Application Environment
26 -----------------------
27 Signal Handlers -
28         SIGQUIT         : ignored
29         SIGILL          : sysThreadIDump (libjava.so)
30         SIGABRT         : sysThreadIDump (libjava.so)
31         SIGFPE          : sysThreadIDump (libjava.so)
32         SIGBUS          : sysThreadIDump (libjava.so)
33         SIGSEGV         : sysThreadIDump (libjava.so)
34         SIGPIPE         : ignored
35         SIGUSR1         : doSuspendLoop (libjava.so)
36
37 Environment Variables -
38         LESSOPEN=|/usr/bin/lesspipe.sh %s
39         SAL_DO_NOT_USE_INVERT50=true
40         HISTSIZE=1000
41         HOSTNAME=cadet
42         LOGNAME=sacerdot
43         VISUAL=/usr/bin/emacs
44         LD_LIBRARY_PATH=/home/cadet/sacerdot/jdk118/lib/linux/native_threads:/usr/local/lib/gtkmathview:/home/pauillac/coq3/sacerdot/rvplayer5.0
45         MAIL=/var/spool/mail/sacerdot
46         PAGER=less
47         CLASSPATH=.:/usr/share/java/bsf.jar:/usr/share/java/xalan.jar:/usr/share/java/xerces.jar:/home/cadet/sacerdot/jdk118/classes:/home/cadet/sacerdot/jdk118/lib/classes.jar:/home/cadet/sacerdot/jdk118/lib/rt.jar:/home/cadet/sacerdot/jdk118/lib/i18n.jar:/home/cadet/sacerdot/jdk118/lib/classes.zip
48         LESSCHARDEF=8bcccbcc18b95.33b.
49         ARCH=i586
50         PROMPT=cad: 
51         TERM=xterm
52         HOSTTYPE=i386
53         PATH=/home/cadet/sacerdot/jdk118/bin:/home/pauillac/coq3/sacerdot/bin/i586:/home/pauillac/coq3/sacerdot/bin:/usr/bin/X11:/usr/bin:/usr/local/bin:/usr/ucb:/usr/bin:/bin:/usr/sbin:/sbin:/usr/games:.
54         PRINTER=hp11rv
55         HOME=/home/pauillac/coq3/sacerdot
56         SHELL=/bin/sh
57         ELANLIB=/home/pauillac/coq3/sacerdot/elan-dist.3.00/elanlib
58         PILOTPORT=/dev/ttyS1
59         TEXINPUTS=:.:/home/pauillac/coq3/sacerdot/lib/latex/inputs:/usr/local/lib/tex/inputs3
60         USER=sacerdot
61         ENSCRIPT=-Php11rvl -2 -r -B -L66 -k -h
62         MANPATH=/usr/man/preformat:/usr/man:/usr/X11/man:/usr/local/man:/home/pauillac/coq3/sacerdot/man
63         LESS=-m -e -q -d
64         JAVA_HOME=/home/cadet/sacerdot/jdk118
65         DISPLAY=:0.0
66         MAKEFLAGS=
67         HOST=cadet
68         OSTYPE=Linux
69         NNTPSERVER=news-rocq.inria.fr
70         WINDOWID=54525966
71         SHLVL=4
72         MAKELEVEL=1
73         LS_COLORS=no=00:fi=00:di=01;34:ln=01;36:pi=40;33:so=01;35:bd=40;33;01:cd=40;33;01:or=01;05;37;41:mi=01;05;37;41:ex=01;32:*.cmd=01;32:*.exe=01;32:*.com=01;32:*.btm=01;32:*.bat=01;32:*.sh=01;32:*.csh=01;32:*.tar=01;31:*.tgz=01;31:*.arj=01;31:*.taz=01;31:*.lzh=01;31:*.zip=01;31:*.z=01;31:*.Z=01;31:*.gz=01;31:*.bz2=01;31:*.bz=01;31:*.tz=01;31:*.rpm=01;31:*.cpio=01;31:*.jpg=01;35:*.gif=01;35:*.bmp=01;35:*.xbm=01;35:*.xpm=01;35:*.png=01;35:*.tif=01;35:
74         EDITOR=/usr/bin/emacs
75         MFLAGS=
76         CVSROOT=/net/pauillac/constr/ARCHIVE
77
78
79 Current Thread Details
80 ----------------------
81     "main" (TID:0x402e62d8, sys_thread_t:0x804abe0)
82     Native Thread State: ThreadID: 00000400 Reuse: 1 USER PRIMORDIAL RUNNING
83     Native Stack Data  : base: bffff47c pointer bffbf96c used(260880) free(-13072)
84         ----- Monitors held -----
85         ----- Native stack -----
86         
87         
88         
89         
90         
91         
92         
93         
94         ??
95         ??
96         ??
97         
98         java_lang_Compiler_start
99         
100         __irem_trap6
101         ------ Java stack ------        () prio=5 *current thread*
102         org.apache.xalan.xslt.XSLTEngineImpl.createStylesheetRoot(XSLTEngineImpl.java:715)
103         org.apache.xalan.xslt.XSLTEngineImpl.processStylesheet(Compiled Code)
104         org.apache.xalan.xslt.XSLTEngineImpl.processStylesheet(Compiled Code)
105         xaland.main(Compiled Code)
106 ----------------------------------------------------------------------
107
108
109 Total Thread Count:     3
110 Active Thread Count:    3
111 JNI Thread Count:       0
112
113 Full thread dump:
114     "Async Garbage Collector" (TID:0x402e6238, sys_thread_t:0x8091f50)
115     Native Thread State: ThreadID: 00000803 Reuse: 1 DAEMON  MONITOR WAIT
116     Native Stack Data  : base: bf5ffd84 pointer bf5ffb78 used(524) free(247284)
117         ----- Monitors held -----
118         ----- Native stack -----
119         sysMonitorWait
120         sysThreadSleep
121         threadSleep
122         SetOrigArgs
123         sysThread_shell
124         pthread_detach
125         __clone
126         ------ Java stack ------        () prio=1
127 ----------------------------------------------------------------------
128
129     "Finalizer thread" (TID:0x402e6288, sys_thread_t:0x8091cd0)
130     Native Thread State: ThreadID: 00000402 Reuse: 1 DAEMON  MONITOR WAIT
131     Native Stack Data  : base: bf7ffd84 pointer bf7ffbec used(408) free(247400)
132         ----- Monitors held -----
133         ----- Native stack -----
134         sysMonitorWait - waiting on Finalize me queue lock
135         finalizeOnExit
136         sysThread_shell
137         pthread_detach
138         __clone
139         ------ Java stack ------        () prio=1
140 ----------------------------------------------------------------------
141
142     "main" (TID:0x402e62d8, sys_thread_t:0x804abe0)
143     Native Thread State: ThreadID: 00000400 Reuse: 1 USER PRIMORDIAL RUNNING
144     Native Stack Data  : base: bffff47c pointer bffbf960 used(260892) free(-13084)
145         ----- Monitors held -----
146         ----- Native stack -----
147         
148         
149         
150         
151         
152         
153         
154         
155         ??
156         ??
157         ??
158         
159         java_lang_Compiler_start
160         
161         __irem_trap6
162         ------ Java stack ------        () prio=5 *current thread*
163         org.apache.xalan.xslt.XSLTEngineImpl.createStylesheetRoot(XSLTEngineImpl.java:715)
164         org.apache.xalan.xslt.XSLTEngineImpl.processStylesheet(Compiled Code)
165         org.apache.xalan.xslt.XSLTEngineImpl.processStylesheet(Compiled Code)
166         xaland.main(Compiled Code)
167 ----------------------------------------------------------------------
168
169
170 System Monitor Status
171 ---------------------
172     JIT monitor:     unowned.
173     JIT monitor:     unowned.
174     JIT monitor:     unowned.
175     JIT monitor:     unowned.
176     JIT monitor:     unowned.
177     Thread queue lock:     unowned.
178     Name and type hash table lock:     unowned.
179     String intern lock:     unowned.
180     JNI pinning lock:     unowned.
181     JNI global reference lock:     unowned.
182     Zip lock:     unowned.
183     BinClass lock:     unowned.
184     Class loading lock:     unowned.
185     Java stack lock:     unowned.
186     Code rewrite lock:     unowned.
187     Heap Lock:     unowned.
188     Has finalization queue lock:     unowned.
189     Finalize me queue lock:     unowned.
190     Integer lock access-lock:     unowned.
191     Monitor cache lock:     unowned.
192     Monitor registry:     unowned.
193
194 Object Monitor Status
195 ---------------------