pkriens
commented
6 years ago Did you try to upgrade your Java? See https://bugs.java.com/bugdatabase/view_bug.do?bug_id=JDK-8195830 https://bugs.java.com/bugdatabase/view_bug.do?bug_id=JDK-8195830
On 2 Apr 2018, at 10:47, sorawee notifications@github.com wrote:
I have been encountering this problem for more than one year now: whenever I open the visualizer, no matter what spec it is (even sig A {} run {}), top shows that CPU resources are all taken up by the Xorg and java processes. If I leave the visualizer open for a minute, my CPU fan will become really loud. The visualizer is also very sluggish. Note that this only happens whenever the visualizer is open. It does not happen during solving. And when the problem happens, if I close the visualizer, the problem goes away.
This affects both Alloy 5.0 and 4.2. I am using Thinkpad X1 Yoga, Ubuntu 17.10, but it affects 17.04 as well. My Java version is:
java version "1.8.0_161" Java(TM) SE Runtime Environment (build 1.8.0_161-b12) Java HotSpot(TM) 64-Bit Server VM (build 25.161-b12, mixed mode) For what it's worth: running the JAR with the option -Dsun.java2d.xrender=false makes the visualizer less sluggish, though it still consumes a lot of CPU resources. It also fixes a possibly related bug: whenever I rotate my screen and open the JAR normally, I get the following error:
Exception: class java.lang.ClassCastException Message: java.lang.ClassCastException: sun.awt.image.BufImgSurfaceData cannot be cast to sun.java2d.xr.XRSurfaceData Stacktrace: class java.lang.ClassCastException: sun.awt.image.BufImgSurfaceData cannot be cast to sun.java2d.xr.XRSurfaceData sun.java2d.xr.XRPMBlitLoops.cacheToTmpSurface(XRPMBlitLoops.java:148) sun.java2d.xr.XrSwToPMBlit.Blit(XRPMBlitLoops.java:356) sun.java2d.SurfaceDataProxy.updateSurfaceData(SurfaceDataProxy.java:498) sun.java2d.SurfaceDataProxy.replaceData(SurfaceDataProxy.java:455) sun.java2d.SurfaceData.getSourceSurfaceData(SurfaceData.java:233) sun.java2d.pipe.DrawImage.renderImageCopy(DrawImage.java:566) sun.java2d.pipe.DrawImage.copyImage(DrawImage.java:67) sun.java2d.pipe.DrawImage.copyImage(DrawImage.java:1014) sun.java2d.pipe.ValidatePipe.copyImage(ValidatePipe.java:186) sun.java2d.SunGraphics2D.drawImage(SunGraphics2D.java:3318) sun.java2d.SunGraphics2D.drawImage(SunGraphics2D.java:3296) com.sun.java.swing.plaf.gtk.GTKEngine.paintCachedImage(GTKEngine.java:555) com.sun.java.swing.plaf.gtk.GTKPainter.paintScrollBarBackground(GTKPainter.java:1055) javax.swing.plaf.synth.SynthPainter.paintScrollBarBackground(SynthPainter.java:1021) javax.swing.plaf.synth.SynthScrollBarUI.update(SynthScrollBarUI.java:241) javax.swing.JComponent.paintComponent(JComponent.java:780) javax.swing.JComponent.paint(JComponent.java:1056) javax.swing.JComponent.paintChildren(JComponent.java:889) javax.swing.JComponent.paint(JComponent.java:1065) javax.swing.JComponent.paintChildren(JComponent.java:889) javax.swing.JSplitPane.paintChildren(JSplitPane.java:1047) javax.swing.JComponent.paint(JComponent.java:1065) javax.swing.JComponent.paintChildren(JComponent.java:889) javax.swing.JComponent.paint(JComponent.java:1065) javax.swing.JComponent.paintChildren(JComponent.java:889) javax.swing.JComponent.paint(JComponent.java:1065) javax.swing.JLayeredPane.paint(JLayeredPane.java:586) javax.swing.JComponent.paintChildren(JComponent.java:889) javax.swing.JComponent.paint(JComponent.java:1065) javax.swing.JComponent.paintToOffscreen(JComponent.java:5210) javax.swing.BufferStrategyPaintManager.paint(BufferStrategyPaintManager.java:290) javax.swing.RepaintManager.paint(RepaintManager.java:1272) javax.swing.JComponent._paintImmediately(JComponent.java:5158) javax.swing.JComponent.paintImmediately(JComponent.java:4969) javax.swing.RepaintManager$4.run(RepaintManager.java:854) javax.swing.RepaintManager$4.run(RepaintManager.java:814) java.security.AccessController.doPrivileged(Native Method) java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:80) javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:814) javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:789) javax.swing.RepaintManager.prePaintDirtyRegions(RepaintManager.java:738) javax.swing.RepaintManager.access$1200(RepaintManager.java:64) javax.swing.RepaintManager$ProcessingRunnable.run(RepaintManager.java:1732) java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:311) java.awt.EventQueue.dispatchEventImpl(EventQueue.java:756) java.awt.EventQueue.access$500(EventQueue.java:97) java.awt.EventQueue$3.run(EventQueue.java:709) java.awt.EventQueue$3.run(EventQueue.java:703) java.security.AccessController.doPrivileged(Native Method) java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:80) java.awt.EventQueue.dispatchEvent(EventQueue.java:726) java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:201) java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:116) java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:105) java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:93) java.awt.EventDispatchThread.run(EventDispatchThread.java:82) Running the JAR with -Dsun.java2d.xrender=false fixes the problem.
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/AlloyTools/org.alloytools.alloy/issues/40, or mute the thread https://github.com/notifications/unsubscribe-auth/AAMPLtD7Nw3BMmatmMPETDpZfw1Yehbbks5tkeWWgaJpZM4TDTpj.
roehst
felix-friedrich
I have been encountering this problem for more than one year now: whenever I open the visualizer, no matter what spec it is (even
sig A {} run {}),topshows that CPU resources are all taken up by theXorgandjavaprocesses. If I leave the visualizer open for a minute, my CPU fan will become really loud. The visualizer is also very sluggish. Note that this only happens whenever the visualizer is open. It does not happen during solving. And when the problem happens, if I close the visualizer, the problem goes away.This affects both Alloy 5.0 and 4.2. I am using Thinkpad X1 Yoga, Ubuntu 17.10, but it affects 17.04 as well. My Java version is:
For what it's worth: running the JAR with the option
-Dsun.java2d.xrender=falsemakes the visualizer less sluggish, though it still consumes a lot of CPU resources. It also fixes a possibly related bug: whenever I rotate my screen and open the JAR normally, I get the following error:Running the JAR with
-Dsun.java2d.xrender=falsefixes the problem.