Email Gateway (Aug 22 2022 at 15:10): Email Gateway (Aug 22 2022 at 15:10):From: Makarius <makarius@sketis.net>
On 01/03/17 13:25, Eugene W. Stark wrote:
In case it's related, this instance of Isabelle had been running for a few days,
but I decided to restart it because it had gotten into a state in which JEdit became
very sluggish to respond to scrolling and other operations in the main edit window,
as if perhaps some kind of resource leak had occurred.
In such cases, I occasionally use "jconsole" to check the heap usage,
and perform GC manually. It sometimes helps, but often not. Maybe it is
normal for the JVM to degrade after long runtime.
7:09:28 AM [process_manager] [error] process_manager: Exception in thread "process_manager"
7:09:28 AM [process_manager] [error] process_manager: java.nio.file.NoSuchFileException:
/tmp/isabelle-gene/process3599050531363583478/kodkodi77431134.err
7:09:28 AM [process_manager] [error] process_manager: at isabelle.Isabelle_System$.rm_tree(isabelle_system.scala:223)
Maybe this is just a race condition of the Isabelle/Scala vs.
Isabelle/ML processes, trying to purge the same tmp file. I will see if
this can be made more permissive.
It is unclear, if this exception explains a left-over java process.
Makarius
Email Gateway (Aug 22 2022 at 15:11):From: "Eugene W. Stark" <isabelle-users@starkeffect.com>
Using Isabelle2016-1 under Ubuntu 16.04 LTS I have been experiencing some situations
in which a JEdit process is left around with no window after the window has been
closed. This just occurred again and I had the report below on the console
from which Isabelle was started.
In case it's related, this instance of Isabelle had been running for a few days,
but I decided to restart it because it had gotten into a state in which JEdit became
very sluggish to respond to scrolling and other operations in the main edit window,
as if perhaps some kind of resource leak had occurred. Scrolling in the sidebar does
not seem to be similarly affected. I had previously suspected the sluggish behavior
was perhaps caused by a thread leak, but once when this happened, I used Eclipse/Java
performance monitor to connect to the JEdit process to examine the number of threads.
There were only about 40 threads and I didn't see anything that looked unusual.
So it must be something else.
- Gene Stark
7:09:28 AM [process_manager] [error] process_manager: Exception in thread "process_manager"
7:09:28 AM [process_manager] [error] process_manager: java.nio.file.NoSuchFileException:
/tmp/isabelle-gene/process3599050531363583478/kodkodi77431134.err
7:09:28 AM [process_manager] [error] process_manager: at
sun.nio.fs.UnixException.translateToIOException(UnixException.java:86)
7:09:28 AM [process_manager] [error] process_manager: at
sun.nio.fs.UnixException.rethrowAsIOException(UnixException.java:102)
7:09:28 AM [process_manager] [error] process_manager: at
sun.nio.fs.UnixException.rethrowAsIOException(UnixException.java:107)
7:09:28 AM [process_manager] [error] process_manager: at
sun.nio.fs.UnixFileAttributeViews$Basic.readAttributes(UnixFileAttributeViews.java:55)
7:09:28 AM [process_manager] [error] process_manager: at
sun.nio.fs.UnixFileSystemProvider.readAttributes(UnixFileSystemProvider.java:144)
7:09:28 AM [process_manager] [error] process_manager: at
sun.nio.fs.LinuxFileSystemProvider.readAttributes(LinuxFileSystemProvider.java:99)
7:09:28 AM [process_manager] [error] process_manager: at java.nio.file.Files.readAttributes(Files.java:1737)
7:09:28 AM [process_manager] [error] process_manager: at
java.nio.file.FileTreeWalker.getAttributes(FileTreeWalker.java:219)
7:09:28 AM [process_manager] [error] process_manager: at java.nio.file.FileTreeWalker.visit(FileTreeWalker.java:276)
7:09:28 AM [process_manager] [error] process_manager: at java.nio.file.FileTreeWalker.next(FileTreeWalker.java:372)
7:09:28 AM [process_manager] [error] process_manager: at java.nio.file.Files.walkFileTree(Files.java:2706)
7:09:28 AM [process_manager] [error] process_manager: at java.nio.file.Files.walkFileTree(Files.java:2742)
7:09:28 AM [process_manager] [error] process_manager: at isabelle.Isabelle_System$.rm_tree(isabelle_system.scala:223)
7:09:28 AM [process_manager] [error] process_manager: at
isabelle.ML_Process$$anonfun$apply$1.apply$mcV$sp(ml_process.scala:119)
7:09:28 AM [process_manager] [error] process_manager: at isabelle.Bash$Process.do_cleanup(bash.scala:168)
7:09:28 AM [process_manager] [error] process_manager: at isabelle.Bash$Process.join(bash.scala:177)
7:09:28 AM [process_manager] [error] process_manager: at isabelle.Prover$$anonfun$1.apply$mcI$sp(prover.scala:114)
7:09:28 AM [process_manager] [error] process_manager: at isabelle.Prover$$anonfun$1.apply(prover.scala:114)
7:09:28 AM [process_manager] [error] process_manager: at isabelle.Prover$$anonfun$1.apply(prover.scala:114)
7:09:28 AM [process_manager] [error] process_manager: at isabelle.Exn$.capture(exn.scala:57)
7:09:28 AM [process_manager] [error] process_manager: at isabelle.Thread_Future$$anonfun$1.apply$mcV$sp(future.scala:138)
7:09:28 AM [process_manager] [error] process_manager: at isabelle.Standard_Thread$$anon$2.run(standard_thread.scala:22)
The leftover process was in the following state, as reported by "ps wwaux".
I had to kill it manually.
% ps wwuax | fgrep java
gene 16204 3.0 12.0 6537988 2977108 pts/5 Sl Feb25 159:06
/opt/Isabelle2016-1/contrib/jdk/x86_64-linux/jre/bin/java -Disabelle.root=/opt/Isabelle2016-1 -server
-Dfile.encoding=UTF-8 -Disabelle.threads=0 -Duser.language=en -Dawt.useSystemAAFontSettings=on -Dswing.aatext=true
-Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle -Xms512m -Xmx2560m -Xss8m
-Disabelle.jedit_server=Isabelle2016-1 -classpath
/opt/Isabelle2016-1/lib/classes/Pure.jar:/opt/Isabelle2016-1/contrib/jfreechart-1.0.14-1/lib/iText-2.1.5.jar:/opt/Isabelle2016-1/contrib/jfreechart-1.0.14-1/lib/jcommon-1.0.18.jar:/opt/Isabelle2016-1/contrib/jfreechart-1.0.14-1/lib/jfreechart-1.0.14.jar:/opt/Isabelle2016-1/contrib/jortho-1.0-2/jortho.jar:/opt/Isabelle2016-1/contrib/scala-2.11.8/lib/akka-actor_2.11-2.3.10.jar:/opt/Isabelle2016-1/contrib/scala-2.11.8/lib/config-1.2.1.jar:/opt/Isabelle2016-1/contrib/scala-2.11.8/lib/jline-2.12.1.jar:/opt/Isabelle2016-1/contrib/scala-2.11.8/lib/scala-actors-2.11.0.jar:/opt/Isabelle2016-1/contrib/scala-2.11.8/lib/scala-actors-migration_2.11-1.1.0.jar:/opt/Isabelle2016-1/contrib/scala-2.11.8/lib/scala-compiler.jar:/opt/Isabelle2016-1/contrib/scala-2.11.8/lib/scala-continuations-library_2.11-1.0.2.jar:/opt/Isabelle2016-1/contrib/scala-2.11.8/lib/scala-continuations-plugin_2.11.8-1.0.2.jar:/opt/Isabelle2016-1/contrib/scala-2.11.8/lib/scala-library.jar:/opt/Isabelle2016-1/contrib/scala-2.11.8/lib/scalap-2.11.8.jar:/opt/Isabelle2016-1/contrib/scala-2.11.8/lib/scala-parser-combinators_2.11-1.0.4.jar:/opt/Isabelle2016-1/contrib/scala-2.11.8/lib/scala-reflect.jar:/opt/Isabelle2016-1/contrib/scala-2.11.8/lib/scala-swing_2.11-1.0.2.jar:/opt/Isabelle2016-1/contrib/scala-2.11.8/lib/scala-xml_2.11-1.0.4.jar:/opt/Isabelle2016-1/contrib/ssh-java-20161009/lib/jsch-0.1.54.jar:/opt/Isabelle2016-1/contrib/ssh-java-20161009/lib/jzlib-1.1.3.jar:/opt/Isabelle2016-1/contrib/ssh-java-20161009/lib/jce.jar:/opt/Isabelle2016-1/contrib/sqlite-jdbc-3.8.11.2/sqlite-jdbc-3.8.11.2.jar:/opt/Isabelle2016-1/contrib/xz-java-1.5/lib/xz.jar:/opt/Isabelle2016-1/src/Tools/jEdit/dist/jedit.jar
-splash:/opt/Isabelle2016-1/lib/logo/isabelle.gif isabelle.Main
Last updated: Nov 21 2024 at 12:39 UTC