#23 Running redcsl on Fedora 13 (FC13) crashes X server

None
closed
nobody
None
5
2015-12-25
2010-10-06
Ted Pavlic
No

After building redcsl and redpsl (./configure --with-psl --with-csl; make) from SVN, when I run "redcsl", the reduce GUI starts to be drawn in the X server (i.e., I can see a ghost of the menu bar), but then the X server goes to almost 100% CPU utilization and X becomes completely unresponsive. I have to jump to a TTY and kill X (killing reduce just makes things worse).

I'm running KDE4 on FC13.

I'm able to run "rfcsl" without any problems.

Discussion

  • Arthur Norman

    Arthur Norman - 2010-10-07

    That sounds horrid. I have tried reduce on FC-13 (64 bit) but I was using gnome not KDE4 and perhaps that matters. But befote I install a KDE FC-13 somewhere to test maybe you can get me a copy of the cslbuild/*-fedora13/csl directory (with reduce and reduce.img in) so that I can try running it on the GC13 I have here. If you can put it in a .tar.bz2 file or some such and have a web-site it could temporarily live on until I have fetched it that would be great - if it has to come by email it mau need to come in chunks to acn1@cam.ac.uk. Arthur

     
  • Arthur Norman

    Arthur Norman - 2010-10-07

    Another thought - you might try fontdemo, showmathdemo, fwindemo, termdemo as well as reduce itself (they get made in the cslbuild/*fedore*/csl directory) in case that shows that one but not all crash your X. I do not know if you can use ssh with X forwarding and so try reduce when you are sitting at some different Linux (or indeed arbitrary compuyer with an X server) and so get more confirmation about whether the issue you have ia that your reduce executable is broken or therte is an impcompatibility either spocifically with FC13/KDE or the particular configuration you happen to have... Arthur

     
  • Ted Pavlic

    Ted Pavlic - 2010-10-07

    Arthur -- Thanks for getting back to me. You can find my csl directory tarball at:

    http://dl.dropbox.com/u/1881359/possibly_bad_redcsl_tpavlic.tar.bz2

    On a different (but maybe helpful?) note, I did configure --with-psl, and yet "redpsl" doesn't seem to be available. When I run it, I get:

    Loading image file :/usr/local/share/reduce-algebra/trunk/scripts/../pslbuild/x86_64-unknown-fedora13/red/reduce.img
    error: No such file or directory

    And I can verify that the pslbuild/x86_64*fedora13/red directory does not exist.

    Thanks, again.

     
  • Ted Pavlic

    Ted Pavlic - 2010-10-07

    I'm not sure if fontdemo is doing what it is supposed to be doing, but it does not crash. I've put a paste at http://pastebin.com/baJ878UD as well as below:

    [ tpavlic@calgary x86_64-unknown-fedora13 ]$ fontdemo csl-reduce-cmr10
    Will display "csl-reduce-cmr10"
    fontset has 4 distinct fonts out of 32 total
    Pattern has 9 elts (size 16)
    family: "csl-reduce-cmsy10"(s)
    style: "Regular"(s)
    slant: 100(i)(s)
    weight: 100(i)(s)
    foundry: "unknown"(s)
    file: "/usr/local/share/reduce-algebra/trunk/scripts/../cslbuild/x86_64-unknown-fedora13/csl/reduce.fonts/cmsy10.pfb"(s)
    index: 0(i)(s)
    outline: FcTrue(s)
    scalable: FcTrue(s)

    Pattern has 9 elts (size 16)
    family: "csl-reduce-cmmi10"(s)
    style: "Regular"(s)
    slant: 100(i)(s)
    weight: 100(i)(s)
    foundry: "unknown"(s)
    file: "/usr/local/share/reduce-algebra/trunk/scripts/../cslbuild/x86_64-unknown-fedora13/csl/reduce.fonts/cmmi10.pfb"(s)
    index: 0(i)(s)
    outline: FcTrue(s)
    scalable: FcTrue(s)

    Pattern has 9 elts (size 16)
    family: "csl-reduce-cmr10"(s)
    style: "Regular"(s)
    slant: 0(i)(s)
    weight: 100(i)(s)
    foundry: "unknown"(s)
    file: "/usr/local/share/reduce-algebra/trunk/scripts/../cslbuild/x86_64-unknown-fedora13/csl/reduce.fonts/cmr10.pfb"(s)
    index: 0(i)(s)
    outline: FcTrue(s)
    scalable: FcTrue(s)

    Pattern has 9 elts (size 16)
    family: "csl-reduce-cmex10"(s)
    style: "Regular"(s)
    slant: 0(i)(s)
    weight: 100(i)(s)
    foundry: "unknown"(s)
    file: "/usr/local/share/reduce-algebra/trunk/scripts/../cslbuild/x86_64-unknown-fedora13/csl/reduce.fonts/cmex10.pfb"(s)
    index: 0(i)(s)
    outline: FcTrue(s)
    scalable: FcTrue(s)

    Will try to view csl-reduce-cmr10
    X Error: code 9 major 148 minor 4: BadDrawable (invalid Pixmap or Window parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).
    X Error: code 159 major 148 minor 23: RenderBadPicture (invalid Picture parameter).

    After that, I get a checkered X display window that I can close (which then closes the program).

    I'll give results for the other programs as I get them (I'll submit comments between just in case one crashes).

     
  • Ted Pavlic

    Ted Pavlic - 2010-10-07

    showmathdemo seems to work. I get a box showing various symbols (mathematical and otherwise).

     
  • Ted Pavlic

    Ted Pavlic - 2010-10-07

    fwindemo crashes X pretty hard. Immediately after the program executes, the X display freezes. Going to a tty and killing fwindemo doesn't release the freeze (however, fwindemo does die). The only remedy is to kill the X server (either via the tty or using cntrl+alt+backspace).

     
  • Ted Pavlic

    Ted Pavlic - 2010-10-07

    I noticed that termdemo doesn't get linked to the bin directory like the other scripts. I'm not sure if it's working. Here's a paste:

    [ tpavlic@calgary csl ]$ ./termdemo
    Hello: setup = 0
    Ordinary output for line 7
    IN: test
    Input line was <test^J>
    Ordinary output for line 8
    IN: 5
    Input line was <5^J>
    Ordinary output for line 9
    IN: demo
    Input line was <demo^J>
    Ordinary output for line 10
    IN: EOF detected

     
  • Ted Pavlic

    Ted Pavlic - 2010-10-07

    Finally, reduce also locks up X pretty hard. From the csl directory, if I type:

    reduce

    It complains that:

    Unable to identify program name and directory

    However, if I type:

    ./reduce

    then it freezes X (well, the mouse still works, which is the same as the other freezes). Killing reduce from a tty doesn't help. I have to kill the X server.

    I don't have another X windows machine near me so that I could try running these programs from remote. However, I may be able to give that a shot this evening.

     
  • Arthur Norman

    Arthur Norman - 2010-10-07

    OK - I unpacked your archive. When I first triedrunning it on my OpenSuSE 11.3 I got a moan about not having a library libtinfo.so.5. Afterr a web-check it seems that that is really part of ncuses, and I could fudge things with a "ln -s libncurses.so.5 libtinfo.so.5" in a couple of places! With that (whihc is just one of the pains about binary compatibility across versions of Linux, your reduce executable started up and displayed its window happily for me. This evening I will got to where I have a virtual machien with FC13 (gnome) and try there, and if that still seems Ok I will install a FC13 (KDE). But the reduce binary you have created is roughly as I wopuld have expected it tobe and on my first test "it works for me". So maybe FC13/KDE has a special horror I have not found before...

     
  • Arthur Norman

    Arthur Norman - 2010-10-08

    OK. I installed FC13 64-bit with KDE in a fresh vmware machine with software development but otherwise default. I fetched your tar file and unpacked. When I go ./reduce it launched a window and did NOT crash the X server for me, but it did not find a sane font so the window ended up with a row of blocks. When I used the Font menu I could change that, but there onbly seem to be a VERY limited number of fonts there. Also the KDE terminal gives me pain that maybe also seems font-related. So I install a bunch of the usual old fashioned X11 fonts.
    Reduce looks for a font that its internals think looks like "courier" and tries what it thinks is the nearest match. At home I often have the Microsoft Truetype fonts around (please do not flame me!). Are yuou suffering from a font availability issue? I do not understand this yet, but on MY fc-13-kde-64 I get a bad block-like font by default but can then change that manually and after that things behave OK - and I have not crashed my X server.

    Anybody anywhere got bright ideas on how to debug this?
    Arthur

     
  • Ted Pavlic

    Ted Pavlic - 2010-10-11

    It's possible I have font issues, but I think I've installed every English-language font I could from the repositories plus a few more. My guess is that it's likely a problem with FC13. I have had other problems with FC13's X11 installation acting strangely. In fact, I've been under-impressed with FC13 in general and am dreading the upgrade process to FC14. If it weren't for my department, I'd be running Arch Linux right now and things would not be as outdated. I'm not sure why more Linux distros don't adopt the rolling release schedule; after using Arch for a while, it's frustrating being forced to going back to waiting for distro updates... it feels like I'm back in the 18th century.

    Having said all of that, I only installed reduce to give KeYmaera another tool to use. For the moment, its calls to Mathematica have been sufficient, and so maybe I won't need reduce in the near future anyway.

    Thanks.

     
  • Rainer Schöpf

    Rainer Schöpf - 2015-12-25
    • status: open --> closed
    • Group: -->
     

Log in to post a comment.