]> matita.cs.unibo.it Git - helm.git/commitdiff
Two javacores where in the repository: removed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Nov 2000 19:07:44 +0000 (19:07 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Nov 2000 19:07:44 +0000 (19:07 +0000)
helm/interface/javacore15005.txt [deleted file]
helm/interface/javacore15021.txt [deleted file]

diff --git a/helm/interface/javacore15005.txt b/helm/interface/javacore15005.txt
deleted file mode 100644 (file)
index 9920964..0000000
+++ /dev/null
@@ -1,195 +0,0 @@
-SIGSEGV received at bfffeacc in /home/cadet/sacerdot/jdk118/lib/linux/native_threads/libjitc.so. Processing terminated
-java full version "JDK 1.1.8 IBM build l118-19991013 (JIT enabled: jitc)"
-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
-
-Operating Environment
----------------------
-Host           : cadet.
-OS Level       : 2.2.14-5.0smp.#1 SMP Tue Mar 7 21:01:40 EST 2000
-glibc Version  : 2.1.3
-No. of Procs   : 1
-Memory Info:
-        total:    used:    free:  shared: buffers:  cached:
-Mem:  64503808 55078912  9424896 36126720  1527808 18075648
-Swap: 133885952  7442432 126443520
-MemTotal:     62992 kB
-MemFree:       9204 kB
-MemShared:    35280 kB
-Buffers:       1492 kB
-Cached:       17652 kB
-BigTotal:         0 kB
-BigFree:          0 kB
-SwapTotal:   130748 kB
-SwapFree:    123480 kB
-
-Application Environment
------------------------
-Signal Handlers -
-       SIGQUIT         : ignored
-       SIGILL          : sysThreadIDump (libjava.so)
-       SIGABRT         : sysThreadIDump (libjava.so)
-       SIGFPE          : sysThreadIDump (libjava.so)
-       SIGBUS          : sysThreadIDump (libjava.so)
-       SIGSEGV         : sysThreadIDump (libjava.so)
-       SIGPIPE         : ignored
-       SIGUSR1         : doSuspendLoop (libjava.so)
-
-Environment Variables -
-       LESSOPEN=|/usr/bin/lesspipe.sh %s
-       SAL_DO_NOT_USE_INVERT50=true
-       HISTSIZE=1000
-       HOSTNAME=cadet
-       LOGNAME=sacerdot
-       VISUAL=/usr/bin/emacs
-       LD_LIBRARY_PATH=/home/cadet/sacerdot/jdk118/lib/linux/native_threads:/usr/local/lib/gtkmathview:/home/pauillac/coq3/sacerdot/rvplayer5.0
-       MAIL=/var/spool/mail/sacerdot
-       PAGER=less
-       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
-       LESSCHARDEF=8bcccbcc18b95.33b.
-       ARCH=i586
-       PROMPT=cad: 
-       TERM=xterm
-       HOSTTYPE=i386
-       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:.
-       PRINTER=hp11rv
-       HOME=/home/pauillac/coq3/sacerdot
-       SHELL=/bin/sh
-       ELANLIB=/home/pauillac/coq3/sacerdot/elan-dist.3.00/elanlib
-       PILOTPORT=/dev/ttyS1
-       TEXINPUTS=:.:/home/pauillac/coq3/sacerdot/lib/latex/inputs:/usr/local/lib/tex/inputs3
-       USER=sacerdot
-       ENSCRIPT=-Php11rvl -2 -r -B -L66 -k -h
-       MANPATH=/usr/man/preformat:/usr/man:/usr/X11/man:/usr/local/man:/home/pauillac/coq3/sacerdot/man
-       LESS=-m -e -q -d
-       JAVA_HOME=/home/cadet/sacerdot/jdk118
-       DISPLAY=:0.0
-       MAKEFLAGS=
-       HOST=cadet
-       OSTYPE=Linux
-       NNTPSERVER=news-rocq.inria.fr
-       WINDOWID=54525966
-       SHLVL=4
-       MAKELEVEL=1
-       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:
-       EDITOR=/usr/bin/emacs
-       MFLAGS=
-       CVSROOT=/net/pauillac/constr/ARCHIVE
-
-
-Current Thread Details
-----------------------
-    "main" (TID:0x402e62d8, sys_thread_t:0x804abe0)
-    Native Thread State: ThreadID: 00000400 Reuse: 1 USER PRIMORDIAL RUNNING
-    Native Stack Data  : base: bffff47c pointer bffbf96c used(260880) free(-13072)
-       ----- Monitors held -----
-       ----- Native stack -----
-       
-       
-       
-       
-       
-       
-       
-       
-       ??
-       ??
-       ??
-       
-       java_lang_Compiler_start
-       
-       __irem_trap6
-       ------ Java stack ------        () prio=5 *current thread*
-       org.apache.xalan.xslt.XSLTEngineImpl.createStylesheetRoot(XSLTEngineImpl.java:715)
-       org.apache.xalan.xslt.XSLTEngineImpl.processStylesheet(Compiled Code)
-       org.apache.xalan.xslt.XSLTEngineImpl.processStylesheet(Compiled Code)
-       xaland.main(Compiled Code)
-----------------------------------------------------------------------
-
-
-Total Thread Count:    3
-Active Thread Count:   3
-JNI Thread Count:      0
-
-Full thread dump:
-    "Async Garbage Collector" (TID:0x402e6238, sys_thread_t:0x8091f50)
-    Native Thread State: ThreadID: 00000803 Reuse: 1 DAEMON  MONITOR WAIT
-    Native Stack Data  : base: bf5ffd84 pointer bf5ffb78 used(524) free(247284)
-       ----- Monitors held -----
-       ----- Native stack -----
-       sysMonitorWait
-       sysThreadSleep
-       threadSleep
-       SetOrigArgs
-       sysThread_shell
-       pthread_detach
-       __clone
-       ------ Java stack ------        () prio=1
-----------------------------------------------------------------------
-
-    "Finalizer thread" (TID:0x402e6288, sys_thread_t:0x8091cd0)
-    Native Thread State: ThreadID: 00000402 Reuse: 1 DAEMON  MONITOR WAIT
-    Native Stack Data  : base: bf7ffd84 pointer bf7ffbec used(408) free(247400)
-       ----- Monitors held -----
-       ----- Native stack -----
-       sysMonitorWait - waiting on Finalize me queue lock
-       finalizeOnExit
-       sysThread_shell
-       pthread_detach
-       __clone
-       ------ Java stack ------        () prio=1
-----------------------------------------------------------------------
-
-    "main" (TID:0x402e62d8, sys_thread_t:0x804abe0)
-    Native Thread State: ThreadID: 00000400 Reuse: 1 USER PRIMORDIAL RUNNING
-    Native Stack Data  : base: bffff47c pointer bffbf960 used(260892) free(-13084)
-       ----- Monitors held -----
-       ----- Native stack -----
-       
-       
-       
-       
-       
-       
-       
-       
-       ??
-       ??
-       ??
-       
-       java_lang_Compiler_start
-       
-       __irem_trap6
-       ------ Java stack ------        () prio=5 *current thread*
-       org.apache.xalan.xslt.XSLTEngineImpl.createStylesheetRoot(XSLTEngineImpl.java:715)
-       org.apache.xalan.xslt.XSLTEngineImpl.processStylesheet(Compiled Code)
-       org.apache.xalan.xslt.XSLTEngineImpl.processStylesheet(Compiled Code)
-       xaland.main(Compiled Code)
-----------------------------------------------------------------------
-
-
-System Monitor Status
----------------------
-    JIT monitor:     unowned.
-    JIT monitor:     unowned.
-    JIT monitor:     unowned.
-    JIT monitor:     unowned.
-    JIT monitor:     unowned.
-    Thread queue lock:     unowned.
-    Name and type hash table lock:     unowned.
-    String intern lock:     unowned.
-    JNI pinning lock:     unowned.
-    JNI global reference lock:     unowned.
-    Zip lock:     unowned.
-    BinClass lock:     unowned.
-    Class loading lock:     unowned.
-    Java stack lock:     unowned.
-    Code rewrite lock:     unowned.
-    Heap Lock:     unowned.
-    Has finalization queue lock:     unowned.
-    Finalize me queue lock:     unowned.
-    Integer lock access-lock:     unowned.
-    Monitor cache lock:     unowned.
-    Monitor registry:     unowned.
-
-Object Monitor Status
----------------------
diff --git a/helm/interface/javacore15021.txt b/helm/interface/javacore15021.txt
deleted file mode 100644 (file)
index bac0b8a..0000000
+++ /dev/null
@@ -1,195 +0,0 @@
-SIGSEGV received at bfffeacc in /home/cadet/sacerdot/jdk118/lib/linux/native_threads/libjitc.so. Processing terminated
-java full version "JDK 1.1.8 IBM build l118-19991013 (JIT enabled: jitc)"
-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
-
-Operating Environment
----------------------
-Host           : cadet.
-OS Level       : 2.2.14-5.0smp.#1 SMP Tue Mar 7 21:01:40 EST 2000
-glibc Version  : 2.1.3
-No. of Procs   : 1
-Memory Info:
-        total:    used:    free:  shared: buffers:  cached:
-Mem:  64503808 55672832  8830976 36130816  1536000 18612224
-Swap: 133885952  7442432 126443520
-MemTotal:     62992 kB
-MemFree:       8624 kB
-MemShared:    35284 kB
-Buffers:       1500 kB
-Cached:       18176 kB
-BigTotal:         0 kB
-BigFree:          0 kB
-SwapTotal:   130748 kB
-SwapFree:    123480 kB
-
-Application Environment
------------------------
-Signal Handlers -
-       SIGQUIT         : ignored
-       SIGILL          : sysThreadIDump (libjava.so)
-       SIGABRT         : sysThreadIDump (libjava.so)
-       SIGFPE          : sysThreadIDump (libjava.so)
-       SIGBUS          : sysThreadIDump (libjava.so)
-       SIGSEGV         : sysThreadIDump (libjava.so)
-       SIGPIPE         : ignored
-       SIGUSR1         : doSuspendLoop (libjava.so)
-
-Environment Variables -
-       LESSOPEN=|/usr/bin/lesspipe.sh %s
-       SAL_DO_NOT_USE_INVERT50=true
-       HISTSIZE=1000
-       HOSTNAME=cadet
-       LOGNAME=sacerdot
-       VISUAL=/usr/bin/emacs
-       LD_LIBRARY_PATH=/home/cadet/sacerdot/jdk118/lib/linux/native_threads:/usr/local/lib/gtkmathview:/home/pauillac/coq3/sacerdot/rvplayer5.0
-       MAIL=/var/spool/mail/sacerdot
-       PAGER=less
-       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
-       LESSCHARDEF=8bcccbcc18b95.33b.
-       ARCH=i586
-       PROMPT=cad: 
-       TERM=xterm
-       HOSTTYPE=i386
-       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:.
-       PRINTER=hp11rv
-       HOME=/home/pauillac/coq3/sacerdot
-       SHELL=/bin/sh
-       ELANLIB=/home/pauillac/coq3/sacerdot/elan-dist.3.00/elanlib
-       PILOTPORT=/dev/ttyS1
-       TEXINPUTS=:.:/home/pauillac/coq3/sacerdot/lib/latex/inputs:/usr/local/lib/tex/inputs3
-       USER=sacerdot
-       ENSCRIPT=-Php11rvl -2 -r -B -L66 -k -h
-       MANPATH=/usr/man/preformat:/usr/man:/usr/X11/man:/usr/local/man:/home/pauillac/coq3/sacerdot/man
-       LESS=-m -e -q -d
-       JAVA_HOME=/home/cadet/sacerdot/jdk118
-       DISPLAY=:0.0
-       MAKEFLAGS=
-       HOST=cadet
-       OSTYPE=Linux
-       NNTPSERVER=news-rocq.inria.fr
-       WINDOWID=54525966
-       SHLVL=4
-       MAKELEVEL=1
-       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:
-       EDITOR=/usr/bin/emacs
-       MFLAGS=
-       CVSROOT=/net/pauillac/constr/ARCHIVE
-
-
-Current Thread Details
-----------------------
-    "main" (TID:0x402e62d8, sys_thread_t:0x804abe0)
-    Native Thread State: ThreadID: 00000400 Reuse: 1 USER PRIMORDIAL RUNNING
-    Native Stack Data  : base: bffff47c pointer bffbf96c used(260880) free(-13072)
-       ----- Monitors held -----
-       ----- Native stack -----
-       
-       
-       
-       
-       
-       
-       
-       
-       ??
-       ??
-       ??
-       
-       java_lang_Compiler_start
-       
-       __irem_trap6
-       ------ Java stack ------        () prio=5 *current thread*
-       org.apache.xalan.xslt.XSLTEngineImpl.createStylesheetRoot(XSLTEngineImpl.java:715)
-       org.apache.xalan.xslt.XSLTEngineImpl.processStylesheet(Compiled Code)
-       org.apache.xalan.xslt.XSLTEngineImpl.processStylesheet(Compiled Code)
-       xaland.main(Compiled Code)
-----------------------------------------------------------------------
-
-
-Total Thread Count:    3
-Active Thread Count:   3
-JNI Thread Count:      0
-
-Full thread dump:
-    "Async Garbage Collector" (TID:0x402e6238, sys_thread_t:0x8091f50)
-    Native Thread State: ThreadID: 00000803 Reuse: 1 DAEMON  MONITOR WAIT
-    Native Stack Data  : base: bf5ffd84 pointer bf5ffb78 used(524) free(247284)
-       ----- Monitors held -----
-       ----- Native stack -----
-       sysMonitorWait
-       sysThreadSleep
-       threadSleep
-       SetOrigArgs
-       sysThread_shell
-       pthread_detach
-       __clone
-       ------ Java stack ------        () prio=1
-----------------------------------------------------------------------
-
-    "Finalizer thread" (TID:0x402e6288, sys_thread_t:0x8091cd0)
-    Native Thread State: ThreadID: 00000402 Reuse: 1 DAEMON  MONITOR WAIT
-    Native Stack Data  : base: bf7ffd84 pointer bf7ffbec used(408) free(247400)
-       ----- Monitors held -----
-       ----- Native stack -----
-       sysMonitorWait - waiting on Finalize me queue lock
-       finalizeOnExit
-       sysThread_shell
-       pthread_detach
-       __clone
-       ------ Java stack ------        () prio=1
-----------------------------------------------------------------------
-
-    "main" (TID:0x402e62d8, sys_thread_t:0x804abe0)
-    Native Thread State: ThreadID: 00000400 Reuse: 1 USER PRIMORDIAL RUNNING
-    Native Stack Data  : base: bffff47c pointer bffbf960 used(260892) free(-13084)
-       ----- Monitors held -----
-       ----- Native stack -----
-       
-       
-       
-       
-       
-       
-       
-       
-       ??
-       ??
-       ??
-       
-       java_lang_Compiler_start
-       
-       __irem_trap6
-       ------ Java stack ------        () prio=5 *current thread*
-       org.apache.xalan.xslt.XSLTEngineImpl.createStylesheetRoot(XSLTEngineImpl.java:715)
-       org.apache.xalan.xslt.XSLTEngineImpl.processStylesheet(Compiled Code)
-       org.apache.xalan.xslt.XSLTEngineImpl.processStylesheet(Compiled Code)
-       xaland.main(Compiled Code)
-----------------------------------------------------------------------
-
-
-System Monitor Status
----------------------
-    JIT monitor:     unowned.
-    JIT monitor:     unowned.
-    JIT monitor:     unowned.
-    JIT monitor:     unowned.
-    JIT monitor:     unowned.
-    Thread queue lock:     unowned.
-    Name and type hash table lock:     unowned.
-    String intern lock:     unowned.
-    JNI pinning lock:     unowned.
-    JNI global reference lock:     unowned.
-    Zip lock:     unowned.
-    BinClass lock:     unowned.
-    Class loading lock:     unowned.
-    Java stack lock:     unowned.
-    Code rewrite lock:     unowned.
-    Heap Lock:     unowned.
-    Has finalization queue lock:     unowned.
-    Finalize me queue lock:     unowned.
-    Integer lock access-lock:     unowned.
-    Monitor cache lock:     unowned.
-    Monitor registry:     unowned.
-
-Object Monitor Status
----------------------